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

Do early steps into agentic AI respect our needs for privacy and security?
privacyinternational.orgยท3h
๐ŸขLDAP Forensics
Agents are advancing, fast. Security Needs to Keep Pace
techradar.comยท5h
๐Ÿ”Capability Systems
Development Interview with Randal Linden and John Linneman
limitedrungames.comยท3hยท
Discuss: Hacker News
๐Ÿ“ผRetro Games
Are We Scribes?
ashouri.xyzยท4hยท
Discuss: Hacker News
๐Ÿ“œMedieval Computing
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.comยท4dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Evaluating Reinforcement Learning Algorithms for Navigation in Simulated Robotic Quadrupeds: A Comparative Study Inspired by Guide Dog Behaviour
arxiv.orgยท10h
๐Ÿ”ฒCellular Automata
Using AI in the development of stdlib
dev.toยท19hยท
Discuss: DEV
๐Ÿ“Code Metrics
Eventify: Revolutionizing Event Planning with Bolt.new
dev.toยท15hยท
Discuss: DEV
๐ŸŒŠStream Processing
Show HN: From Zod schema to agent-ready MCP server โ€“ minimal, typed, deployable
github.comยท3dยท
Discuss: Hacker News
๐Ÿ”CBOR
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ยท2dยท
Discuss: DEV
๐Ÿ“Code Metrics
Comparison of defining interfaces in the consumer vs. producer when it comes to developing a microservice
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ”ŒInterface Evolution
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
Thoughts on External Memory for LLMs
medium.comยท6hยท
Discuss: Hacker News
โšกHardware Transactional Memory
From Console to GUI: Building My Python DataProcessor (v1.0.0 Release!)
dev.toยท3hยท
Discuss: DEV
๐Ÿ“ŸTerminals
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ยท4hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
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ยท1hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap