
Jonathan Paulson
3.1K posts

Jonathan Paulson
@PaulsonJonathan
Software Engineer. Interests: quant finance, competitive programming, Effective Altruism, policy.


@lymanstoneky IF this is true, IF, that still doesn't mean there aren't ways to remedy many of the ills that could come about through these things. After all, it seems that 95% of the complaints against assisted suicide are only in response to Canada, which is only choosing the worst example.






After the apparently amazing announcement by @mathematics_inc on the formalization of a major recent Fields-medal winning theorem, i had no idea how pissed the math-formalization community is. Very worrying discussions by some of the leaders/founders of Lean's mathlib. cc @ChrSzegedy





What do Americans consider immoral? Dive deeper into our U.S. morality report: pewresearch.org/religion/2026/…


What age is HARDEST as a parent? Well... it depends. For moms, it's as your kids start going to school. For dads, it's when they start preparing to leave your home. The hardest part of parenting is letting them go.















The scene at Yale after Trump’s first election, according to @robkhenderson:


















