How the Lean language brings math to coding and coding to math
amazon.science·35m·
Discuss: Hacker News
🔬Lean
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·5h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·22h·
Discuss: DEV
🦀Rust Macros
Unraveling The Thread Events
gbstudiocentral.com·1d
🦀Rust Macros
A New Concurrent ML in Guile Scheme
wingolog.org·10h·
Discuss: Hacker News
🔄Lens Laws
Why Computer Science Is No Good, Redux
cacm.acm.org·1h
🎯Performance Proofs
Bouncing on trampolines to run eBPF programs
bootlin.com·11h
🔍eBPF
My take on a "IDE" for Claude Code with activities while you are vibe coding
sssli.de·4h·
Discuss: Hacker News
📝Compiler Design
Physics-Informed Data-Driven Control of Nonlinear Polynomial Systems with Noisy Data
arxiv.org·14h
🛡️Error Boundaries
Testing races with a synchronizing Decorator
blog.ploeh.dk·1d
🔄Sync Engine
Software Internals Book Club
eatonphil.com·12h
⚙️Operating System Design
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Building Paperboy: A Personal Reading Recommendation Engine
joshbeckman.org·2h·
Discuss: Hacker News
🎯Content Recommendation
Claude Code: A Developer's Guide to AI-Powered Terminal Workflows
vibe.forem.com·1d·
Discuss: DEV
⚡Proof Automation
Rod Burstall: In Memoriam
arxiv.org·1h·
Discuss: Lobsters
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Who here runs async-first teams? What surprised you the most?
businessofsoftware.org·6h·
Discuss: Hacker News
🌊Stream Processing
Living with LLMs
matiasklemola.com·8h·
Discuss: Hacker News
💻Local LLMs
Using AI to generate a JUCE tutorial
github.com·7h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory