4 ms·
I think this area is super interesting! I am a regular software engineer with a background in math and CS. The most relevant experience I have is some tinkerin
by leafmeal 6y ago
I think this area is super interesting!
I am a regular software engineer with a background in math and CS. The most relevant experience I have is some tinkering with Haskell.
Do you have any suggestions for how a full time employee can engage in this world and possibly start doing research?
- Taikonerd 6y agoI'm not the parent commenter, but as a way to dip your toes in, I've heard Dafny[1] is probably the easiest language / proof system to get started with. [1] https://rise4fun.com/dafny https://rise4fun.com/dafny