Writing & bookmarks
I have a math degree, but this was my first time using Lean.
Building Live Activities
Podcast
Hosted by journalist Evan Ratliff where he tried to build a real startup, run by AI Agents. Podcast was just an amazing listen. Highly recommend!
ai / llm / agentic
Book
Douglas Hofstadter's exploration of consciousness and self-reference through the lens of mathematics, art, and music.
consciousness / mathematics / philosophy
Art
Other
My current keeb
keyboard
.jpg!Large.jpg&w=3840&q=75)
