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

API Auth Is Deeper Than It Looks
nango.devยท1dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.appยท13hยท
Discuss: Hacker News
๐Ÿ’ŽInformation Crystallography
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.comยท4dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.comยท4dยท
Discuss: Substack
โšกIncremental Computation
How I Built a Real-Time Anonymous Chat App Using Node.js and WebSockets
dev.toยท21hยท
Discuss: DEV
๐ŸŒWebSocket Framing
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.orgยท4h
๐Ÿง Intelligence Compression
Unpacking Go Slices: 3 Common Gotchas You Need to Know
dev.toยท14hยท
Discuss: DEV
โฌ†๏ธLambda Lifting
Physically Based Neural LiDAR Resimulation
arxiv.orgยท4h
๐Ÿ”ฌOptical Physics
Using AI in the development of stdlib
dev.toยท12hยท
Discuss: DEV
๐Ÿ“Code Metrics
Waiting is worth it and can be improved with predictions
arxiv.orgยท4h
๐Ÿ“กInformation theory
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.orgยท4h
๐Ÿ“ABNF Extensions
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.orgยท4h
๐Ÿง Neural Compression
Show HN: From Zod schema to agent-ready MCP server โ€“ minimal, typed, deployable
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”CBOR
The Case for Contextual Copyleft: Licensing Open Source Training Data and Generative AI
arxiv.orgยท4h
๐Ÿ”“Open Source Software
Evaluating Reinforcement Learning Algorithms for Navigation in Simulated Robotic Quadrupeds: A Comparative Study Inspired by Guide Dog Behaviour
arxiv.orgยท4h
๐Ÿ”ฒCellular Automata
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ยท2dยท
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
GORM Magic: Go Database Made Easy โšก
dev.toยท10hยท
Discuss: DEV
โ›๏ธSQL Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap