Fork me on GitHub
#off-topic
<
2021-02-17
>
Stuart18:02:36

when making a new date year and day is sane, but months are zero based...

dpsutton18:02:41

Good explanation of how that came to be

noisesmith20:02:12

to this day arrow keys are not part of character sets, but rather are hard coded escape codes for terminal(emulator)s

roninhacker22:02:16

kind of a weird question, but: anyone know of an equation editor that lets you manipulate expressions with the same facility as paredit lets you deal with sexprs?

roninhacker22:02:16

Like, that treats equations as trees, rather than strings?

andy.fingerhut22:02:28

I doubt that "with the same facility" applies to my examples, but MS Word has (or had in some version) an math equation editor that was kinda WYSIWIG and structural. I forget whether LyX does, but it might.

jkrasnay22:02:12

The Wikipedia page on MathML shows an s-expression version of a MathML equation: https://en.wikipedia.org/wiki/MathML

roninhacker22:02:11

Yeah, I'm explicitly being spoiled here: I want to do this stuff by muscle memory. It seems like there's a million-and-a-half things for authoring math, but very little for actually doing it.

respatialized14:02:10

Obligatory link to Alan Kay's incredible talk Doing With Images Makes Symbols: http://www.archive.org/details/AlanKeyD1987 > Only a few, out of the hundred, claimed to use mathematical symbology at all. Quite a surprise. All of them said they did it mostly in imagery or figurative terms. An amazing 30% or so, including Einstein, were down here in the mudpies [doing]. Einstein's deposition said, "I have sensations of a kinesthetic or muscular type." Einstein could feel the abstract spaces he was dealing with, in the muscles of his arms and his fingers... > > The sad part of [the doing -> images -> symbols] diagram is that every child in the United States is taught math and physics through this [symbolic] channel. The channel that almost no adult creative mathematician or physicist uses to do it... They use this channel to communicate, but not to do their thing.

roninhacker22:02:56

I figured if anyone would know it'd be clj community, ha

andy.fingerhut23:02:12

Like symbolic algebra simplification / integrals /etc like Mathematica and several open source packages can do?

roninhacker23:02:53

maybe? I haven't opened Mathematica in a while, but I remember being disappointed

roninhacker23:02:21

but, like, idk, let me go see

borkdude23:02:22

Maybe take a look at https://github.com/sicmutils/sicmutils for inspiration

roninhacker23:02:47

hmm, sicmutils itself isn't what I'm looking for I think, but it looks like there might be some pieces of interest inside of it, thanks

roninhacker23:02:54

also, tyvm for sci @borkdude

👍 1
hiredman23:02:12

depending on what you mean by "doing math" https://github.com/latte-central/LaTTe might be interesting as well

respatialized14:02:10

Obligatory link to Alan Kay's incredible talk Doing With Images Makes Symbols: http://www.archive.org/details/AlanKeyD1987 > Only a few, out of the hundred, claimed to use mathematical symbology at all. Quite a surprise. All of them said they did it mostly in imagery or figurative terms. An amazing 30% or so, including Einstein, were down here in the mudpies [doing]. Einstein's deposition said, "I have sensations of a kinesthetic or muscular type." Einstein could feel the abstract spaces he was dealing with, in the muscles of his arms and his fingers... > > The sad part of [the doing -> images -> symbols] diagram is that every child in the United States is taught math and physics through this [symbolic] channel. The channel that almost no adult creative mathematician or physicist uses to do it... They use this channel to communicate, but not to do their thing.