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

Prepare for non-human visitors!
techradar.comΒ·16h
πŸŒ€Brotli Internals
Issue 716
iosdevweekly.comΒ·14h
πŸ”ŒInterface Evolution
Show HN: Anytype – a local and collaborative database with API and MCP server
zhanna.any.orgΒ·1dΒ·
Discuss: Hacker News
πŸ”„Sync Engine
Modelling API rate limits as diophantine inequalities
vivekn.devΒ·9hΒ·
Discuss: Hacker News
🎯Performance Proofs
Godel's Incompleteness Theorem
news.ycombinator.comΒ·1dΒ·
Discuss: Hacker News
πŸ”€Type Theory
Building a Full-Stack Bookstore App in 100 Days with .NET MAUI and Clean Architecture
hackernoon.comΒ·13h
🧱Immutable Infrastructure
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.toΒ·19hΒ·
Discuss: DEV
🌊Streaming Compression
scMamba: A Scalable Foundation Model for Single-Cell Multi-Omics Integration Beyond Highly Variable Feature Selection
arxiv.orgΒ·10h
🧠Machine Learning
"TikTok, Do Your Thing": User Reactions to Social Surveillance in the Public Sphere
arxiv.orgΒ·10h
πŸ›Digital humanities
Leveraging LLM-Assisted Query Understanding for Live Retrieval-Augmented Generation
arxiv.orgΒ·10h
πŸ”Information Retrieval
Building a Super Mario-Style Platformer Game with Amazon Q Developer
dev.toΒ·3hΒ·
Discuss: DEV
πŸ–₯️Modern Terminals
DBConformer: Dual-Branch Convolutional Transformer for EEG Decoding
arxiv.orgΒ·10h
🧠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Β·10h
🧠Intelligence Compression
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.toΒ·19hΒ·
Discuss: DEV
πŸ”BitFunnel
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
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.toΒ·1dΒ·
Discuss: DEV
πŸ•ΈοΈGraph Algorithms
Loading...Loading more...
AboutBlogChangelogRoadmap