๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
ฮป Lambda Formalization

Type Theory Resources, Programming Language Theory, Formal Systems, Beginner Guides

Building a magic door
hackster.ioยท3h
๐Ÿ”“Hacking
Most ints are not floats
johndcook.comยท1dยท
Discuss: Hacker News
๐Ÿ“Interval Arithmetic
Microservices to Monolith, Rebuilding Our Back End in Rust
influxdata.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.comยท3d
๐Ÿ”’Linear Types
I will fix your vibe-coded MVP โ€“ sgnt.ai
sgnt.aiยท16hยท
Discuss: Hacker News
๐Ÿ”“Hacking
From 0โ†’โˆž: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.ioยท2dยท
Discuss: Hacker News
๐ŸงญContent Discovery
Show HN: Ten Dollar Adventure, an interactive kids' book on entrepreneurship
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ“•Bookbinding
๐Ÿ”ท Tutorial: Building a Simple PBR Scene with Shadows and FPS Controls in Three.js
dev.toยท9hยท
Discuss: DEV
โŸทBidirectional Programming
JavaScript to Lowercase: A Developerโ€™s Guide
dev.toยท2dยท
Discuss: DEV
๐Ÿ”คUnicode Normalization
SCI-FI is all you need: Meet GEN-I-SYS
dev.toยท1dยท
Discuss: DEV
๐Ÿ–ฅ๏ธModern Terminals
๐Ÿค– How I Went from Writing Tests Manually to AI-Driven API Testing with Keploy
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
DBConformer: Dual-Branch Convolutional Transformer for EEG Decoding
arxiv.orgยท1d
๐Ÿง Neural Codecs
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.orgยท2d
๐Ÿ”BitFunnel
On Union-Closedness of Language Generation
arxiv.orgยท4d
๐Ÿ”—Monadic Parsing
Enterprise Large Language Model Evaluation Benchmark
arxiv.orgยท2d
โš™๏ธCompression Benchmarking
Where to find Grokking in LLM Pretraining? Monitor Memorization-to-Generalization without Test
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Building Production-Ready AI Workflows with Rust: An Event-Sourced Approach
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
๐Ÿง  RAG in Minutes with MultiMind SDK โ€” No LangChain Needed
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
โœจ From Manual Testing to AI Magic: My API Testing Journey with Keploy ๐Ÿš€
dev.toยท21hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
8 Essential Python Patterns for Building Bulletproof APIs That Scale
dev.toยท4dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap