PRIDE -- Parameter-Efficient Reduction of Identity Discrimination for Equality in LLMs
arxiv.org·4h
🌀Brotli Dictionary
Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·1d
🧮Algebraic Archives
Crafting a dependent typechecker, part 1
blueberrywren.dev·2d·
Discuss: Hacker News
🔗Functional Compilers
AI Safety Course Intro Blog
windowsontheory.org·6h
🔲Cellular Automata
Image Rotation: Mutable Arrays in Haskell
mmhaskell.com·13m
λLambda Encodings
Google DeepMind Formal Conjectures
google-deepmind.github.io·14h·
Discuss: Hacker News
🕸️Algebraic Topology
Mute-by-default is why your video calls suck
caseyavila.com·12h·
Discuss: Hacker News
👂Psychoacoustics
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·2h
🔤Type Theory
"It could easily be shown..." Probability and Pi and the Riemann Zeta Function
pballew.blogspot.com·2h·
Discuss: www.blogger.com
⚔️Lean Theorem
H-Nets – The Past
goombalab.github.io·19h·
Discuss: Hacker News
🧠Machine Learning
Unveiling the Secrets of Multivariable Calculus: Partial Derivatives, Chain Rule, and Machine Learning
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
On Logical Extrapolation for Mazes with Recurrent and Implicit Networks
arxiv.org·4h
🔲Cellular Automata
Cactus Language • Stylistics 6
inquiryintoinquiry.com·17h
🌳Context free grammars
“A small group of mathematicians . . .”
statmodeling.stat.columbia.edu·19h
📚Archive Mathematics
Coding with LLMs in the summer of 2025 (an update)
simonwillison.net·6h
💧Liquid Types
Twenty years of blogging
11011110.github.io·1d
📐Mathematical Art
Surface-Based Peptide Design with Multi-Modal Flow Matching
openreview.net·42m·
Discuss: Hacker News
🕳️Persistent Homology
How to keep up with AI progress
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Bad Apple!! CD+G on a karaoke machine
gashlin.net·9h·
Discuss: Lobsters, Hacker News
🔬Floppy imaging
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
arxiv.org·4h
🎯Performance Proofs