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

A tragedy, a lawsuit, and the birth of an AI moral panic
freethink.com·4h
🧲Magnetic Philosophy
How to set up a personal website with a custom domain quickly in an hour
gist.github.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
How to Test
matklad.github.io·4d·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
Adding #[derive(From)] to Rust
kobzol.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀Rust Macros
Tangential Action Spaces: Geometry, Memory and Cost in Holonomic and Nonholonomic Agents
arxiv.org·1d
🌀Differential Geometry
epiGPTope: A machine learning-based epitope generator and classifier
arxiv.org·1d
🔗Monadic Parsing
Real-Time Gas Mixture Discrimination Using Bayesian Compressed Sensing & Hyperdimensional Encoding
dev.to·7h·
Discuss: DEV
🌀Differential Geometry
Automated Identification of Allosteric Modulation Sites in Protein Interaction Networks via Graph Neural Networks
dev.to·17h·
Discuss: DEV
⚙️ABNF Mining
Phase 4.6: Breaking the Monolith - A Strategic Repository Split
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Reservoir Predictive Path Integral Control for Unknown Nonlinear Dynamics
arxiv.org·14h
🧠Machine Learning
Pruning Weights but Not Truth: Safeguarding Truthfulness While Pruning LLMs
arxiv.org·2d
💻Local LLMs
LLMs for LLMs: A Structured Prompting Methodology for Long Legal Documents
arxiv.org·2d
🔗Constraint Handling
Agent Builder and Runtime by Docker Engineering
github.com·1d·
Discuss: DEV, Hacker News
📦Container Security
Curse of Knowledge: When Complex Evaluation Context Benefits yet Biases LLM Judges
arxiv.org·1d
✨Effect Handlers
Creating SOAP APIs in Python
dev.to·1d·
Discuss: DEV
🔧Binary Parsers
Identifiability and minimality bounds of quantum and post-quantum models of classical stochastic processes
arxiv.org·1d
🧮Kolmogorov Bounds
Building Chrome Dinosaur Game in Pygame (Part 6: Press Pause ⏸️)
dev.to·2d·
Discuss: DEV
🎮Game Decompilation
10 Awesome GitHub Repositories for AI Engineers 🤖
dev.to·12h·
Discuss: DEV
🌀Brotli Internals
Show HN: A vibe port of security library libinjection from C to Rust
github.com·2d·
Discuss: Hacker News
🦀Rust Verification
Harnessing Batched BLAS/LAPACK Kernels on GPUs for Parallel Solutions of Block Tridiagonal Systems
arxiv.org·1d
📐Linear Algebra
Loading...Loading more...
AboutBlogChangelogRoadmap