🐿️ 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
Ishibadate
yoshinowisdom.com
·
4d
·
Discuss:
Hacker News
🧠
Computer Architecture
Mitigating Backpressure from High Join Amplification with Unaligned Joins
risingwave.com
·
3d
·
Discuss:
Hacker News
📦
WebAssembly
Is Glass Liquid or Solid?
math.ucr.edu
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
The First 1k Days
williamjbarry.substack.com
·
23h
·
Discuss:
Substack
⚙️
Engineering
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
Gutenprint Discontinues macOS Support
gimp-print.sourceforge.io
·
2d
·
Discuss:
Hacker News
🌐
HTMX
There are no entry-level jobs anymore. What now?
thehill.com
·
5d
·
Discuss:
Hacker News
⚙️
Engineering
Nearly 12% of Americans have used GLP-1 weight loss drugs
medicalxpress.com
·
5h
·
Discuss:
Hacker News
🔐
Cryptography
100M Key Lookups/SEC with REST API and Python
rondb.com
·
6d
·
Discuss:
Hacker News
,
Hacker News
🗄
Database Systems
Scientists Have Identified the Origin of an Extraordinarily Powerful Outer Space Radio Wave
wired.com
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
Code Review Can Be Better
tigerbeetle.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
📦
WebAssembly
Inducible genome-wide mutagenesis for improvement of pDNA production
microbialcellfactories.biomedcentral.com
·
4d
·
Discuss:
Hacker News
📦
WebAssembly
Could one country outgrow the rest of the world?
lesswrong.com
·
4d
·
Discuss:
Hacker News
⚙️
Engineering
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
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 58
•
Page 60 »