user avatar
Kevin Lacker
@lacker
Working on math + AI at acornprover.org and telescope software at deepsynoptic.org. Formerly: Parse cofounder, Facebook, Google
Piedmont, California
lacker.io
Joined March 2008
1,453
Following
7,140
Followers
Posts
  • Pinned
    user avatar
    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.
    17K
  • user avatar
    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.
    552K
  • user avatar
    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>
    2.5M
  • user avatar
    Kevin Lacker
    @lacker
    Jul 3, 2020
    GPT-3 can't quite pass a coding phone screen, but it's getting closer.
  • user avatar
    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
    102K
  • user avatar
    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
  • user avatar
    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
    136K
  • user avatar
    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
    486K
  • user avatar
    Kevin Lacker
    @lacker
    Dec 16, 2023
    My son doesn’t quite understand why he’s having so much trouble with this worksheet
    384K
  • user avatar
    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.
  • user avatar
    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
    240K
  • user avatar
    Kevin Lacker
    @lacker
    Nov 22, 2023
    The board of OpenAI is now mostly former Facebook CTOs
    245K
  • user avatar
    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
  • user avatar
    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