🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Lambda Calculus
Combinatory Logic, Church Encoding, Beta Reduction, Type Theory
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 5
•
Page 7 »