🦀 Rust Borrowing

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

Announcing coreboot 25.09 release
blogs.coreboot.org·5h
🔌Operating system internals
Why it took 4 years to get a lock files specification
snarky.ca·1h·
Discuss: Hacker News
🔄Language Evolution
Show HN: Realization Jsmn on a Pure Zig
github.com·19h·
Discuss: Hacker News
🔗Concatenative Programming
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·15h·
Discuss: Hacker News
🌐Protocol Synthesis
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Preventing Invalid Database Access at Compile Time
svix.com·3d·
Discuss: Hacker News, r/rust
🦀Rusty Databases
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·4d·
Discuss: DEV
🦀Rust Macros
Refactoring: A way to write better Code
dev.to·3h·
Discuss: DEV
⚙️Operational Semantics
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
🔗Lisp
Has anyone tried csprimer and have any reviews on it?
csprimer.com·15h·
Discuss: Hacker News
💻CS
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·6h·
Discuss: Hacker News
⚡Proof Automation
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
GoMem is a high-performance memory allocator library for Go
github.com·1d
🧠Memory Allocators
A new breed of analyzers
daniel.haxx.se·17h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
A Year of Gentoo
arch.dog·15h·
Discuss: Lobsters, Hacker News
❄Nix
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·11h·
Discuss: Hacker News
🚀Indie Hacking
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·14h·
Discuss: Hacker News
🔓Open Source Software
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Next steps for BPF support in the GNU toolchain
lwn.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads