🐿️ 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
Try and
ygdp.yale.edu
·
2d
·
Discuss:
Hacker News
🔄
Compiler Design
Why Metropolis–Hastings Works
gregorygundersen.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔄
Compiler Design
Einstein Fields: A Neural Perspective to Computational General Relativity
arxiviq.substack.com
·
1d
·
Discuss:
Substack
🧠
Computer Architecture
What If A.I. Doesn’t Get Much Better Than This?
newyorker.com
·
17h
·
Discuss:
Hacker News
⚙️
Engineering
1500 Archers on a 28.8: Network Programming in Age of Empires and Beyond
gamedeveloper.com
·
1d
·
Discuss:
Hacker News
🔌
Network Programming
Pushing the limits of long-context LLM training for 1M-token+ medical records
akasa.com
·
5d
·
Discuss:
Hacker News
🔄
Compiler Design
The Imminent Deprecation of memory_order:consume
people.kernel.org
·
18h
·
Discuss:
Hacker News
🧠
Computer Architecture
We Keep Reinventing CSS, but Styling Was Never the Problem
denodell.com
·
23h
·
Discuss:
Hacker News
🌐
HTMX
Building AI agents made easy with Goose and Docker
docker.com
·
21h
·
Discuss:
Hacker News
📦
WebAssembly
Understanding not just Clojure's comp function by re-implementing it
evalapply.org
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔄
Compiler Design
Inside Doximity’s 15-Year Ruby on Rails Monolith
onrails.buzzsprout.com
·
23h
·
Discuss:
r/programming
📦
WebAssembly
Mistakes Made and Lessons Learned Building HubSpot
businessofsoftware.org
·
23h
·
Discuss:
Hacker News
🚢
DevOps
Why Generics Belong in Infrastructure, Not in Architecture
medium.com
·
4d
·
Discuss:
r/programming
🔄
Compiler Design
The systems language from the '70s that almost beat C
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
🔄
Compiler Design
We Create
linus.coffee
·
17h
·
Discuss:
Hacker News
⚙️
Engineering
Show HN: "I Svelte That", a Book by Claude Code
github.com
·
1d
·
Discuss:
Hacker News
🌐
HTMX
Securing the supply chain at scale: Starting with 71 important open source projects
github.blog
·
1d
·
Discuss:
Hacker News
📦
WebAssembly
What If We Built Legal Systems Like We Build Everything Else?
philosophermaker.substack.com
·
16h
·
Discuss:
Substack
🔐
Cryptography
Show HN: VectorOps Know
vectorops.dev
·
5d
·
Discuss:
Hacker News
🚢
DevOps
Don't Be Too Rational
emergingperspectives.substack.com
·
3h
·
Discuss:
Substack
🔐
Cryptography
Loading...
Loading more...
« Page 10
•
Page 12 »