Notices by Jade Master (jademastermath@mathstodon.xyz)

Latest on why would you do this

@julesh this Gwen Stefani lyric seems unfamiliar

@julesh That is actually my goal but I don't have it quite figured out yet

https://gitlab.com/-/snippets/4794487

I'm sick with a cold and for some reason I wrote this

Very proud of this new blog post from @Andrev Can we generalize compilers?

https://glaive-research.org/software%20engineering/dependent%20types/compiler/2025/01/13/program-pipelines.idr.html

@julesh why did you learn python?

@julesh I'm glad that we're using jists now btw, I think they're nice

@julesh wow, I am impressed this kinda thing is so revered. Iirc that paper does a *lot* more than the code I wrote.. the main thing was some sort of characterization of Taylor's theorem using streams? I don't have anything close that yet...

@julesh But if you show me the code it reminds you of I'd love to compare :P

@julesh I'm not aware of that trick, I made this up myself just by following Euler's method for solving a diffeq. Maybe the one fancy-ish thing that they also did is the the use of streams to represent solutions?

In case you were curious, here's what it looks like to solve differential equations in Idris2 (it is so concise huh) https://gist.github.com/Jademaster/242d53a9070d55b790b5c15e0db22a4a

@julesh I mean the royal family for example lol

And now I've received an invitation to be on the PC for ACT in Florida... I love the ACT community but I'm not sure why I should contribute to an event that I can't possibly attend? They haven't mentioned anything about hybrid yet but part of me wants to not help out on principle? Idk what are other people doing?

@julesh yeah...I am working on it haha

@julesh imo the metatheory is category theory

@julesh @sc_griffith look at that pillar though. Pure class

@julesh *freud voice* but what do the buildings symbolise about your mother

Here to say that I'm leaving academia because I've got a job as a developer.

Hopefully I'll still be able to do as much mathematics as I like...just without all the pressure.

Stay in touch <3

@zanzi Tool rental company lol