Jimmy is a tool to convert your notes from different formats to Markdown

CTOSian 14 points 0 comments June 28, 2026
marph91.github.io · View on Hacker News
Semantic search powered by Rivestack pgvector
14,015 stories · 131,331 chunks indexed