🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Lambda Calculus

Combinatory Logic, Church Encoding, Beta Reduction, Type Theory

Beginner Linux Home Lab Guide Made by a Beginner (no linux experience required)
drive.google.com·1h·
Discuss: r/homelab
🏠HomeLab
Keyboards from My Collection
aresluna.org·17h·
Discuss: Hacker News
💾Retro Computing
Answering some questions about Baba Yaga
eli.li·3d·
Discuss: Hacker News
💎Refinement Types
Implementing a Foil Sticker Effect
4rknova.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: I Built an AI Comic Maker That Adds Quizzes (MCQs) for Kids
github.com·13h·
Discuss: Hacker News
🎮Verification Games
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·1d·
Discuss: Hacker News
🎮Verification Games
Nix Vegas 2025 Retrospective
nix.vegas·1d·
Discuss: Lobsters
❄️Nix
Dependent types I › Universes, or types of types
jonmsterling.com·6d·
Discuss: Hacker News
➡️Category Theory
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.com·9h·
Discuss: Hacker News
🩹Self-Healing Systems
A look at SGD from a physicist's perspective – Part 1 (2018)
henripal.github.io·1d·
Discuss: Hacker News
📚Automata Learning
The Rare Book Thesis for an AI World
ktledger.com·8h·
Discuss: Hacker News
🧠Automated Reasoning
Taxonomy of Procrastination
dynomight.net·8h·
Discuss: Hacker News
➡️Category Theory
Why Kafka and Iceberg Will Define the Next Decade of Data Infrastructure
blog.streambased.io·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Learning Go as a sysadmin/DevOps person coming from Bash
github.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Writing in Djot
pdx.su·2d·
Discuss: Hacker News
🧩Parser Combinators
The Art of Transformer Programming (2023)
yanivle.github.io·2d·
Discuss: Hacker News
🧩Parser Combinators
Ari Lamstein: Free Course: Learn to Build Data Apps with Streamlit!
arilamstein.com·6h·
Discuss: Hacker News
💎Refinement Types
Senko – Very Fast Speaker Diarization
github.com·4h·
Discuss: Hacker News
💾Retro Computing
How is Ultrassembler so fast?
jghuff.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔧Unikernel Development
Fast and Scalable Mixed Precision Euclidean Distance Calculations Using GPU Tensor Cores
arxiv.org·1d
🔧Unikernel Development
Loading...Loading more...
AboutBlogChangelogRoadmap