🐿️ 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
·
20h
·
Discuss:
Hacker News
🦀
Rust
Is Glass Liquid or Solid?
math.ucr.edu
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
You Don’t Actually Own That Movie You Just “Bought.” A New Class Action Lawsuit Targets Amazon
hollywoodreporter.com
·
14h
·
Discuss:
Hacker News
,
r/movies
,
r/television
🌐
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
·
2d
·
Discuss:
Hacker News
🌐
HTMX
Rivian R1S suddenly went into limp mode: 4mph on a 8-lane intersection
old.reddit.com
·
1d
·
Discuss:
r/Rivian
🔍
eBPF
Beyond cherry-picking: making sense of mixed results in sleep research
affectablesleep.com
·
3d
·
Discuss:
Hacker News
⚙️
Engineering
Code Review Can Be Better
tigerbeetle.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
📦
WebAssembly
Meet Macrohard, Elon Musk’s AI simulation of Microsoft, focused solely on AI software development — "It’s a tongue-in-cheek name, but the project is very real!...
windowscentral.com
·
2d
·
Discuss:
Hacker News
🚢
DevOps
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
FTC warns tech giants not to bow to foreign pressure on encryption
bleepingcomputer.com
·
1d
·
Discuss:
Hacker News
🕸️
Service Mesh
Build log: Macintosh Classic
jeffgeerling.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
The CodeRabbit exploit: proof that "boring mistakes" cause big security failures
railsfever.com
·
5d
·
Discuss:
Hacker News
,
r/devops
🚢
DevOps
Next-generation 3D DRAM approaches reality as scientists achieve 120-layer stack using advanced deposition techniques
tomshardware.com
·
1d
·
Discuss:
Hacker News
⚡
Performance Engineering
Arch Linux remains under attack as DDoS enters week 2 – here's a workaround
zdnet.com
·
14h
·
Discuss:
Hacker News
🕸️
Service Mesh
How a Terminal Diagnosis Inspired a New Ethical AI System
hackernoon.com
·
6d
🔐
Cryptography
Vibe Coding vs. Agentic Coding: defining 2 patterns in AI-assisted development
blog.nseldeib.com
·
6d
·
Discuss:
Hacker News
🚢
DevOps
Ministry of Violence
buttondown.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
ECUre: The AI-Powered Guardian Securing Your Car's Electronic Control Units from Malware
hackernoon.com
·
6d
🔍
eBPF
Loading...
Loading more...
« Page 60
•
Page 62 »