Replying to
@edwinb what are you using? I've been meaning to shift away from feedly.
Remote
Steve Dunham
@dunhamsteve@mathstodon.xyz
mastodon 4.7.2I'm a former Math and Computer Science grad student turned software engineer. Recently I've been revisiting the academic side of things, trying to learn type theory and category theory in my spare time.
46 Followers
44 Following
6 Posts
Joined November 08, 2022
github:
Replying to
@chrisamaphone I know this from an old SNL sketch with a frustrated Kelsey Grammer as Captain Nemo trying to explain it to his crew. I can only find a poor recording at https://streamable.com/zdalxk and transcript at https://snltranscripts.jt.org/93/93qleagues.phtml
Replying to
@xenaproject @ProfKinyon I also enjoyed working through "Theorem Proving in Lean4" and look forward to checking out "Mathematics in Lean".
Is there a version of `ed` (the standard text editor) with LSP support?
Replying to
@dev@discuss.systems I've seen what geese create and learned to watch where I am stepping.