HNHacker News
TopNewBestAskShowJobs

tjsquared

6 karma · joined May 6, 2026

submissionscomments
tjsquared··on Being ambitious and being a dad
"I am not less ambitious. But I am also ambitious about being a great dad." Or Mom. This is a powerful mindset right here. It's also hard to judge someone's ambition from the outside because there is still so much inequality of opportunity. The OP mentioned limitations of Einstein, Steve Jobs, and Elon Musk as parents. The story of Paul Ehrenfest is an even more depressingly stark contrast between personal and professional success.

On the other hand, there is a lot of moral ambiguity when it comes to judging someone else's parenting - and lack of ambition clearly does not make one a better parent. The history of women in science and mathematics and literature illustrates the tradeoffs among talent and opportunity and ambition that have persisted for centuries and continue to this day. Two of my favorite examples are that of George Eliot (Mary Ann Evans), who was supported in her studies because her father considered her lacking in beauty and Emmy Noether (referred to as essentially the most intelligent woman of all time by Einstein), who demonstrated no prodigious talent in her early education but due to persistent and opportunities shaped in part by having a father who was an Algebraist, is remembered as an intellectual giant.

tjsquared··on Palomar: A registry of Lean verified mathematics
It's nice to see Terry not only accepting the assistance of AI in mathematics but helping to strengthen the formalization infrastructure for the AI and Math communities.
tjsquared··on Immersive Linear Algebra Book with Interactive Figures (2015)
This is super nice. Seeing interactive graphics like this along with tutorial videos and the new Prism LaTeX editor from OpenAI make this an exciting time for math education. At the same time, AI advances on open problems in research and with LLM technology like with Axiom are making it an exciting time for math research as well.
tjsquared··on Sam Altman Won in Court Against Elon Musk. But, We All Lost
I've noticed the disconnect between tech moguls and enthusiasts and the rest of the media in AI coverage.

AI can invoke existential dread for writers, educators, and artists just as much as for software developers and engineers, although on perhaps a more delayed schedule.

I think public sentiment among journalists will eventually catch up with the pros and cons of AI in a nuanced way, but it's a bit harder to appreciate how impactful it already is if you're not using it to write software every day.

This is a point made by Andrej Karpathy.