The Mathematical Hacker (2012)
evanmiller.org
The Mathematical Hacker (2012)
1–10 of 186 posts
Re: The Mathematical Hacker (2012)
#2Re: The Mathematical Hacker (2012)
#3There is nothing inherently wrong with the "Fortran" approach. Sometimes, it is necessary. But it's clear that the Lisp-style solution is always preferable unless proven inadequate for the problem at hand.
Re: The Mathematical Hacker (2012)
#4Re: The Mathematical Hacker (2012)
#5Fixed points go by many names like invariance, spectra, diagonalization, embedding, braids etc.
By fixed point I mean something like the "Lawvere's fixed point theorem". https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore...
I have a braindump on this https://github.com/adamnemecek/adjoint
I also have a discord https://discord.gg/mr9TAhpyBW
Re: The Mathematical Hacker (2012)
#6I think that the most important idea of math, programming, physics etc is the idea of fixed points which is predicated on the idea of nilpotence. Fixed points go by many names like invariance, spectra, diagonalization, embedding, braids etc. By fixed point I mean something like the "Lawvere's fixed point theorem". https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore... I have a braindump on this https://githu…
Re: The Mathematical Hacker (2012)
#7I think that the most important idea of math, programming, physics etc is the idea of fixed points which is predicated on the idea of nilpotence. Fixed points go by many names like invariance, spectra, diagonalization, embedding, braids etc. By fixed point I mean something like the "Lawvere's fixed point theorem". https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore... I have a braindump on this https://githu…
Re: The Mathematical Hacker (2012)
#8I think that the most important idea of math, programming, physics etc is the idea of fixed points which is predicated on the idea of nilpotence. Fixed points go by many names like invariance, spectra, diagonalization, embedding, braids etc. By fixed point I mean something like the "Lawvere's fixed point theorem". https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore... I have a braindump on this https://githu…
Corrected link: https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore...
Re: The Mathematical Hacker (2012)
#9> Math is a lot easier to pick up after you know how to program. In fact, if you're a halfway decent programmer, you'll find it's almost a snap.
This couldn’t be more wrong. Mathematics is the hardest thing I have ever done. I’m sorry, but mathematics is orders of magnitude more intensive and difficult than most programming. A simple fact that shows this is the amount of programmers who have no formal training in engineering or computer science but we’re able to self-teach the concepts. The same cannot be said of mathematics, which requires deep, dedicated study. Most programmers I know know very little mathematics, and it’s not like I’d claim I know a lot either. I’ve forgotten more than I know.
He even mentions how little math he took, so I’m not sure he’s an authority on the subject. Most of his post is just surface level platitudes. I’m generally confused why I see his posts referenced so frequently.
To be clear, this isn't some attempt at gatekeeping. It's just that mathematics is a very deep, difficult, and misunderstood subject. I think maybe only true philosophy is harder because there, it's usually not even clear what the questions are.