Related posts
Eugene Yan
x.com
Great writeup by @mozilla: Mythos found 271 vulns (fixed in Firefox 150); Opus 4.6 found 22 (fixed in Firefox 148) https://t.co/wzTCxmTKbe > "So far we’ve found no category or complexity of vulnerability that humans can find that this model can’t." > "The defects are finite, and we are entering a world where we can finally find them all." ❤️
defects writeup finite
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 Mastodon x.com Bluesky Blog GitHub Newsletter Korrents Recommends Site
Top people
Chad Fowler
Ben Kuhn
Nelson Elhage
Devine Lu Linvega
Sabine Hossenfelder
Terence Tao
Benny Lewis
Tracy Chou
Matthew Green
Josh Barro
Will Larson
Eugene Yan
Showing Profile →
Show everything
Hiding Show them again
Show them again
Further back ↓
Hiding Show them again
13 September
Artist and developer who makes esoteric software, games and tools aboard a sailboat as part of Hundred Rabbits with Rekka Bellum; creator of the Uxn virtual machine and the Orca livecoding environment.
A day spent exploring Infinity in mutisets rewriting systems. Picked by Cantor for the first infinite ordinal number, infinity is expressed as the letter Omega, ω. It indicates the limit of the sequence of natural numbers 1, 2, 3, 4.. For example, apple^ω means an infinity of apples. Infinity is a saturating value, no finite quantity can be added to or removed from it. wiki.xxiivv.com
Related
9 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.
Physicists should put together a list of mathematically well-defined problems that could advance the field. Such as, eg, what constitutes a low-temperature superconductor, what are the lattice conditions for cold fusion (or why do they not exist), what is a local completion of quantum mechanics, what is the simplest (in terms of computational complexity) way to obtain the masses and coupling constants of the standard model, what is the UV-completion of MOND or why isn't there any, is there any provably UV-finite version of quantum gravity, etc etc Related
8 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.
RE: https://mastodon.social/@tristanbuckmaster/117233413705701198 A remarkable achievement: Alpöge and Buckmaster have managed to push one of the major promising approaches towards constructing blowup solutions to fluid equations --- as developed by Cordoba and Martınez-Zoroa --- to establish finite time blowup for many key fluid equations, including 3D incompressible Euler, with a smooth forcing term. (Previous work by these authors on similar equations could obtain a smooth forcing term for the IPM equation, and a subcritical but not smooth regularity for other equations.) The arguments hav… Related
27 August
Programmer, musician and author of The Passionate Programmer; organised RubyConf and RailsConf and has worked as a CTO.
Bluesky I've long argued that components should be tiny: small enough to understand, change, or throw away. This paper suggests something related: The developers can be tiny too. 1,000+ finite-lived agents build a 250K-line compiler. The project persists. The programmers don’t. arxiv.org
Related
x.com I have long argued that software components should be tiny: small enough to understand, change, or throw away. This paper suggests something I hadn’t considered then: The developers can be tiny too. 1,000+ finite-lived agents build a 250K-line compiler. The project persists. The programmers don’t. arxiv.org
Related
6 August
Polyglot; founded Fluent in 3 Months and argues for speaking from day one rather than waiting until you are ready.
3 June
Software engineer and founder of Block Party; previously an engineer at Pinterest and Quora, and a co-founder of the non-profit Project Include and the tech diversity data project Where are the Numbers?
29 May
Cryptographer; teaches cryptography at Johns Hopkins and writes A Few Thoughts on Cryptographic Engineering.
Let’s talk about encrypted reasoning Update August 11, 2026: A group of researchers from all over Europe were inspired by this post, and actually turned it into a real working attack! Check out their writeup and paper here. This is a quick post I wanted to…
Europe Related
14 April
Writes Very Serious, a newsletter on politics, the economy and culture, and hosts the podcast of the same name.
5 February
Engineering leader and writer; wrote An Elegant Puzzle, Staff Engineer and The Engineering Executive's Primer, and blogs at Irrational Exuberance.
23 November 2025
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.
22 July 2024
Software engineer and writer; former CTO of Wave, now at Anthropic. Blogs at benkuhn.net on attention, engineering management and doing hard things well.
New post! "Categories of leadership on technical teams:" https://t.co/qea715y2LA A writeup of a framework I reference a lot when talking about how to structure and staff teams: Related
13 June 2024
Astrobiologist and theoretical physicist at Arizona State University, working on assembly theory and the physics of life.
Their words
So death is a way to make room in the universe for other things to exist that wouldn’t be able to exist otherwise.
Show the whole quote
youtube.com
5 April 2024
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.
Seeing a lot of folks commenting on the "Tic-Tac-Toe in `printf`" post that's going around. If you like that one, I also enjoyed this writeup of a CTF challenge structured around a bytecode VM implemented as a single `sprintf`: ctftime.org
Related
26 March 2024
Marketing author and daily blogger; founder of the altMBA and the Akimbo workshops, and author of books including Purple Cow and This Is Marketing.
Their words
Quality is not luxury. Quality is not expensive. Quality is not that you love it. Quality is just one thing. It meets spec. So, if I look under an electron microscope at any part of a Lexus, which is by any measure the highest quality car there is, uh under an electron microscope, it's filled with defects. But they're not defects that matter because they're defects that are within spec.
Show the whole quote
youtube.com
6 March 2024
Software engineer and writer; former CTO of Wave, now at Anthropic. Blogs at benkuhn.net on attention, engineering management and doing hard things well.
I really liked this writeup. I think it does a good job of capturing by far my favorite thing about Claude 3: Quoting @itsurboyevan Claude 3 is a marvel. It is the most human-feeling, creative, and naturalistic AI that I have ever interacted with. @AnthropicAI crushed it. While the benchmarking puts it in line with GPT4, the tests don't tell the whole tale. This is tech with a soul. Anthropic 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
10 October 2023
Founded CD Baby in 1998 and sold it in 2008, giving the proceeds to a charitable trust for music education. Since then a writer and speaker: five books and 550+ articles, published first at sive.rs, which they hand-code and keep free of advertising.
Their words
So abstract. Maybe the most abstract book you’ll ever read. Compares “finite” games with rules and winners, versus “infinite” games without winners where we can play with the game itself. Is it about a job versus a calling? Religion versus spirituality? A story versus story-telling? Who knows. Thought-provoking if you can apply the metaphor to whatever concerns you.
Show the whole quote
sive.rs
11 February 2018
Creator of the Zig programming language; president and lead developer of the Zig Software Foundation.
Zig: January 2018 in Review One month (and a few days, sorry I'm late!) has passed since I did the December 2017 writeup, and so it's time for another month-in-review for my esteemed sponsors. LLVM 6 Readiness LLVM 6.0.0rc2 was just announced on t…
Related
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