How to Avoid Fighting Rust Borrow Checker
qouteall.fun·2d·
Discuss: Hacker News
🧪Property-Based Testing
A Constructive Look at TempleOS (2015)
codersnotes.com·1d·
Discuss: Hacker News
🔬Unikernels
What Does AI Do?
joecooper.me·22h·
Discuss: Hacker News
📚Automata Learning
Benchmarking LLM Codegen for SQL
beekeeperstudio.io·7h·
Discuss: Hacker News
🔄Reproducible Builds
Time's arrow => decision theory
lesswrong.com·10h
🧠Automated Reasoning
Chicken Scheme internals: the garbage collector
more-magic.net·4d·
Discuss: Hacker News
🤖Program Synthesis
The Origins of Python
inference-review.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Dependency Hell: The Hidden Costs of Dependency Bloat in Software Development
oneuptime.com·4h·
Discuss: Hacker News, r/javascript, r/programming, r/webdev
🔄Reproducible Builds
What Is Complexity in Chess?
lichess.org·1d·
Discuss: Hacker News
🎮Verification Games
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.com·3h·
Discuss: Hacker News
🩹Self-Healing Systems
Scott Kim's Inversions: Dream and Level
nkanaev.com·3h·
Discuss: Hacker News
🐫OCaml
MyGO: Memory Yielding Generative Offline-consolidation for Lifelong Learning Systems
arxiv.org·1d
📚Automata Learning
Apertus: a fully open, transparent, multilingual language model
actu.epfl.ch·7h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🔬Unikernels
Think in Games: Learning to Reason in Games via Reinforcement Learning with Large Language Models
arxiv.org·1d
🎮Verification Games
Mojo Roadmap Document
docs.modular.com·4d·
Discuss: Hacker News
🐫OCaml
Compiling Dinner
gist.github.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.com·1d·
Discuss: Hacker News
📚Automata Learning
MMSearch-Plus: A Simple Yet Challenging Benchmark for Multimodal Browsing Agents
arxiv.org·1d
🧩Parser Combinators
Preachers are using AI to write sermons. Is God angry?
chiefwordofficer.substack.com·5h·
Discuss: Substack
🧩Parser Combinators
Gradient routing is better than pretraining filtering
lesswrong.com·7h
🩹Self-Healing Systems