TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·9h·
Discuss: www.blogger.com
🎯Ring Buffers
Flag this post
How I am deeply integrating Emacs
joshblais.com·36m·
Discuss: Hacker News
🌙Lua
Flag this post
Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·2d·
Discuss: Hacker News
🌱Tiny Languages
Flag this post
Think DSP second edition
allendowney.com·1d
🔮Clojure
Flag this post
Dive into Systems
diveintosystems.org·2d·
Discuss: Hacker News
🎓Teaching Compilers
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·3d·
Discuss: Hacker News
🔗Borrowing Extensions
Flag this post
Dev snapshot: Godot 4.6 dev 3
godotengine.org·1d·
Discuss: r/godot
📝Rope Editors
Flag this post
Generation of antigen-specific paired-chain antibodies using large language models
sciencedirect.com·21h
🎭Program Synthesis
Flag this post
We built a collaboration platform on Claude Code. Here's what we learned.
gbase.ai·1d·
Discuss: r/ClaudeAI
⚡Live Coding
Flag this post
Functional Ruby Programming with Trailblazer
dev.to·3d·
Discuss: DEV
⚡functional programming
Flag this post
Jules + Gemini CLI: The AI Combo That Actually 10x’s Your Productivity
pub.towardsai.net·3h
⚡JIT Optimizations
Flag this post
davila7/claude-code-templates v1.26.4
github.com·4d
📋Template Compilers
Flag this post
Auditing M-LLMs for Privacy Risks: A Synthetic Benchmark and Evaluation Framework
arxiv.org·2h
🎲Parser Fuzzing
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·1d·
Discuss: DEV
🤖Abstract Machines
Flag this post
The older I get, the better my code becomes
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·2d
🌱Minimal ML
Flag this post
Show HN: First Principles articles teaching a variety of languages
github.com·1d·
Discuss: Hacker News
📦Monorepos
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·2d
🌱Minimal ML
Flag this post
Recording My Experiments in Spec-Driven Development
dev.to·2d·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Prompts that work for beginners (small, clear, and testable)
dev.to·23h·
Discuss: DEV
💬Interactive REPLs
Flag this post