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

AI and Programming Language Communities
jerf.org·1d
🎯Gradual Typing
Show HN: Requests-Based Google Maps Scraper
apify.com·2d·
Discuss: Hacker News
🔍BitFunnel
Visualizing CPU Pipelining (2024)
timmastny.com·19h·
Discuss: Hacker News
⚙️RISC-V Microcode
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/golang, r/programming
⬆️Lambda Lifting
RAG Blueprint
docs.vespa.ai·1d·
Discuss: Hacker News
🤖Archive Automation
Building a Full-Stack Bookstore App in 100 Days with .NET MAUI and Clean Architecture
hackernoon.com·1d
🧱Immutable Infrastructure
Your Guide to the Python print() Function
realpython.com·2d
📝Concrete Syntax
Deploying a Static Website on S3 with Terraform
dev.to·9h·
Discuss: DEV
🧱Immutable Infrastructure
"TikTok, Do Your Thing": User Reactions to Social Surveillance in the Public Sphere
arxiv.org·1d
🏛Digital humanities
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
SMOTE or Synthetic Data for Handling Class Imbalance? I Wrote About It on ThinkML
dev.to·1d·
Discuss: DEV
💧Liquid Types
8 Essential Python Patterns for Building Bulletproof APIs That Scale
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Security news weekly round-up - 27th June 2025
dev.to·9h·
Discuss: DEV
🔓Hacking
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.to·1d·
Discuss: DEV
🕸️Graph Algorithms
MCP Security Vulnerabilities and Attack Vectors
dev.to·14h·
Discuss: DEV
🔐CBOR
Show HN: Using Claude Code SDK to to implement an agentic CV parser
github.com·1d·
Discuss: Hacker News
🤖Archive Automation
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·2d·
Discuss: DEV
λLambda Encodings
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·2d
🔍BitFunnel
DigitalOcean Fundamentals: API
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
🧠 Solving LeetCode Until I Become Top 1% — Day `31`
dev.to·1d·
Discuss: DEV
🔢Bitwise Algorithms
Loading...Loading more...
AboutBlogChangelogRoadmap