🐿️ 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
Show HN: Munchlog – Casually track calories with voice
munchlog.ai
·
1d
·
Discuss:
Hacker News
👁️
Observability
The Masimo Misconception
victorwynne.com
·
6h
·
Discuss:
Hacker News
⚙️
Engineering
From Geo to AIVO, the Evolution of Digital Visibility Standards in AI Search
geostandard.org
·
4d
·
Discuss:
Hacker News
🚢
DevOps
ghrc.io Appears to be Malicious
bmitch.net
·
3d
·
Discuss:
Lobsters
,
Hacker News
🕸️
Service Mesh
In the long run, LLMs make us dumber
desunit.com
·
3d
·
Discuss:
Hacker News
⚙️
Engineering
Earning the right
splits.org
·
4d
·
Discuss:
Hacker News
🚢
DevOps
Trump's New "Apple Store"
axios.com
·
1d
·
Discuss:
Hacker News
🌐
HTMX
Y Combinator Brief in Epic vs. Apple
scribd.com
·
2d
·
Discuss:
Hacker News
🌐
HTMX
Why we dont like TDD
oneuptime.com
·
6d
·
Discuss:
Hacker News
🚢
DevOps
Ask HN: MCP/API search vs. vector search – what's winning for you?
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🗄
Database Systems
My first project in Go is a terminal dashboard (what a programming language)
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🚢
DevOps
We must build AI for people; not to be a person
mustafa-suleyman.ai
·
4d
·
Discuss:
Hacker News
📡
Distributed Systems
Rewriting Numaflow (for AI), an open-source stream processing platform, in Rust
blog.numaproj.io
·
6d
·
Discuss:
Hacker News
📦
WebAssembly
ChatGPT is pulling from Google Search to answer your questions
tomsguide.com
·
2d
·
Discuss:
Hacker News
🌐
HTMX
Why DePINs Are the Best Way to Organise Global Compute
hackernoon.com
·
4d
🕸️
Service Mesh
Resist AI – a handbook for concerned citizens
resist-ai.sh
·
4d
·
Discuss:
Hacker News
🚢
DevOps
The UK government embracing AI? I'm sorry, that's nonsense and I can prove it
theguardian.com
·
1d
·
Discuss:
Hacker News
🕸️
Service Mesh
Claude Code: Tips and Tricks
post-training.aitinkerers.org
·
6d
·
Discuss:
Hacker News
🚢
DevOps
Escaping the Steamcar Era of AI
speakez.tech
·
6d
·
Discuss:
Hacker News
🧠
Computer Architecture
Show HN: stagDB – Free and Open-Source database manager with instant branching
github.com
·
5d
·
Discuss:
Hacker News
,
r/opensource
🚢
DevOps
Loading...
Loading more...
« Page 52
•
Page 54 »