Jeff Smith

Jeff Smith

jeffsmith.tech

Building C Proof: https://cproof.ai/ Researching and writing: https://www.jeffsmith.tech/

👤 Joined on 15 November 2024

723

Followers

2791

Following

332

Total Posts

📜 Kullanıcı Geçmişi

  • 15 Kas 2024, 16:28
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @jeffksmith.bsky.social
  • 25 Kas 2024, 22:48
    ✏️ Kullanıcı adı değişti: @jeffksmith.bsky.social → @jeffsmith.tech

❤️ Beğendiği Gönderiler

Ok, so the DnD 'the tavern is a mission hub for a large region' trope doesn't make a lot of actual sense, but it is charming to see games exploring the concept from the tavern-owners side (hardly the first such game) and if this game is any good, I'll be excited to play it. youtu.be/SWql6XAZnIQ?...

Show Post

Tech evolves fast, and with it, the roles within. Bringing genuine leverage is becoming the norm. Those who adapt and innovate will thrive.

Show Post
Tim van Erven
23 April 2026 11:34

Indeed, a must-read! An existential debate about mathematics is coming up, and now is the time to articulate the many values of mathematics. If mathematicians are seen as machines that turn coffee into theorems, we will be in a lot of trouble.

Show Post

The little nugget I took away was that most math papers have errors but are *directionally* correct and that this is fine. This I think is true in CS papers too. This is why LLM reviewing bothers me so much. What does it mean for a paper to be wrong? CS might also have official vs secret levels.

Show Post

Fantastic (long) piece on what AU means to mathematics (and what mathematics is) So many insights. The first begins why so may people in AI research are getting obsessed with “taste”. davidbessis.substack.com/p/the-fall-o...

Show Post

Select language

Install App

Install App