🐿️ 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
An alternative to LASIK without the lasers
eurekalert.org
·
4h
·
Discuss:
Hacker News
⚙️
Engineering
Magnets Are on the Move
bnl.gov
·
22h
·
Discuss:
Hacker News
⚙️
Engineering
Bitnami Deprecation
raesene.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
🚢
DevOps
Show HN: Fast360 – A web tool to benchmark open-source OCR models side-by-side
fast360.xyz
·
4d
·
Discuss:
Hacker News
🌐
HTMX
Is Gleam production ready?
lindbakk.com
·
5d
·
Discuss:
Lobsters
📦
WebAssembly
Sensors Could Permanently Fly in the mesosphere using photophoresis
universetoday.com
·
23h
·
Discuss:
Hacker News
⚙️
Engineering
New zero-day startup offers $20 million for tools that can hack any smartphone
techcrunch.com
·
2d
·
Discuss:
Hacker News
🔐
Cryptography
Alexander Korotkov: Ordered Insertion Optimization in OrioleDB
orioledb.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
📦
WebAssembly
Handling PII in customer-facing AI chatbots: mask before sending to LLM
hoverbot.ai
·
4d
·
Discuss:
Hacker News
🕸️
Service Mesh
How America’s AI boom is squeezing the rest of the economy
economist.com
·
3d
·
Discuss:
Hacker News
,
r/Economics
🧠
Computer Architecture
Pill That Slows Aging? Meds May Boost Health Span
medscape.com
·
19h
·
Discuss:
Hacker News
⚙️
Engineering
Content-Addressable Storage (CAS)
namvdo.ai
·
4d
·
Discuss:
r/programming
📦
WebAssembly
How I Made Ruby Faster Than Ruby
noteflakes.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
📦
WebAssembly
AI on Top
newpolity.com
·
3d
·
Discuss:
Hacker News
🔐
Cryptography
Adaptive deep SVM for detecting early heart disease among cardiac patients
nature.com
·
3d
·
Discuss:
Hacker News
🔐
Cryptography
Show HN: DockFlow – Dock presets for instant workflow switching on macOS
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🚢
DevOps
Small Commits, Big Wins: How Atomic Changes Transform Developer Life
hackernoon.com
·
3d
📦
WebAssembly
Microsoft Invented a Calculator That Is Wrong Sometimes
defector.com
·
1d
·
Discuss:
Hacker News
⚙️
Engineering
Using Claude Code with your Team plan
support.anthropic.com
·
1d
·
Discuss:
Hacker News
🚢
DevOps
Show HN: Kuvasz Uptime 2.5.0 – custom request headers and bodies
github.com
·
11h
·
Discuss:
Hacker News
📦
WebAssembly
Loading...
Loading more...
« Page 39
•
Page 41 »