🐿️ 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·17h
🧲Magnetic Philosophy
How to set up a personal website with a custom domain quickly in an hour
gist.github.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·5d·
Discuss: Hacker News, r/programming
✅Format Verification
Adding #[derive(From)] to Rust
kobzol.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀Rust Macros
epiGPTope: A machine learning-based epitope generator and classifier
arxiv.org·2d
🔗Monadic Parsing
Start Coding Python on Your Android Phone with Termux
dev.to·1h·
Discuss: DEV
🕹Emulation
Day 1: Dig at Berghain Coding Challenge
dev.to·2d·
Discuss: DEV
🧮Z3 Solver
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·18h·
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·20h·
Discuss: DEV
🌀Differential Geometry
Autonomous Optimization of Alkaline Cleaning Formulations via Bayesian Reinforcement Learning
dev.to·8h·
Discuss: DEV
⚙️Modern Assembly
This Week a Few AI Companies Stopped Pretending
dev.to·16h·
Discuss: DEV
🤖AI Curation
RAG-PRISM: A Personalized, Rapid, and Immersive Skill Mastery Framework with Adaptive Retrieval-Augmented Tutoring
arxiv.org·3d
🗺️Competency Maps
10 Awesome GitHub Repositories for AI Engineers 🤖
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Turning AI Ideas into MVPs in Weeks, Not Months
dev.to·16h·
Discuss: DEV
🌀Brotli Internals
I made a small nginx web UI (with Cloudflare + CloudFront support) – maybe useful for someone?
github.com·1d
🕸️WebAssembly
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·5d
⚙️ABNF Mining
Loading...Loading more...
AboutBlogChangelogRoadmap