🐿️ 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, artisans and brainrot
blog.kronis.dev·1d
⚡Incremental Computation
Show HN: Requests-Based Google Maps Scraper
apify.com·2d·
Discuss: Hacker News
🔍BitFunnel
First NetHack ascension, and insights into the AI capabilities it requires
mikaelhenaff.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·2d·
Discuss: Hacker News
📟Terminal Typography
Visualizing CPU Pipelining (2024)
timmastny.com·15h·
Discuss: Hacker News
⚙️RISC-V Microcode
No Time To Learn (Web) Framework X
brainbaking.com·1d·
Discuss: Lobsters, Hacker News, r/javascript
🔌Interface Evolution
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/golang, r/programming
⬆️Lambda Lifting
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·3d·
Discuss: Hacker News
🦀Rust Macros
RAG Blueprint
docs.vespa.ai·1d·
Discuss: Hacker News
🤖Archive Automation
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·1d
⚙️Compression Benchmarking
Security news weekly round-up - 27th June 2025
dev.to·5h·
Discuss: DEV
🔓Hacking
Where to find Grokking in LLM Pretraining? Monitor Memorization-to-Generalization without Test
arxiv.org·23h
🧠Intelligence Compression
Machine Learning Fundamentals: adam optimizer with python
dev.to·10h·
Discuss: DEV
📊Feed Optimization
From Manual to Magic: How I Used Keploy to Test APIs on YouTube and Amazon
dev.to·9h·
Discuss: DEV
🌀Brotli Internals
API Testing Made Easy with Keploy Chrome Extension: My Flask Bookstore App Experience
dev.to·7h·
Discuss: DEV
🔌Archive APIs
8 Essential Python Patterns for Building Bulletproof APIs That Scale
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
MCP Security Vulnerabilities and Attack Vectors
dev.to·10h·
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
Loading...Loading more...
AboutBlogChangelogRoadmap