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

DigiSim
hackster.io·3h
📟Terminal Physics
A tragedy, a lawsuit, and the birth of an AI moral panic
freethink.com·10h
🧲Magnetic Philosophy
garbage collection
jwz.org·3d
🧠Memory Allocators
How to set up a personal website with a custom domain quickly in an hour
gist.github.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·4d·
Discuss: Hacker News, r/programming
✅Format Verification
Sorting Isn't Simple–You're Just Seeing ASCII Order, Not Real Collation
readyset.io·2d·
Discuss: Hacker News
🔤Unicode Normalization
epiGPTope: A machine learning-based epitope generator and classifier
arxiv.org·1d
🔗Monadic Parsing
Building Chrome Dinosaur Game in Pygame (Part 6: Press Pause ⏸️)
dev.to·2d·
Discuss: DEV
🎮Game Decompilation
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
Simplify AI-Agent Deployment: Dockerizing Symfony for Scalable
dev.to·10h·
Discuss: DEV
🏠Homelab Orchestration
How a Hackathon Rejection Became 6,000+ PyPI Downloads
dev.to·2d·
Discuss: DEV
🔒WASM Capabilities
Automated Carbon Footprint Lifecycle Assessment via Dynamic Bayesian Network Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
SCOUT: Toward Sub-Quadratic Attention via Segment Compression for Optimized Utility in Transformers
arxiv.org·2d
⧗Information Bottleneck
Created my first bot today
dev.to·2d·
Discuss: DEV
🔧Binary Parsing
This Week a Few AI Companies Stopped Pretending
dev.to·8h·
Discuss: DEV
🤖AI Curation
RAG-PRISM: A Personalized, Rapid, and Immersive Skill Mastery Framework with Adaptive Retrieval-Augmented Tutoring
arxiv.org·2d
🗺️Competency Maps
10 Awesome GitHub Repositories for AI Engineers 🤖
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
I made a small nginx web UI (with Cloudflare + CloudFront support) – maybe useful for someone?
github.com·18h
🕸️WebAssembly
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·4d
⚙️ABNF Mining
Loading...Loading more...
AboutBlogChangelogRoadmap