Reinventing Assertions
beust.com·2d·
Discuss: Hacker News
🎮Verification Games
Flag this post
The Same App in React and Elm: A Side-by-Side Comparison
cekrem.github.io·4d·
Discuss: r/programming, r/reactjs, r/webdev
📝Nix Language
Flag this post
It isn't Easy to Remove the GIL (2007)
artima.com·20h·
Discuss: Hacker News
📝Nix Language
Flag this post
Why AI Needs Human Oversight for Architecture: A Real Refactoring Story
dev.to·1h·
Discuss: DEV
🏃Escape Analysis
Flag this post
🧠 The Simplest "Decision": Is AI Always Rational?
dev.to·1d·
Discuss: DEV
⏱️Computational Complexity
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·18h·
Discuss: Substack
⚡Process Calculi
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·18h·
Discuss: Hacker News
👁️System Observability
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·2d
🧮SMT Solvers
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·13h·
Discuss: Hacker News
💎Refinement Types
Flag this post
De Bruijn Numerals
text.marvinborner.de·2d·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
Ghosts in the Compilation
predr.ag·2d·
Discuss: Lobsters, Hacker News, r/rust
🔍Formal Verification
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·13h·
Discuss: Substack
🧩Parser Combinators
Flag this post
I built a Rust-based evolution SIM where creatures eat their children
daymare.net·4h·
Discuss: Hacker News, r/rust
🔲Cellular Automata
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔧ppx
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·1d·
Discuss: Hacker News
📦OPAM
Flag this post
Unlocking AI Speed: The Hidden Symmetries in Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
AI Inference: The Silent Budget Killer (and How to Stop It)
dev.to·11h·
Discuss: DEV
📚Automata Learning
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·2d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·3d·
Discuss: Hacker News
🔧ppx
Flag this post