🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔄 Reproducible Builds
Build Systems, Software Supply Chain, Deterministic Compilation, Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space
·
16h
·
Discuss:
r/programming
🔬
Static Analysis
KDE ISO Image Writer is finally getting a UI redesign and new features
neowin.net
·
3h
·
Discuss:
Hacker News
🔬
Unikernels
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org
·
2d
🔬
Static Analysis
Data Science Weekly – Issue 607
datascienceweekly.substack.com
·
11h
·
Discuss:
Substack
👁️
System Observability
Amber Smalltalk
amber-lang.net
·
1d
·
Discuss:
Hacker News
⚙️
PL Implementation
Chalk – Metadata Code Tracking Made Easy
github.com
·
1d
·
Discuss:
Hacker News
❄️
Nixified Development
We asked 9 AI and agent builders about their top problems
unionailoop.substack.com
·
1d
·
Discuss:
Substack
👁️
System Observability
Polaris: A Post-training recipe for scaling RL on Advanced Reasoning models
hkunlp.github.io
·
2d
·
Discuss:
Hacker News
🏹
Effect Systems
Building MCP servers the easy way with Apache OpenServerless
opensource.net
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Vibe Coding: Trend or Security Disaster Waiting to Happen?
xygeni.io
·
22h
·
Discuss:
Hacker News
🤖
Program Synthesis
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org
·
2d
🧪
Property-Based Testing
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org
·
10h
🌐
NetworkProtocols
I still care about the code
martinfowler.com
·
1d
·
Discuss:
DEV
,
Hacker News
🔬
Static Analysis
How TimescaleDB helped us scale analytics and reporting
blog.cloudflare.com
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Platform Engineering Won’t Save You
aviator.co
·
1d
·
Discuss:
Hacker News
,
r/programming
👁️
System Observability
Improving Trust in AI Systems
searchcraft.io
·
2d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Claude Code vs Gemini CLI: Which One’s the Real Dev Co-Pilot?
milvus.io
·
2d
·
Discuss:
Hacker News
🤖
Program Synthesis
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com
·
15h
·
Discuss:
Hacker News
👁️
System Observability
I ride AI-hype train
blog-doe.pages.dev
·
2d
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Loading...
Loading more...
« Page 4
•
Page 6 »