David Thrane Christiansen
Today's my first day working full time on @leanprover - I'm really looking forward to it!
Oct 2, 2023 at 7:29amWeb
Show threadLindsey KuperOct 2, 2023
@d_christiansen @leanprover I had been wondering what the new job that you "couldn't say no" to was! Congrats!
Show threadDavid Thrane ChristiansenOct 2, 2023
@lindsey @leanprover thanks! Dependent types, metaprogramming, focus on good tools - what's not to like?
Show threadBrian McKennaOct 2, 2023
@d_christiansen @leanprover awesome! Have fun!
Show threadDavid Thrane ChristiansenOct 2, 2023
@puffnfresh @leanprover Thanks! I suspect I will!
Show threadMiles SabinOct 2, 2023
@d_christiansen @leanprover congratulations!
Show threadDavid Thrane ChristiansenOct 2, 2023
@milessabin @leanprover Thanks!
Show threadBrendan ZabOct 2, 2023
@d_christiansen @leanprover Oh sweet! That sounds like a great match for you! Any idea what in particular you’ll be working on?
Show threadDavid Thrane ChristiansenOct 2, 2023
@brendan @leanprover Documentation and documentation tools will be the first major priority