🐿️ 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Β·22h
🎯Gradual Typing
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Β·1dΒ·
Discuss: Hacker News
πŸ“ŸTerminal Typography
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.comΒ·2dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
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Β·20h
🧱Immutable Infrastructure
Your Guide to the Python print() Function
realpython.comΒ·2d
πŸ“Concrete Syntax
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.comΒ·2d
⬆️Lambda Lifting
Deploying a Static Website on S3 with Terraform
dev.toΒ·1hΒ·
Discuss: DEV
🧱Immutable Infrastructure
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Β·53mΒ·
Discuss: DEV
πŸ”“Hacking
Where to find Grokking in LLM Pretraining? Monitor Memorization-to-Generalization without Test
arxiv.orgΒ·18h
🧠Intelligence Compression
From Manual to Magic: How I Used Keploy to Test APIs on YouTube and Amazon
dev.toΒ·4hΒ·
Discuss: DEV
πŸŒ€Brotli Internals
API Testing Made Easy with Keploy Chrome Extension: My Flask Bookstore App Experience
dev.toΒ·2hΒ·
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Β·5hΒ·
Discuss: DEV
πŸ”CBOR
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.toΒ·1dΒ·
Discuss: DEV
πŸ•ΈοΈGraph Algorithms
Machine Learning Fundamentals: adam optimizer with python
dev.toΒ·6hΒ·
Discuss: DEV
πŸ“ŠFeed Optimization
Loading...Loading more...
AboutBlogChangelogRoadmap