Dependent Types, Linear Types, Effect Systems, Hindley-Milner
The Economist’s finance and economics internship
economist.com·14h
Archaeological Fiction and a Scientist’s Dilemma
sapiens.org·18h
7 Mindful Quotes for Those Moments When You’re Taking Things Personally
marcandangel.com·2h
Boggle Roundup: My Fifteen Minutes of Fame
danvk.org·2d
The Words Humans Use to Describe Nature Are Vanishing, Study Finds
sciencealert.com·2d
OpenAI, Anthropic Test Each Other’s AI Models
nordot.app·10h
New ByteDance Seed reasoning RL paper, relating RL to self-supervised learning.
threadreaderapp.com·5d
How LLMs Learn to Solve Complex Math
hackernoon.com·4d
How AI is exposing the BS economy
fastcompany.com·18h
ipfs/kubo v0.37.0
github.com·8h
Loading...Loading more...