@notunknownkyun · X

- leetcode style interview prep for agentic AI interviews and unskilling folks.

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.

u/Gloomy_Silver_1700 · Reddit

Solo-built app just passed a bigger competitor on Google Play visibility score https://preview.redd.it/cmy3haru6veh1.png?width=1510&format=png&auto=webp&s=6c9f05bd5d22a012f123e4c4f6f26d1a7c85c5e3 Sharing this because it's a small win but it's mine. I'm the solo dev behind skillably, a study app where you upload your own notes or PDFs and it turns them into quizzes and flashcards, adapting based on what you actually get wrong. No team, no funding, built around a day job.

@amir_mehrabi_ · X

: Personal Intelligence

@LinguExcel · X

Become fluent in any language faster than ever by reviewing thousands of real life sentences. Treat language learning like a HIIT workout.

u/Rcoo232 · Reddit

I built a council of 5 historical figures that debates your hardest life decision (based on Karpathy's LLM Council) A few weeks ago, I came across Karpathy's "LLM Council" concept. You ask multiple Agents the same question independently, have them anonymously peer-review each other, then synthesise a final answer. The peer-review round is the genius part; models get surprisingly honest when critiquing anonymised responses. I turned it into a consumer product where the council members are hi

timqian · HN

Send your agent to solve open math missions

u/ICARUS_2X · Reddit

Spent 7 months building a FOSS platform for natural-language chess analytics (No LLM) Hey guys, I've released CHONSE2, an open-source game review platform that offers unlimited analysis and move explanations without using hallucination-prone LLMs, running entirely in your browser. chonse2.com But Lichess is free, so why use this? Some have asked. It expands on Lichess's feature set a few different ways: Full analysis (accuracy/elo estimations/eval graphs, etc) requir

u/Funny-Temporary7465 · Reddit

Built a Python learning platform because I was bored of the existing options Hey everyone, I built PyTutor, a web app to learn Python by actually writing code from the first minute instead of watching videos. 60 challenges across 6 modules, a real Python editor in the browser (runs via Skulpt, no backend needed), a live variable inspector so you can see what your code is doing as it runs, and a certificate at the end. Built it with AI-assisted coding tools, which let me focus more on the

@DavidEstrine · X

@Olek_fast · X

@h_sellak · X

is voice practice for technical founders who run their own sales