Understanding mathematics through Lean
An introduction to how Lean formalizes mathematical proofs using the Curry-Howard correspondence, turning theorems into types and proofs into verifiable terms.
December 15, 2025
Microservices should form a polytree
Microservices work best as a polytree with clear dependencies and no cycles. Learn how this structure reduces complexity and makes systems easier to scale and maintain.
December 8, 2025
Do the thinking models actually think?
LLMs mimic understanding but think bottom-up, unlike humans. Explore why they’re more than autocomplete and why the future is human–AI collaboration, not replacement.
December 1, 2025
No free lunch in vibe coding
AI won’t replace coding, it will simply move complexity from code to prompts. True control and precision will always need technical skill and structured thought.
November 24, 2025
My favorite math problem
There’s one math problem I find surprisingly deep in how it connects simple puzzles to profound ideas in logic, proof, and the rise of AI in mathematics.
November 17, 2025
LLMs are steroids for your Dunning-Kruger
ChatGPT and LLMs amplify both insight and illusion. They are not knowledge engines, but confidence engines shaping how we think and learn.
November 10, 2025
I love boring business ideas
Boring business ideas often outperform flashy startups. Stability, predictable revenue, and solid foundations create sustainable success without heavy funding.
November 3, 2025
AI can code, but it can't build software
AI can write code, but it can’t build real software. Software engineering remains human work because AI can code, not engineer.
October 27, 2025
Don't Let an AI Ruin Your Voice
AI can multiply your output overnight... or quietly erode your brand. How to keep efficiency and authenticity in balance?
October 21, 2025