@prof_safezone · X

Gambling on debate rounds with AI judges.

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.

@be_qrio · X

hackitup7 · HN

TLDR built a Chrome site blocker that lets you into distracting sites only after you do some math or simple coding (JS only right now). Direct link to extension (the site just gives you more context): https://chromewebstore.google.com/detail/sphinx-earn-your-di... Philosophically it's a speed bump rather than a hard gate, because you'll eventually tear a gate down but you'll leave a speed bump. I've always eventually removed site blockers, or just had them become a nuisance that I reflexively dismiss before getting to distracting sites. Site blockers don't really reduce the "start navigating to a distracting site" muscle memory, and they eventually just become annoying. Dopamine is a hell of a drug. At the same time, I've been getting frustrated that my intermediate/advanced math skills have atrophied, and becoming more senior in my career (plus AI...) has caused my coding skills to atrophy even further. Realistically I'm not going to force myself to do math or coding exercises aft

@aarsh_30 · X

@Akisin1 · X

Listen Like You Live

@syprayt · X

We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:

@AmitGajbhare · X

We build - a modern typing platform that helps people improve typing speed and accuracy with AI-powered practice, real-time feedback, progress tracking

@TechPriest_001 · X

@deebee230730 · X

u/hsarp19 · Reddit

I built a personal AI that calls me every week I spent a good part of the last several months trying to build a personal AI that feels like a contact on your phone and not another chatbot. A normal contact 'exists' even when you close the conversation. They remember you, respond when you message, message first, and sometimes call. I wanted to see how closely an AI could work like that, because a contact is an interface people already understand; there's nothing new to learn. What this h

robot1996 · HN

AI Coloring Page Generator for printable classroom worksheets