🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

A more climate-friendly way to produce nitrogen fertilizer
phys.org·13h
⚛️Information Physics
PyCon Portugal 2025 talks mafia
mathspp.com·1d
🌐Protocol Synthesis
The Keys to Implementing Exposure Management
tenable.com·19h
🔐HSM Integration
A mathematician’s coming-of-age story.
mathwithbaddrawings.com·18h
📐Mathematical Art
Submarines and Foolkillers
chicagology.com·9h·
Discuss: Hacker News
🕯️Wax Cylinders
Reverse Proxy Deep Dive Part 3: Understanding Service Discovery Challenges
startwithawhy.com·1d·
Discuss: r/devops
📊PCAP Analysis
Paper FOMO and ICML 2025 Outstanding Papers
gonzoml.substack.com·9h·
Discuss: Substack
🎯Performance Proofs
Building a Game Engine Solo – Lessons Learned, Bad Decisions, and Surprising Wins
coffeecupentertainment.com·4d·
Discuss: Hacker News, r/programming
🖥️Terminal Renaissance
We solved the "AI agent black box" problem with typed tasks
augmentcode.com·13h·
Discuss: Hacker News
⚡Proof Automation
ZeroFS – The Filesystem That Makes S3 Your Primary Storage
github.com·2d·
Discuss: Hacker News
💿ZFS Internals
Machine Learning Risk Intelligence for Green Hydrogen Investment: Insights for Duqm R3 Auction
arxiv.org·1h
🧠Machine Learning
📈 Code quality improvement after switching to task automatio
dev.to·2d·
Discuss: DEV
🐚Shell Automation
KASportsFormer: Kinematic Anatomy Enhanced Transformer for 3D Human Pose Estimation on Short Sports Scene Video
arxiv.org·1h
🌀Differential Geometry
🎨 Clean code setup that boosts focus:
dev.to·1d·
Discuss: DEV
📟CLI Design
Youtube Downloader - My first MCP Server
dev.to·8h·
Discuss: DEV
📦MKV Containers
Why Is My nil Error Not nil in Go? Unpacking Nil Interfaces
dev.to·4d·
Discuss: DEV
🔧Binary Parsing
🧠 Why We Built compressimage: Rethinking Image Compression from the Ground Up
dev.to·19h·
Discuss: DEV
📸PNG Optimization
DevLog 20250726: C# is the way, Python gets things done, JavaScript is convenient
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Diverse and Adaptive Behavior Curriculum for Autonomous Driving: A Student-Teacher Framework with Multi-Agent RL
arxiv.org·1d
🔲Cellular Automata
I'm looking to put a GPU in my R7515 - what have you put into yours?
reddit.com·1d·
Discuss: r/homelab
🖥️Terminal Renaissance