How to reason from first principles
caseyhandmer.wordpress.com·8h
🎯Proof Tactics
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
Programming Language Theory has a public relations problem
happyfellow.bearblog.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
How we automated GitHub Actions Runner updates with Claude
dev.to·3h·
Discuss: DEV
🧲RISC-V Preservation
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.com·9h
⚔️Lean Tactics
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·1d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Exploring Prompt Learning: Using English Feedback to Optimize LLM Systems
towardsdatascience.com·5h
💻Local LLMs
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·1h·
Discuss: Hacker News
💾Persistence Strategies
A PhD's Apology
cappadokes.github.io·15h·
Discuss: Hacker News
🧮Theoretical Computer Science
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·12h·
Discuss: Hacker News
🌊Stream Processing
An Intro to Asciimatics – Another Python TUI Package
blog.pythonlibrary.org·16h
📺Terminal UI
Ralph Wiggins as a "Software Engineer"
ghuntley.com·2d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·2d·
Discuss: Hacker News
🔌Interface Evolution
Understanding Registers and Data Movement in x86-64 Assembly
blog.codingconfessions.com·15h
🔧RISC-V Assembler
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·14h·
Discuss: Hacker News
🦀Rust Borrowing
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·1d·
Discuss: Hacker News
🌐WASI