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

How to give a talk
karagila.org·2d
⚔️Lean Theorem
Does anyone still use Morse code?
morse-coder.com·23h·
Discuss: Hacker News
🔤Character Encoding
Show HN: ScrapingDuck a Web Scraping API
scrapingduck.com·5h·
Discuss: Hacker News
📰Feed Readers
The Biological Rulebook Was Just Rewritten—by Ants
404media.co·1h
🦴Database Paleontology
Serving AI from the basement part I
ahmadosman.com·2d·
Discuss: Hacker News
⚡Homebrew CPUs
How to Test
matklad.github.io·5d·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
Next.js Is Infuriating - Dominik's Blog
blog.meca.sh·3d·
Discuss: Hacker News
🌐WASI
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·5d·
Discuss: Hacker News
📏Code Metrics
S2M2ECG: Spatio-temporal bi-directional State Space Model Enabled Multi-branch Mamba for ECG
arxiv.org·2d
📈Time Series
Tangential Action Spaces: Geometry, Memory and Cost in Holonomic and Nonholonomic Agents
arxiv.org·2d
🌀Differential Geometry
KubeCrash is Back: Hear from Engineers at Grammarly, J.P. Morgan, and More (Sep 23)
reddit.com·23h·
Discuss: r/kubernetes
📦Container Security
Reservoir Predictive Path Integral Control for Unknown Nonlinear Dynamics
arxiv.org·1d
🧠Machine Learning
Automated Vulnerability Analysis & Remediation via Reinforcement Learning in Programmable Logic Controllers (PLCs)
dev.to·20h·
Discuss: DEV
🛡️Error Boundaries
Identifiability and minimality bounds of quantum and post-quantum models of classical stochastic processes
arxiv.org·2d
🧮Kolmogorov Bounds
Phase 4.6: Breaking the Monolith - A Strategic Repository Split
dev.to·3d·
Discuss: DEV
🔄Reproducible Builds
Building Chrome Dinosaur Game in Pygame (Part 6: Press Pause ⏸️)
dev.to·2d·
Discuss: DEV
🎮Game Decompilation
A Smart Temperature Monitor in 5 min - No Coding Required
hackster.io·4h
🔌Single Board PC
Harnessing Batched BLAS/LAPACK Kernels on GPUs for Parallel Solutions of Block Tridiagonal Systems
arxiv.org·2d
📐Linear Algebra
Simplify AI-Agent Deployment: Dockerizing Symfony for Scalable
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
How a Hackathon Rejection Became 6,000+ PyPI Downloads
dev.to·2d·
Discuss: DEV
🔒WASM Capabilities
Loading...Loading more...
AboutBlogChangelogRoadmap