jessemhan

3 ms·

1. 1.▲
   by jessemhan 3y ago

   Good scalable codebase search is tough. We built a scalable, fast, and super simple solution for codebase semantic search: https://phorm.ai
2. 2.▲
   Show HN: Phorm – AI code search that just works(phorm.ai)

   5 points by jessemhan 3y ago|0 comments
3. 3.▲
   The personal AI proof engineer(morph.so)

   2 points by jessemhan 3y ago|1 comments
4. 4.▲
   Show HN: Rift – Open-source AI-native language server for your personal AI SWE(github.com)

   17 points by jessemhan 3y ago|5 comments
5. 5.▲
   Universal Policies for Software-Defined MDPs(arxiv.org)

   5 points by jessemhan 6y ago|0 comments
6. 6.▲
   A formal proof of the independence of the continuum hypothesis(github.com)

   3 points by jessemhan 7y ago|0 comments