Launches

Show HN: TheoremSmith: Mass-Producing Hard Proof Problems to Train LLMs

charleshuang.me

生成合成形式验证任务来训练LLM

aihacker_newsposted 2026-11-10

Keywordsformal verification llm training

traffic not measured Feed page ↗

Launches

@youdotcom search is now live on @composio Instant. Your agent calls the https://t.co/UscuspVhmd Web Search API straight from its Composio wallet. Free for the next 6 months, no additional setup requi

you.com

xposted 2026-11-10registered 1998-11-25

traffic not measured Feed page ↗

Launches

Show HN: ElderVault – care records for aging parents, shared by section (iOS)

eldervault.app

为年迈父母管理照护记录并按部分分享给家人

toolhacker_newsposted 2026-11-10

Keywordscare records for aging parents

traffic not measured Feed page ↗

Launches

Show HN: What happened to everyone who retired on the 4% rule since 1927

4percentcalc.com

回测4%退休规则在历史市场中的表现

toolhacker_newsposted 2026-11-10

Keywords4 percent rule calculator

traffic not measured Feed page ↗

Launches

Show HN: Mitra MCP lets AI agents make calls from your phone number

getmitra.com

让AI代理使用你的电话号码拨打电话

aihacker_newsposted 2026-11-10registered 2020-10-23

Keywordsai phone calls from your number

traffic not measured Feed page ↗

Launches

Show HN: Lautli, Swiss German transcriptions on-device

ameetmadan.github.io

在Mac上离线转录瑞士德语会议并生成标准德语摘要

toolhacker_newsposted 2026-11-10registered 2013-03-08

Keywordsswiss german transcription

traffic not measured Feed page ↗

Launches

Show HN: Retro-gaming interview script for assessing culture fit

phnd.net

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: Mismo – Share UI and navigation between web, desktop and React Native

mismo.dev

hacker_newsposted 2026-11-10registered 2026-11-04

traffic not measured Feed page ↗

Launches

Show HN: Jaxammon, Daily Backgammon Puzzles

jaxammon.com

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: Faux Show – a homemade alternative to the Amazon Show

overdesigned.org

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: I checked 66 AI tools' privacy policies for AI training

getpolicypeek.com

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: Glitch/Distorion page transitions with HTML-in-Canvas

amagi.dev

hacker_newsposted 2026-11-10registered 2019-12-03

traffic not measured Feed page ↗

Launches

Show HN: Ramble – Message your agent directly from your Apple Watch

ramble.watch

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: Vesputio – A Put.io Client for iOS and Android

vesputio.app

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: Locatic – Discover developers and projects in your city

locatic.dev

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: BasalFit – Recipes/meal planning/Tracking. Works Claude-ChatGPT via MCP

basalfit.com

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Now live at BaT Auctions: Imola Yellow 2012 Audi R8 Coupe 6-Speed. https://t.co/i9rW8NkaC6 https://t.co/F0gTCSqxb2

bringatrailer.com

xposted 2026-11-10registered 2007-01-08

traffic not measured Feed page ↗

Launches

Show HN: Ilo Musi 8 – Handheld Game Console Emulating CHIP-8 Platform

ilomusi8.sadale.net

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: Y Recombinator – The HN threads HN keeps recommending

yrecombinator.org

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: We built a way to remove inherited biases from decision models

hirundo.io

hacker_newsposted 2026-11-10registered 2023-01-15

traffic not measured Feed page ↗

Launches

Show HN: Ghost Runner – Race your past self on Apple Watch

getghostrunner.com

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: Estimate the carbon footprint of your company's AI use (open data)

somaai.earth

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: Leftagraph – a way to chart a company's finances over time

leftagraph.com

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: We wanted to build an AI application, not maintain RAG pipelines

akropolys.cloud

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: RiffWright – A browser guitar tab editor with real guitar tones

riffipedia.com

一个浏览器吉他谱编辑器，带有真实吉他音色，可制作吉他谱和短视频。

toolhacker_newsposted 2026-11-10

Keywordsguitar tab editor

traffic not measured Feed page ↗

Launches

Show HN: ContentRank – web pages fight 1v1 matches, Glicko-2 ranks the winners

contentrank.app

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: ArXiv papers as reflowable Kindle books, equations as MathML

dropkind.app

hacker_newsposted 2026-11-10

traffic not measured Feed page ↗

Launches

Show HN: Users search and combine focused agents in a conversation, no prewiring

search2o.com

hacker_newsposted 2026-11-10registered 2022-01-23

traffic not measured Feed page ↗

Launches

Thrilled to announce that our @GoogleDeepMind team has cracked a major challenge in software engineering and cybersecurity: formally verifying a real-world implementation of the #Signal cryptographic

deepmind.google

Google DeepMind 发布论文，介绍用 AI 形式化验证 Signal 协议。

otherxposted 2026-11-10registered 2023-09-07

Keywordsformal verification

traffic not measured Feed page ↗

Launches

Want to make videos like this in seconds? Visit our site to get started: Create Now 🔗 https://t.co/CqXGE6Q8HI https://t.co/4NmalwdBlC

candyai.gg

Candy.AI 提供创建 AI 男友并聊天的服务。

aixposted 2026-11-10registered 2024-04-14

Keywordsai boyfriend

traffic not measured Feed page ↗

Site directory