Related posts
swyx
Site
How to Thought Lead (2026)
compiling sincere ironic
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 x.com GitHub Korrents Site Blog Mastodon
Top people
Hillel Wayne
Nelson Elhage
Ramez Naam
Patrick Collison
Gergely Orosz
Yihui Xie
François Chollet
Naval Ravikant
Sriram Krishnan
Rasmus Andersson
Charity Majors
Jeff Geerling
Showing Profile →
Show everything
Hiding Show them again
Show them again
Further back ↓
Hiding Show them again
19 September
Author and clean-energy analyst who writes on solar cost curves.
The EAs I know are generally lovely people, smart, thoughtful. I have a very low p(doom). I know many people with one much higher than mine. I believe each is sincere. AI safety debates are getting heated. Let's assume sincerity and good will of people we disagree with. AI alignment Related
17 September
Co-founder and CEO of Stripe and co-founder of the Arc Institute. Keeps a personal site of reading lists, open questions and notes on scientific progress and how research is funded.
Given how wary academia (understandably) is of the effects of AI on many disciplines, it is particularly ironic that consuming its publications is so easy for the models (the world's knowledge is neatly serried in their pretraining corpora) and so cumbersome for most humans (with trenches of CAPTCHAs, accounts, and paywalls ensuring that only the unusually dedicated reader will ever make contact). Related
16 September
Writes The Pragmatic Engineer, the software-engineering newsletter, and wrote The Software Engineer's Guidebook. Formerly an engineering manager at Uber, and at Microsoft/Skype and Skyscanner before that.
o11y, k8s, i18n, a11y, l10n iykyn a11y still the most ironic one Related
Statistician and software engineer who writes R packages for reproducible research and publishing, including knitr, bookdown and blogdown.
14 September
Creator of the Keras deep-learning library and the ARC-AGI benchmark.
Their words
You can be sincere *and* self-interested, and that's usually the default.
Show the whole quote
@fchollet on X x.com
12 September
Co-founder of AngelList. Writes and podcasts at nav.al in short, aphoristic pieces on startups, wealth and judgement rather than long essays.
I’m not an AI doomer, but my firsthand experience dating back to 2020 is that the researchers expressing concerns are sincere. The closer they are to the research, the more worried they seem to be. Related
10 September
Investor and writer. Previously a partner at Andreessen Horowitz and a product leader at Twitter, Facebook, Snap and Microsoft. Writes essays and memos at sriramk.com.
More on @hilbertspaess - by all accounts he seems sincere since we have many here who vouch for him. I don’t agree however that him or just a subset of the people who work on the pipeline of tokens we use everyday speak for everyone else in the industry. Related
5 September
Swedish designer and programmer. Designed early Spotify, worked at Facebook and Figma, and created the Inter typeface.
Inter is having impact beyond my wildest dreams. When I started working on Inter ten years ago, I didn’t even expect it to survive the prototyping stage. Now it’s used by governments (including Switzerland, which is ironic in a way) and non-profit organizations around the world, bringing good typography to the people. It warms my heart to see so many young designers being able to express themselves in “Swiss style” without the need to break any laws. When I was a kid and an aspiring graphic designer, I could barely afford food and definitely did not have the money to buy font licenses. I wish… Quoting @SaberNaeemi Inter font is so popular these days on @googlefonts. Designed by @rsms, did you know at the beginning it was launched under the name "Interface" before being renamed to "Inter UI" and eventually shortened to just "Inter"? Related
12 August
Co-founder and CTO of Honeycomb; previously an infrastructure engineer at Parse, Facebook and Linden Lab, and co-author of Observability Engineering.
Their words
One of the things that's ironic though is that both of these sides feel like they are the tiny minority and they're outmanned and they're being suppressed and they are standing up for what is truth and valor in the face of the big AI folks or the big skeptics.
Show the whole quote
youtube.com
29 July
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
22 July
Developer, author and YouTuber covering Raspberry Pi, homelab hardware and Ansible automation. Author of Ansible for DevOps.
16 June
Historian of the Renaissance at the University of Chicago and a science-fiction novelist; wrote Terra Ignota and Inventing the Renaissance.
Their words
This is why it's so weirdly ironic to me that the reputation, the word Machiavellian, right, means self-serving. When Machiavelli himself is one of the most selfless men I've ever read about in the history of the earth.
Show the whole quote
youtube.com
20 May
Rust engineer at Google working on Android; maintains Tokio and works on Rust in the Linux kernel.
24 April
Software engineer and writer; former CTO of Wave, now at Anthropic. Blogs at benkuhn.net on attention, engineering management and doing hard things well.
16 April
Freelance climate and energy analyst in Oslo, writing on Europe, the US and Australia; worked in the Australian renewables industry before that.
1 March 2025
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.
@kees Actually you're probably the right person to ask: For unrelated reasons, I've noticed that -fzero-call-used-regs triggers before indirect tail calls, but *not* computed gotos, despite both compiling into similar indirect `jmp`s. Should those be made consistent? Do we worry about indirect `jmp`s being useful ROP gadgets? It seems clear they *could* be, but maybe in practice they're not actually helpful? Example: godbolt.org
Related
13 November 2024
Coffee consultant and author of books on espresso, roasting and brewing, including The Professional Barista's Handbook and The Coffee Roaster's Companion; writes about brewing gear and roast control at scottrao.com.
A Deep Dive into Cup of Excellence My sincere thanks to Peter Jones of Idle Hands Roasting and Trident Cafe, and to Benjamin Paz of Beneficio San Vicente, for their help with this post. If you enjoy this post and want to help increase awareness of Cup of…
Related
8 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.
I got nerdsniped much harder than intended by Advent of Code and so here's a writeup of how to process a 20,000 element list in C++ template metaprogramming without blowing your compiler's stack, and also about manually compiling a regular expression into a compile-time state machine. Sorry but also not sorry: blog.nelhage.com
Related
1 September 2023
Designer, architect and scientist, who led the Mediated Matter group at MIT and founded OXMAN, a company that builds products in collaboration with living organisms.
Their words
I think that let's say from the beginning of mankind going back 200,000 years, the products that we have designed have separated us from nature. And it's ironic that the things that we designed and produced as humankind, those are exactly the things that separated us.
Show the whole quote
youtube.com
29 June 2023
Programmer; founded comma.ai and tinygrad, and was the first to unlock the iPhone.
AI alignment
Their words
What’s ironic about all these AI safety people is they’re going to build the exact thing they fear. We need to have one model that we control and align. This is the only way you end up paper clipped. There’s no way you end up paper clipped if everybody has an AI.
Show the whole quote
youtube.com
22 June 2022
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
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