The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
An open-source conflict has emerged between Google and FFmpeg regarding AI-identified software vulnerabilities
piunikaweb.com·19h·
Discuss: Hacker News, r/opensource
🔍eBPF
Flag this post
The Power of Limit Thinking
press.asimov.com·11h·
Discuss: Hacker News
⚙️Engineering
Flag this post
An Introduction to Game Development with DragonRuby
blog.appsignal.com·12h·
Discuss: Hacker News
🌐HTMX
Flag this post
Apple Silicon and the Developer Dilemma
sagittarius-a.org·1d·
Discuss: Hacker News
🧠Computer Architecture
Flag this post
[Deep Dive] How We Solved Poker: From Academic Bots to Superhuman AI (1998-2025)
gist.github.com·1d·
Discuss: Hacker News, r/programming
📡Distributed 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·20h·
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·3d·
Discuss: Hacker News
🌐HTMX
Flag this post
Ask HN: Trying to find an article with unique OS concepts
news.ycombinator.com·9h·
Discuss: Hacker News
🧠Computer Architecture
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·1d·
Discuss: Hacker News
🦀Rust
Flag this post
CEF.AI is hiring for Principal Software Engineer position in SF
join.com·1d·
Discuss: Hacker News
🚢DevOps
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·3d·
Discuss: Hacker News
✅Formal Verification
Flag this post
On Async Mutexes
matklad.github.io·3d·
Discuss: Lobsters, Hacker News
🔌Network Programming
Flag this post
Document Chat System
document-chat-system.vercel.app·4h·
Discuss: Hacker News
🌐HTMX
Flag this post