@qurative · X

vibe coded a landing page for seo and shit, will fix it later focusing on adding features to the dasboard

@Aimenbuilds · X

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

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

@DwivediNitil · X

Go physical to digital

@amine_builds2 · X

[Chrome] [Free] ClipMargin: Timestamped Notes for Any Video

gfx · HN

Building a Rust-ish programming language with 100% coding agents: Wado

@AriaInbox · X

Aria is an AI chief of staff that reads your inbox, drafts replies in your voice, and books meetings while you sleep.

mistakevin · HN

I've been working on https://notebooker.ai if anyone is interested in giving some feedback. I tried to post a Show HN yesterday with details about how I built it, but was auto-flagged and not sure what rules I broke. Everything that I've built on top of open-notebook, like the plugin system for your own "creators" (aka, podcasts, infographics, etc) is at https://github.com/Notebooker-ai plus a Cloudflare Worker AI deployer to play with different models. Been working on it for about six months.

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.