Dexter Cows and Kefir Cheese
smallfarmersjournal.com·18h·
Discuss: Hacker News
⚙️systems programming
Linux Cache-Aware Scheduling / Load Balancing Updated With New Tuning Knob
phoronix.com·1d·
Discuss: Hacker News
⚙️systems programming
The Closed Internet Protocol
mirz.ai·20h·
Discuss: Hacker News
✅formal methods
Building in Public: Why We're Publishing Our Roadmap
agenta.ai·18h·
Discuss: Hacker News
✅formal methods
Vercel Goes All in on Vibe Coding Web Apps
thenewstack.io·1d·
Discuss: Hacker News
⚙️systems programming
BUILD: Solving the Software Complexity Puzzle
computing.llnl.gov·2d·
Discuss: Hacker News
🔄compilers
Channel your inner Marie Kondo – identifying and eliminating policy clutter
eatingpolicy.com·1d·
Discuss: Hacker News
⚙️systems programming
Freedesktop.org – Desktop Interoperability Standards
freedesktop.org·1d·
Discuss: Hacker News
⚙️systems programming
The Sorcerer's Apprentice
articles.pragdave.me·17h·
Discuss: Hacker News
✅formal methods
Microsoft POML – Prompt Orchestration Markup Language
github.com·3d·
Discuss: Hacker News
✅formal methods
Scaling Interpretability
anthropic.com·2d·
Discuss: Hacker News
✅formal methods
The Replication Engine
ifp.org·1d·
Discuss: Hacker News
⚙️systems programming
ChatGPT’s model picker is back, and it’s complicated
techcrunch.com·8h·
Discuss: Hacker News
🐫ocaml
Should you be coding with agents?
algorithmictradeoff.substack.com·1d·
Discuss: Substack
⚙️systems programming
Fabricated data in posts.xml for multiple/all data dumps
meta.stackexchange.com·10h·
Discuss: Hacker News
🗄️databases
Organics and Mechanics
randsinrepose.com·6h·
Discuss: Hacker News
⚙️systems programming
Was Your Kid’s Report Card Written By AI?
theatlantic.com·1d·
Discuss: Hacker News
🗄️databases
Auditing AI
wryco.com·1d·
Discuss: Hacker News
⚙️systems programming
Programming languages and dimensions of units of measure
cl.cam.ac.uk·2d·
Discuss: Hacker News
✅formal methods
Evaluating Document Extraction Accuracy
runpulse.com·18h·
Discuss: Hacker News
⚡query optimization