🐿️ 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·7h
🧲Magnetic Philosophy
garbage collection
jwz.org·2d
🧠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
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
Day 1: Dig at Berghain Coding Challenge
dev.to·2d·
Discuss: DEV
🧮Z3 Solver
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
Phase 4.6: Breaking the Monolith - A Strategic Repository Split
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
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·7h·
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
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·15h·
Discuss: DEV
🌀Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap