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

Talking Feet
naiveweekly.com·1d
✋Tactile Computing
Why Tokenize Domains?
namefi.io·11h·
Discuss: Hacker News
📡DNS Archaeology
Thus Spoke GPT: A poetic and philosophical experiment in symbolic AI prompting
scribd.com·2d·
Discuss: Hacker News
🧲Magnetic Philosophy
CSS Functions and Mixins Module
w3.org·3d·
Discuss: Hacker News
🔗Concatenative Programming
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·4d·
Discuss: Hacker News
📊Graph Databases
Mastering Dijkstra's Algorithm in C++ with CXXGraph
medium.com·4d·
Discuss: Hacker News
📐E-graphs
Scaling Redis at 7shifts (2023)
medium.com·11h·
Discuss: Hacker News
⚡Redis Internals
PaperSense: Semantic arXiv Search & Chat Built with MindsDB
dev.to·1d·
Discuss: DEV
🔬Academic Search
Lipschitz Bounds for Persistent Laplacian Eigenvalues under One-Simplex Insertions
arxiv.org·3d
🕳️Persistent Homology
Restaurant Website Builder
dev.to·7h·
Discuss: DEV
🌀Brotli Internals
The Multi-Tool: Introduction to Python
dev.to·3d·
Discuss: DEV
💻programming languages
🍸 Selecting the Largest Sum Subsequence of Length K – LeetCode 2099 (C++ | JavaScript | Python )
dev.to·2d·
Discuss: DEV
λLambda Encodings
FreeEnricher: Enriching Face Landmarks without Additional Cost
arxiv.org·9h
📐Projective Geometry
API Versioning Strategies That Actually Work in Production
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
How I Made Task Lists Fun Again (with a Hint of World Domination)
dev.to·2d·
Discuss: DEV
🔗Concatenative Languages
How Language Models Work: From Attention to Human Feedback
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
**Go Database Optimization: 5 Performance Patterns That Boost Application Speed by 700%**
dev.to·19h·
Discuss: DEV
🗄️Database Internals
How to build a MCP (model context protocol) server for UI libraries + repo
dev.to·4d·
Discuss: DEV
🔌Interface Evolution
Python Fundamentals: asyncpg
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Design Systems: The Secret Weapon of Scalable Frontend Development
dev.to·1d·
Discuss: DEV
🎨Nordic Design
Loading...Loading more...
AboutBlogChangelogRoadmap