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

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Β·12hΒ·
Discuss: Hacker News
🎯Performance Proofs
Godel's Incompleteness Theorem
news.ycombinator.comΒ·2dΒ·
Discuss: Hacker News
πŸ”€Type Theory
Building a Full-Stack Bookstore App in 100 Days with .NET MAUI and Clean Architecture
hackernoon.comΒ·16h
🧱Immutable Infrastructure
"TikTok, Do Your Thing": User Reactions to Social Surveillance in the Public Sphere
arxiv.orgΒ·13h
πŸ›Digital humanities
SMOTE or Synthetic Data for Handling Class Imbalance? I Wrote About It on ThinkML
dev.toΒ·14hΒ·
Discuss: DEV
πŸ’§Liquid Types
SCI-FI is all you need: Meet GEN-I-SYS
dev.toΒ·2hΒ·
Discuss: DEV
πŸ–₯️Modern Terminals
DBConformer: Dual-Branch Convolutional Transformer for EEG Decoding
arxiv.orgΒ·13h
🧠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Β·13h
🧠Intelligence Compression
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.toΒ·22hΒ·
Discuss: DEV
πŸ”BitFunnel
8 Essential Python Patterns for Building Bulletproof APIs That Scale
dev.toΒ·3dΒ·
Discuss: DEV
πŸŒ€Brotli Internals
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.toΒ·1dΒ·
Discuss: DEV
πŸ•ΈοΈGraph Algorithms
Machine Learning Fundamentals: adam optimizer with python
dev.toΒ·1hΒ·
Discuss: DEV
πŸ“ŠFeed Optimization
MCP Security Vulnerabilities and Attack Vectors
dev.toΒ·1hΒ·
Discuss: DEV
πŸ”CBOR
πŸ‘Ή Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.toΒ·1dΒ·
Discuss: DEV
Ξ»Lambda Encodings
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.orgΒ·1d
πŸ”BitFunnel
DigitalOcean Fundamentals: API
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”ŒInterface Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap