Dependent Types, Linear Types, Effect Systems, Hindley-Milner
🔗 Why I chose OCaml as my primary language
yellowduck.be·14h
Attractive serial dependence arises during decision-making
journals.plos.org·17h
Observability at scale
antithesis.com·19h
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·7h
Attention is All We Need: On Leif Weatherby’s Language Machines
3quarksdaily.com·22h
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·11h
New ByteDance Seed reasoning RL paper, relating RL to self-supervised learning.
threadreaderapp.com·17h
Loading...Loading more...