News for hackers. Stuff that matters.
Re:Lemma for the Fundamental Theorem of Galois Theory by Bayes7 on Saturday March 15, 2025 @12:26PM (#43373503)
Would you mind sharing how it turned out useful?
Re:Lemma for the Fundamental Theorem of Galois Theory by nextts on Sunday March 16, 2025 @01:58AM (#43377165)
Curious too. It feels like the maths parts of programming are the hobby (proof checkers, Haskell) and the cranking out Go/JS etc is the paid bit. I studied maths but never used more than high school level at work.