🐿️ 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
‘Ad Blocking is Not Piracy’ Decision Overturned By Top German Court
torrentfreak.com
·
2d
·
Discuss:
Hacker News
,
r/Piracy
🔍
eBPF
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
·
3d
·
Discuss:
Hacker News
👁️
Observability
UGC Maker: Real UGC Ads and Shorts, Made with AI
ugcmaker.io
·
17h
·
Discuss:
Hacker News
🚢
DevOps
Working with Btrfs – Snapshots
fedoramagazine.org
·
2d
·
Discuss:
Hacker News
🗄
Database Systems
SubBuddy: Never Miss a Payment Again
subbuddy.io
·
1d
·
Discuss:
Hacker News
,
Hacker News
,
Hacker News
🕸️
Service Mesh
Creating a read-only PostgreSQL user
crunchydata.com
·
1d
·
Discuss:
Hacker News
🗄
Database Systems
All Paths to Happiness (2013)
physicsnapkins.wordpress.com
·
2d
·
Discuss:
Hacker News
🔐
Cryptography
Avi Loeb: Is 3I/Atlas Our Turing Test by a Superior Alien Intelligence?
avi-loeb.medium.com
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
OpenAI vs. Microsoft vs. Google: Wiring AI Within Products
docs.google.com
·
15h
·
Discuss:
Hacker News
🌐
HTMX
How to Achieve Ultimate Blog Success in One Easy Step (2007)
blog.codinghorror.com
·
2d
·
Discuss:
Hacker News
🚢
DevOps
Big Jobs – How to Thrive in the "AI Jobs Apocalypse"
fluxus.io
·
12h
·
Discuss:
Hacker News
🚢
DevOps
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
·
10h
·
Discuss:
Hacker News
,
r/news
👁️
Observability
Show HN: Spectre, a coding agent for llama.cpp servers
github.com
·
1d
·
Discuss:
Hacker News
📦
WebAssembly
Ask HN: What is the most effective way to unblur a QR code?
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🌐
HTMX
Researching with Agents
softwaredoug.com
·
3d
·
Discuss:
Hacker News
📦
WebAssembly
guide : running gpt-oss with llama.cpp
github.com
·
3d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🔍
eBPF
How Nexo’s AI Changes Crypto Account Management With Built-In Native Intelligence
hackernoon.com
·
1d
🕸️
Service Mesh
Nexus: Securing MCP Tool Sprawl
grafbase.com
·
3d
·
Discuss:
Hacker News
🔍
eBPF
Loading...
Loading more...
« Page 33
•
Page 35 »