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

Understanding Brotli PDF Compression
pdfa.orgยท16h
๐ŸŒช๏ธBrotli
Prepare for non-human visitors!
techradar.comยท9h
๐ŸŒ€Brotli Internals
Coping with Complexity
slott56.github.ioยท5d
๐Ÿ”—Concatenative Programming
How Does Graph Theory Shape Our World?
quantamagazine.orgยท17hยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
Architecting J.A.R.V.I.S. With the Gemini API and Concurrency in Rust
rohan.gaยท2hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.comยท10h
โš–๏ธVerification Calculi
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท1d
๐Ÿ“ŠGraph Databases
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.orgยท3d
๐Ÿ”Type Inference
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.orgยท3d
๐Ÿ’ปProgramming languages
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.toยท11hยท
Discuss: DEV
๐Ÿ”BitFunnel
scMamba: A Scalable Foundation Model for Single-Cell Multi-Omics Integration Beyond Highly Variable Feature Selection
arxiv.orgยท3h
๐Ÿง Machine Learning
"TikTok, Do Your Thing": User Reactions to Social Surveillance in the Public Sphere
arxiv.orgยท3h
๐Ÿ›Digital humanities
Leveraging LLM-Assisted Query Understanding for Live Retrieval-Augmented Generation
arxiv.orgยท3h
๐Ÿ”Information Retrieval
DBConformer: Dual-Branch Convolutional Transformer for EEG Decoding
arxiv.orgยท3h
๐Ÿง Neural Codecs
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.orgยท1d
๐Ÿ”BitFunnel
On Union-Closedness of Language Generation
arxiv.orgยท3d
๐Ÿ”—Monadic Parsing
Enterprise Large Language Model Evaluation Benchmark
arxiv.orgยท1d
โš™๏ธCompression Benchmarking
Where to find Grokking in LLM Pretraining? Monitor Memorization-to-Generalization without Test
arxiv.orgยท3h
๐Ÿง Intelligence Compression
Day 5/100: Working with Strings โ€” Basics to Formatting
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
8 Essential Python Patterns for Building Bulletproof APIs That Scale
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap