Otherwise the seminar was super cool, relating hausdroff dimension to continued fractions on a type of numbers basically kinda

*inactive

hmm as a moroccan with my family origins from the western sahara, it appears to many people here (which is fair bc bias) that she might have not read that much about the conflict and was too quick to point out fingers! i understand that i am biased tho!

i need to remove some from the list of images bc they're not as readable, and tweak some things but it's fun me thinks lool

this is so cool!

goood luckk!!!

this is so true, i've actually first encountered the annoying part of rust first and it made me not try the language, until a few months ago when i got to talk to the cool peeps :3

there are other languages like lean that have that goal in mind with different cool stuff around them, rocq(previously coq), and agda ...!

good morning!!

i am trying to get into it and even tho i'm not afraid of abstraction/symbols, it was a bit too much for me at first ;-;

very pretty!

words in the street told me it's true and you will!

yeah emacs has artist mode that does that! tho for this to work i think i need to make a minor mode that uses artist mode kind of layer with 100% transparency and org mode on the background, it's not a big priority but i def will try to make it work

and when u save the file, it'd save both the doodle png/svg and the org, and opens again as both kinda workflow idk will figure it out