Gemini CLI
simonwillison.net·10h·
Discuss: Hacker News
📟Terminals
How to survive the apocalypse: a conversation with Tim O’Reilly about Generative AI
chelseatroy.com·6h
✨Effect Handlers
Insufficiently known POSIX shell features (2011)
apenwarr.ca·3d·
Discuss: Hacker News, r/programming
📝Shell Parsing
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·16h·
Discuss: Hacker News
🔗Constraint Handling
A Remote Shell for Embedded IoT Devices
blog.golioth.io·1d·
Discuss: Hacker News
📟Terminals
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Improving Compiler Bug Isolation by Leveraging Large Language Models
arxiv.org·2d
🔓Decompilation
Mike Driscoll: An Intro to ty – The Extremely Fast Python type checker
blog.pythonlibrary.org·15h
🎯Gradual Typing
The Cost of AI-Generated Code: Detection vs. Remediation
rsolv.dev·3h·
Discuss: Hacker News
📏Code Metrics
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·19h·
Discuss: Hacker News
🌀Brotli Internals
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·14h·
Discuss: DEV
📏Code Metrics
C++ Seeding Surprises (2015)
pcg-random.org·11h·
Discuss: Hacker News
🔢Bitwise Algorithms
The MIDL compiler still has trouble with double greater-than signs, sadly
devblogs.microsoft.com·2d·
Discuss: Hacker News
💻Programming languages
Program Synthesis is Interesting and Open
stephendiehl.com·4d·
Discuss: Hacker News
💻Programming languages
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Why does the Rust compiler use TokenTree instead of flat token streams?
reddit.com·1d·
Discuss: r/rust
🔒Linear Types
📘EP01 - Intro to Rust and Solana Dev Setup
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·2d
📏Code Metrics