Writing math proofs in comic/dialouge form

This page summarizes the projects mentioned and recommended in the original post on /r/math

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • xkcd-font

    The xkcd font

    • The font, or your handwriting, is questionable for math as math requires high symbolic rigor. XKCD's author is very rigorous about kerning, and occasionally makes jokes about it. You might split the difference with XKCD's font or some other clean "handwriting" font. (This was the original purpose of Comic Sans, however that font has been derided into meme-fodder.)

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Access LLMs from the Command Line

    1 project | news.ycombinator.com | 21 May 2024

  • iTerm2 and AI Hype Overload

    6 projects | news.ycombinator.com | 21 May 2024

  • Elia, A snappy, keyboard-centric terminal UI for interacting with LLM

    1 project | news.ycombinator.com | 21 May 2024

  • OmniGlue: Generalizable Feature Matching with Foundation Model Guidance

    1 project | news.ycombinator.com | 21 May 2024

  • Knowledge Base Support for the Generic Bedrock Agent Test UI

    1 project | dev.to | 21 May 2024