HNHacker News
TopNewBestAskShowJobs

jessemhan

3 karma · joined December 27, 2019

submissionscomments

Show HN: Phorm – AI code search that just works

phorm.ai·5 pts·jessemhan·
0

The personal AI proof engineer

morph.so·2 pts·jessemhan·
1

Show HN: Rift – Open-source AI-native language server for your personal AI SWE

github.com·17 pts·jessemhan·
5

Universal Policies for Software-Defined MDPs

arxiv.org·5 pts·jessemhan·
0

A formal proof of the independence of the continuum hypothesis

github.com·3 pts·jessemhan·
0