Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Encodings
daily quizzz
dev.to·4h·
Discuss: DEV
λLambda Encodings
The Guide to the Foundation Models Framework
azamsharp.com·3h·
Discuss: Hacker News
🌳Context free grammars
Cactus Language • Syntax 12
inquiryintoinquiry.com·1h
📝Concrete Syntax
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·10h
📝Concrete Syntax
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
👑Isabelle
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·2d
🔗Combinatory Logic
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Hypercubical manifolds in homotopy type theory
arxiv.org·13h
🔶Cubical Type Theory
derived set
ncatlab.org·2h
🧮Algebraic Archives
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·10h·
Discuss: DEV
🎯Gradual Typing
Proficient Python: Course Overview
proficientpython.com·8h
🔗Concatenative Programming
Ts-Wordle: An implementation of Wordle written in TypeScript types
github.com·22h·
Discuss: Hacker News
🎯Gradual Typing
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·1h
💻Local LLMs
Travels, 10
cameroncounts.wordpress.com·2h
🎯Performance Proofs
Explaining software and computational methods
blog.khinsen.net·17h
📝Concrete Syntax
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·2h·
Discuss: Substack
🦀Rust Macros