🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🌐 Protocol Synthesis

Session Types, Communication Safety, Distributed Systems, Type-driven Development

curl adds parallel host control
daniel.haxx.seΒ·1d
πŸ“žWebRTC
A local, portable, single-file web server in C
macrobean.siteΒ·3dΒ·
Discuss: Hacker News
πŸ•ΈοΈWebAssembly
Scientists are Learning to Rewrite the Code of Life
nytimes.comΒ·1dΒ·
Discuss: Hacker News
🧬Palindrome Codes
Medium
schappi.comΒ·1dΒ·
Discuss: Hacker News
βš–οΈLossy Compression Ethics
Changing of the guard: Anthropic new AI market leader among US companies
heise.deΒ·49m
πŸ”„Language Evolution
Disposable Code Is Here to Stay, but Durable Code Is What Runs the World
honeycomb.ioΒ·2dΒ·
Discuss: Hacker News
βš™οΈProof Engineering
Flux Krea – The Solution to Unrealistic AI Image Generation
dev.toΒ·56mΒ·
Discuss: DEV
🎬WebCodecs
Microsoft is taking steps to open-sourcing Windows 11 user interface framework
neowin.netΒ·46mΒ·
Discuss: Hacker News
πŸ”“Open Source Software
Meta Earth AMA Recap: Building the Future of Web3 Identity, UBI, and Trust
dev.toΒ·20hΒ·
Discuss: DEV
πŸ”PKI Archaeology
Investigating the Invertibility of Multimodal Latent Spaces: Limitations of Optimization-Based Methods
arxiv.orgΒ·1d
🧠Machine Learning
The VibeTDD Experiment: A Roadmap for Combining AI and Test-Driven Development
dev.toΒ·3dΒ·
Discuss: DEV
⚑Proof Automation
AI Agents Need Help. Here’s 4 Ways To Ship Software Reliably
thenewstack.ioΒ·3dΒ·
Discuss: Hacker News
βš™οΈTLA+
Need help to check NAS build components
reddit.comΒ·15hΒ·
Discuss: r/homelab
🏠HomeLab
The One Line of Code That Crashed My Startup
dev.toΒ·1dΒ·
Discuss: DEV
🌳Incremental Parsing
Knowledge-Guided Memetic Algorithm for Capacitated Arc Routing Problems with Time-Dependent Service Costs
arxiv.orgΒ·3d
πŸ”—Topological Sorting
✈️ Build & Deploy Full Stack AI Trip Planner NextJs App Using React, Typescript, Convex
dev.toΒ·17hΒ·
Discuss: DEV
πŸŒ€Brotli Internals
PhysioMasterAI: Your AI Physiotherapist
dev.toΒ·1dΒ·
Discuss: DEV
πŸŽ™οΈWhisper
Python Fundamentals: comments
dev.toΒ·4dΒ·
Discuss: DEV
πŸ’§Liquid Types
Memory vs. Context in AI: Why ChatGPT Is Ahead , and Why That Matters
dev.toΒ·21hΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Latest Python Certifications: From Fresher to Data Analyst in 2025
dev.toΒ·17hΒ·
Discuss: DEV
βš™οΈProof Engineering
Loading...Loading more...
AboutBlogChangelogRoadmap