Elan Roth

maths enthusiast • fulbright logic research at uwaterloo

[Elan Roth @ElanRoth]

i have a feeling the first perfect bracket will happen this year

[Elan Roth @ElanRoth]

used half my current session's limit with one prompt asking for the skeleton for my research paper with Claude

[Elan Roth @ElanRoth]

@KenOno691 @leanprover excited to try this out!

[Anthony Bonato @Anthony_Bonato]

me whenever people try to get me into a discussion about zero not being a natural number

[Elan Roth @ElanRoth]

check to out at https://t.co/1HcsJUudHm

[duve @jevonduve]

me and my guy @ElanRoth wrote a blog post on computability and randomness, and some of its formalization in Lean https://t.co/iJq4jwwzU3

[Elan Roth @ElanRoth]

feels like -20°F in Waterloo, my mustache froze on my 10 minute walk to the office

[Elan Roth @ElanRoth]

i like phrases that allow for self-reference

take “take for example” for example

[Elan Roth @ElanRoth]

@Shot_Quality Looks amazing!