🐿️ 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
Smoking eases inflamed bowels via bacteria migration
miragenews.com
·
8h
·
Discuss:
Hacker News
🦀
Rust
Is Glass Liquid or Solid?
math.ucr.edu
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
RetroZilla
rn10950.github.io
·
1d
·
Discuss:
Hacker News
🌐
HTMX
Investigators Used Terrible Computer Fraud Laws To Ensure People Were Punished For Leaking Air Crash Footage To CNN
techdirt.com
·
3d
·
Discuss:
Hacker News
👁️
Observability
Consumer Rights Wiki Mission Statement
consumerrights.wiki
·
1d
·
Discuss:
Hacker News
🌐
HTMX
Beyond cherry-picking: making sense of mixed results in sleep research
affectablesleep.com
·
3d
·
Discuss:
Hacker News
⚙️
Engineering
There are no entry-level jobs anymore. What now?
thehill.com
·
5d
·
Discuss:
Hacker News
⚙️
Engineering
100M Key Lookups/SEC with REST API and Python
rondb.com
·
6d
·
Discuss:
Hacker News
,
Hacker News
🗄
Database Systems
Unauthorized OpenAI Equity Transactions
openai.com
·
1d
·
Discuss:
Hacker News
🕸️
Service Mesh
Code Review Can Be Better
tigerbeetle.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
📦
WebAssembly
How to save the American university
theguardian.com
·
1d
·
Discuss:
Hacker News
⚙️
Engineering
How moving from AWS to Bare-Metal K8s saved us $230,000 /yr.
oneuptime.com
·
4d
·
Discuss:
Hacker News
,
r/devops
🚢
DevOps
Build log: Macintosh Classic
jeffgeerling.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Why AI Agents Are Disrupting Traditional Marketing Teams
guptadeepak.com
·
3d
·
Discuss:
Hacker News
🚢
DevOps
The CodeRabbit exploit: proof that "boring mistakes" cause big security failures
railsfever.com
·
5d
·
Discuss:
Hacker News
,
r/devops
🚢
DevOps
Ask HN: Why is JavaScript STILL the only choice for browser-side programming
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
📦
WebAssembly
How NATO Is Building Resilience Against Disruptive Cyber Technologies
forbes.com
·
5d
·
Discuss:
Hacker News
🔐
Cryptography
We save 43 days of cumulative latency everyday with PlanetScale
medium.com
·
4d
·
Discuss:
Hacker News
📦
WebAssembly
How a Terminal Diagnosis Inspired a New Ethical AI System
hackernoon.com
·
5d
🔐
Cryptography
Next-generation 3D DRAM approaches reality as scientists achieve 120-layer stack using advanced deposition techniques
tomshardware.com
·
1d
·
Discuss:
Hacker News
⚡
Performance Engineering
Loading...
Loading more...
« Page 56
•
Page 58 »