Show HN: Rift – Open-source AI-native language server for your personal AI SWEgithub.com17 ポイント·投稿者 jessemhan·3 年前·5 コメント
A formal proof of the independence of the continuum hypothesisgithub.com3 ポイント·投稿者 jessemhan·7 年前·0 コメント
jessemhan·2 年前·議論Good scalable codebase search is tough. We built a scalable, fast, and super simple solution for codebase semantic search: https://phorm.ai