Developer Tools4 days ago
RLMlocal — Beyond coding tools
Local-first cognitive runtime with live AST graphs, runs in your browser with no data sharing.
@fortsignal1 · X
The full gallery
Tech stack
60 projects
Local-first cognitive runtime with live AST graphs, runs in your browser with no data sharing.
@fortsignal1 · X
An AI-powered platform for solving and collaborating on math problems in a social context.
lemma1729 · HN
Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.
Learn Japanese through interactive lessons with AI tutor feedback and spaced repetition practice.
u/Blazikenfire · Reddit
I built Language Learning website with hint of AI grading A few years back, I enrolled in a Japanese language course at Mumbai University. It was a pretty rough experience. The teacher was incredibly loud as in literally shouting at people's every mistake, and the pace was unforgiving. If you missed just one or two lectures, suddenly everything looked like alien text and you were completely left behind. The environment was so tense that asking a simple doubt made you regret ever joining the
Build personalized learning paths and track progress in your developer career.
@dipanshurdev
Batch edit images in your browser with tool chaining, compression, and format conversion.
BulkPicTools — 免费浏览器端图片批量处理工具，支持**工具链串联**（压缩→转格式→裁剪一次完成，无需重复上传），本地 AI 去背景/人脸模糊（WebGPU，无需 API Key），支持 200+ 张图片批量处理，文件不上传服务器。
Email and productivity assistant for Google Workspace that answers with interactive widgets you approve.
u/narin_luangrath · Reddit
Solo-built an email agent where the AI literally cannot act on its own — the architecture is the pitch Building SmolMail ( https://smolmail.com ) solo for a few months. Two build decisions turned out to be the whole product: Widgets over prose. Every answer renders as a real component (calendar grid, email list, editable forms) and the model only picks the props — so the UI can't hallucinate. The calendar shows what the Calendar API returned, period. No write tool, on purpose. Email
Create study notes, predict academic performance, and generate study guides with AI assistance.
@indradevGod89 · X
Transform study materials into concise notes and diagrams with AI assistance.
Turbo Learn — 从文档、图片、拼音文件生成笔记的 AI 学习工具网站
Create a branded link-in-bio page to publish content and track visitor engagement.
@usemarqr · X
Also creating your own link in bio!
Turn PDFs into adaptive practice questions and personalized revision flows for learning.
@qurative · X
vibe coded a landing page for seo and shit, will fix it later focusing on adding features to the dasboard
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Get AI-powered English lessons taught in your native language.
@soruvalab · X
🌍 Just shipped Mellingo! Not just another English learning app. Your AI English teacher. In your language. ✅ 11 native languages ✅ Instant AI corrections ✅ Free to start #buildinpublic #indiehacker #AI