@anindiandev · X

yusveng · HN

Workaround – Unstar GitHub Repos in Bulk

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.

@Ex3NDR · X

Few days ago Happy had a birthday. Tried to refresh one of the most neglected part of it: our Happy Website: also i built a new harness called “rig”. i started to use at work recently instead of codex/claude code and i liked how it does work. i want to share this with everyone. it is a codex and cause code reimplemented using Pi, but keeping native prompts and expanded a little for uniformity (like added workflows to codex yay!). when something new released that is worthy of porting - i ask Sol to mim for prompts or read sources directly and i can have a feature within an hour. why this is needed? i was constantly blocked by the needing of integrating a lot of models together, which each has their own harness or many doesn’t have any, but i didn’t want to go too far from native and don’t like the idea of extensions - i want experience to be the same everywhere. i think configuration > extensions. more soon

@SupportFixzi · X

Building an API monitoring tools which allows you to know when your AI breaks, before your users do. It has an API monitoring tool and an AI schema validator in it. This is a solution that can ensure your customers trust your app.

@Brokefixflip · X

This site will print you money

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

@7spiritz · X

Check out what I just built with Lovable!

@ResolveX_ · X

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

@Galliard232634 · X

Come study with me on

@cultkoushik · X

A problem warehouse for creators

@Umitech_AU · X

AI photo restoration without the AI slop.