Lobster Roll

All Programming (General) 3774 Systems / Low-Level / OS 2950 Programming Languages / CS Theory 2127 Data / Databases / Infrastructure 1761 AI / Machine Learning 1524 Web Development 1308 Security / Privacy 1009 Culture / Philosophy / History / Reading 962 Productivity / Career / Business 731 Gaming / Retro Computing 538 Maker / DIY / Hardware 516 Design / UX / Visualization 491 Science / Math / Physics 428 Apple / macOS / iOS 355 Internet / Digital Culture 162 Health / Fitness / Lifestyle 14 Crypto / Blockchain 4

Science / Math / Physics

AI/ML for Biology & Healthcare: A Learning Path (iamtk.co)
Penrose: From Mathematical Notation to Beautiful Diagrams (youtube.com)
How we avoided side-channels in our new post-quantum Go cryptography libraries (blog.trailofbits.com)
Spectral rendering, part 2: Real-time rendering (momentsingraphics.de)
One Weird Hashing Trick (notes.hella.cheap)
Cache-Friendly, Low-Memory Lanczos Algorithm in Rust (lukefleed.xyz)
An Empirical Evaluation of Property-Based Testing in Python (dl.acm.org)
Mojo: MLIR-Based Performance-Portable HPC Science Kernels on GPUs for the Python Ecosystem (arxiv.org)
The Silent Scientist: When Software Research Fails to Reach Its Audience (cacm.acm.org)
Strange Attractors (blog.shashanktomar.com)
What is cosh(List(Bool))? Or beyond algebra: analysis of data types (cofault.com)
I ****ing hate Science (2021) (buttondown.com)
Text rendering and effects using GPU-computed distances (blog.pkh.me)
The Abode of Salvation (rohanparanjpe.substack.com)
Language Models are Injective and Hence Invertible (arxiv.org)
Traveling Salesman Game (prolog.univie.ac.at)
A brief history of random numbers (crates.io)
Visual Features Across Modalities: SVG and ASCII Art Reveal Cross-Modal Understanding in LLMs (transformer-circuits.pub)
The New Calculus of AI-based Coding (blog.joemag.dev)
Formal or not formal? That is the question in AI for theorem proving (xenaproject.wordpress.com)
Retrospective on weaknesses in fuzzing research (addisoncrump.info)
Computational Complexity (2023) (samuelhautamaki.eu)
Computer Science Courses that Don't Exist, But Should (2015) (prog21.dadgum.com)
Learning by starting at the end: Writing a Proof in Lean (interjectedfuture.com)
When is it better to think without words? (henrikkarlsson.xyz)
Which Collatz numbers do Busy Beavers simulate (if any)? (gbragafibra.github.io)
The Owl, The Scientific Method, and Claude Code: A Debugging Story (vsevolod.net)
Why We're Still Talking About "Human Error" (thevoid.community)
Fourier Transform and piano analogy (old.reddit.com)
Integer Set Library (ISL) - A Primer (jeremykun.com)