Related posts
Terence Tao
Mastodon
A new proposed competition for AI companies: rather than being the first to announce solutions to unsolved math problems, be the first to announce a new mathematical insight.
announce unsolved proposed
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 Truth Social Mastodon Korrents x.com Bluesky Blog Site Newsletter GitHub Papers Recommends
Top people
Donald Trump
Terence Tao
Bryan Cantrill
Grant Sanderson
Drew DeVault
Thuan Pham
Thomas Depierre
Bob Nystrom
Sabine Hossenfelder
Richard Stallman
Tyler Cowen
John Baez
Showing Profile →
Show everything
Hiding Show them again
Show them again
Further back ↓
Hiding Show them again
18 September
President of the United States, the 45th from 2017 to 2021 and, as of 2026, the 47th; before politics a New York property developer who ran the Trump Organization, and the host of The Apprentice from 2004 to 2015.
BREAKING NEWS: I am pleased to announce that the United States of America has entered into an Agreement with The Kingdom of Denmark, and Greenland, that gives the United States permanent control over security, and all other needs, in Greenland, completely addressing ALL of our many U.S. concerns. There will be NO COST to the United States! At my direction, we worked with representatives of Denmark and Greenland to guarantee that the United States will FOREVER have the complete ability to do what is necessary in Greenland in order to secure and defend the security of Greenland, and the United… America Related
I am proud to announce that, effective immediately, I am banning Fake News CNN, MSNOW (who recently changed their name from MSNBC due to lack of viewership and credibility!), and Politico (The recipients of an illegal and ridiculous $8 Million Dollar subscription, an All Time Record, directly from the United States Government, under Crooked Joe Biden, in order to keep them “alive.” Seems like corruption to me!), from the White House as a result of their constant “reporting” FAKE NEWS! Media Outlets shouldn’t be able to constantly write or report FICTION and LIES when they’re covering the Pres… America government Related
17 September
Founder of the Free Software Movement and the GNU Project, original author of GNU Emacs and the GNU General Public License, and long-time president of the Free Software Foundation.
https://actionnetwork.org/forms/become-a-citizen-co-sponsor-of-the-green-new-deal-for-health US citizens: support the proposed Green New Deal for Health. Related
16 September
Economist at George Mason University, co-author of Marginal Revolution, host of Conversations with Tyler. Writes in short, dense claims about economics, culture and AI, and has moved position on AI in public more than once.
11 September
Mathematical physicist at UC Riverside. Wrote This Week's Finds in Mathematical Physics and now the Azimuth blog on mathematics, physics and environmental science.
Mathilde Marcolli writes: "What is it about all of these famous and less famous, invariably hard, Big Problems™? There is an undeniable sense in which these questions are interesting. Typically they are because, in the process of thinking about a particularly hard question, a lot of new mathematics gets developed that advances the field as a whole. The Riemann hypothesis is currently unsolved (at the time of this writing), but many people, in the process of thinking about the problem, have developed a very significant amount of very interesting mathematics. That is certainly a valuable goal.… its.caltech.edu
Related
8 September
Software entrepreneur who bootstrapped and sold FeedbackPanda and now builds Podscan; writes The Bootstrapped Founder.
I would never have guessed that in 2026, we’d be arguing about if a human or a group of other humans running an AI based on the first human’s work solved previously unsolved mathematical challenges. How delightfully bizarre. Quoting @ns123abc >sam altman: "we tried this because there were rumor on the internet" >rumor: math professor close to solving navier-stokes >the professor: using codex for a year >openai: has all his logs >checked every codex session tagged to N-S >found the most promising one >spun up 10,000 agents to finish the… Related
3 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.
It seems intuitive that a solved problem is unquestionably better than an unsolved problem: a magic button which, when pressed, turns the latter into the former at no cost would thus seem to be a "free lunch" that there would be no hesitation in pressing. But even such a benign-seeming operation as answering a question can have irreversible costs. One familiar example is that of spoilers to a movie one is looking forward to watching: knowing key plot points in advance may permanently decrease your ability to enjoy the movie for the first time. Similarly, leaking information about a competitio… Related
1 September
Writes Hyperdimensional, a newsletter on AI policy and governance. A White House AI policy adviser in 2025; joined OpenAI on 6 July 2026 to lead its Strategic Futures team.
31 August
Co-founder and CTO of Oxide Computer Company. Created DTrace at Sun Microsystems and was CTO of Joyent; blogs about systems software, open source and engineering culture.
Stoked to announce that @max.pangram.com, co-founder and CEO of @pangram.com, will be joining @ahl.bsky.social and me on the next episode of Oxide and Friends to pick up the hot (and important!) topic of AI detection. Join us, Monday, 5p Pacific! discord.gg
Related
28 August
Developer and podcaster; created Instapaper and Overcast, co-founded Tumblr, and co-hosts the Accidental Tech Podcast.
I couldn't figure out this bug, so I asked Fable, and it was SO much more incredible than I expected. - My bug report was wrong in a way I didn't notice - There technically was no bug, but a flawed design caused unintended outcomes - It verified that the design almost certainly caused me to fall into that trap, and proposed a simple, effective fix Wow. Related
British open-standards and open-source technologist, formerly of the UK Government Digital Service and the W3C Advisory Committee. Blogs at shkspr.mobi, where he posts a book review most weeks.
"iT woRKs BeTter in THe aPp!!" The monkey-punchers at Google never quite seem to finish any of their apps. There's always some useful bit of work left undone, or showstopping bug which remains unfixed, a thousand jagged edges as yet unsolved by the g…
Google Related
27 August
FreeBSD developer and former FreeBSD Security Officer; founder of the Tarsnap online backup service and author of the scrypt key derivation function.
1 August
Structural engineer and senior infrastructure fellow at the Institute for Progress; writes Construction Physics on why physical things cost what they cost.
29 July
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
Logic for Programmers is Now Available I am delighted to announce that my book, Logic for Programmers, is now available! You can check out the release site here or go directly to buy the ebook or print versions. If you bought any of the early access versions…
Related
28 July
Founder and CEO of Boom Supersonic, the Denver company building the Overture supersonic airliner and its Symphony engine.
Their words
There are many many unsolved problems in the world, many great ideas hiding in plain sight that were actually solvable that could have been multi-billion or multi-t trillion dollar businesses a while ago, but nobody's building them and not for any reason other than nobody went and did it.
Show the whole quote
youtube.com
27 July
Co-founder and CTO of Oxide Computer Company. Created DTrace at Sun Microsystems and was CTO of Joyent; blogs about systems software, open source and engineering culture.
It has been a WILD couple of weeks in AI -- it's clear the open weight revolution is truly upon us -- and I am thrilled to announce that @simonwillison.net will be joining @ahl.bsky.social and me to help us make sense of it all! Join us today, 5p Pacific! discord.gg
Related
21 July
General partner at Andreessen Horowitz from 2013 to 2018 and CTO of Coinbase from 2018 to 2019; co-founder of Counsyl and Earn.com. Wrote The Network State (2022), free in full at thenetworkstate.com, and founded the Network School.
I am pleased to announce that a memorandum of understanding has been signed between the Republic of Kazakhstan and Network School. Our new campus will become a haven for global techno-optimism, with expedited visas, streamlined redomiciliation, and active recruitment of talent. Related
15 July
Writer and former Substack product manager; publishes essays and interviews on technology, culture and China at jasmi.news.
day 1 was Madison and Janesville, WI the latter town is known for the 100-year old GM factory that devastated the community when it shut down in 2008 it's been an abandoned lot for the last 15 years. now there's a data center being proposed, but some residents are skeptical Quoting @jasminewsun I’m spending the next week driving around Wisconsin and Michigan to get a firsthand view of the data center buildout and backlash am visiting sites, talking to tons of people — tradespeople, activists, planners, residents — then writing up a story lmk what questions I should dig into! data centers Related
30 June
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
Um even if it's proven just like there is a difference between proof and explanation.
Show the whole quote
youtube.com
2 June
Free software developer; maintainer of sway, wlroots, aerc and scdoc, and founder of the SourceHut (sr.ht) software forge.
Vim Classic 8.3.0 released Following up on my earlier announcement that I was forking Vim, I’m happy to announce the first release of my fork today: Vim Classic 8.3.0. I have written a release announcement for vim-classic.org, which you can read…
Related
10 May
Author of The Lean Startup and Incorruptible, and founder of the Long-Term Stock Exchange, who advises companies on corporate governance and mission protection.
AI alignment
Their words
This is the number one unsolved problem in AI. It's not the tech. We're making great progress on the technical alignment problem. But we haven't made jack progress on the human alignment problem
Show the whole quote
youtube.com
6 May
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.
excited to announce that Wizard Zines is now shipping Canadian orders from Canada! now shipping is cheaper & there's no risk of being hit with duties get your zines at wizardzines.com
Related
20 April
Computer scientist and director of the MIT Digital Currency Initiative; her research covers distributed systems, databases and digital currency.
Follow up on Bitcoin and Quantum: A proposed roadmap. https://t.co/QoOrvnxeOe tl;dr: we should work towards activating a PQ-safe output type with PQ signatures now. everything else (including escape hatches, zk proofs, commit/reveal, to freeze or not) can, and should, wait. Related
23 March
Creator of Ruby on Rails, CTO of 37signals, and creator of Omarchy.
20 March
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.
Their words
I I I I do feel that, you know, fully autonomous one-shot approaches are not the right approach for these problems. I mean, I I think you you'll get a lot more mileage out of the interplay between between humans collaborating with these tools.
Show the whole quote
youtube.com
2 March
Clinical psychologist, EMDR consultant and yoga teacher in Boulder, Colorado. Author of The Complex PTSD Workbook and EMDR Therapy and Somatic Psychology; writes on trauma, attachment and the nervous system.
12 February
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
So, so the latest generation of models has a lot of post-training to detect those approaches, and it's not as simple as ignore all previous instructions and do this and this. That was years ago. You have to work much harder to do that now. Still possible.
Show the whole quote
youtube.com
22 January
Alignment researcher at Anthropic; co-led OpenAI's superalignment team until 2024, and writes Musings on the Alignment Problem.
24 November 2025
Co-founder and CTO of Honeycomb; previously an infrastructure engineer at Parse, Facebook and Linden Lab, and co-author of Observability Engineering.
16 November 2025
Software engineer writing about maintenance, open source and the industrial reality of software — the author of "I am not a supplier".
8 September 2025
Cyborg anthropologist and UX designer; author of Calm Technology and co-founder of the geolocation startup Geoloqi.
Calm Tech Institute is excited to announce that two of @aura_frames bestselling frames have achieved Calm Tech Certified™ Gold! Read more at Related
14 August 2025
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.
31 March 2025
Programmer on the Dart language at Google and author of Game Programming Patterns and Crafting Interpreters; previously a game developer at EA.
16 July 2024
Author of Shape Up; formerly head of strategy at Basecamp, where he worked on product design for seventeen years; now runs Felt Presence.
3 July 2024
Programmer on the Dart language at Google and author of Game Programming Patterns and Crafting Interpreters; previously a game developer at EA.
25 April 2024
Professor at Carnegie Mellon working on self-driving-car safety; writes Safe Autonomy on how autonomous vehicles are and are not shown to be safe.
25 March 2024
Independent policy analyst on space and national security, formerly of the RAND Corporation, who writes on counterspace weapons and rules for keeping satellites safe.
Their words
We accordingly proposed a framework of self-defense zones to “facilitate unilateral defense against a surprise attack on satellites.”
Show the whole quote
thespacereview.com
18 March 2024
Co-founder and CEO of OpenAI; previously president of Y Combinator.
Their words
I think the question behind that question is, do people who create valuable data deserve to have some way that they get compensated for use of it, and that I think the answer is yes. I don’t know yet what the answer is. People have proposed a lot of different things. We’ve tried some different models. But if I’m like an artist for example, A, I would like to be able to opt out of people generating art in my style. And B, if they do generate art in my style, I’d like to have some economic model associated with that.
Show the whole quote
youtube.com
2 January 2024
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.
7 December 2023
Historian of invention; writes Age of Invention on where the Industrial Revolution actually came from.
18 September 2023
Theoretical physicist and philosopher, Homewood Professor of Natural Philosophy at Johns Hopkins and fractal faculty at the Santa Fe Institute. Writes the Preposterous Universe blog and hosts the Mindscape podcast.
4 July 2023
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.
1 May 2023
Family therapist and founder of Relational Life Therapy. Author of I Don't Want to Talk About It, How Can I Get Through to You? and Us; argues that Western individualism is what makes couples' work hard.
2 February 2023
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
This experiment started from the observation that despite being critical for the functioning of the Internet—and, by extension, the economy—the role of open-source maintainer has not yet found a sustainable manifestation.
Show the whole quote
words.filippo.io
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.
31 December 2022
Software engineer writing about maintenance, open source and the industrial reality of software — the author of "I am not a supplier".
19 October 2021
Philosopher and historian of existential risk; wrote Human Extinction, and coined "TESCREAL" with Timnit Gebru for the cluster of ideologies they argue underpins the AI industry.
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
I feel like Ben Orlin solved what was previously an unsolved problem with this book: Teach calculus in a way that is as enjoyable to those unfamiliar with the topic as it is to experts who use it every day. I, for one, was laughing from page 1.
Show the whole quote
3blue1brown.com
11 September 2018
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.
22 August 2018
Free software developer; maintainer of sway, wlroots, aerc and scdoc, and founder of the SourceHut (sr.ht) software forge.
3 August 2018
Sociologist and founder of Bismarck Analysis; writes on live players, institutional decay and why societies lose knowledge.
9 July 2018
General partner at Benchmark Capital for over two decades; was the lead analyst on Amazon's IPO before moving into venture capital. Writes Above the Crowd on tech and marketplace economics.
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