πΏοΈ 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
Sonic Liberation Devices
sonicliberationdevices.com
Β·
1d
Β·
Discuss:
Hacker News
π
HTMX
Using game theory to explain how institutions arise naturally to manage limited resources
phys.org
Β·
1d
Β·
Discuss:
Hacker News
π‘
Distributed Systems
AWS account access problem β support not responding after 48h
news.ycombinator.com
Β·
7h
Β·
Discuss:
Hacker News
π¦
WebAssembly
AWS blames bug for Kiro pricing glitch that drained developer limits
infoworld.com
Β·
3d
Β·
Discuss:
Hacker News
π’
DevOps
My life in Gaza: βDo you know the series Squid Game?β
theguardian.com
Β·
17h
Β·
Discuss:
Hacker News
πΈοΈ
Service Mesh
Local Live Captioning with Whisper.cpp and FFmpeg
brady.fyi
Β·
2d
Β·
Discuss:
Hacker News
π
Compiler Design
Ted Chiang: The Secret Third Thing
linch.substack.com
Β·
4d
Β·
Discuss:
Substack
π
HTMX
Bruce Ames Triage Theory β Explained
fastlifehacks.com
Β·
2d
Β·
Discuss:
Hacker News
π¦
Rust
Did Ronald Reagan Have Aphantasia
hollisrobbinsanecdotal.substack.com
Β·
2d
Β·
Discuss:
Substack
π§
Computer Architecture
I like me better when I'm with them
alexanderao.substack.com
Β·
1d
Β·
Discuss:
Substack
βοΈ
Engineering
Creating 3D Worlds with HTML and CSS
keithclark.co.uk
Β·
2d
Β·
Discuss:
Hacker News
π
HTMX
Microsoft puts the squeeze on onmicrosoft.com freeloaders
theregister.com
Β·
1d
Β·
Discuss:
Hacker News
πΈοΈ
Service Mesh
Afghan women turn to online courses as Taliban bans education
apnews.com
Β·
7h
Β·
Discuss:
Hacker News
π
Cryptography
Emacs is violent passion
mihaiolteanu.me
Β·
3d
Β·
Discuss:
Lobsters
,
Hacker News
βοΈ
Engineering
List of Genocides
en.wikipedia.org
Β·
2d
Β·
Discuss:
Hacker News
βοΈ
Engineering
LLMs + Coding Agents = Security Nightmare
garymarcus.substack.com
Β·
6d
Β·
Discuss:
Substack
π¦
WebAssembly
AI tooling must be disclosed for contributions
github.com
Β·
3d
Β·
Discuss:
Hacker News
,
Hacker News
π’
DevOps
Cloudflare incident on August 21, 2025
blog.cloudflare.com
Β·
1d
Β·
Discuss:
Hacker News
π
eBPF
Impacket: A collection of Python classes for working with network protocols
github.com
Β·
4d
Β·
Discuss:
Hacker News
π
eBPF
Prompt Engineering vs Spec Engineering. Coding with AI like a Senior Engineer in Big Tech
strategizeyourcareer.com
Β·
6d
Β·
Discuss:
r/programming
π’
DevOps
Loading...
Loading more...
« Page 47
β’
Page 49 »