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 -
▲ 3
Database Uniqueness and Combinatorial Topologystory by Ericson2314 · 2025-02-04 · 0 comments
-
▲ 8
Hierarchical CSVstory by Ericson2314 · 2025-01-31 · 0 comments
-
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 -
▲ 83
Multiplicative Infinitesimalsstory by Ericson2314 · 2025-01-08 · 44 comments
-
▲ 1
Refining the Basic Mathematics of Economics and Accountingstory by Ericson2314 · 2024-11-18 · 1 comment
-
▲ 158
Reforming Unixstory by Ericson2314 · 2023-12-25 · 94 comments