@anefthynos · X

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.

璞奇 — 将书本、B 站、得到等学习内容生成练习，帮助掌握新知，支持 App、Chrome 插件和 Agent Skill - [更多介绍](https://mp.weixin.qq.com/s/HRRpKg2oAt_toZNTpY-foA)

fahimulhaq · HN

Show HN: Fenzo AI – Interactive Micro-courses on any topic

@versuchai · X

weijunext · HN

Free, curated prompts for AI image, video and music

Turbo Learn — 从文档、图片、拼音文件生成笔记的 AI 学习工具网站

@shivanshsh1823 · X

you yoga a day - to - day workout routine for yoga

@Aimenbuilds · X

- leetcode for hardware engineers! We map job postings of hardware roles 1-1 to course requirements!

@Sensha_biyori · X

@laodaozzz · X

我也做了一个教小朋友学数学的工具叫easymath。

@33357xyz · X

最近买保险发现文件太多了不好打印。就做了一个小册子打印网站，可以吧A4的pdf双面打印成A5的小册子，节省一半的纸张。网站可以预览小册子的效果，支持手动双面打印和自动双面打印，感兴趣的可以来玩玩。