🦀 Rust Borrowing

Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·14h·
Discuss: Hacker News
🎧Learned Audio
Yes, Python is Slow, but it doesn't matter for AI SaaS
fastro.ai·2d·
Discuss: Hacker News
🌊Stream Processing
Why Nix Will Win (and What's Stopping It): A 3-Year Production Story
ryanrasti.com·2d·
Discuss: Hacker News
❄️Nix Adoption
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·7h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·16h·
Discuss: Hacker News
🎯Performance Proofs
Vibing a Non-Trivial Ghostty Feature
mitchellh.com·15h·
Discuss: Hacker News
🔌Interface Evolution
Framework under fire for Omarchy/DHH/Hyprland support?
crimier.github.io·4h·
Discuss: Hacker News
🐚Nordic Shell
Behind the Scenes of Pingoo: Slashing allocations in Rust with mimalloc and heapless to build the fastest reverse proxy
kerkour.com·3d·
Discuss: Hacker News, r/programming
🔒Linear Types
Building the Reasoning Engine at Axiom
axiommath.ai·19h·
Discuss: Hacker News
⚔️Lean Tactics
Show HN: I built a LSP with its own parser to learn Rust
github.com·11h·
Discuss: Hacker News
⚡Dependent Rust
C++26: range support for std:optional
sandordargo.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
CReact - JSX for the Cloud
github.com·19h·
Discuss: Hacker News, r/node, r/programming, r/reactjs
🧱Immutable Infrastructure
Is Odin Just a More Boring C?
dayvster.com·5d·
Discuss: Lobsters, Hacker News, Hacker News
🔩Systems Programming
Lobsters Interview with Zdsmith
lobste.rs·1d·
Discuss: Lobsters
🔗Concatenative Programming
Making performant Python bindings to compiled code
kylebarron.dev·4d·
Discuss: Hacker News
🦀Rust Macros
Padding
reddit.com·10h·
Discuss: r/golang
🔧KAITAI
Google Agent Development Kit (ADK) for TypeScript
github.com·1h·
Discuss: Hacker News
💧Liquid Types
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
A Manifesto for the Programming Desperado
github.com·23h·
Discuss: Hacker News
💻Programming languages