@pabaprende · 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.

heliostatic · HN

A couple weeks ago we were on vacation with friends, and after the kids were asleep we played games -- mostly Qwirkle, which I had never played and am terrible at. I don't care about being terrible at games, so I made a web version to keep playing after vacation: build lines of tiles that share a color or a shape, 2-4 players (or add bots). I wanted it to be low friction, so there are no accounts. Your identity is an anonymous id in localStorage, and you can move it to another device by scanning a QR code or hitting a unique url. Start a game and text someone the link (game slugs are semi-memorable three word phrases), or "Play the computer" and you can play immediately against bots. Games are async-friendly with web push for turn notifications. The stack is one Node process on a small VM, Next.js + Socket.IO, no database. The server and the client use the same engine so moves validate optimistically, and the bots go through the same functions, so bot moves are always legal. State is

@atbigthumb · X

fran-mora · HN

I gave 5 AI coding agents one prompt: grow a banana plant through its whole life in three.js: sprout, leaves, flower, fruit, rot, then pups that restart the loop. It's deceptively simple and yet very hard to get right from procedural code: you have to write working three.js and understand how the plant is actually built; how it hangs, ages and decays. Get the biology wrong and the code renders something weird. These are agents, not bare models (Claude Code and Codex for now). They can use tools, including playwright to check their work and improve it.

u/liltechnomancer · Reddit

I forked Pi and tried to make it accessible to normies. I love all the open source coding agent harnesses. Pi chief among them. But I was bummed I couldn't really get my non-technical friends on them. They also would not be eager to drop a bunch of money on a mac mini to host an OpenClaw instance. This made me feel there may be a gap in the market. This made me wonder if people would like a web app based agent that could update itself. If you want to build a custom media pipeline for

SZ Games — 提供超过 1000 款免费在线游戏的平台，涵盖动作、益智、赛车、模拟等多种类型。无需下载，直接在浏览器中畅玩，支持 PC、手机、平板等多平台设备

@vkuoo · X

Added more demos showcasing graph-math relationships, built with Codex.

@LeeLeepenkman · X

nice im working on lots of AI stuff so right now :)

SnapWrite — 专注微信公众号的 AI 自动排版工具。一键将文本转化为精美移动端布局，支持实时手机预览与富文本一键复制。

PIXAE — AI 原生创作平台，支持在浏览器端生成图像、视频，提供去背景、老照片修复、高清化、魔法擦除等专项工具及即用型 AI Prompt showcase。

@epcccc314 · X

受启发于希腊神话中的Eros 我基于哈希码和简化的遗传原理做了一个用来记录随便的神话故事和繁衍历史的网站，可以随意的创造，繁衍，以及让存在消亡或者复活，这些都在记述者的笔下和众口之中。所有都建立在哈希值之上命定之物，只有记述是任意的。欢迎大家来玩儿～