Show HN: Rift – Open-source AI-native language server for your personal AI SWEgithub.com17 points·by jessemhan·قبل 3 سنوات·5 comments
A formal proof of the independence of the continuum hypothesisgithub.com3 points·by jessemhan·قبل 7 سنوات·0 comments
jessemhan·قبل سنتين·discussGood scalable codebase search is tough. We built a scalable, fast, and super simple solution for codebase semantic search: https://phorm.ai