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

Reflections on the 2025 IIPC General Assembly and Web Archiving Conference
netpreserveblog.wordpress.com·1h
🔄Archival Workflows
Worth Reading 082925
rule11.tech·2h
📟Historical Protocols
ESP32 Based Parking Assistant V3
hackster.io·14h
🔌Single Board PC
Double Maths First Thing: Issue 33
aperiodical.com·2d
📐Mathematical Art
Recently
macwright.com·1d
🏠Personal Archives
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·3d
🦀Rust Macros
Why APIs Alone Won’t Cut It in the AI Era
devops.com·8h
🔌Interface Evolution
Learning web development: Plain objects in JavaScript
2ality.com·2d
🔓Reverse engineering
GPUPrefixSums – state of the art GPU prefix sum algorithms
github.com·1d·
Discuss: Hacker News
⚡Cache Coherence
The Bitter Lesson Is Misunderstood – By Kushal Chakrabarti
obviouslywrong.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Building Scales4U: A Journey Through Precision, Code, and Challenges
dev.to·11h·
Discuss: DEV
🌀Brotli Internals
Everything I Studied to Become a Machine Learning Engineer (No CS Background)
towardsdatascience.com·2d
🧠Machine Learning
Validating Generative Agent-Based Models for Logistics and Supply Chain Management Research
arxiv.org·20h
🔲Cellular Automata
Neural Spline Operators for Risk Quantification in Stochastic Systems
arxiv.org·20h
🧮Kolmogorov Bounds
A Systematic Review on the Generative AI Applications in Human Medical Genomics
arxiv.org·20h
🧠Machine Learning
DAY: 5 - In Python all list method operators and slicing:
dev.to·17h·
Discuss: DEV
🧬Functional Programming
AI4Devs August meetup
dev.to·6h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
OODA Loops and Git Worktrees: 9 Tactical Lessons from AI-Augmented Development
sobu1.substack.com·2d·
Discuss: Substack
🏗️Compiler Archaeology
Introducing ConnectOnion: The Simplest Way to Build AI Agents with Python Functions
dev.to·18h·
Discuss: DEV
🧮Z3 Solver
Web dev in 2026 will be chaos. Master these 50 skills or get left behind.
dev.to·9h·
Discuss: DEV
🔄Language Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap