Related posts
Hillel Wayne
GitHub
tla-graphing-demo — A demo of analyzing a TLA+ state graph
graphing analyzing graph
The the words it uses that this site has seen
least often elsewhere. Posts are matched on those words alone —
nothing here is a summary of this one.
Sources
All Writing Blog x.com Newsletter Bluesky Korrents GitHub Recommends Papers
Top people
Saloni Dattani
Sabine Hossenfelder
Zach Holman
Andrej Karpathy
Grant Sanderson
Andrew Gelman
Guillermo Rauch
Jakob Nielsen
Peter Steinberger
Zeke Hausfather
Ryan Burge
John Resig
Showing Profile →
Show everything
Hiding Show them again
Show them again
Further back ↓
Hiding Show them again
20 September
Statistician at Columbia; writes Statistical Modeling, Causal Inference, and Social Science, and wrote Bayesian Data Analysis.
16 September
CEO of Vercel; creator of Next.js and Socket.IO. Writes at rauchg.com.
We're seeing extraordinary results from @typesafeai. Default mode in 𝚏𝚡 is auto, with a safety reviewer analyzing every command. That reviewer runs on GPT Luna today. Jev is up to 18x faster (p95) *and* more accurate. It's coming to @vercel AI Gateway and likely new default. Quoting @fazxes We benchmarked fx auto mode (safety) classifier with @typesafeai's Jev. tl;dr: ~5-18x faster and more accurate than 𝚐𝚙𝚝-𝟻.𝟼-𝚕𝚞𝚗𝚊, our current top choice Related
13 September
Physicist and science communicator. Writes Backreaction and makes videos explaining new physics and astronomy results, frequently to argue that the headline about them overstates the case.
Midwit here! If the OpenAI Navier Stokes proof had been dropped online by an introverted mathematician who no one previously heard of, you'd all be celebrating the enormous breakthrough and analyzing it rather than writing tales about the demise of maths. OpenAI Related
7 September
Usability pioneer; co-founder of Nielsen Norman Group and founder of UX Tigers; author of the ten usability heuristics and of Jakob's Law.
11 August
Web developer and writer; an early GitHub employee, author of speaking.io and of widely read essays on startups and product.
Bluesky MRI results came back today from a human doc: a herniated disc. Obviously I had tossed the raw scans in to LLMs last week; Opus and Fable missed it, Sol caught it. This is now the gold standard in analyzing performance of frontier models. First step: herniate your back. LLMs Related
x.com MRI results came back today from a human doc: a herniated disc. Obviously I had tossed the raw scans in to LLMs last week; Opus and Fable missed it, Sol caught it. This is now the gold standard in analyzing performance of frontier models. First step: herniate your back. LLMs Related
10 August
Founded PSPDFKit in 2011 and ran it for a decade. Came back from a break to work on AI agents — the OpenClaw project, and OpenAI, joined in February 2026. Writes at steipete.me.
22 July
Climate scientist and energy systems analyst; writes The Climate Brink with Andrew Dessler and leads climate research at Stripe.
28 March
Political scientist and Baptist pastor; writes Graphs about Religion, charting American religious life from survey data.
12 March
JavaScript programmer; creator of the jQuery library, author of Secrets of the JavaScript Ninja, and long-time engineer at Khan Academy.
I have a private db of Japanese print sales and I used @claudeai to make a report analyzing this month's auctions: https://t.co/uwMCtbjQ17 identifying under-valued lots, rare prints, comparing prints across auctions. Normally VERY hard to get this guidance. Related
23 December 2025
Pen name of the Canadian-American writer behind mrmoneymustache.com, a blog on frugality, early retirement and index-fund investing that has run since 2011.
This is the best piece of news from 2025 in my opinion: Solar is already close to being the world's biggest energy source, with about 3 TW (= 3000 nuclear power plants!!) worth of installed capacity. This graph from Science Magazine (link below) really says it all - because what do you think will happen next year, then ten years from now as solar keeps getting cheaper and cheaper? solar energy Related
10 December 2025
Founding member of OpenAI and former director of AI at Tesla; creator of nanoGPT and the term "vibe coding".
9 December 2025
Researcher and science writer. Co-founder and editor at Works in Progress magazine, formerly a researcher at Our World in Data, and author of the Scientific Discovery newsletter on science, global health and medical innovation.
Their words
I then export the graph as an .svg file, and open it up on Adobe Illustrator or Figma
Show the whole quote
scientificdiscovery.dev
Their words
I download the data and write up code in R , using ggplot2 to create a graph
Show the whole quote
scientificdiscovery.dev
Their words
I then export the graph as an .svg file, and open it up on Adobe Illustrator or Figma
Show the whole quote
scientificdiscovery.dev
17 October 2025
Founding member of OpenAI and former director of AI at Tesla; creator of nanoGPT and the term "vibe coding".
Their words
These models don't really have this distillation phase um of taking what happened, analyzing it, obsessively thinking through it, um basically doing some kind of a synthetic data generation process and distilling it back back into the weights
Show the whole quote
youtube.com
16 October 2025
Co-founder and chief executive of Figma, the collaborative design platform he started in 2012 and took public in 2025.
Their words
we literally at some point had a team that would that was called blockers and they just went and one by one struck them down and each time we saw uh improvement in retention, improvement in activation the metrics for as we addressed each one you could literally see the change in the graph.
Show the whole quote
youtube.com
9 August 2025
AI research engineer working on large language models. He writes the Ahead of AI newsletter and is the author of Build a Large Language Model (From Scratch).
16 June 2025
Energy and decarbonisation analyst; publishes an annual chart deck on the state of the transition, and was chief content officer at BloombergNEF.
Growth Measurements Analyzing growth patterns across decarbonization sectors - from Waymo's exponential ride growth to global solar generation trends and European gas import shifts. Exploring how we measure present-day growth to understand…
solar self-driving cars Related
6 November 2024
Interface designer and researcher, known for the talks Inventing on Principle and Media for Thinking the Unthinkable and for essays on dynamic representations of ideas. Founder of Dynamicland, where he is building a communal computer.
Their words
How to present data, and the why of the how.
Show the whole quote
worrydream.com
7 July 2024
Member of technical staff at Anthropic. He has led ML/AI teams at Amazon, Alibaba and Lazada, and writes about LLMs, recommender systems and engineering at eugeneyan.com.
18 March 2024
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
4 March 2024
Historian of Ukraine at Harvard; wrote The Gates of Europe, Chernobyl and The Russo-Ukrainian War.
Their words
So, once you use terms “fascism,” and “Nazi,” and “denazification,” suddenly people, not just start listening, they just stop analyzing. And as a propaganda tool, this is, of course, very powerful tool.
Show the whole quote
youtube.com
20 February 2024
Founder and chief executive of Pershing Square Capital Management, the activist investment firm he started in 2004.
Their words
Actually individual investors did a much better job analyzing Tesla than the so-called professional investors or analysts, the vast majority of them.
Show the whole quote
youtube.com
21 September 2023
Astrophysicist and coffee researcher; author of The Physics of Filter Coffee and The Physics of Espresso, and writer of the Coffee ad Astra blog on brewing science and equipment.
1 January 2021
Physicist and science communicator. Writes Backreaction and makes videos explaining new physics and astronomy results, frequently to argue that the headline about them overstates the case.
2 December 2020
Researcher on distributed systems and local-first software at the University of Cambridge; wrote Designing Data-Intensive Applications.
2 July 2020
Mathematician and maker of the 3Blue1Brown YouTube channel, which explains mathematics through animation. Creator of the open-source Manim animation library and founder of the Summer of Math Exposition.
Their words
It's an online graphing calculator that makes it very simple to whip up surprisingly complicated graphs. I found it abundantly useful for live presentations over a stream, and what's nice is that you can share the links of what you build so that students can play with them.
Show the whole quote
3blue1brown.com
1 June 2020
Mathematician and maker of the 3Blue1Brown YouTube channel, which explains mathematics through animation. Creator of the open-source Manim animation library and founder of the Summer of Math Exposition.
Their words
If you like clever proofs, this is the book for you. It's filled with some of the most elegant arguments in math, taken from combinatorics, geometry, graph theory, analysis, set theory, and more. I can't think of any other books with a higher density of "aha" moments.
Show the whole quote
3blue1brown.com
29 January 2015
Programmer on the Dart language at Google and author of Game Programming Patterns and Crafting Interpreters; previously a game developer at EA.
Their words
The illustrations in my book are hand-drawn on an old graph paper notebook I found in a closet using a Pilot Precise V5 pen.
Show the whole quote
usesthis.com
9 October 2014
Interpretability researcher at Anthropic, which he co-founded; before that at OpenAI and Google Brain, where he wrote the explanations of neural networks most people learned them from.
Nothing matches. Show everything
A korrent is a belief a person has stated in their own words: one
sentence stating the claim, backed by a quote and a source, kept at
korrents.com .
Under a name here, the quoted block is what they actually said.
The korrent beneath it is the claim those words support, in
korrents' wording — tap it to see the record, its source, and who
else holds it.
Nobody here wrote their own korrents. They are compiled from public
statements, and a person can change their mind, which is recorded too.
Got it
About the English under a post
Some people here publish in a language other than English. Where they
do, this site shows a machine translation beneath the post, in
this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the
serif above is exactly what the person published, and it is what to
quote them on. A translation can be wrong in ways that matter,
especially about tone.
Only the post's own words are translated. A quoted post, a linked
article and a belief on korrents.com
are left in their original language.
Got it