Related posts
Fatih Arslan
GitHub
faillint — Report unwanted import path and declaration usages
unwanted declaration dependencies
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 x.com Bluesky Mastodon Korrents Recommends Newsletter Blog
Top people
Terence Tao
Peter Steinberger
Filippo Valsorda
Aris Ripandi
Yihui Xie
Sebastian Raschka
Zvi Mowshowitz
Manassarn "Noom" Manoonchai
Kaspars Dambis
Hillel Wayne
Kent C. Dodds
Andrej Karpathy
Showing Profile →
Show everything
Hiding Show them again
Show them again
Further back ↓
Hiding Show them again
17 September
Indonesian software engineer, educator and engineering manager at Zero One Group; open-source enthusiast writing at ripandis.com.
Statistician and software engineer who writes R packages for reproducible research and publishing, including knitr, bookdown and blogdown.
13 September
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).
Reasoning from scratch round 3: This time, I cover generating a verifier for... a) ...evaluation (base model versus any future model improvement) b) ...the reinforcement learning with verifiable rewards (RLVR) training later on 00:00 Introduction 01:21 Four approaches to LLM evaluation 07:20 Verifiers and reinforcement learning with verifiable rewards 10:52 Notebook setup and dependencies 13:43 Section 3.1 Building a math verifier 18:57 Section 3.2 Loading a pre-trained model to generate text 24:34 Generating and displaying model answers 29:23 Section 3.3 Implementing a wrapper for easier tex… LLMs Related
11 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.
Bluesky A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: mathandai.org . We welcome additional signatories. See also this article in the Economist announcing the declaration: economist.com
economists Related
Mastodon A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: https://mathandai.org/ . We welcome additional signatories (similar to the Leiden declaration), as can be seen on the page. See also this article in the Economist announcing the declaration: economist.com
economists Related
9 September
Writes Don't Worry About the Vase, a near-daily account of what is happening in AI and what they think it means. Former Magic: the Gathering pro and trader; unusually willing to put a number on a belief and to grade their own past calls.
AI alignment
Their words
A model looking like it is becoming smarter, attempting shenanigans less often, and more often doing what you want, but getting better at hiding its actions when it wants to do that, is exactly the scary combination.
Show the whole quote
thezvi.substack.com
3 September
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.
Their words
Been using Astra for the last few weeks and it’s so good and proactive. There’s a bunch of PRs on vitest, tsx or SwiftPM where Astra debugged OC and ended up finding and patching issues in upstream dependencies.
Show the whole quote
x.com
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.
18 July
Thai software engineer; publishes a public digital garden at garden.narze.live and builds developer and productivity tooling.
22 May
Latvian full-stack WordPress developer and course creator at WPElevator; blogs since 2007 about the open web, electronics, home automation and sustainable living.
28 April
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
10 March
Software engineer and educator; creator of Testing Library and of the EpicWeb.dev and EpicReact.dev courses.
Their words
Zod - A great schema declaration and data validation library for TypeScript.
Show the whole quote
kentcdodds.com
20 February
Cryptography engineer; maintains Go's cryptography libraries as a full-time open-source maintainer, funded directly by companies that use them.
12 February
Founding member of OpenAI and former director of AI at Tesla; creator of nanoGPT and the term "vibe coding".
10 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.
8 July 2024
Cryptography engineer; maintains Go's cryptography libraries as a full-time open-source maintainer, funded directly by companies that use them.
open source
Their words
I started with a rather non-consensus hypothesis: companies want to pay for their critical open source dependencies, but most projects are not selling them a legible way to do so.
Show the whole quote
words.filippo.io
2 May 2024
British senior engineering manager at Netlify, previously a team lead at the BBC; writes about JavaScript testing, chatbots and serverless at marclittlemore.com.
26 January 2024
Egyptian front-end developer and course creator; writes for CSS-Tricks, publishes courses on Udemy and blogs at alialaa.dev.
16 February 2023
Software engineer at PlanetScale and creator of the vim-go plugin. Writes at arslan.io about Go, tooling, industrial design and books.
17 May 2022
Working on @ampcode. Writing registerspill.thorstenball.com. Once authored interpreterbook.com and compilerbook.com.
13 September 2021
Developer and podcaster; created Instapaper and Overcast, co-founded Tumblr, and co-hosts the Accidental Tech Podcast.
1 October 2020
Programmer known online as technomancy; author of Leiningen, the Clojure build tool, and a maintainer of the Fennel programming language.
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