100
Show HN: GS-Calc – A modern spreadsheet with Python integration
Process large (e.g. 4GB+) data sets in a spreadsheet.Load GB/32 million-row files in seconds and use them without any crashes using up to about 500GB RAM.Load/edit in-place/split/merge/clean CSV/text files with up to 32 million rows and 1 million columns.Use your Python functions as UDF formulas tha…
121
Show HN: Formalizing Principia Mathematica using Lean
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formal…
101
Show HN: A modern spreadsheet with Python integration
Process large (e.g. 4GB+) data sets in a spreadsheet.Load GB/32 million-row files in seconds and use them without any crashes using up to about 500GB RAM.Load/edit in-place/split/merge/clean CSV/text files with up to 32 million rows and 1 million columns.Use your Python functions as UDF formulas tha…