🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

If Anyone Builds It, Everyone Dies: my review
haggstrom.blogspot.com·1d·
Discuss: haggstrom.blogspot.com
🔲Cellular Automata
Show HN: Built a complete personal finance app with AI at 18
wealth-ai.in·3h·
Discuss: Hacker News
🔗Data Provenance
Intel Simplifying P-State Driver's Energy Model For Newer Core Ultra CPUs
phoronix.com·2h
⚡Homebrew CPUs
Sync PUBG and Hardware IDs
github.com·1h·
Discuss: Hacker News
🔒Hardware Attestation
From Millions to Billions
geocod.io·3d·
Discuss: Hacker News
🗄️Database Internals
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·3d·
Discuss: Lobsters, Hacker News
💿ZFS Internals
Meet Amazon Quick Suite: The agentic AI application reshaping how work gets done
aboutamazon.com·1d·
Discuss: Hacker News
🌊Streaming Systems
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Blinter the Linter – A Cross Platform Batch Script Linter
github.com·2d·
Discuss: Hacker News
🤖Archive Automation
Kubetorch: Fast ML Development on Kubernetes
run.house·1d·
Discuss: Hacker News
🏠Homelab Orchestration
Tiny AI model outperforms o3‑mini and Gemini 2.5 Pro in ARC‑AGI benchmark
the-decoder.com·1d
🧠Intelligence Compression
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.to·6h·
Discuss: DEV
🔍Vector Forensics
The Conveyor Belt Protocol: Understanding Iterators
dev.to·9h·
Discuss: DEV
🧬Functional Programming
RedTWIZ: Diverse LLM Red Teaming via Adaptive Attack Planning
arxiv.org·2d
⚔️Lean Tactics
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·12h·
Discuss: DEV
📡RSS Automation
From Defender to Devil? Unintended Risk Interactions Induced by LLM Defenses
arxiv.org·1d
✨Effect Handlers
Ethical AI Oversight for Predictive Genetic Counseling: A Framework for Algorithmic Fairness & Patient Trust
dev.to·1d·
Discuss: DEV
⚖️Hoare Logic
The tiny server is growing.
i.redd.it·1d·
Discuss: r/homelab
🌐IPFS
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
Quantum-Aware Federated Learning for Open QaaS Platform Validation
dev.to·1d·
Discuss: DEV
⚛️Quantum Compilers