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

How can RPKI can be made quantum-safe?
blog.apnic.netยท5d
๐Ÿ”Quantum Security
fossas/fossa-cli
github.comยท1d
๐Ÿ”—Dependency Resolution
How I get people talking about my personal blog posts
developerwithacat.comยท1dยท
Discuss: Hacker News
๐ŸŒฑPersonal Wikis
"The Launch Party Incident" โ€“ Fictional Marketing
dentalcandy.netยท1dยท
Discuss: Hacker News
๐Ÿ”“Hacking
ContextSphere 8B: A New AI Paradigm
dixonary.co.ukยท3dยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
First release candidate of systemd 258 is here
theregister.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒOperating system internals
Code Sandbox MCP: A Simple Code Interpreter for Your AI Agents
philschmid.deยท5d
๐Ÿ›ก๏ธWASM Sandboxing
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
arxiv.orgยท5d
โœ…Archive Fixity
GitHub Copilot: Everything You Wanted to Know About Reusable (and Experimental) Prompts - Part 1
dev.toยท3dยท
Discuss: DEV
๐Ÿ–ฅ๏ธModern Terminals
DevOps Micro-Inefficiencies: Finding and Dealing With Them
devops.comยท2d
๐Ÿ‘๏ธSystem Observability
Improving LLMs' Generalized Reasoning Abilities by Graph Problems
arxiv.orgยท3d
๐Ÿง Computational Logic
testcontainers: improving E2E tests
dev.toยท2dยท
Discuss: DEV
๐ŸงชCBOR Fuzzing
๐Ÿ› ๏ธ FastAPI in Production: Build, Scale & Deploy - Series B : Services, Queues & Containers
dev.toยท4dยท
Discuss: DEV
๐Ÿ”ŒArchive APIs
Automated Brake Onset Detection in Naturalistic Driving Data
arxiv.orgยท2d
๐Ÿ”„Finite State Machines
Vibe Coding: Why You Shouldn't Trust AI-Generated Code in Production
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Code Metrics
Why AI Will Make Architecture Skills Critical for Software Engineers
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Language Evolution
Cactus Language โ€ข Pragmatics 1
inquiryintoinquiry.comยท4d
๐Ÿ’ปProgramming languages
๐Ÿš€ Just discovered this 2-minute productivity hack:
dev.toยท5hยท
Discuss: DEV
๐Ÿ”BitFunnel
Show HN: An AI tool that filters high-quality info from the noise
github.comยท3dยท
Discuss: Hacker News
๐ŸŒŠApache Kafka
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.orgยท5d
๐Ÿ’ปProgramming languages
Loading...Loading more...
AboutBlogChangelogRoadmap