Hacker News Reader

This is my thesis area! If you're interested in proof repair, check out my latest work: https://arxiv.org/abs/2010.00774

More on my website: https://dependenttyp.es/

I hope more people work on this problem. It is a big and promising space. And I'll need students soon :)

View on HN

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?

I'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

Reply on news.ycombinator.com