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

Building a magic door
hackster.io·8h
🔓Hacking
Pick's Theorem, some history.
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Mathematical Art
7 AI Agent Frameworks for Machine Learning Workflows in 2025
machinelearningmastery.com·2d
⚡Proof Automation
Books curious minds wished they'd discovered sooner
newsletter.weeklyfilet.com·22h·
Discuss: Hacker News
⭐Awesome lists
Most ints are not floats
johndcook.com·1d·
Discuss: Hacker News
📐Interval Arithmetic
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·2d·
Discuss: Hacker News
🧭Content Discovery
Show HN: Ten Dollar Adventure, an interactive kids' book on entrepreneurship
news.ycombinator.com·1d·
Discuss: Hacker News
📕Bookbinding
🔷 Tutorial: Building a Simple PBR Scene with Shadows and FPS Controls in Three.js
dev.to·14h·
Discuss: DEV
⟷Bidirectional Programming
JavaScript to Lowercase: A Developer’s Guide
dev.to·2d·
Discuss: DEV
🔤Unicode Normalization
Leveraging LLM-Assisted Query Understanding for Live Retrieval-Augmented Generation
arxiv.org·2d
🔍Information Retrieval
Building a Super Mario-Style Platformer Game with Amazon Q Developer
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
SCI-FI is all you need: Meet GEN-I-SYS
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
🤖 How I Went from Writing Tests Manually to AI-Driven API Testing with Keploy
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Building Production-Ready AI Workflows with Rust: An Event-Sourced Approach
dev.to·1d·
Discuss: DEV
🌊Stream Processing
DBConformer: Dual-Branch Convolutional Transformer for EEG Decoding
arxiv.org·2d
🧠Neural Codecs
🧠 RAG in Minutes with MultiMind SDK — No LangChain Needed
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
✨ From Manual Testing to AI Magic: My API Testing Journey with Keploy 🚀
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.org·3d
🔍BitFunnel
On Union-Closedness of Language Generation
arxiv.org·5d
🔗Monadic Parsing
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·3d
⚙️Compression Benchmarking
Loading...Loading more...
AboutBlogChangelogRoadmap