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

Journey of a Space Traveller (1983)
bluerenga.blogยท12h
๐Ÿ“บRetrogaming
GSoC Midterm Update, Building an AI-Powered Chatbot
jenkins.ioยท3d
๐ŸŒŠApache Kafka
Capy the WhatsApp Bot
jon.boยท4d
๐Ÿš€Indie Hacking
Make Your Agent Listen: Tactics for Obedience
blog.pamba.appยท3dยท
Discuss: Hacker News
โš”๏ธLean Tactics
Should You Migrate Your Documentation System โ€“ and Is It AI-Ready?
nikhilajain.comยท18hยท
Discuss: Hacker News
๐Ÿฆ‹Format Metamorphosis
ICML 2025 Outstanding Paper Awards
icml.ccยท4dยท
Discuss: Hacker News
๐Ÿง Machine Learning
Code Sandbox MCP: A Simple Code Interpreter for Your AI Agents
philschmid.deยท5d
๐Ÿ›ก๏ธWASM Sandboxing
What Excel features are absolutely essential for team collaboration workflows?
dev.toยท16hยท
Discuss: DEV
๐Ÿ”„Document Workflows
Docker MCP Catalog: Finding the Right AI Tools for Your Project
docker.comยท3d
๐Ÿ Homelab Orchestration
Show HN: WTMF Beta โ€“ Your AI bestie that understand
news.ycombinator.comยท18hยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
A Comedy Writer on How AI Changes Her Field
dbreunig.comยท1d
๐ŸŽงLearned Audio
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
arxiv.orgยท5d
โœ…Archive Fixity
Evaluating Artificial Intelligence Algorithms for the Standardization of Transtibial Prosthetic Socket Shape Design
arxiv.orgยท3d
๐ŸงฎKolmogorov Bounds
Cactus Language โ€ข Pragmatics 1
inquiryintoinquiry.comยท4d
๐Ÿ’ปProgramming languages
Falconry-like palm landing by a flapping-wing drone based on the human gesture interaction and distance-aware flight planning
arxiv.orgยท3d
โœ‹Tactile Computing
AI Ticket Summarizer: How to Add AI Features to Your Web or SaaS App (Without Training a Model)
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStreaming Systems
I built an open source wisprflow
github.comยท1dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
AI Coding Tools Showdown: GitHub Copilot vs The New Challengers
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Macros
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.orgยท5d
๐Ÿ’ปProgramming languages
Emergent Cognitive Convergence via Implementation: A Structured Loop Reflecting Four Theories of Mind (A Position Paper)
arxiv.orgยท4d
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap