🐿️ 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

OCC 2025 - Protoweb and Browservice web proxies
82mhz.netΒ·3d
πŸ•ΈοΈWASM Archives
Rickrolling Turso DB (SQLite rewrite in Rust)
avi.imΒ·1dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ’ΎSQLite
Cresting the 0Caml Al Humps
anil.recoil.orgΒ·3dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Canadian Cross
en.wikipedia.orgΒ·3dΒ·
Discuss: Hacker News
πŸ—οΈCompiler Archaeology
I Fixed Ruby's Most Annoying Problem: 60-Second Gem Installs
mensfeld.plΒ·3dΒ·
Discuss: Lobsters, Hacker News, r/programming
❄️Nix Flakes
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.orgΒ·4dΒ·
Discuss: Hacker News
πŸ—‚οΈVector Databases
Building GoReleaser: from shell script to paid product
carlosbecker.comΒ·3dΒ·
Discuss: Hacker News
πŸ”“Open Source Software
Detecting code copying at scale with Vendetect
blog.trailofbits.comΒ·22hΒ·
Discuss: Hacker News
πŸš€Indie Hacking
Day 42: When Medical Appointments Meet Coding Deadlines
dev.toΒ·3hΒ·
Discuss: DEV
πŸ”©Systems Programming
Recurrent Neural Networks: A Review
theahura.substack.comΒ·2dΒ·
Discuss: Substack
🧠Machine Learning
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.orgΒ·4d
πŸ“ŠAPL Heritage
Python vs JavaScript for Backend: Which Is Better for Your Project?
dev.toΒ·22hΒ·
Discuss: DEV
🌐Web Standards
Proof-theoretic Semantics for First-order Logic
arxiv.orgΒ·4d
πŸ—οΈConstructive Logic
System Design Deep Dive: How Stripe Powers Global Payments with Scalable Architecture
dev.toΒ·15hΒ·
Discuss: DEV
πŸ”ŒInterface Evolution
Behind the Scenes: Building My Modular Django Portfolio - PART 1
dev.toΒ·2hΒ·
Discuss: DEV
πŸ¦‹Format Metamorphosis
ROBAD: Robust Adversary-aware Local-Global Attended Bad Actor Detection Sequential Model
arxiv.orgΒ·5h
🎯Threat Hunting
True Multimodal In-Context Learning Needs Attention to the Visual Context
arxiv.orgΒ·5h
πŸ“ŠLearned Metrics
Generative Distribution Distillation
arxiv.orgΒ·5h
🧠Neural Compression
Streaming Responses from OpenAI Models: Technical Implementation Guide
dev.toΒ·3dΒ·
Discuss: DEV
🌊Stream Processing
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.orgΒ·4d
🎯Performance Proofs
Loading...Loading more...
AboutBlogChangelogRoadmap