nowfound

Life & fun · August 1, 2025

The Math Tree

The Math Tree: Unlock the Structure of Mathematics.

The Math Tree launched on August 1, 2025 with 6 votes. The site was still online in September 2026, 1 year on.

Visit themathtree.net ↗The Math Tree alternatives

What it does

Make the connections in The Math Tree Beta! See math like never before: fully formalized, visual, & navigable. The Math Tree is a fully formalized graph database of math where every theorem, definition, and equation is a node and their relations are edges.

Explore the full landscape of mathematics. The Math Tree is a navigable map of definitions, theorems, and proofs, built for students, researchers, and anyone who wants to trace ideas to their roots and follow them to the frontier.

Does a similar job

all alternatives →

More life & fun this month

the category →

Source: Product Hunt launch ↗

Launched alongside, August 2025

the whole month →
  • Trace▲1,555

    Workflow Automations for the Human 👾 AI Workforce

    AI · 2025 · trace.so

  • I spent 6 years building a ridiculous wooden pixel display▲1,145

    I built the world's most impractical 1000-pixel display and anyone in the world can draw on it. It draws a single pixel at a time and takes 30-60 minutes to complete a single image. Anyone can participate in the project by voting for the next image to be drawn, and submitting images. https://kilopx.com/

    Work · 2025 · benholmen.com

  • Indy AI by Contra▲1,070

    Job boards are dead. Your network is alive

    AI · 2025 · contra.com

  • Kitten TTS – 25MB CPU-Only, Open-Source TTS Model▲1,003

    Kitten TTS is an open-source series of tiny and expressive text-to-speech models for on-device applications. We are excited to launch a preview of our smallest model, which is less than 25 MB. This model has 15M parameters. This release supports English text-to-speech applications in eight voices: four male and four female. The model is quantized to int8 + fp16, and it uses onnx for runtime. The model is designed to run literally anywhere eg. raspberry pi, low-end smartphones, wearables, browsers etc. No GPU required! We're releasing this to give early users a sense of the latency and voices…

    AI · 2025 · github.com

  • I was curious about spherical helix, ended up making this visualization▲865

    I was wondering how I can arrange objects along a spherical helix path, and read some articles on it. I ended up learning about parametric equations again, and make this visualization to document what I learned: https://visualrambling.space/moving-objects-in-3d/ feel free to visit and let me know what you think!

    Life & fun · 2025 · visualrambling.space

  • The current sky at your approximate location, as a CSS gradient▲788

    For HTML Day 2025 [1], I made a web service that displays the current sky at your approximate location as a CSS gradient. Colours are simulated on-demand using atmospheric absorption and scattering coefficients. Updates every minute, without the use of client-side JavaScript. Source code and additional information is available on GitHub: https://github.com/dnlzro/horizon [1] https://html.energy/html-day/2025/index.html

    Dev tools · 2025 · sky.dlazaro.ca