Accurate Estimation of Mutual Information in High Dimensional Data  📐Information Geometry

Using Obscure Graph Theory to Solve Programming Languages Problems  🔗Topological Sorting

My Homelab Network (so far)  🏠HomeLab

Beyond the If Pattern  🔗Lisp

Closure Conversion Takes The Function Out Of Functional Programming  ⬆️Lambda Lifting

The 1977 Trinity - Which Computer is the Best Buy?  💾vintage computing

Announcing Scour on r/RSS  📰RSS Reading Practices

Rewrite OS without C completely, why, how, and when?  🔩Systems Programming

RFC 8152 – CBOR Object Signing and Encryption (COSE)  🔐CBOR

MicroHs: Haskell implemented with combinators by Lennart Augustsson  🔗Functional Compilers

Cascading retrieval with multi-vector representations  🗂️Vector Search

Monad Transformers are a Great Abstraction  🔗Functional Compilers

Master Thesis Impredicative Encodings of Inductive and Coinductive Types  🔤Type Theory

Coding Theorem for Generalized Reed-Solomon Codes  🔧Reed-Solomon

Grouping Similar RSS Articles Using Vector Embeddings  📡RSS Syndication

Grammars of Formal Uncertainty  📐Binary Grammars

04 Jun 2025  👑Isabelle

Formal Verification and Why I Fell in Love With It  ⚙️Proof Engineering

Rationale for a Large Text Compression Benchmark (2009)  📝Text Compression

Silly job interview questions in Haskell  λLambda Encodings