Linking and shrinking Rust static libraries: a tale of fire
centricular.com·1d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust
Flag this post
<p>**Abstract:** This paper introduces a novel approach to the verification of Adaptive Finite State Machines (AFSMs) commonly employed in real-time digital con...
freederia.com·20h
📋JCL
Flag this post
Show HN: MCP ShellKeeper – Persistent SSH Sessions for AI Assistants
news.ycombinator.com·18h·
Discuss: Hacker News
📋JCL
Flag this post
Dive into Systems
diveintosystems.org·4d·
Discuss: Hacker News
⚡Systems Programming
Flag this post
Book review: “Build a DeepSeek Model (From Scratch)”
dev.to·2h·
Discuss: DEV
📋JCL
Flag this post
Calling Jank from C
mauricio.szabo.link·1d
📋JCL
Flag this post
The file system rabbit hole: Building FSWatcher in Go
dev.to·2h·
Discuss: DEV
⚡Systems Programming
Flag this post
Mount Mayhem at Netflix: Scaling Containers on Modern CPUs
netflixtechblog.medium.com·15h·
Discuss: Hacker News
⚡Systems Programming
Flag this post
pdxscript: VCS edition
blog.birbpara.de·10h
📋JCL
Flag this post
MCUboot: Bootup Journey
dev.to·18h·
Discuss: DEV
⚡Systems Programming
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·3d·
Discuss: r/programming
📋JCL
Flag this post
Zig Looked Like the Future – Until We Tried Multithreading
freedium-mirror.cfd·1d·
Discuss: Hacker News
⚡Systems Programming
Flag this post
Learning C As An Intermediate
reddit.com·6d·
Discuss: r/C_Programming
⚡Systems Programming
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·3d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
📋JCL
Flag this post
Need some help optimizing for an academic research use case
reddit.com·7h·
Discuss: r/homelab
⚡Systems Programming
Flag this post
Supercharging Real-Time Applications with TiDB and DragonflyDB
pingcap.com·15h
📋JCL
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1d·
Discuss: Hacker News
🔒CyberSecurity
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/rust
📋JCL
Flag this post
From 'Why the F@&k Do I Need This?' to 'Oh, That's Why' - My GAT Journey
dev.to·17h·
Discuss: DEV
🦀Rust
Flag this post
He Chunhui's Tiny386 Turns the Humble ESP32-S3 Into a Fully-Functional 386-Powered Desktop PC
hackster.io·20h
⚡Systems Programming
Flag this post