🐿️ 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
A tragedy, a lawsuit, and the birth of an AI moral panic
freethink.com·21h
🧲Magnetic Philosophy
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
Adding #[derive(From)] to Rust
kobzol.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀Rust Macros
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
Start Coding Python on Your Android Phone with Termux
dev.to·5h·
Discuss: DEV
🕹Emulation
Day 1: Dig at Berghain Coding Challenge
dev.to·2d·
Discuss: DEV
🧮Z3 Solver
Reservoir Predictive Path Integral Control for Unknown Nonlinear Dynamics
arxiv.org·1d
🧠Machine Learning
Automated Carbon Footprint Lifecycle Assessment via Dynamic Bayesian Network Optimization
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Building Chrome Dinosaur Game in Pygame (Part 6: Press Pause ⏸️)
dev.to·2d·
Discuss: DEV
🎮Game Decompilation
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·22h·
Discuss: DEV
🏠Homelab Orchestration
How a Hackathon Rejection Became 6,000+ PyPI Downloads
dev.to·2d·
Discuss: DEV
🔒WASM Capabilities
SCOUT: Toward Sub-Quadratic Attention via Segment Compression for Optimized Utility in Transformers
arxiv.org·3d
⧗Information Bottleneck
Created my first bot today
dev.to·2d·
Discuss: DEV
🔧Binary Parsing
Real-Time Gas Mixture Discrimination Using Bayesian Compressed Sensing & Hyperdimensional Encoding
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
Autonomous Optimization of Alkaline Cleaning Formulations via Bayesian Reinforcement Learning
dev.to·12h·
Discuss: DEV
⚙️Modern Assembly
RAG-PRISM: A Personalized, Rapid, and Immersive Skill Mastery Framework with Adaptive Retrieval-Augmented Tutoring
arxiv.org·3d
🗺️Competency Maps
Loading...Loading more...
AboutBlogChangelogRoadmap