🐿️ 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
·
14h
·
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
🕸️
Service Mesh
Every Public Facing Organisation Should Run a Provenance Service
djoker.dev
·
3d
·
Discuss:
Hacker News
🌐
HTMX
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
New Linux Patches Allow Manipulating Out-Of-Memory Behavior Using BPF
phoronix.com
·
2d
·
Discuss:
Hacker News
🔍
eBPF
OpenAI vs. Microsoft vs. Google: Wiring AI Within Products
docs.google.com
·
12h
·
Discuss:
Hacker News
🌐
HTMX
How to Achieve Ultimate Blog Success in One Easy Step (2007)
blog.codinghorror.com
·
2d
·
Discuss:
Hacker News
🚢
DevOps
High-density retinal signal deciphering to diagnose psychiatric disorders
sciencedirect.com
·
3h
·
Discuss:
Hacker News
⚡
Performance Engineering
Big Jobs – How to Thrive in the "AI Jobs Apocalypse"
fluxus.io
·
9h
·
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
·
7h
·
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
·
2d
·
Discuss:
Hacker News
🌐
HTMX
Researching with Agents
softwaredoug.com
·
2d
·
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
Loading...
Loading more...
« Page 32
•
Page 34 »