Agile and vicious Nanotyrannus was not just a teenage T. rex
yahoo.com·3h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·1d·
Discuss: Lobsters, Hacker News
🔺Computational Geometry
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·18h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Challenge: Improve Multilingual ASR Performance for Mozilla
community.mozilladatacollective.com·6h·
Discuss: Hacker News
📊Streaming ML
Flag this post
"Can GPT-4 co-author a sacred text? A symbolic experiment in prompting AI
scribd.com·10h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·7h·
Discuss: Hacker News
✅Formal Verification
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·8h·
Discuss: Hacker News
🦀Rust
Flag this post
De Bruijn Numerals
text.marvinborner.de·3d·
Discuss: Hacker News
🎲Branden Fitelsin
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post
I'm a health editor: my husband's prostate cancer screening results surprised me
telegraph.co.uk·10h·
Discuss: Hacker News
🎲Branden Fitelsin
Flag this post
Becoming the Internet: Weighing the Options
blog.bsprague.com·22h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
OpenAI Co-Founder: AI Agents Are Still 10 Years Away
thenewstack.io·10h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·1d·
Discuss: Lobsters, Hacker News
✅Formal Verification
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·1d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·2d·
Discuss: Hacker News, Hacker News
🎲Branden Fitelsin
Flag this post
How Should Business and Tech Leaders Spend in 2026?
insurtechamsterdam.com·15h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post