Ericson2314/baccumulation
View on GitHub ↗ ★ 43
7 mentions on Hacker News by 1 person: 5 stories, 2 comments · first 2023-12-25 · latest 2025-03-27
20082026
-
> CSV is dynamically typed No, CSV is dependently typed. Way cooler ;) I wrote something about this https://github.com/Ericson2314/baccumulation/blob/main/datab...
comment by Ericson2314 · 2025-03-27 · in A love letter to the CSV format -
You might be more interested in the linked page on proper multiplicative calculus then, https://github.com/Ericson2314/baccumulation/blob/main/math/... . That, in turn, is mostly just a retelling of doi:10.1016/j.jmaa.2007.03.081 I submit…
comment by Ericson2314 · 2025-01-08 · in Multiplicative Infinitesimals