The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
[Deep Dive] How We Solved Poker: From Academic Bots to Superhuman AI (1998-2025)
gist.github.com·20h·
Discuss: r/programming
📡Distributed Systems
Flag this post
An open-source conflict has emerged between Google and FFmpeg regarding AI-identified software vulnerabilities
piunikaweb.com·14h·
Discuss: Hacker News, r/opensource
🔍eBPF
Flag this post
The Power of Limit Thinking
press.asimov.com·6h·
Discuss: Hacker News
⚙️Engineering
Flag this post
Apple Silicon and the Developer Dilemma
sagittarius-a.org·1d·
Discuss: Hacker News
🧠Computer Architecture
Flag this post
Show HN: Unify-Simple-Decision-Table
github.com·34m·
Discuss: Hacker News
✅Formal Verification
Flag this post
"Flow" in software development is overrated
arguingwithalgorithms.com·16h·
Discuss: Hacker News
🚢DevOps
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·3d·
Discuss: Substack
✅Formal Verification
Flag this post
Notes Apps
cao.sh·22h·
Discuss: Hacker News
🗄Database Systems
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·2d·
Discuss: Hacker News
⚡Performance Engineering
Flag this post
Context Engineering: The New Skill for Working with AI Agents
benr.build·1d·
Discuss: Hacker News
🚢DevOps
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
lightcapai.medium.com·1d·
Discuss: Hacker News
✅Formal Verification
Flag this post
The Primeagen was right: Vim motions have made me 10x faster. Here's the data to prove it
github.com·15h·
Discuss: r/programming
🚢DevOps
Flag this post
Voxel Grid Visibility
cod.ifies.com·2d·
Discuss: Hacker News, r/programming
🧠Computer Architecture
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·1d·
Discuss: Hacker News
🌐HTMX
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·4d·
Discuss: Hacker News
✅Formal Verification
Flag this post
How We Built a Custom Vision LLM to Improve Document Processing at Grab
engineering.grab.com·2d·
Discuss: Hacker News
🌐HTMX
Flag this post
I love AI; I hate AI
ewanvalentine.co.uk·6h·
Discuss: Hacker News
⚙️Engineering
Flag this post
Ask HN: Trying to find an article with unique OS concepts
news.ycombinator.com·4h·
Discuss: Hacker News
🧠Computer Architecture
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·23h·
Discuss: Hacker News
🦀Rust
Flag this post