Essential Services Maintenance Act
en.wikipedia.org·7h·
Discuss: Hacker News
✅formal methods
Flag this post
How to CAD Almost Anything (2024)
ocw.mit.edu·2d·
Discuss: Hacker News
✅formal methods
Flag this post
Under the hood: How Firefox suggests tab groups with local AI
blog.mozilla.org·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Avalonia Partners with Google's Flutter Team to Bring Impeller Rendering to .NET
avaloniaui.net·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Improving Structured Outputs in the Gemini API
blog.google·3d·
Discuss: Hacker News
✅formal methods
Flag this post
The Shadows Lurking in the Equations
gods.art·3d·
Discuss: Hacker News
✅formal methods
Flag this post
Compelling reasons to learn Ruby today
rubynewbie.org·4d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Tape containing UNIX v4 found
osnews.com·2d·
Discuss: Hacker News
🔄compilers
Flag this post
Handbook of Satisfiability (2021)
iospress.com·6d·
Discuss: Hacker News
✅formal methods
Flag this post
The Noise and the Signal
russmiles.substack.com·5d·
Discuss: Substack
⚙️systems programming
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·4d·
Discuss: Lobsters, Hacker News
🔄compilers
Flag this post
Reasoning with Sampling: Your Base Model Is Smarter Than You Think
aakaran.github.io·2d·
Discuss: Hacker News
✅formal methods
Flag this post
OpenAI RAG Starter Kit with File Search and Chat UI
github.com·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Lowering in Reverse
buttondown.com·5d·
Discuss: Hacker News
⚡query optimization
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·6d·
Discuss: Hacker News
🔄compilers
Flag this post
What I vibe coded in a week (laid off MLE at Meta)
hermitian3.substack.com·15h·
Discuss: Substack
⚙️systems programming
Flag this post
Neuromorphic Intelligence Promises a New Era of Brain-Like Sustainable AI
dailyneuron.com·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
The Uncomfortable Truth About AI Agents: 90% Claim Victory While 10% Achieve Adoption
techupkeep.dev·17h·
Discuss: Hacker News, r/programming
⚙️systems programming
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·5d·
Discuss: Hacker News
🔄compilers
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
smallcultfollowing.com·4d·
Discuss: Lobsters, Hacker News
🔄compilers
Flag this post