πΏοΈ 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
HTTP Headers to Build 10X APIs π₯
newsletter.systemdesign.one
Β·
2d
Β·
Discuss:
r/programming
π
HTMX
How churches use data and AI as engines of surveillance
technologyreview.com
Β·
2d
Β·
Discuss:
Hacker News
ποΈ
Observability
UGC Maker: Real UGC Ads and Shorts, Made with AI
ugcmaker.io
Β·
11h
Β·
Discuss:
Hacker News
π’
DevOps
Working with Btrfs β Snapshots
fedoramagazine.org
Β·
1d
Β·
Discuss:
Hacker News
π
Database Systems
SubBuddy: Never Miss a Payment Again
subbuddy.io
Β·
1d
Β·
Discuss:
Hacker News
,
Hacker News
πΈοΈ
Service Mesh
Creating a read-only PostgreSQL user
crunchydata.com
Β·
1d
Β·
Discuss:
Hacker News
π
Database Systems
Avi Loeb: Is 3I/Atlas Our Turing Test by a Superior Alien Intelligence?
avi-loeb.medium.com
Β·
1d
Β·
Discuss:
Hacker News
βοΈ
Engineering
Star for star?
github.com
Β·
7h
Β·
Discuss:
r/programming
π
eBPF
OpenAI vs. Microsoft vs. Google: Wiring AI Within Products
docs.google.com
Β·
9h
Β·
Discuss:
Hacker News
π
HTMX
Cursor: 1.5x Faster Moe Training on Blackwell with MXFP8 Kernels
cursor.com
Β·
1d
Β·
Discuss:
Hacker News
π§
Computer Architecture
How to Achieve Ultimate Blog Success in One Easy Step (2007)
blog.codinghorror.com
Β·
2d
Β·
Discuss:
Hacker News
π’
DevOps
Show HN: OS X Mavericks Forever
mavericksforever.com
Β·
3d
Β·
Discuss:
Hacker News
π
HTMX
Microsoft Invented a Calculator That Is Wrong Sometimes
defector.com
Β·
17h
Β·
Discuss:
Hacker News
βοΈ
Engineering
High-density retinal signal deciphering to diagnose psychiatric disorders
sciencedirect.com
Β·
42m
Β·
Discuss:
Hacker News
β‘
Performance Engineering
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me
Β·
6d
Β·
Discuss:
Lobsters
,
Hacker News
π
Compiler Design
Big Jobs β How to Thrive in the "AI Jobs Apocalypse"
fluxus.io
Β·
6h
Β·
Discuss:
Hacker News
π’
DevOps
I made Python uncrashable, it catches every exception
github.com
Β·
2d
Β·
Discuss:
Hacker News
π¦
Rust
Texas attorney general accuses Meta, Character.AI of misleading kids with mental health claims
techcrunch.com
Β·
3d
Β·
Discuss:
Hacker News
π
HTMX
Grok chats exposed in Google results
bbc.co.uk
Β·
4h
Β·
Discuss:
Hacker News
,
r/news
ποΈ
Observability
Show HN: Spectre, a coding agent for llama.cpp servers
github.com
Β·
1d
Β·
Discuss:
Hacker News
π¦
WebAssembly
Loading...
Loading more...
« Page 30
β’
Page 32 »