🧠 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
Intel Simplifying P-State Driver's Energy Model For Newer Core Ultra CPUs
phoronix.com·23h
⚡Homebrew CPUs
Show HN: Built a complete personal finance app with AI at 18
wealth-ai.in·1d·
Discuss: Hacker News
🔗Data Provenance
From Millions to Billions
geocod.io·4d·
Discuss: Hacker News
🗄️Database Internals
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·4d·
Discuss: Lobsters, Hacker News
💿ZFS Internals
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Kubetorch: Fast ML Development on Kubernetes
run.house·2d·
Discuss: Hacker News
🏠Homelab Orchestration
Tiny AI model outperforms o3‑mini and Gemini 2.5 Pro in ARC‑AGI benchmark
the-decoder.com·2d
🧠Intelligence Compression
Blinter the Linter – A Cross Platform Batch Script Linter
github.com·2d·
Discuss: Hacker News
🤖Archive Automation
A tangled web of deals stokes AI bubble fears in Silicon Valley
dev.to·21h·
Discuss: DEV
🤖AI Curation
AI-assisted software engineering
dev.to·2d·
Discuss: DEV
⚡Effectful Programming
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·17h·
Discuss: DEV
📊Multi-vector RAG
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·4d
🧮Kolmogorov Bounds
Tech With Tim: How to Build AI Agents in Python
dev.to·5h·
Discuss: DEV
⚔️Lean Tactics
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
11+ Best All-in-One AI Platforms in 2025
dev.to·3d·
Discuss: DEV
🤖AI Curation
Ethical AI Oversight for Predictive Genetic Counseling: A Framework for Algorithmic Fairness & Patient Trust
dev.to·2d·
Discuss: DEV
⚖️Hoare Logic
The Rise of Reactive Backends That Adapt in Real Time
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Right-Sizing AI for the Edge: Power, Models and Security
thenewstack.io·2d
🖥️Modern Terminals
Automated Parameter Calibration in Physics-Based Robot Simulation via Bayesian Optimization
dev.to·2d·
Discuss: DEV
⚡Incremental Computation