Essential Services Maintenance Act
en.wikipedia.org·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Observation Now
rodgercuddington.substack.com·17h·
Discuss: Substack
✅formal methods
Flag this post
High-speed and ultra-low-power superconductive neuron with ReLU activation
iopscience.iop.org·4d·
Discuss: Hacker News
✅formal methods
Flag this post
Missing Link: How Linux would continue without Linus Torvalds
heise.de·20h·
Discuss: Hacker News
⚙️systems programming
Flag this post
How to CAD Almost Anything (2024)
ocw.mit.edu·3d·
Discuss: Hacker News
✅formal methods
Flag this post
Under the hood: How Firefox suggests tab groups with local AI
blog.mozilla.org·4d·
Discuss: Hacker News
⚙️systems programming
Flag this post
The Shadows Lurking in the Equations
gods.art·4d·
Discuss: Hacker News
✅formal methods
Flag this post
Improving Structured Outputs in the Gemini API
blog.google·4d·
Discuss: Hacker News
✅formal methods
Flag this post
We Added ACP Support to Augment (Now in Zed, Neovim, and Emacs)
augmentcode.com·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
SquashFS Tools 4.7.3 Brings Optimizations For As Much As "1500 Times" Speed Improvement
phoronix.com·1d·
Discuss: Hacker News
⚡query optimization
Flag this post
A Powerful Tool to Override Constitutional Rights Goes to Court
nytimes.com·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Claude Code Custom Commands: 3 Practical Examples and When to (Not) Use Them
aiengineering.report·2d·
Discuss: Hacker News
✅formal methods
Flag this post
swww renamed to awww, due to the author's guilt from obliviously naming it "final solution"
lgfae.com·2d·
Discuss: Hacker News, r/linux
🌐network programming
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·5d·
Discuss: Hacker News, Hacker News
⚙️systems programming
Flag this post
Tape containing UNIX v4 found
osnews.com·3d·
Discuss: Hacker News
🔄compilers
Flag this post
Show HN: Lanturn – A smart headlamp running voice+vision on ESP32
github.com·2d·
Discuss: Hacker News
🔄compilers
Flag this post
Show HN: Trying to Help Fellow Red Team Operators
github.com·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
I'm a Linux
davesnider.com·2d·
Discuss: Hacker News, r/linux
⚙️systems programming
Flag this post
Podcast: Lenore Blum: AI Consciousness Is Inevitable
prism-global.com·6d·
Discuss: Hacker News
✅formal methods
Flag this post
Text to SQL: Local, Secure, and Smarter
exasol.com·4d·
Discuss: Hacker News
🗄️databases
Flag this post