Related posts
Yihui Xie
Site
Converting testthat Tests to testit
thirteen converting rdquo
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 GitHub Mastodon Korrents Blog Site Recommends Bluesky
Top people
Julia Evans
Lilian Weng
Hillel Wayne
Nelson Elhage
John MacFarlane
Terence Tao
Sebastian Raschka
Chelsea Finn
Will Larson
Brad Templeton
Vicki Boykis
Michael Pollan
Showing Profile →
Show everything
Hiding Show them again
Show them again
Further back ↓
Hiding Show them again
20 September
Philosophy professor at UC Berkeley and creator of pandoc, the universal document converter, and of the CommonMark markdown specification.
5 September
Mathematician at UCLA, working mainly in harmonic analysis and partial differential equations. Writes What's new, a long-running blog on their research, open problems and expository notes.
An elaboration of the previous post mentioning the bounded gaps between primes problem as an illustration of the opportunity cost of converting a fruitful problem such as this solely into a competitive benchmark. [Indeed, as I point out below, this already came close to happening back in 2013.] As with most other problems worth studying in pure mathematics, the particular bound one gets on these gaps is not of much intrinsic importance. Improving Zhang's bound of 70 million, to 246, 188, or 6 would not, in itself, have significant impact on any other mathematical problem, let alone any real-w… benchmarks Related
21 August
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).
12 August
Professor at Stanford working on robot learning and meta-learning; co-founded Physical Intelligence.
Their words
kind of going back to this reliability question, we took this policy and we ran it not just once, but we ran it for 13 hours straight. Uh and we basically wanted to evaluate is this policy not only good at making a latte once, but can it do so reliably to the extent that it would be needed to be useful in the real world?
Show the whole quote
youtube.com
11 July
Engineering leader and writer; wrote An Elegant Puzzle, Staff Engineer and The Engineering Executive's Primer, and blogs at Irrational Exuberance.
Make no assumptions. I’ve recently been thinking a lot about the concept of “soil horizons”, which is the idea that there are many distinct layers of soil, from topsoil all the way down to bedrock, which all combine into a…
Related
4 July
Machine-learning researcher; has written the Lil'Log survey posts on how a model technique works since 2017, and worked at OpenAI from 2018 to 2024, latterly leading its safety systems team.
26 May
Software architect and futurist; founded ClariNet, chaired the EFF, and has written about robocars for two decades.
self-driving cars
Their words
13 years ago, at the Wired 2013 event in London, I was asked when robotaxis would arrive there and as a joke, gave an answer of June 22, 2026 that turned out to be impossibly spot on.
Show the whole quote
ideas.4brad.com
5 April
Machine learning engineer working on recommender systems, personalization and information retrieval. Previously worked on LLMs and LLM infrastructure at Mozilla.ai and on ML and recsys at Duo, Tumblr, Automattic and Comcast; wrote the 'What are embeddings?' text and ran the Normconf conference.
NASA Elements of Engineering Excellence I stumbled across this report from NASA, “Elements of Engineering Excellence”, published in 2012, The inspiration for this paper originated in discussions with the director of MSFC Engineering in 2006 who as…
Related
23 February
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
Some Silly Z3 Scripts I Wrote As part of writing Logic for Programmers I produced a lot of “chaff”, code samples and sections I wrote up and then threw away. Sometimes I found a better example for the same topic, sometimes I threw the to…
Related
11 February
Author and journalist writing on food, plants and consciousness. Professor at UC Berkeley and co-founder of its Center for the Science of Psychedelics.
Their words
Over thirteen lessons, you’ll learn about the past, present, and future of meat, from the ways animals and humans are treated in meat processing plants to emerging meat alternatives.
Show the whole quote
michaelpollan.com
21 December 2025
Programmer and writer; co-wrote The Rust Programming Language and worked on Rust's documentation for years.
Thirteen years of Rust and the birth of Rue I started using Rust on December 21, 2012. It’s now December 22, 2025. That’s a long time. I don’t have a ton of thoughts about Rust to share today, like I thought I might. I program in the language regularly, it’s nice…
Related
13 October 2025
Freelance research analyst and writer of the blog Aceso Under Glass, known for 'epistemic spot checks' of non-fiction claims.
energy
Their words
In general your body would rather use glycogen than fat, because glycogen loses almost no energy in the conversion from and to sugar and fat loses a lot.
Show the whole quote
acesounderglass.com
5 October 2025
American senior staff engineer working on developer and user experience and open source; writes at adamdehaven.com.
Nothing as humbling as using the gym at a hotel in Europe and converting pounds to kilograms 😅 Doesn’t help I’ve been traveling for almost 4 weeks straight Budapest // Colorado // Spain Europe Related
26 June 2025
Writes jvns.ca, turning "hard and scary" topics — networking, debugging, Linux internals — into plain explanations and hand-drawn comics. Publishes Wizard Zines, illustrated programming zines. Software developer based in Montreal.
16 March 2025
Founder of the toy manufacturer Viahart; writes about manufacturing, importing and why bringing production back to America is harder than it sounds.
7 March 2025
Writes jvns.ca, turning "hard and scary" topics — networking, debugging, Linux internals — into plain explanations and hand-drawn comics. Publishes Wizard Zines, illustrated programming zines. Software developer based in Montreal.
13 February 2025
Writes jvns.ca, turning "hard and scary" topics — networking, debugging, Linux internals — into plain explanations and hand-drawn comics. Publishes Wizard Zines, illustrated programming zines. Software developer based in Montreal.
9 November 2024
Writes jvns.ca, turning "hard and scary" topics — networking, debugging, Linux internals — into plain explanations and hand-drawn comics. Publishes Wizard Zines, illustrated programming zines. Software developer based in Montreal.
18 March 2024
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
5 February 2024
Machine-learning researcher; has written the Lil'Log survey posts on how a model technique works since 2017, and worked at OpenAI from 2018 to 2024, latterly leading its safety systems team.
18 December 2023
Software engineer who writes the blog Made of Bugs about performance, debugging and understanding computer systems. Previously worked at Anthropic on interpretability, at Stripe on Sorbet, and at Ksplice.
15 April 2023
Software engineer who writes the blog Made of Bugs about performance, debugging and understanding computer systems. Previously worked at Anthropic on interpretability, at Stripe on Sorbet, and at Ksplice.
Efficiency trades off against resiliency What’s the “right” level of CPU utilization for a server? If you look at a monitoring dashboard from a well-designed and well-run service, what CPU utilization should we hope to see, averaged over a da…
Related
27 January 2023
Machine-learning researcher; has written the Lil'Log survey posts on how a model technique works since 2017, and worked at OpenAI from 2018 to 2024, latterly leading its safety systems team.
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