🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔬 Static Analysis

Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

Python Indexing vs. For Loops: What’s Really Faster?
thenewstack.io·15h
🏹Effect Systems
Data-Star.dev – v1 and Beyond
data-star.dev·16h·
Discuss: Hacker News
🧱Immutable Infrastructure
more views on curl vulnerabilities
daniel.haxx.se·1d·
Discuss: Hacker News
👁️System Observability
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·18h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Data Science Weekly – Issue 607
datascienceweekly.substack.com·4h·
Discuss: Substack
👁️System Observability
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·28m·
Discuss: Substack
🔍Formal Verification
What Makes Code Beautiful
thecoder.cafe·22h·
Discuss: r/programming
🏹Effect Systems
Revitalizing Legacy Code
javapro.io·1d·
Discuss: Hacker News
💾Retro Computing
The Next Wave
dumindu.github.io·12h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Software Reverse Engineering Bookshelf
mcgrewsecurity.com·12h·
Discuss: Hacker News
💾Retro Computing
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
How to Write Rust Code Like a Rustacean
thenewstack.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
On Trustworthy Rule-Based Models and Explanations
arxiv.org·4h
✓Automated Theorem Proving
I still care about the code
martinfowler.com·1d·
Discuss: DEV, Hacker News
👁️System Observability
From Hell to ExHell: Writing Excel Files in Java Shouldn’t Be a Pain
medium.com·15h·
Discuss: r/programming
⚙️PL Implementation
Inheritance and Polymorphism in Plain C
coz.is·2d·
Discuss: Hacker News, r/C_Programming, r/programming
🏹Effect Systems
LLM Inference Handbook
bentoml.com·5h·
Discuss: Hacker News
🛡️seL4
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·16h·
Discuss: Hacker News
❄️Nixified Development
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Loading...Loading more...
AboutBlogChangelogRoadmap