System-one decision models: a taxonomy
What are System-one decision models? You've maybe seen the buzz around Jev and you did not understand why so much? Well I'm here to explain, Typesafe AI (the company behin
I'm Mathéo, twenty. I spent two years on maths, CS and physics, and I'm now self-learning AI, world models and RL with the goal of joining or creating a lab.
Poseidon Hashing - STARK with high school math part 3
Last time we succeeded at producing the following proof: "I, prover, know a certain word w that is accepted by the automata A" Where A is public and w "private&quo
Polynomial constraints go brrrr (STARKs with high school math part 2)
Last time we had the following constraints for our automata: * \(C_0 = \frac{S(0) - q_0}{X-0}\) * \(C_1 = \frac{\prod_{q \in F}{S(n-1) - q}}{X - (n-1)}\) where n is the number o
Understanding STARKs from scratch with high school math (Part 1)
I assume you've already heard about STARK (Scalable Transparent Argument of Knowledge) somewhere. Here is the quick recap. Prove a computation without needing to execute it ag
No news is good news
I stopped reading the news, it changed my life, and how it can change yours. I will cover the following objections during this short essay: * reading the news is being a good ci
What is an artist in the era of AI?
The recent boom in generative AI especially of images and videos has sparked controversy, and mainly in the artist community. Artists feel disowned and stolen from, because AI mode
Forrest Gump
How come this movie hasn’t been mentioned as the modern image of absurdism. After feeling the emptiness left by the death of his beloved, Forrest runs. First, through the neighbo
Reducing screen time won't solve your problems
The unsatisfying truth Screen time it's not the problem in itself. And I realised this too recently, last week when I went alone to Barcelona for a one week trip. Everyday was