๐Ÿฟ๏ธ 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ยท6hยท
Discuss: Hacker News
๐Ÿ’ŽInformation Crystallography
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.comยท4dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
An example of drifting away in dev
mohas.bearblog.devยท3hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
BrowserStation is an open source alternative to Browserbase.
reddit.comยท5hยท
Discuss: r/kubernetes
๐Ÿ“ฆContainer Security
Janet Feature Demos
github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿง Lisp Dialects
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.comยท15h
๐ŸญCompiler Backends
Robust Route Planning for Sidewalk Delivery Robots
arxiv.orgยท20h
๐Ÿ”—Topological Sorting
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.comยท4dยท
Discuss: Substack
โšกIncremental Computation
Show HN: Tanu โ€“ High-performance WebAPI testing framework for Rust
github.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
3 Steps to Context Engineering a Crystal-Clear Project
towardsdatascience.comยท1dยท
Discuss: r/programming
๐Ÿ”„Archival Workflows
API Simulation Reduces MCP Server, Microservices Overload
thenewstack.ioยท7h
โšกgRPC
Unpacking Go Slices: 3 Common Gotchas You Need to Know
dev.toยท6hยท
Discuss: DEV
โฌ†๏ธLambda Lifting
Thesys React SDK: Turn LLM Responses into real time User Interfaces
dev.toยท13hยท
Discuss: DEV
๐ŸงฉWASM Components
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
LiLM-RDB-SFC: Lightweight Language Model with Relational Database-Guided DRL for Optimized SFC Provisioning
arxiv.orgยท1d
๐ŸŒ€Brotli Internals
AI Agents Are Growing Up - And They Need Zero-Trust Parenting
hackernoon.comยท17h
๐ŸŽฏThreat Hunting
How I Built a Real-Time Anonymous Chat App Using Node.js and WebSockets
dev.toยท14hยท
Discuss: DEV
๐ŸŒWebSocket Framing
Using AI in the development of stdlib
dev.toยท5hยท
Discuss: DEV
๐Ÿ“Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap