🔩 Systems Programming

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

Beyond the Checkbox: How Backblaze’s SOC 2 Type 2 Certification Secures Your Cloud Data
backblaze.com·20h
✅Archive Fixity
Song recommendations with F# free monads
blog.ploeh.dk·3d
🔗Functional Compilers
Dependent types I › Universes, or types of types
jonmsterling.com·1d·
Discuss: Hacker News
🔤Type Theory
Show HN: AI Agent in Jupyter – Runcell
runcell.dev·2h·
Discuss: Hacker News
📄Document AI
Survey Finds More Python Developers Like PostgreSQL, AI Coding Agents - and Rust for Packages
developers.slashdot.org·3d
🦀Rust Macros
Do I need a Lisp Machine comeback?
far.chickenkiller.com·5d·
Discuss: Hacker News
🦀Rust Macros
Moving local with Thinkcentre
i.redd.it·4h·
Discuss: r/homelab
🏠Homelab Archaeology
Snapmaker U1 tool changer
taoofmac.com·2h
🦴Binary Paleography
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Will There Ever Be a 10x Prompt Engineer?
embedworkflow.com·18h·
Discuss: Hacker News
⚡Proof Automation
Intel's Clearwater Forest E-Core Server Chip at Hot Chips 2025
old.chipsandcheese.com·2d·
Discuss: Hacker News
🖥️Hardware Architecture
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·2d
🗂️Vector Databases
AI Contrarians on the Problems With Vibe Coding
thenewstack.io·1d
🔄Language Evolution
Automated Cognitive Bias Mitigation in Genomic Data Analysis via Multi-Modal Fusion & Bayesian Calibration
dev.to·15h·
Discuss: DEV
✓Automated Theorem Proving
Evaluating Language Model Reasoning about Confidential Information
arxiv.org·7h
💻Local LLMs
MathBuddy: A Multimodal System for Affective Math Tutoring
arxiv.org·7h
📊Learned Metrics
What should I do with my old laptops?
reddit.com·2d·
Discuss: r/homelab
🏠Homelab Preservation
Top 5 Productivity Tools I Actually Use (and Why Notion Isn’t Always Enough)
dev.to·5h·
Discuss: DEV
🌱Personal Wikis
Quantization Robustness to Input Degradations for Object Detection
arxiv.org·7h
📊Quantization
Stop Losing Your Code Snippets Everywhere 🚀
dev.to·15h·
Discuss: DEV
🌀Brotli Dictionary