matmat's Likes

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