🐿️ 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
The Death of Roger Nzoy Wilhelm
borderforensics.org
·
1d
·
Discuss:
Hacker News
🦀
Rust
ER doctors say we need to pay more attention to heat | Los Angeles Times
latimes.com
·
1d
·
Discuss:
Hacker News
⚙️
Engineering
Crash Cows
beza1e1.tuxen.de
·
6d
·
Discuss:
Hacker News
🦀
Rust
Study finds gaps in evidence for air-cleaning technologies to prevent infections
news.cuanschutz.edu
·
1d
·
Discuss:
Hacker News
⚙️
Engineering
The "Correct" Map
cartographerstale.com
·
1d
·
Discuss:
Hacker News
📡
Distributed Systems
Reality is evil
aeon.co
·
5d
·
Discuss:
Hacker News
⚙️
Engineering
A few cultural thoughts
noahpinion.blog
·
2d
·
Discuss:
Hacker News
📦
WebAssembly
Climbing the Wrong Hill
cdixon.org
·
4d
·
Discuss:
Hacker News
⚙️
Engineering
Ask HN: Solar+WiFi IP Security Cameras?
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
👁️
Observability
Many-notes: Markdown note-taking web application designed for simplicity
github.com
·
6d
·
Discuss:
Hacker News
🌐
HTMX
SecureBitChat v4.01.412 Release
github.com
·
5d
·
Discuss:
Hacker News
🔐
Cryptography
Show HN: Classic Lode Runner native game
github.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
AI Is Nothing Like a Brain, and That's OK
quantamagazine.org
·
4d
·
Discuss:
Hacker News
📡
Distributed Systems
Going Viral with Product-Led "Visual Wow" Moments
iamcharliegraham.substack.com
·
22h
·
Discuss:
Substack
🌐
HTMX
Reproducing prospect theory with 'differentiable decision theories'
science.org
·
5d
·
Discuss:
Hacker News
📡
Distributed Systems
Google Release Nano Banana
blog.google
·
20h
·
Discuss:
Hacker News
🌐
HTMX
A summary of recent AI research (2016)
blog.plan99.net
·
5d
·
Discuss:
Hacker News
🔐
Cryptography
Cua (YC X25) Is Hiring Founding Design Engineers in SF
ycombinator.com
·
5d
·
Discuss:
Hacker News
⚙️
Engineering
Sci-Hub Blocked in India, Founder Tells Plaintiffs to Expect Disappointment
torrentfreak.com
·
1d
·
Discuss:
Hacker News
,
r/Piracy
🕸️
Service Mesh
AI looks increasingly useless in telecom and anywhere else
lightreading.com
·
4d
·
Discuss:
Hacker News
⚙️
Engineering
Loading...
Loading more...
« Page 67
•
Page 69 »