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

Agents are advancing, fast. Security Needs to Keep Pace
techradar.comยท2h
๐Ÿ”Capability Systems
Development Interview with Randal Linden and John Linneman
limitedrungames.comยท1hยท
Discuss: Hacker News
๐Ÿ“ผRetro Games
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.appยท17hยท
Discuss: Hacker News
๐Ÿ’ŽInformation Crystallography
Are We Scribes?
ashouri.xyzยท1hยท
Discuss: Hacker News
๐Ÿ“œMedieval Computing
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.comยท4dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
The Case for Contextual Copyleft: Licensing Open Source Training Data and Generative AI
arxiv.orgยท7h
๐Ÿ”“Open Source Software
Evaluating Reinforcement Learning Algorithms for Navigation in Simulated Robotic Quadrupeds: A Comparative Study Inspired by Guide Dog Behaviour
arxiv.orgยท7h
๐Ÿ”ฒCellular Automata
Using AI in the development of stdlib
dev.toยท16hยท
Discuss: DEV
๐Ÿ“Code Metrics
Eventify: Revolutionizing Event Planning with Bolt.new
dev.toยท12hยท
Discuss: DEV
๐ŸŒŠStream Processing
Show HN: From Zod schema to agent-ready MCP server โ€“ minimal, typed, deployable
github.comยท2dยท
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ยท3hยท
Discuss: Hacker News
โšกHardware Transactional Memory
GORM Magic: Go Database Made Easy โšก
dev.toยท13hยท
Discuss: DEV
โ›๏ธSQL Archaeology
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ยท1hยท
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
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap