🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📊 Runtime Verification
Temporal Properties, Trace Analysis, Monitoring, Dynamic Validation
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Clever Cloud: Automated hosting for developers to easily deploy apps
clever.cloud
·
17h
·
Discuss:
r/programming
🐳
Containerization
StableAudio2.5, First Audio Model Built for Enterprise Sound Production at Scale
stability.ai
·
15h
·
Discuss:
Hacker News
🔧
Unikernel Development
We all dodged a bullet
xeiaso.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
❄️
Nixified Development
Using domain inspired ML for embedded DSP
buchanan.one
·
3d
·
Discuss:
Hacker News
📚
Automata Learning
HDR and User Interfaces
android-developers.googleblog.com
·
17h
·
Discuss:
android-developers.googleblog.com
,
Hacker News
🍎
Apple
You're a Slow Thinker. Now What?
chillphysicsenjoyer.substack.com
·
9h
·
Discuss:
Substack
✓
Automated Theorem Proving
The Expression Problem and its solutions
eli.thegreenplace.net
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
🏹
Effect Systems
Using Claude Code SDK to Reduce E2E Test Time by 84%
jampauchoa.substack.com
·
4d
·
Discuss:
Substack
🧪
Property-Based Testing
I'm Using Perplexity
fldr.zip
·
2d
·
Discuss:
Hacker News
📦
Unikernel Systems
LLMs Are Adaptive Data Organisms
worldgov.org
·
4d
·
Discuss:
Hacker News
📚
Automata Learning
95% of AI Pilots Fail
selector.ai
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Ambient Agents: The Next Frontier in Context-Aware AI
digitalocean.com
·
1d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
We Badly Need Frameworks
koolcodez.com
·
4d
·
Discuss:
Hacker News
📐
Denotational Semantics
Package Managers are Evil
gingerbill.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔄
Reproducible Builds
On the weird economics of semiconductors and GenAI
gauthierroussilhe.com
·
11h
·
Discuss:
Lobsters
,
Hacker News
⚙️
Operating System Design
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com
·
2d
·
Discuss:
Substack
🤖
Program Synthesis
Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com
·
1d
·
Discuss:
r/homelab
🏠
HomeLab
The Little Book of Everything
github.com
·
2d
·
Discuss:
Hacker News
➡️
Category Theory
Qodo Aware Is a ‘Second Brain’ for AI Coding Agents
thenewstack.io
·
18h
🤖
Program Synthesis
Scaling the system that powers over $700M ARR invoices
medium.com
·
2d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Loading...
Loading more...
« Page 18
•
Page 20 »