🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔍 Concolic Testing

Symbolic Execution, SAGE, Path Exploration, Dynamic Analysis

Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·18h
🔲Cellular Automata
Building Castles in the Air, but With Surprise Physics
dbreunig.com·1d
⚙️Proof Engineering
Fearless Programming with Rust
infoq.com·2d·
Discuss: Hacker News
🦀Rust Macros
Getting SAC to Work on a Massive Parallel Simulator: An RL Journey
araffin.github.io·1d·
Discuss: Hacker News
⚡Incremental Computation
AI as a Co-pilot for Developers: Boosting Productivity Without Losing Control
blog.devops.dev·22h
🔄Language Evolution
Engineering Manager Technical Deep Dives
yusufaytas.com·1d·
Discuss: Hacker News
💾Persistence Strategies
From Idea to Code: My First Project
dev.to·22h·
Discuss: DEV
👁️System Observability
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·21h·
Discuss: Hacker News
📼Tape Combinators
Essential Reading for Agentic Engineers - August 2025
steipete.me·1d·
Discuss: Hacker News
⚙️Proof Engineering
Computer-Use Evals Are a Mess
benanderson.work·1d·
Discuss: Hacker News
⚡Performance Mythology
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·21h
🔗Tailscale
Digest #177: AWS in 2025, HashiCorp Vault Zero-Day Flaws, Why No SRE, Docker-Compose Tricks
devopsbulletin.com·20h
📦Container Security
Combining Claude Code with GitHub Actions and Pull Requests to Scale AI Coding
aiengineering.report·18h·
Discuss: Hacker News
🦀Rust Macros
Lobsters Interview with Matklad
lobste.rs·23h·
Discuss: Lobsters
🦀Rust Macros
I tried DSPy and now I get why everyone won't shut up about it
pedramnavid.com·7h·
Discuss: Hacker News
🔄Burrows-Wheeler
No More ‘Ship and Pray’: Testing SaaS Billing Systems with Playwright & Stripe Test Clocks
hackernoon.com·3d
🌊Stream Processing
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Creating an AI Agent in Claude Code to Control my Smartphone
dev.to·18h·
Discuss: DEV
⚡Proof Automation
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·5h·
Discuss: Substack
⚡Proof Automation
Bringing restartable sequences out of the niche
lwn.net·1d·
Discuss: Hacker News
🔩Systems Programming
Loading...Loading more...
AboutBlogChangelogRoadmap