jeffsmith.tech
Building C Proof: https://cproof.ai/ Researching and writing: https://www.jeffsmith.tech/
👤 Joined on 15 November 2024
Followers
Following
Total Posts
@jeffksmith.bsky.social@jeffksmith.bsky.social → @jeffsmith.techOk, 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 PostTech evolves fast, and with it, the roles within. Bringing genuine leverage is becoming the norm. Those who adapt and innovate will thrive.
Show PostIndeed, 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 PostThe 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 PostFantastic (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