๐Ÿฟ๏ธ 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, Symbolic Execution, Bug Detection

Unraveling The Thread Events
gbstudiocentral.comยท16h
โšกConcurrency
Skip Ahead in Loops With Python's Continue Keyword
realpython.comยท15h
๐Ÿ”—Parser Combinators
Critique my Portfolio/Resume page
maraket.github.ioยท2dยท
Discuss: r/webdev
๐ŸงฎProgramming Language Theory
Why Open Source Isn't Always Fair. Dual licenses explained
architecture-weekly.comยท18h
๐Ÿ‘Open Source Software
We're shipping to ARM64 and x64 without duplicating pipelines
caepe.shยท2hยท
Discuss: Hacker News
๐Ÿ—๏ธSoftware Architecture
PiTrac โ€“ The DIY Golf Launch Monitor
hackaday.ioยท1dยท
Discuss: Hacker News
๐Ÿ’พRetrocomputing
A Library Approach to Constant Template Parameters
brevzin.github.ioยท2dยท
Discuss: Hacker News, r/cpp
๐ŸงฎProgramming Language Theory
Running C++ on Cloudflare WASM
saus.appยท1dยท
Discuss: Hacker News
๐Ÿ“ฆWebAssembly
Transpiling a Forth dialect to LLVM IR
onirom.frยท3d
๐Ÿ”งCompiler Design
Prompt Engineering for Security. Innovation in Verification
semiwiki.comยท5d
๐ŸงญSMT Solvers
๐Ÿฅ Elixir Anti-Patterns
yellowduck.beยท3d
โš™Functional Programming
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.comยท3dยท
Discuss: Hacker News
๐Ÿ—Computer Architecture
Experimental Evaluation of Post-Quantum Homomorphic Encryption for Privacy-Preserving V2X Communication
arxiv.orgยท1h
๐Ÿ”Cryptography
Write Code Like Sherlock Holmes: The Art of Deductive Development ๐Ÿ”
dev.toยท4dยท
Discuss: DEV
๐ŸงฉTheorem Proving
Building and Aligning Comparable Corpora
arxiv.orgยท1h
๐Ÿ”—Parser Combinators
I am Not Convinced by Vibe Coding
notashelf.devยท2d
๐Ÿ‘Open Source Software
Mastering Claude Hooks: Building Observable AI Systems (Part 2)
dev.toยท2dยท
Discuss: DEV
๐ŸงฉTheorem Proving
Machine Learning Fundamentals: loss function project
dev.toยท2dยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
TriP-LLM: A Tri-Branch Patch-wise Large Language Model Framework for Time-Series Anomaly Detection
arxiv.orgยท1d
๐Ÿ”งCompiler Design
ROVER: Recursive Reasoning Over Videos with Vision-Language Models for Embodied Tasks
arxiv.orgยท1h
๐Ÿ”—Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap