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

Network administration: Extreme wants to reduce manual tasks by 90 percent
heise.deยท6h
๐Ÿ Homelab Orchestration
Brent Yorgey: Competitive programming in Haskell: sparse tables
byorgey.github.ioยท20h
๐ŸงฎAlgebraic Datatypes
Agents are advancing, fast. Security Needs to Keep Pace
techradar.comยท11h
๐Ÿ”Capability Systems
Are We Scribes?
ashouri.xyzยท10hยท
Discuss: Hacker News
๐Ÿ“œMedieval Computing
How AI Can Degrade Human Performance in High-Stakes Settings
ai-frontiers.orgยท27mยท
Discuss: Hacker News
๐Ÿ‘๏ธObservatory Systems
Comparison of defining interfaces in the consumer vs. producer when it comes to developing a microservice
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ”ŒInterface Evolution
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
From Chat to Specs: A Deep Dive into AI-Assisted Development with Kiro
dev.toยท3dยท
Discuss: DEV
๐Ÿ“Code Metrics
My wild ride from building a proxy server in rust to a data plane for AI โ€” and landing a $250K Fortune 500 customer.
reddit.comยท2dยท
Discuss: r/rust
๐Ÿ”ŒInterface Evolution
RailsConf 2025 Takeaways: Itโ€™s fun to have fun
blog.codeminer42.comยท2d
โ„๏ธNix Adoption
From Console to GUI: Building My Python DataProcessor (v1.0.0 Release!)
dev.toยท8hยท
Discuss: DEV
๐Ÿ“ŸTerminals
Thoughts on External Memory for LLMs
medium.comยท12hยท
Discuss: Hacker News
โšกHardware Transactional Memory
Building My First Real-Time Healthcare Data Pipeline with AWS SQS and Python
dev.toยท6hยท
Discuss: DEV
๐ŸŒŠStream Processing
LiLM-RDB-SFC: Lightweight Language Model with Relational Database-Guided DRL for Optimized SFC Provisioning
arxiv.orgยท2d
๐ŸŒ€Brotli Internals
I built CodeMocker: AI-powered mock coding interviews
dev.toยท10hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.comยท2dยท
Discuss: Hacker News
๐Ÿค–Network Automation
We built AI dev agent that turns Jira tickets into ready PRs โ€“ no human needed
deepsense.aiยท1dยท
Discuss: Hacker News
โšกProof Automation
From Goliath Idea to Reality with Bolt
dev.toยท7hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Machine Learning Fundamentals: dropout tutorial
dev.toยท3hยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Voice UI Integration: The Future of Human-Computer Interaction
dev.toยท11hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Loading...Loading more...
AboutBlogChangelogRoadmap