Algebraic Types are not Scary
blog.aiono.dev·6h·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·3h
🎯Dependent Parsing
A Kevin week
blog.mitrichev.ch·19h·
Discuss: blog.mitrichev.ch
📐Linear Algebra
What is Algebraic about Algebraic Effects?
interjectedfuture.com·49m
✨Algebraic Effects
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🌀Brotli Dictionary
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🔗Topological Sorting
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·4d
💻Local LLMs
ECMAScript TC39 proposal-pattern-matching
github.com·3h·
Discuss: Hacker News
🔤Type Theory
A Shadow of Triality?
golem.ph.utexas.edu·2d
🔱Galois Theory
Planarizing matchings
11011110.github.io·22h
🎨Graph Coloring
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·1h·
Discuss: www.blogger.com
🔗Lisp
Truth, Humility and Human & AI Incentives
zappable.com·13h
🏗️Constructive Analysis
You can't test if quantum uses complex numbers
algassert.com·4h·
Discuss: Hacker News
🔐Quantum Security
Did you solve it? The simple T-puzzle that fools everyone (at first!)
theguardian.com·54m
🖋Typography
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·2d
💎Information Crystallography
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·12h·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
Is the Prob Method `Just Counting'- I say no and HELL NO
blog.computationalcomplexity.org·3d·
Discuss: blog.computationalcomplexity.org
🔤Type Theory
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
💧Liquid Types
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·21h·
Discuss: Hacker News
💻Programming languages