🐿️ 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 Verification
Correctness Proofs, Model Checking, Theorem Proving, Program Analysis
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Show HN: Interactive 3D map of 3k YC companies by similarity (Three.js and D3)
starwatcher.ai
·
3d
·
Discuss:
Hacker News
🌐
HTMX
The Tragedy of the Computer Science Major
nationalreview.com
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
If AI Is So Hot, Why Is Palantir Soaring While C3.ai Is Stumbling?
futurumgroup.com
·
2d
·
Discuss:
Hacker News
🚢
DevOps
A No-BS Guide to Networking
perseuslynx.dev
·
3d
·
Discuss:
Hacker News
,
r/selfhosted
🔌
Network Programming
Gerrit Code Review
gerritcodereview.com
·
2d
·
Discuss:
Hacker News
🚢
DevOps
Using Metadata to find Paul Revere (2013)
kieranhealy.org
·
3d
·
Discuss:
Hacker News
🔐
Cryptography
A Bash shell script designed to assess and report on battery health metrics
metasage.com
·
5d
·
Discuss:
Hacker News
⚡
Performance Engineering
History of improvements in VACUUM in PostgreSQL (2023)
enterprisedb.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🗄
Database Systems
Why I Quit Competitive Programming
ahmedhosssam.github.io
·
2d
·
Discuss:
Hacker News
🦀
Rust
The plan for Linux after Torvalds has a kernel of truth: there isn’t one
theregister.com
·
2d
·
Discuss:
Hacker News
📡
Distributed Systems
Capabilities of GPT-5 on Multimodal Medical Reasoning
arxiv.org
·
5d
·
Discuss:
Hacker News
🌐
HTMX
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page
·
6d
·
Discuss:
Hacker News
,
r/programming
🔄
Compiler Design
3 Tips to Become a Sean Evans-Level Interviewer
hackernoon.com
·
1d
🚢
DevOps
Modifying Other People's Software
natkr.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
📦
WebAssembly
Vibe coding platform Anything arrives, our hands-on suggests caution
theregister.com
·
2d
·
Discuss:
Hacker News
📦
WebAssembly
AI's Security Crisis: Why Your Assistant Might Betray You
lastweekinaws.com
·
3d
·
Discuss:
Hacker News
🚢
DevOps
Show HN: Multi-agent AI orchestration – lessons from a build log
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🚢
DevOps
Beyond the cloud: SLMs, local AI, agentic constellations, biology and a high value direction for AI progress
pieces.app
·
4d
·
Discuss:
r/programming
📡
Distributed Systems
WeirdML Benchmark v2
htihle.github.io
·
5d
·
Discuss:
Hacker News
⚡
Performance Engineering
In Order Traversal in Haskell and Rust
mmhaskell.com
·
5d
·
Discuss:
Hacker News
🔄
Compiler Design
Loading...
Loading more...
« Page 15
•
Page 17 »