🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ formal methods
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Opengrep Adds Apex Support and New Rule Controls in Latest Updates
socket.dev
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
The Surprisal Calculator WM±7
surprisal.onrender.com
·
18h
·
Discuss:
Hacker News
🐫
ocaml
Sniffing and Injecting on 5G NR
github.com
·
1d
·
Discuss:
Hacker News
🌐
network programming
The AI Was Fed Sloppy Code. It Turned Into Something Evil.
quantamagazine.org
·
2d
·
Discuss:
Hacker News
,
Hacker News
⚙️
systems programming
Scientists Postulate a Second Law for Quantum Entanglement
techexplorist.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Reverse Engineering Pokémon Go Plus (2018)
tinyhack.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Will AI Usher in the End of Deep Thinking?
theringer.com
·
1d
·
Discuss:
Hacker News
🌐
network programming
OpenSSH Post-Quantum Cryptography
openssh.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/linux
⚙️
systems programming
BUILD: Solving the Software Complexity Puzzle
computing.llnl.gov
·
5d
·
Discuss:
Hacker News
🔄
compilers
Show HN: Docker container for Claude Code with complete host isolation
github.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Using Metadata to find Paul Revere (2013)
kieranhealy.org
·
1d
·
Discuss:
Hacker News
🗄️
databases
AIxCC and RoboDuck
theori.io
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
Programming a Language
nrinaudo.github.io
·
4d
·
Discuss:
Hacker News
🔄
compilers
Meet Jules’ sharpest critic and most valuable ally
developers.googleblog.com
·
2d
·
Discuss:
Hacker News
🔄
compilers
LLMs in Programming
thecodedmessage.com
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Using Socratic Dialog with AI for Better Technical Decisions
matthewsinclair.com
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
AI Proves P != NP
mvcalder-01701.medium.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
2025-08-13: The GNU D compiler has been broken on FreeBSD 14 for over a year and no one noticed, or, why operating system package maintainers matter
briancallahan.net
·
2d
·
Discuss:
Hacker News
🔄
compilers
Clarity Is Speed
hellmayr.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Agentic Coding a FastHTML RAG Eval App
elite-ai-assisted-coding.dev
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Loading...
Loading more...
« Page 7
•
Page 9 »