🔩 Systems Programming

Memory Management, Low-level Optimization, Kernel Development, Device Drivers, Rust, Low-level Programming, Memory Management, Performance, C

From punch cards to prompts: a history of how software got better
stackoverflow.blog·2d
🔄Reproducible Builds
No, Your Domains and Bounded Contexts Don’t Map 1 on 1
verraes.net·2d
🔢Denotational Semantics
The first iteration of a portable workstation
beautifulruby.com·11h·
Discuss: Hacker News
💾vintage computing
Show HN: CodeBoarding – Visualize Code Structure
codeboarding.org·3d·
Discuss: Hacker News
🦀Rust Macros
PSA: Elegoo Centauri Carbon and GPL Compliance
freethecode.lol·9h·
Discuss: Hacker News
🔓Open Source Software
The psychology of fixing bugs
lapcatsoftware.com·1d·
Discuss: Hacker News
🍎Apple Computing
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·3d
🎯Gradual Typing
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·3d·
Discuss: Hacker News
🧮Algebraic Datatypes
Claude Code Checkpoints
claude-checkpoints.com·1d·
Discuss: Hacker News
🔄Sync Engine
SNIC bifurcation and its Application to MEMS
arxiv.org·1d
⚙️Cassette Mechanics
d-Matrix Corsair In-Memory Computing For AI Inference at Hot Chips 2025
servethehome.com·3d·
Discuss: Hacker News
⚡Cache Coherence
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·1d
🧮SMT Solvers
Kubernetes v1.34: Of Wind & Will (O' WaW)
kubernetes.io·2d·
Discuss: Hacker News
📦Container Security
The Rise of Computer Use and Agentic Coworkers
a16z.com·1d·
Discuss: Hacker News
🤖AI Curation
Check Out 3 Awesome Open Source Tabular Data Wrangling Apps
dev.to·8h·
Discuss: DEV
🤖Archive Automation
🌍 The Journey of Data: From Raw Logs to Insights
dev.to·1d·
Discuss: DEV
🔗Data Provenance
Many developers are lost in current market
dev.to·2d·
Discuss: DEV
📏Code Metrics
How to Benchmark Classical Machine Learning Workloads on Google Cloud
towardsdatascience.com·4d
⚡Performance Mythology
Hallucinating with AI: AI Psychosis as Distributed Delusions
arxiv.org·1d
🔍Vector Forensics
Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
arxiv.org·2d
🧮Theorem Proving