๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”„ Session Type Inference

Protocol Synthesis, Communication Safety, Type Reconstruction, Multiparty Sessions

Go interfaces and json.Unmarshal
fbrs.ioยท1d
๐Ÿ”งBinary Parsers
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.comยท2d
๐ŸŽฏGradual Typing
Exposed Secrets, Broken Trust: What the DOGE API Key Leak Teaches Us About Software Security
lmgsecurity.comยท23h
๐Ÿ”Cryptographic Archaeology
Open-source framework for real-time AI voice
github.comยท2dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
AwesomeAssertions/AwesomeAssertions
github.comยท1d
โœ…Format Verification
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.comยท2hยท
Discuss: Hacker News
๐Ÿง Memory Allocators
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.orgยท4d
๐ŸŒDNS Security
Training a Chunker with Burn
elijahpotter.devยท1dยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Undone Computer Science
undonecs.orgยท10hยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.devยท10hยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Agents Built from Alloys
xbow.comยท6hยท
Discuss: Hacker News
โšกProof Automation
Efficient Private Inference Based on Helper-Assisted Malicious Security Dishonest Majority MPC
arxiv.orgยท2d
๐ŸคSecure Multiparty
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.toยท1dยท
Discuss: DEV
๐ŸงญContent Discovery
Machine Learning Fundamentals: dropout
dev.toยท5hยท
Discuss: DEV
๐ŸŒŠStream Processing
Predicting the Future with Python: My Magic 8-Ball Project
dev.toยท3hยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.ioยท7h
๐Ÿ”ŒArchive APIs
Grep a million GitHub repositories via MCP
vercel.comยท9hยท
Discuss: Hacker News
โšกProof Automation
Finding Common Ground: Using Large Language Models to Detect Agreement in Multi-Agent Decision Conferences
arxiv.orgยท3d
๐Ÿ”ฒCellular Automata
Sandboxing AI - Extending AI Responsibly
dev.toยท2dยท
Discuss: DEV
๐Ÿ”’WASM Capabilities
Role-Playing LLM-Based Multi-Agent Support Framework for Detecting and Addressing Family Communication Bias
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap