Stories by tesserato

Lean 4: How the theorem prover works and why it's the new competitive edge in AI

Virtual Width Networks (VWN)

Maximum Agreement Linear Predictor (MALP)

Hear the "Amati King Cello", the Oldest Known Cello in Existence

Aligning brains into a shared space improves their alignment with LLMs

Continuous Tensors

Show HN: Minimal type-safe language for software architecture

Constructor Theory: expressing laws in terms of what is possible or impossible

MIDI Intro for Makers

Where to Read Leonardo da Vinci's Notebooks Online

Hear Bach's Pieces Played on Original Baroque Instruments

Learn Haskell by building a blog generator

Business cycle and herding behavior in stock returns: theory and evidence

Shallow learning mechanism used by the brain can compete with deep learning

Training Ising Machines with Equilibrium Propagation

Guidance: A cheat code for diffusion models

Transformers Are Multi-State RNNs

Two thousand years of garden urbanism in the Upper Amazon

If AI Is Our Future, What Can We Learn from the Past?

An AI Brain with Only One Neuron Could Surpass Humans

1