🐿️ 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·7h
📟Terminal Physics
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·5d·
Discuss: Hacker News, r/programming
✅Format Verification
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
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·1d
📐Linear Algebra
Simplify AI-Agent Deployment: Dockerizing Symfony for Scalable
dev.to·14h·
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·2d
⧗Information Bottleneck
Created my first bot today
dev.to·2d·
Discuss: DEV
🔧Binary Parsing
Autonomous Optimization of Alkaline Cleaning Formulations via Bayesian Reinforcement Learning
dev.to·4h·
Discuss: DEV
⚙️Modern Assembly
This Week a Few AI Companies Stopped Pretending
dev.to·12h·
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·22h·
Discuss: DEV
🌀Brotli Internals
Turning AI Ideas into MVPs in Weeks, Not Months
dev.to·12h·
Discuss: DEV
🌀Brotli Internals
I made a small nginx web UI (with Cloudflare + CloudFront support) – maybe useful for someone?
github.com·22h
🕸️WebAssembly
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·4d
⚙️ABNF Mining
Session Handling in Go
reddit.com·20h·
Discuss: r/golang
📞Session Types
Loading...Loading more...
AboutBlogChangelogRoadmap