@AsedaKingVpryi · X

Check out what I just built with Lovable!

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.

@electricdrago10 · X

@babykswanson · X

On the other hand, forgetting about how to make a living for a bit, I vibe-coded for my kids. You might like it and it's highly likely I keep riffing on it.

@avinashraj61815 · X

i vibe coded this week

@Galliard232634 · X

Come study with me on

dragonsweeper — 创新型的扫雷游戏，融合了经典FC时代日式角色扮演和现代即时游戏元素

lby910722 · V2EX

做了一个免费的 Don't Wordle 反向 Wordle 小游戏 最近做了一个原生浏览器版的 Dont Wordle： https://dontwordle.app/ 玩法和 Wordle 反过来：不是尽快猜中隐藏单词，而是要在遵守每一轮颜色提示的前提下，尽量避免猜中答案。页面里有合法单词数量、Undo 、每日局、本地保存进度，不用登录。 技术上是原生页面里的小游戏组件，不是 iframe 。欢迎试试，有反馈也可以直接回帖。

@laodaozzz · X

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

@finexplainedhq · X

hackitup7 · HN

TLDR built a Chrome site blocker that lets you into distracting sites only after you do some math or simple coding (JS only right now). Direct link to extension (the site just gives you more context): https://chromewebstore.google.com/detail/sphinx-earn-your-di... Philosophically it's a speed bump rather than a hard gate, because you'll eventually tear a gate down but you'll leave a speed bump. I've always eventually removed site blockers, or just had them become a nuisance that I reflexively dismiss before getting to distracting sites. Site blockers don't really reduce the "start navigating to a distracting site" muscle memory, and they eventually just become annoying. Dopamine is a hell of a drug. At the same time, I've been getting frustrated that my intermediate/advanced math skills have atrophied, and becoming more senior in my career (plus AI...) has caused my coding skills to atrophy even further. Realistically I'm not going to force myself to do math or coding exercises aft

Obsessed Trace Calculator — Stream 游戏 Obsessed Trace 工具网站