sbuhai.bsky.social
Academic economist. Bon vivant. "Enfant terrible". Website: https://sebastianbuhai.com Twitter: https://twitter.com/sbuhai Mastodon: https://mastodon.social/@sbuhai Threads: https://www.threads.net/@sebastianbuhai
👤 Joined on 25 August 2023
Followers
Following
Total Posts
@sbuhai.bsky.socialForthcoming in AER: Insights: "Prizes and Feedback in Dynamic Contests" by Jeffrey C. Ely, George Georgiadis, and Luis Rayo.
Show PostWhy do employers like exploding offers? Should universities discourage their graduating students from reneging on accepted offers? This paper studies when firms make offers with recall and the impact of policies discouraging reneging www.econometricsociety.org/publications...
Show PostThis is just the beginning of a wider project -- I'm looking forward to seeing where it will go. More generally, I am (like many people) excited by the possibilities that imaginative interfaces will bring to mathematical reasoning.
Show PostMany people just starting out on Lean formalization have enjoyed playing the Natural Numbers Game. Now Autumn Mapes has produced Visual Lean, isomorphic to the original but playable in a lovely intuitive way with clicking and dragging rather than typing. leangame.autumnofautumn.com
Show PostMany people with relevant expertise think there's a real chance that AI could kill us all in the not too distant future. Others disagree. I've written a post, aimed principally at mathematicians, detailing my struggles to decide what to make of this. gowers.wordpress.com/2026/10/16/h...
Show Post