cyco130 · HN

Sfotty Pie – A browser-based Atari 8-bit emulator in TypeScript

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.

@Timemindai · X

@jedeeai · X

我做了一个网站 专门记录X上简中圈的“卷王” 并以此提醒自己 在现有的努力程度面前 还不足以谈论天赋。 你们还想看谁的数据，评论区告诉我

sanabano · Product Hunt

GPTOne Free AI detector for ChatGPT, Claude, Gemini & more

@HalxDocs · X

Reqit—a fast, local-first API client for developers.

u/KangarooPitiful594 · Reddit

I built Aethereum: a team coordinator for AI coding agents (free beta) the simple version: if your team codes with AI agents, aethereum keeps them coordinated so you ship faster. everyone runs whatever agent they like (claude code, cursor, codex, cline, zed) and they all join one room. agents see what each other is building, get warned before breaking each other's changes, and can share code between machines end to end encrypted. when two agents want different API shapes they negotiate it b

@DanielGPT2022 · X

I made an app for peptides users, that will hopefully adress their trust issues:

@ResolveX_ · X

AI‑Powered resolution and optimistic dispute oracle for prediction markets. @ResolveX_

@torquant · X

building Torquant. you build and backtest trading/investment strategies using only natural languange

@fatwang2ai · X

做了一个 IP 检测工具： 开源。一次查询汇总 13 个数据源的风险评分、代理/机房类型和网络归属。不同平台的判断经常不一样，有些数据库甚至提供付费修正机制。与其只信某一家，不如把共识和差异放在一起看，更全面地了解你的 IP

@cuffunn · X