Master Python Lists: A Comprehensive Guide for Beginners & Beyond
dev.to·12h·
Discuss: DEV
⭐Awesome lists
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·16h
🔤Type Theory
Identity Types
bartoszmilewski.com·5h·
Discuss: Hacker News
🔤Type Theory
Directory Listings with Foundry
blogs.gnome.org·18h
⟷Bidirectional Programming
X Design Notes: Pattern Matching II
blog.polybdenum.com·18h
💻Programming languages
Cactus Language • Mechanics 2
inquiryintoinquiry.com·1h
🔲Cellular Automata
The story of Musium
ruudvanasseldonk.com·2h·
Discuss: Lobsters, Hacker News
💿FLAC Archaeology
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·9h
🌳Trie Structures
The Axiom of Choice
youtube.com·15h
⚔️Lean Theorem
Three Meanings of Effects
burakemir.ch·3d·
Discuss: Hacker News
✨Effect Handlers
Libraries of the Mind by William Marx
zylstra.org·1d
🧠Knowledge Management
Status update, 22/09/2025
samthursfield.wordpress.com·38m
🔩Systems Programming
We, Programmers A Chronicle of Coders from Ada to AI
gwolf.org·22h
🍎Apple Computing
Taking a Look at Compression Algorithms
cefboud.com·21h·
Discuss: Hacker News, Hacker News, r/programming
📦Deflate
Let's look at the structure of Vec<T>
marma.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🔒Type Safety
ORCA: Agentic Reasoning For Hallucination and Adversarial Robustness in Vision-Language Models
arxiv.org·14h
🤖Advanced OCR
What's a UUID, and what do you use that for?
bitecode.dev·1h
🔐CBOR
Am I missing the boat on vector databases for RAG?
littleleaps.substack.com·21h·
Discuss: Substack
🗂️Vector Databases
Lab notes #074 Focused in a direction
interjectedfuture.com·2h
⚙️Proof Engineering
Transitive Dependency Version Resolution in Rust and Java: Comparing the Two
hackernoon.com·1d
🔗Dependency Resolution