[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)