🐿️ 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

openpilot 0.10
blog.comma.ai·1d·
Discuss: Hacker News
👐Open Source Software
Nostr Wallet Connect is the USB-C Connector of Bitcoin Wallets
bitcoinmagazine.com·17h
🤝Protocol Design
🔗 Most RESTful APIs aren’t really RESTful
yellowduck.be·15h
🤝Protocol Design
The Supply Chain Paradox: When “Hardened” Images Become a Vendor Lock-in Trap
docker.com·2d
🔐Cryptography
Why 3D NAND Layers Bend (And How To Prevent It)
semiengineering.com·1d
🏗Computer Architecture
LLM Testing Strategies from OpenAI, Google, Anthropic, Meta
azilen.com·4d·
Discuss: r/programming
🧭SMT Solvers
Introducing wasp-lib: A TypeScript Library for Simplified WebAssembly Memory Management
reddit.com·3d·
Discuss: r/webdev
📦WebAssembly
Building Security First Software: From Data Breaches to Open Source
github.com·3d·
Discuss: DEV
🤝Protocol Design
From Unstructured Data to RAG-Ready With Docling
thenewstack.io·1d
🎲Probabilistic Programming
My first project in Go is a terminal dashboard (what a programming language)
news.ycombinator.com·21h·
Discuss: Hacker News
🔧Compiler Design
13 Most Common HTTP Status Codes You Should Know As A Developer
dev.to·1d·
Discuss: DEV
🤝Protocol Design
B2B Innovation This Week: Embedded Finance, AI and Partner Enablement
pymnts.com·1d
🌍Distributed Systems
🌼 Learning Out Loud: My First Steps in Web Development
dev.to·1d·
Discuss: DEV
🔧Compiler Design
What is Unit Testing?
dev.to·5d·
Discuss: DEV
🔧Compiler Design
Build a Lightweight Serverless ETL Pipeline to Iceberg Tables with AWS Lambda Athena
dev.to·4d·
Discuss: DEV
🧩Theorem Proving
Manufacturing At The Limits
semiengineering.com·1d
🏗Computer Architecture
The Bridge to MCP: Scaling AI Tools with Gateways
pub.towardsai.net·12h
🤝Protocol Design
The Silent Doubt: Why I Built My First VS Code Extension 🤔
dev.to·4d·
Discuss: DEV
👐Open Source Software
Systematic Review Of Collaborative Learning Activities For Promoting AI Literacy
arxiv.org·1d
🧩Theorem Proving
Day 73: When "Break Days" Become Build Days
dev.to·7h·
Discuss: DEV
🧮Programming Language Theory
Loading...Loading more...
AboutBlogChangelogRoadmap