🐿️ 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
TLA+, Model Checking, Safety Properties, Specifications
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Southwestern drought likely to continue through 2100, research finds
insideclimatenews.org
·
2h
·
Discuss:
Hacker News
🧗
Climbing Tech
Rogueblox
rogueblox.net
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
No record left behind: How Warpstream can withstand regional outages
warpstream.com
·
1d
·
Discuss:
Hacker News
⎈
Kubernetes
ByteDance AI Empire: Inside the $12B Race Beyond the "For You" Page
algogist.com
·
1h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Silence Is a Commons by Ivan Illich (1983)
davidtinapple.com
·
1d
·
Discuss:
Hacker News
🔬
Unikernels
Spring Boot Performance: Avoid Default Config Pitfalls
theperfparlor.com
·
18h
·
Discuss:
DEV
,
Hacker News
👁️
System Observability
Terrashroom Last Company Update
terrashroom.io
·
2d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Helix Editor Release 25.07 Highlights
helix-editor.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/linux
🐫
OCaml
Running a vibe-code platform (Coder) on your own infrastructure
thetechenabler.substack.com
·
2d
·
Discuss:
Substack
🖥️
Self-hosted Infrastructure
Graham's Number
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
Strict-validate-path-type does not allow period/dot/. in Exact or Prefix path
github.com
·
2d
·
Discuss:
Hacker News
🛡️
seL4
Docker Desktop: The Easiest Way to Debug Docker Containers
thenewstack.io
·
1d
⎈
Kubernetes
Dollars per token considered harmful
modal.com
·
4d
·
Discuss:
Hacker News
🐫
OCaml
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co
·
4d
·
Discuss:
Hacker News
🤖
Program Synthesis
Using AI-Created Prototypes to Align Product and Engineering
jeremybelcher.co
·
4d
·
Discuss:
Hacker News
🤖
Program Synthesis
A Spectrophotometer Jailbreak to Resolve Colorful Disputes
hackaday.com
·
10h
🍎
Apple
How to avoid that your post about AI helps the hype
hidde.blog
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Agentic Large Language Models for Conceptual Systems Engineering and Design
arxiv.org
·
6d
🤖
Program Synthesis
Knowledge Without Power: AI, Infrastructure, and the Ethics of Design
medium.com
·
3d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
I built a full Android app using just one prompt in Gemini CLI 🤯
reddit.com
·
2d
·
Discuss:
r/programming
❄️
Nixified Development
Loading...
Loading more...
« Page 26
•
Page 28 »