Claude, Teach Me Something
hugotunius.se·6d
✅Formal Methods
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·4d·
Discuss: Hacker News
✅Formal Methods
Flag this post
We are building AI slaves. Alignment through control will fail
utopai.substack.com·1d·
Discuss: Substack
🌐Distributed Systems
Flag this post
Side project advice
nedbatchelder.com·2d
❄️Nix
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·3d·
Discuss: Hacker News
💾Databases
Flag this post
Perfetto: Swiss Army Knife for Linux Client Tracing
lalitm.com·1d·
Discuss: Lobsters, Hacker News, r/linux
🔄Concurrency
Flag this post
Microsoft to Get 27% of OpenAI, Access to AI Models Until 2032
bloomberg.com·4d·
Discuss: Hacker News, r/technews
✅Formal Methods
Flag this post
China solves 'century-old problem' with new analog chip that is 1,000 times faster than high-end Nvidia GPUs
livescience.com·1d·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
Building A Clamshell Writer Deck
hackaday.com·20h
⚙️Systems Programming
Flag this post
Building a Robot Dog (with an airsoft gun)
erikschluntz.com·3d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Introducing Composer Composer is our new agent model designed for software engineering intelligence and speed. research · Oct 29, 2025
cursor.com·3d·
Discuss: Hacker News, r/programming
🔄Concurrency
Flag this post
Just Use a Button
gomakethings.com·1d·
Discuss: Lobsters, Hacker News
🧩WebAssembly
Flag this post
The giant basket case countries
noahpinion.blog·2h·
Discuss: Hacker News
🦀rust
Flag this post
AMD ROCm 7.1 Released: Many Instinct MI350 Series Improvements, Better Performance
phoronix.com·2d
⚙LLVM
Flag this post
Heart Mountain
xkcd.com·1d
🦀rust
Flag this post
Volumetric Display Takes a Straight Forward (and Backward) Approach
hackaday.com·8h
⚡Zig
Flag this post
What the Air You Breathe May Be Doing to Your Brain
nytimes.com·2h·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
Powell says that, unlike the dot-com boom, AI spending isn’t a bubble: ‘I won’t go into particular names, but they actually have earnings’
fortune.com·2d·
Discuss: Hacker News, r/Economics
💻programming
Flag this post
GHC Now Runs in the Browser
discourse.haskell.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🧩WebAssembly
Flag this post
Vibecoded tool that converts ArXiv papers to interactive podcasts
wadamczyk.io·1d·
Discuss: Hacker News
🔒Cryptography
Flag this post