A WORD | August 24: Arkansas’ own little game likes to play with your brain
arkansasonline.com·19h
🧩Theorem Proving
Numa Incident Analysis
blog.verichains.io·4h
🔐Cryptography
A short obsession with sleep and what I learned from it ✍️
gobino.be·18h
📊Information Theory
Planned and unplanned outsides, and sooo many kittens!
refarmer.ca·8h
🔢Mathematical Logic
How Should a CMS Repository Understand the Content Within It?
deanebarker.net·1d·
Discuss: Hacker News
🗄️Database Theory
Building a Regex Engine
abstractsyntaxseed.com·4d·
Discuss: Lobsters, Hacker News
🔗Parser Combinators
rustc_codegen_gcc: Progress Report #37
blog.antoyo.xyz·3d·
Discuss: r/rust
🦀Rust
Developer's block
underlap.org·1d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
Perceived Personality in Generative AI
joshtronic.com·1d
🤖Sci-Fi
Non-Commutative weak measurements: Entanglement, Symmetry Breaking, and the Role of Readout
arxiv.org·3d
🔐Cryptography
The most honest math you'll ever use. 🤝
threadreaderapp.com·18h
🎲Probabilistic Programming
Show HN: Implement BLAKE3 with Awk
github.com·2d·
Discuss: Hacker News
📝Lisp
Update: You guys convinced me to make it real. My wife now wears this when she argues with me AND Claude
reddit.com·12h·
Discuss: r/ClaudeAI
🧫Cellular Automata
I’m creating an open-source application to manage deployment strategies for applications.
reddit.com·1d·
Discuss: r/kubernetes
👐Open Source Software
How our engineers use AI for coding (and where they refuse to)
signoz.io·1d·
Discuss: r/programming
🧩Theorem Proving
President Trump demands Roger Clemens be enshrined in Hall of Fame 'NOW'
nytimes.com·7h
🧫Cellular Automata
Claude Memory Lazy Method: The Graduation Path (From 4 Prompts to 1)
reddit.com·7h·
Discuss: r/ClaudeAI
🧩Theorem Proving
Dissecting Tool-Integrated Reasoning: An Empirical Study and Analysis
arxiv.org·3d
⚖️Logic Programming
Clinically-Informed Preprocessing Improves Stroke Segmentation in Low-Resource Settings
arxiv.org·3h
🎲Probabilistic Programming
Quickleaf Cache
github.com·3d·
Discuss: r/rust
🧠Memory Management