🐿️ 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·20h
🌪️Brotli
Prepare for non-human visitors!
techradar.com·13h
🌀Brotli Internals
Coping with Complexity
slott56.github.io·5d
🔗Concatenative Programming
Book Review: Developing Talent in Young People by Benjamin Bloom
justinmath.com·3h·
Discuss: Hacker News
🔲Cellular Automata
How Does Graph Theory Shape Our World?
quantamagazine.org·21h·
Discuss: Hacker News
📐Mathematical Art
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.com·14h
⚖️Verification Calculi
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·1d
📊Graph Databases
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.to·15h·
Discuss: DEV
🔍BitFunnel
DBConformer: Dual-Branch Convolutional Transformer for EEG Decoding
arxiv.org·7h
🧠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·7h
🧠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
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·2d·
Discuss: DEV
⚡Proof Automation
DigitalOcean Fundamentals: API
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
🚀 Mastering Vectors in Rust
dev.to·16h·
Discuss: DEV
🦀Rust Borrowing
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·1d·
Discuss: DEV
λLambda Encodings
Loading...Loading more...
AboutBlogChangelogRoadmap