Infinity Category Theory Offers a Bird’s-Eye View of Mathematics

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
Haskell mathematical-logic category-theory Research Functional programming

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

  • milewski-ctfp-pdf

    Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

    • MIT's 18.S097: Programming with Categories with Brendan Fong, Bartosz Milewski and David Spivak is great: http://brendanfong.com/programmingcats.html

    All lectrures from the course are in this playlist: https://www.youtube.com/playlist?list=PLhgq-BqyZ7i7MTGhUROZy...

    Milewski's free book Category Theory for Programmers is a "classic" as well https://github.com/hmemcpy/milewski-ctfp-pdf

    In general you can find lots of videos on youtube from talks given at various intrustry functional programming conferences that often help since they start from the industry programmer point of view rather than the pure maths one. E.g. A practical introduction to Category Theory for Scala devs https://www.youtube.com/watch?v=GNG3Gk9KsoI

  • path_semantics

    A research project in path semantics, a re-interpretation of functions for expressing mathematics

    • I had a similar feeling and recently came across a project that feels like it’s closer to the core as you suggest: https://github.com/advancedresearch/path_semantics

  • 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

  • reflect-cpp - Now with compile time extraction of field names from structs and enums using C++-20.

    9 projects | /r/cpp | 9 Dec 2023

  • Category Theory for Programming

    1 project | news.ycombinator.com | 6 Nov 2023

  • Polynomial Functors: A Mathematical Theory of Interaction [pdf]

    1 project | news.ycombinator.com | 9 Jul 2023

  • Monads vs Classes

    3 projects | /r/Clojure | 9 Jun 2023

  • 今天看到的，是真的离谱。

    1 project | /r/China_irl | 7 Jun 2023