Show HN: Social and context-aware AI platform to do math https://ift.tt/KxE4rlM

Show HN: Social and context-aware AI platform to do math 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. https://ift.tt/me5lb7v July 6, 2026 at 12:06AM

Show HN: Osint tool that finds exposed files on domains https://ift.tt/i8AguaF

Show HN: Osint tool that finds exposed files on domains hey guys, wanted to show one of my side projects i just made public. the idea is basically another osint tool for pentesters and bug bounty hunters. it watches certificate transparency logs and checks newly-seen domains for exposed stuff like .env files, open .git dirs, config files, db dumps and so on, and puts whatever it finds into a searchable db. you just search a domain (or part of one) and see what's exposed. it's read-only and free. one thing i've been thinking about adding is a way to register for certain keywords and get notified when something new shows up for that search. would love to hear if you have other ideas for useful features, and also ideas for how to reduce abuse of the data, since that's the part i'm least sure about. https://ift.tt/J0SZCn2 https://ift.tt/J0SZCn2 July 6, 2026 at 12:24AM

Show HN: Meon – declarative flat-parsing engine (SoA, no AST) https://ift.tt/cMNjsg8

Show HN: Meon – declarative flat-parsing engine (SoA, no AST) https://ift.tt/ANGIb6K July 5, 2026 at 09:43PM

Show HN: I built an encrypted BLE dongle for pasting stuff to air-gapped devices https://ift.tt/ZbKY7G3

Show HN: I built an encrypted BLE dongle for pasting stuff to air-gapped devices Definitely one of those "20 minute adventure gone wrong" projects where all I wanted initially was a quick wireless rubber ducky for bitlocker keys and the like and then I kept adding stuff like AES-256..... Currently working on adding WebAuthn/FIDO support because the hardware is already there and scope creep is a lifestyle at this point. Would love feedback, especially on the security side. Repo and PCB files are fully open source. https://ift.tt/PuEqtkY July 5, 2026 at 01:13AM

Show HN: Gemma 3 inference in pure C++ with Metal acceleration https://ift.tt/PbZGLvc

Show HN: Gemma 3 inference in pure C++ with Metal acceleration https://ift.tt/InLSz8D July 4, 2026 at 07:54PM

Show HN: Topics, Not Feeds https://ift.tt/nIORZyY

Show HN: Topics, Not Feeds https://blogsreader.com July 3, 2026 at 11:49PM

Show HN: Kontext – Move an AI chat's full context to another AI in one click https://ift.tt/c6G30TS

Show HN: Kontext – Move an AI chat's full context to another AI in one click https://ift.tt/OwkLerB July 3, 2026 at 11:27PM