matmat's Likes

Using Obscure Graph Theory to Solve Programming Languages Problems
reasonablypolymorphic.com·6w·
Discuss: Hacker News
🔗Topological Sorting
My Homelab Network (so far)
reddit.com·4w·
Discuss: r/homelab
🏠HomeLab
Beyond the If Pattern
lambdaisland.com·3w
🔗Lisp
Closure Conversion Takes The Function Out Of Functional Programming
thunderseethe.dev·6w
⬆️Lambda Lifting
The 1977 Trinity - Which Computer is the Best Buy?
nerdlypleasures.blogspot.com·4w·
Discuss: nerdlypleasures.blogspot.com
💾vintage computing
Announcing Scour on r/RSS
emschwartz.me·5w
📰RSS Reading Practices
Rewrite OS without C completely, why, how, and when?
gizvault.com·3w·
Discuss: Hacker News, r/programming
🔩Systems Programming
RFC 8152 – CBOR Object Signing and Encryption (COSE)
datatracker.ietf.org·5w·
Discuss: Hacker News
🔐CBOR
MicroHs: Haskell implemented with combinators by Lennart Augustsson
github.com·3w·
Discuss: Hacker News
🔗Functional Compilers
Cascading retrieval with multi-vector representations
pinecone.io·4w·
Discuss: Hacker News, Hacker News
🧮Vector Embeddings
Monad Transformers are a Great Abstraction
soap.coffee·4w
🧬Functional Programming
Master Thesis Impredicative Encodings of Inductive and Coinductive Types
arxiv.org·5w
🔤Type Theory
Coding Theorem for Generalized Reed-Solomon Codes
arxiv.org·6w
🔧Reed-Solomon
Grouping Similar RSS Articles Using Vector Embeddings
reddit.com·2w·
Discuss: r/rss
📰RSS Reading Practices
Grammars of Formal Uncertainty
arxiv.org·4w·
Discuss: Hacker News
📋Document Grammar
original ↗
lawrencecpaulson.github.io·3w
👑Isabelle
Formal Verification and Why I Fell in Love With It
dev.to·5w·
Discuss: DEV
👑Isabelle
Rationale for a Large Text Compression Benchmark (2009)
mattmahoney.net·3w·
Discuss: Hacker News
📝Text Compression
Silly job interview questions in Haskell
chrispenner.ca·4w·
Discuss: Hacker News
λLambda Encodings
Making Sense of Lambda Calculus 5: Bring Computation to (Aggregate) Data
aartaka.me·5w·
Discuss: r/programming
λLambda Formalization