Kevin Lacker (@lacker) / X

Kevin Lacker

18.5K posts

Kevin Lacker

@lacker

Working on math + AI at acornprover.org and telescope software at deepsynoptic.org. Formerly: Parse cofounder, Facebook, Google

Piedmont, California

Joined March 2008

Pinned
Kevin Lacker
@lacker
Jan 28, 2025
I'm happy to announce the launch of Acorn, a new theorem prover that includes an integrated AI. Theorem provers let you write mathematical proofs that are rigorously verified. But they are notoriously difficult to use. Acorn makes it easier, by using AI to fill in the details.
Kevin Lacker
@lacker
Jun 2, 2025
We all owe a debt to the PC gamers, who nobly funded years of GPU development before the rest of the world understood how useful they were.
Kevin Lacker
@lacker
Aug 16, 2024
Peter Thiel on his struggle to leave California: Seattle: worst weather in the country Las Vegas: "not that big a fan" Houston: just an oil town Dallas: has an inferiority complex Austin: government town Miami: the vibe is that you don't work Nashville: <just looks away>
Kevin Lacker
@lacker
Jul 3, 2020
GPT-3 can't quite pass a coding phone screen, but it's getting closer.
Kevin Lacker
@lacker
Mar 11, 2025
Replying to @Austen
some programmers I know, all their work is in such a complicated, non-public domain that none of the AI tools do anything useful for them, and then they don’t get the hype
Kevin Lacker
@lacker
Jun 10, 2019
The New York Times writes that tech companies don't care about your privacy. Meanwhile they have started blocking Chrome's Incognito mode
Kevin Lacker
@lacker
Jun 27, 2024
5-yr-old runs in. “Daddy, I have a math question for you! Come look.” I count up the ones. “Twelve.” “Wrong! It keeps going and going. Infinity!” Feel like I got tricked fair and square here
Kevin Lacker
@lacker
May 8, 2023
impressed with GPT-4 today, told me "that code should work, maybe there's a bug in the compiler" and it actually was a bug in the compiler
Kevin Lacker
@lacker
Dec 16, 2023
My son doesn’t quite understand why he’s having so much trouble with this worksheet
Kevin Lacker
@lacker
Dec 4, 2020
Unpopular opinion: commas *should* go outside the quotation marks. They are logically part of the outer sentence, not part of the quoted phrase.
This post is unavailable.
Kevin Lacker
@lacker
Nov 25, 2023
my son has been intentionally annoying my daughter all throughout dinner, but he does it so deftly, I can’t even give a specific example
Kevin Lacker
@lacker
Nov 22, 2023
The board of OpenAI is now mostly former Facebook CTOs
Kevin Lacker
@lacker
Nov 20, 2019
"When there's speech that is completely forbidden and questions that are not allowed to be asked, normally, you should assume that those things are simply true." - Peter Thiel
2019 Wriston Lecture: Peter Thiel
From manhattan.institute
Kevin Lacker
@lacker
Jan 11, 2020
My son’s opinion of the tech giants: Apple: inventors of the iPad and, less importantly, the phone Microsoft: creator of Minecraft, nearly as great as the iPad itself Facebook, Google: what’s that? Amazon: a force of nature, like gravity. New objects appear in Amazon boxes