[HN Gopher] My Path to Magma ___________________________________________________________________ My Path to Magma Author : lukastyrychtr Score : 10 points Date : 2021-12-04 21:17 UTC (1 hours ago) (HTM) web link (blainehansen.me) (TXT) w3m dump (blainehansen.me) | kjhughes wrote: | The Magma name appears to require disambiguation: | | His Magma programming language | (https://github.com/blainehansen/magma): | | _The goal of this project is to: create a programming language | and surrounding education /tooling ecosystem capable of making | formal verification and provably correct software mainstream and | normal among working software engineers._ | | Magma computer algebra system (https://en.wikipedia.org/wiki/Magm | a_(computer_algebra_system...): | | _Magma is a computer algebra system designed to solve problems | in algebra, number theory, geometry and combinatorics. It is | named after the algebraic structure magma. It runs on Unix-like | operating systems, as well as Windows._ | CJefferson wrote: | I was just about to post the same thing. I don't like picking | on things like names, but the "old magma" is still very popular | in mathematics. ___________________________________________________________________ (page generated 2021-12-04 23:00 UTC)