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

OSPF vs EIGRP: A Deep Dive for Enterprise Networks
blog.router-switch.comยท1d
๐Ÿ“กNetwork Protocol Design
Song recommendations with pipes and filters
blog.ploeh.dkยท4d
ฮปLambda Formalization
Network administration: Extreme wants to reduce manual tasks by 90 percent
heise.deยท21h
๐Ÿ Homelab Orchestration
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.comยท3dยท
Discuss: Hacker News
๐ŸŒWASI
Are We Scribes?
ashouri.xyzยท1dยท
Discuss: Hacker News
๐Ÿ“œMedieval Computing
Security Principles for Designing an Unhackable Crypto Wallet
cacm.acm.orgยท1d
๐ŸŒณArchive Merkle Trees
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.ioยท1d
๐Ÿ”ŒArchive APIs
AI Agents Are Growing Up - And They Need Zero-Trust Parenting
hackernoon.comยท2d
๐ŸŽฏThreat Hunting
Building My First Real-Time Healthcare Data Pipeline with AWS SQS and Python
dev.toยท22hยท
Discuss: DEV
๐ŸŒŠStream Processing
LiLM-RDB-SFC: Lightweight Language Model with Relational Database-Guided DRL for Optimized SFC Provisioning
arxiv.orgยท3d
๐ŸŒ€Brotli Internals
A puzzling and pleasant first experience with Google AI Studio
dev.toยท15hยท
Discuss: DEV
โšกProof Automation
Show HN: Tanu โ€“ High-performance WebAPI testing framework for Rust
github.comยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
I built CodeMocker: AI-powered mock coding interviews
dev.toยท1dยท
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ยท2dยท
Discuss: Hacker News
โšกProof Automation
From Goliath Idea to Reality with Bolt
dev.toยท23hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Machine Learning Fundamentals: dropout tutorial
dev.toยท19hยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Voice UI Integration: The Future of Human-Computer Interaction
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.orgยท2d
๐Ÿ“ABNF Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap