Alternatives
Products that do what Halmos does
Math forum the server can check
- 1MO
2017 · mathcha.io
- 2
- 3
- 4AU
2017 · github.com
- 5
- 6AD
2018 · dstatuspage.net
- 7
- 8
- 9SA
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.
Jul 2026 · prooftree.ai
- 10
- 11
- 12IB
You know that old TI calculator you used in high school, then put in a box and forgot about? Have you ever wished you had an operating system for your calculator with preemptive multitasking, dynamic memory management, a tree filesystem conforming to the FHS, and all the comforts of Unix? Well, good news: that's totally a thing that exists. I've been working on my kernel for about three and a half years now and I'm looking for new contributors to help out. It's written entirely in z80 assembly, and it's both challenging and fun to work on. There's an IRC channel for contributors or people…
2014
- 13MO
If AI got lucky or not, AI is surely going to assist in solving serious math problems. If you want to spend your resources/weekends contributing, this repository is full of math problems where you can add your thoughts (or proofs - for you Good Will Hunting type people) for others to build on it and we all together can try to change the world of math. I have already extended the research with manual proof of Jacobian Conjecture that was posted on Twitter (with attribution).
Jul 2026 · github.com
- 14LA
Hey HN! We built *lapisla*, a theorem proving platform designed to make formal proofs more open and collaborative. We developed a kernel, editor, proof registry, and platform ── all accessible directly in the browser. Why we built this: Existing theorem provers are powerful, but they often feel isolated and difficult to extend. Unlike modern programming languages, which thrive on package managers and shared libraries, theorem proving tools lack a seamless way to integrate others' work. lapisla aims to bridge this gap by: * Offering a verified public proof registry for sharing and discovering…
2025 · github.com
- 15CW
2015 · cadwolf.com
- 16GL
I've always dreamed about a project like that when looking at status boards at other companies. We finally had the time to do our own. Here are some photos: http://www.flickr.com/photos/robert_olejnik/sets/72157633736087905/ The stack: Django, mustache.js, Chart.js, Bootstrap and custom Supybot plugin. Maybe will be inspiration for someone else ;-) Do you guys have similar status boards? Cheers, Robert.
2013
- 17
- 18VA
2020 · verifact.io
- 19IB
2015 · statusdeck.com
- 20MS
@cmpyl Tweet a line of python at it (right now it works best with math) and it'll tweet back at you the return value. Ex: https://twitter.com/#!/cmpyl/status/186850674053615616 Pretty useless little bot but it will be cool to see what sort of wild one liners it finds.
2012
- 21MW
Hey HN check this really cool worlde-inspired project of a friend of mine. :)
2022 · mathle.bykiru.rocks
- 22IB
I created Cloud Looking Glass as a CS grad research project to build a better status page for public cloud platforms — independent and based on what users actually experience (in my experience, cloud providers tend to underreport events on public status pages). I modeled it as a time series problem: all tests are repeated every 5 minutes from three unrelated cloud accounts per platform (currently ~1,000 tests/min). The system provides full data plane, control plane, and networking coverage for AWS us-east-1, plus network testing across 25 other providers. Full coverage for GCP and Azure…
2025 · cloudlooking.glass
- 23WT
I've been lurking on HN for years. You know the drill: interesting headline, 200+ comments, you dive in thinking "I'll just skim for 5 minutes"... and an hour later you're 36 chambers deep in a thread about memory allocation patterns in Postgres and you've completely forgotten what the original article was about. I don't just want a "summary" (which usually just shortens the noise). I want the meta-consensus: "What is the actual trade-off being debated? Who is winning the argument? Why does this matter?" So I built HNSignals. Think of it less like a "summarizer" and more like a Chief of…
Jan 2026 · hnsignals.com
- 24AC
2016 · algebrarules.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →