🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🛡️ seL4
Formal Verification, Microkernel, Capability Security, Isabelle/HOL
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Defold editor scripting adds scene editing in 1.10.4
defold.com
·
8h
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com
·
1h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Rethinking Object-Oriented Programming in Java Education
max.xz.ax
·
22m
·
Discuss:
Hacker News
,
r/programming
🔬
Static Analysis
(Attempting to) Engineer the chaos out of AI agents
trunk.io
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Using Gemini and Claude for SQL Analytics
benjaminwootton.com
·
2d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com
·
18h
·
Discuss:
Hacker News
👁️
System Observability
Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
c3-lang.org
·
3h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔬
Static Analysis
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com
·
1h
·
Discuss:
Hacker News
🌐
NetworkProtocols
Programming Affordances That Invite Mistakes
thetechenabler.substack.com
·
1d
·
Discuss:
Substack
🧪
Property-Based Testing
The #1 Reason Your GenAI Project Will Fail in Production
mlwhiz.com
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
The Wild West of Agentic AI – An Attack Surface CISOs Can't Afford to Ignore
securityweek.com
·
2d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Why LLM Authorization is Hard
osohq.com
·
2d
·
Discuss:
Hacker News
🔍
Formal Verification
Speclinter MCP
github.com
·
2d
·
Discuss:
Hacker News
🤖
Program Synthesis
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com
·
1d
·
Discuss:
Hacker News
❄️
Nixified Development
Making Docs Better for AI and Humans
redmonk.com
·
1h
·
Discuss:
Hacker News
🤖
Program Synthesis
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org
·
2d
🔬
Static Analysis
Lisp error handling (advanced): how handler-bind doesn't unwind the stack
lisp-journey.gitlab.io
·
3d
·
Discuss:
Hacker News
🔍
Formal Verification
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io
·
19h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org
·
3d
➡️
Category Theory
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com
·
19h
·
Discuss:
Hacker News
💾
Retro Computing
Loading...
Loading more...
« Page 3
•
Page 5 »