HN Explorer

jessemhan

↗ HN profile [ 19.8 ms ] full profile
Karma
3
Created
December 27, 2019 (6y ago)
Submissions
0
  1. Show HN: Phorm – AI code search that just works (phorm.ai)

    Hey HN, we’re the team at Morph Labs and we’re excited to release Phorm (https://phorm.ai), a fast, simple, and SOTA codebase answer engine. You can search over up to 8 repositories in almost any language, and Phorm can…

    5 points 0
  2. The personal AI proof engineer (morph.so)
    2 points 1
  3. Show HN: Rift – Open-source AI-native language server for your personal AI SWE (github.com)

    Howdy y'all, I'm Jesse and I'm pleased to share Rift (https://www.github.com/morph-labs/rift), an open-source AI-native language server for the IDEs of the future. Software will soon be written mostly by AI SWEs working…

    17 points 5
  4. Universal Policies for Software-Defined MDPs (arxiv.org)
    5 points 0
  5. A formal proof of the independence of the continuum hypothesis (github.com)
    3 points 0