Fork me on GitHub
#clojure-europe
<
2024-07-27
>
ray06:07:44

Good morning

1
🌳 3
💚 2
☀️ 1
reefersleep17:07:54

I'm often interested in digital applications of mathematically-founded algorithms, but when I go to read about them in some paper or Wikipedia or whatever, I give up because I can't read the mathematical notation. I was not good at advanced maths in school, but I feel like I could understand the reasoning now, if only I could parse the arguments. Is there a good lookup guide for mathematical notation? Or a good tutorial or whater. Examples of the notation I'm talking about; https://wikimedia.org/api/rest_v1/media/math/render/svg/c392e9197f93e4385350c862d6b9df90de376173 the big E type symbol here

daveliepmann17:07:24

there is definitely an excellent "math notation in javascript" github repo out there

daveliepmann17:07:49

i can't look at the project without thinking it would be cool to see it in a lisp

💯 1
reefersleep19:07:25

That's brilliant, thank you! 🙌 🙌 🙌 Now I know what Sigma is!

💯 1
teodorlu17:07:44

To make things harder, math notation can sometimes be ambiguous—you have to guess a bit from context to understand what’s meant. Sussman and Wisdom write a bit about this in Structure and Interpretation of Classical Mechanics. Attached screenshot is from https://tgvaughan.github.io/sicm/preface.html. Perhaps not super relevant to your question—just a note that if you approach the notation with a “programming-language-like rigor”, you may be disappointed that a piece of notation was just vague and impossible to interpret!

teodorlu17:07:59

If you want more Clojure-flavoured math, https://emmy.mentat.org/ is also worth looking into!

☝️ 1
slipset17:07:51

Guy Steele has a talk about this, from a conj? Yup https://youtu.be/dCuZkaaou0Q?feature=shared

👀 1
teodorlu17:07:50

Isn’t Steele’s talk mostly about notation in theoretical computer science?

slipset17:07:46

True, but I would guess some of it holds true for math?

teodorlu17:07:39

Sure, there are probably lots of similarities!

reefersleep17:07:39

Thanks for the tip on vagueness, @U3X7174KS . I will blame any confusion on my part on bad notation hygiene in the math papers 😁

😄 1
reefersleep17:07:25

Imagine being Professor Wisdom 🧠

teodorlu18:07:27

Yeah, blame the matematicians! 😄

reefersleep18:07:33

@U3X7174KS thank you for the reminder about Emmy, I was amazed at the talk about it and never got around to doing anything with it.

reefersleep18:07:12

So many things I wish I had time for 🧠 ⌛

plus_one 2
teodorlu18:07:00

the perils of infinite opportunities!

reefersleep18:07:01

I feel like this is especially perilous for programmers. Other creative domains are much more constricted by physical limitations, but our playgrounds and array of implementable "business" domains, even on lowly consumer grade laptops, are virtually infinite.

plus_one 1
reefersleep18:07:27

Plus, you can expand into the physical domain with electronics, robotics, 3d printing, plotting etc

reefersleep18:07:40

The FOMO is real 😬 🤓

reefersleep18:07:14

@U05092LD5 the project seems abandoned, I wrote the creator about his feelings re: forking/copying

nice 1
reefersleep17:07:44

There are more examples, I don't have them at hand