🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔬 Static Analysis
Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
I Outline Everything
literallythevoid.com
·
45m
·
Discuss:
Hacker News
➡️
Category Theory
Perl 5.42 Released - Still Going Strong
i-programmer.info
·
2d
·
Discuss:
r/programming
⚙️
PL Implementation
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com
·
1d
·
Discuss:
Hacker News
⚙️
PL Implementation
Pure Rust cryptography is better than raw performance
kerkour.com
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Python Indexing vs. For Loops: What’s Really Faster?
thenewstack.io
·
1d
🏹
Effect Systems
Monitoring My Homelab, Simply
b.tuxes.uk
·
1d
·
Discuss:
Lobsters
,
Hacker News
👁️
System Observability
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org
·
3d
🛡️
seL4
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org
·
4d
·
Discuss:
Hacker News
➡️
Category Theory
The Bitter Lesson (2025)
artfintel.com
·
11h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
A Collection of System Prompts for Agentic Code Review
awesomereviewers.com
·
5d
·
Discuss:
Hacker News
,
Hacker News
🔄
Reproducible Builds
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org
·
2d
🤖
Program Synthesis
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io
·
22h
·
Discuss:
Hacker News
🔄
Reproducible Builds
The Right Approach to Authorization in RAG
osohq.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
C++ with no classes?
pvs-studio.com
·
2d
·
Discuss:
r/cpp
,
r/programming
🐫
OCaml
Basic Computations in Fault Tree Analysis
arxiv.org
·
2d
👁️
System Observability
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org
·
2d
🧪
Property-Based Testing
FrameShift: Learning to Resize Fuzzer Inputs Without Breaking Them
arxiv.org
·
2d
🧪
Property-Based Testing
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
OCaml
Loading...
Loading more...
« Page 4
•
Page 6 »