soc.octade.net is a Fediverse instance that uses the ActivityPub protocol. In other words, users at this host can communicate with people that use software like Mastodon, Pleroma, Friendica, etc. all around the world.
This server runs the snac software and there is no automatic sign-up process.
Cache-Friendly, Low-Memory Lanczos Algorithm in Rust https://lobste.rs/s/sag4i3 #math #rust
https://lukefleed.xyz/posts/cache-friendly-low-memory-lanczos/
What is cosh(List(Bool))? Or beyond algebra: analysis of data types https://lobste.rs/s/mncjin #formalmethods #math
https://cofault.com/aodt.html
Text rendering and effects using GPU-computed distances via @tgfrerer https://lobste.rs/s/ezqbmq #graphics #math
https://blog.pkh.me/p/47-text-rendering-and-effects-using-gpu-computed-distances.html
Language Models are Injective and Hence Invertible https://lobste.rs/s/ukvfgs #ai #math #security
https://arxiv.org/abs/2510.15511
Traveling Salesman Game https://lobste.rs/s/z6qhuj #games #math
https://prolog.univie.ac.at/tspGame/game.html
A brief history of random numbers https://lobste.rs/s/zea9uz #math #rust
https://crates.io/crates/oorandom#a-brief-history-of-random-numbers
Computational Complexity (2023) by @samuel https://lobste.rs/s/wiauo8 #pdf #math #performance
https://samuelhautamaki.eu/Computational_Complexity.pdf
When is it better to think without words? https://lobste.rs/s/uganhb #cogsci #math
https://www.henrikkarlsson.xyz/p/wordless-thought
Learning by starting at the end: Writing a Proof in Lean https://lobste.rs/s/4exekd #math #vibecoding
https://interjectedfuture.com/the-best-way-to-learn-might-be-starting-at-the-end/
Which Collatz numbers do Busy Beavers simulate (if any)? https://lobste.rs/s/cbmmhp #math
https://gbragafibra.github.io/2025/10/16/collatz_ant11.html
@Daojoan The people who ‘approved’ it, are the people who voted for public #education ‘leaders’
that shifted focus away from teaching language and critical thinking skills to ‘feel good’ priorities, such as #HighSchool #football stadiums costing in excess of $70 million, all while #PISA standardized test scores in #reading , #math and #science for students in the #UnitedStates have been falling for decades! 🤔
There’s a ‘good’ reason Trump said “I love the poorly educated!”
Fourier Transform and piano analogy via @lesley https://lobste.rs/s/gn8oz6 #math
https://old.reddit.com/r/golang/comments/1obz3sz/gofft_a_pretty_performant_fastfourier_transform/nko8lot/
Integer Set Library (ISL) - A Primer https://lobste.rs/s/k07a6m #compilers #math
https://www.jeremykun.com/2025/10/19/isl-a-primer/
@screwtape this might interest / inspire you #expression #computation #meaning #math #maths #mathematics #visualisation #visualization
Fast calculation of the distance to cubic Bezier curves on the GPU via @PolyWolf https://lobste.rs/s/yvtyvy #graphics #math
https://blog.pkh.me/p/46-fast-calculation-of-the-distance-to-cubic-bezier-curves-on-the-gpu.html
Why formalize mathematics - more than catching errors https://lobste.rs/s/l9i8br #math #plt
https://rkirov.github.io/posts/why_lean/
Clipping and Cloth Physics Simulation https://lobste.rs/s/s6thvi #video #graphics #math
https://www.youtube.com/watch?v=VOORiyip4_c
Gamma correction on fragment shaders via @tgfrerer https://lobste.rs/s/ovme33 #graphics #math
https://riccardoscalco.it/blog/gamma-correction-on-fragment-shaders/
An Introduction To Event Theory https://lobste.rs/s/llblp8 #distributed #math
https://yonkeltron.com/posts/an-introduction-to-event-theory/
Matrices can be your Friends via @lesley https://lobste.rs/s/e8rzg7 #graphics #math
https://www.sjbaker.org/steve/omniv/matrices_can_be_your_friends.html
Synthetic aperture radar autofocus and calibration via @fanf https://lobste.rs/s/w4hbzk #hardware #math #science
https://hforsten.com/synthetic-aperture-radar-autofocus-and-calibration.html
Burrows-Wheeler Transform (BWT) https://lobste.rs/s/qar3sx #math #science
https://sandbox.bio/concepts/bwt
The Physics of Euler's Formula | Laplace Transform Prelude via @lesley https://lobste.rs/s/qhs3l8 #video #math
https://youtu.be/-j8PzkZ70Lg
And it is up and running again (I just tested it with today's Primel answer).
The site was being hit by bots (a more and more common problem these days), and he had to start excluding some addresses.
Interval Calculator https://lobste.rs/s/ivx7ex #math
https://victorpoughon.github.io/interval-calculator/
I got a reply! Which I wasn't expecting, given the time zone difference.
In summary, he wasn't aware, and will try to fix it soon. Given the time zone difference, I wouldn't expect anything until at least tomorrow or later.
Well, I went to the Wayback Machine and found the creator of the site, and his e-mail. I sent a message. With luck we'll see if this was just a website falling down, or if he was winding things up.
Stealing Part of a Production Language Model (2024) https://lobste.rs/s/agrmoo #ai #api #math
https://arxiv.org/abs/2403.06634
How to Discover the Binary System as a Child https://lobste.rs/s/id2sr5 #video #education #math
https://www.youtube.com/watch?v=lg0RYLlmjJM
The Many Functions of Functor (2014) https://lobste.rs/s/fbjnr8 #historical #math
https://pinealservo.com/posts/2014-10-22-ManyFunctionsOfFunctor.html
lolremez: Polynomial Approximations using the Remez Algorithm https://lobste.rs/s/lbbxh6 #math #performance #plt
https://github.com/samhocevar/lolremez
Category Theory Illustrated - Natural transformations https://lobste.rs/s/ufpajh #haskell #math
https://abuseofnotation.github.io/category-theory-illustrated/11_natural_transformations/
Functional genetic programming and exhaustive program search with combinator expressions (2007) https://lobste.rs/s/oysxby #pdf #ai #concatenative #math #ml #plt
https://www.cs.hmc.edu/~oneill/papers/Combinators-KES.pdf
Brownian motion: Modeling random fields over arbitrary geometries https://lobste.rs/s/i7mmpl #math
https://stopthrowingrocks.github.io/random-fields/
Code golfing a tiny demo using maths and a pinch of insanity by @bug https://lobste.rs/s/qzcqyx #graphics #math
https://blog.pkh.me/p/45-code-golfing-a-tiny-demo-using-maths-and-a-pinch-of-insanity.html