๐Ÿฟ๏ธ 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

Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
๐Ÿงจ The Mismanagement Crisis in AUR: A Developer's Perspective
aur.archlinux.orgยท1dยท
Discuss: r/archlinux
๐Ÿ‘Open Source Software
Show HN: Shiproom โ€“ A Browser-Based Cloud IDE with File-Level Access Control
shiproom.vercel.appยท21hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Hardening systemd services via system call filter
paperless.blogยท1d
๐Ÿ’ปOperating Systems
True names matter in C++
quuxplusone.github.ioยท2d
๐Ÿ“Type Theory
Cรณmo crear un usuario de solo lectura en PostgreSQL (con acceso a estadรญsticas)
dev.toยท2hยท
Discuss: DEV
๐ŸงฉTheorem Proving
Building Temperature Conversion APIs? Here's What Every Developer Should Know
dev.toยท5hยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
The Truth About Vibe Coding: AI Wonโ€™t Save You From Debugging
dev.toยท41mยท
Discuss: DEV
๐ŸงฉTheorem Proving
Parallel Programming Models
ayushgundawar.meยท1dยท
Discuss: Hacker News
๐Ÿ—Computer Architecture
Top 10 Agentic AI Tools for Developers to Speed Up Coding
dev.toยท2hยท
Discuss: DEV
๐ŸงฉTheorem Proving
5 Security Patterns Go Developers Should Avoid
dev.toยท10hยท
Discuss: DEV
๐Ÿ“Lisp
Seed7: a programming language I plan to work on for decades
reddit.comยท1dยท
Discuss: r/programming
๐Ÿ“Type Theory
Connect AI to microM8 Apple IIe Emulator and turtleSpaces Logo using MCP (Model Context Protocol) for โ€˜Vibe Codingโ€™ and other activitiesโ€ฆ
paleotronic.comยท21h
๐Ÿ”งCompiler Design
Mastering Claude Hooks: Building Observable AI Systems (Part 2)
dev.toยท19hยท
Discuss: DEV
๐ŸงฉTheorem Proving
DreamFlow's System Prompt (allegedly) [Uses Claude Code]
reddit.comยท8hยท
Discuss: r/PromptEngineering
๐Ÿ—๏ธSoftware Architecture
I Generated 1 Billion Tokens (So You Don't Have To): Introducing ReasonScape
reddit.comยท1dยท
Discuss: r/LocalLLaMA
๐Ÿ”—Parser Combinators
Understanding AsyncStream and AsyncThrowingStream in Swift
dev.toยท6hยท
Discuss: DEV
โš™Functional Programming
[Showcasing my baby] - High-Quality E2E Tests at Recorder Speed - You own the code!
youtube.comยท21hยท
Discuss: Hacker News, r/webdev
๐Ÿ’พRetrocomputing
Python Fundamentals: concurrency
dev.toยท2dยท
Discuss: DEV
โšกConcurrency
Dev Diary #2: Cloud Security plugin for JetBrains IDE
dev.toยท20hยท
Discuss: DEV
๐Ÿฆ€Rust
Loading...Loading more...
AboutBlogChangelogRoadmap