🦀 Rust Borrowing

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

Announcing coreboot 25.09 release
blogs.coreboot.org·10h
🔌Operating system internals
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·20h·
Discuss: Hacker News
🔓Open Source Software
Next steps for BPF support in the GNU toolchain
lwn.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
Abstraction for Abstraction’s Sake: How Developers Talk Themselves Into Complexity
hackernoon.com·2d
🧬Functional Programming
JVM stack is about to be massively modernized
medium.com·16h·
Discuss: Hacker News
🔗Dependency Resolution
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·9h·
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·2h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·12h·
Discuss: Hacker News
🎯Performance Proofs
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·14h·
Discuss: Hacker News
⚔️Lean Tactics
Show HN: I built a LSP with its own parser to learn Rust
github.com·6h·
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·14h·
Discuss: Hacker News, r/node, r/programming, r/reactjs
🧱Immutable Infrastructure
Is Odin Just a More Boring C?
dayvster.com·4d·
Discuss: Lobsters, Hacker News, Hacker News
🔩Systems Programming