@julesh category theory (and abstract algebra generally iirc) has been considered Jewish science for a long time already by the Nazis. We should be proud of this!
Notices by Jade Master (jademastermath@mathstodon.xyz)
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Thursday, 23-Jan-2025 22:08:56 JST Jade Master
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Wednesday, 22-Jan-2025 19:42:49 JST Jade Master
May I offer you a cat picture in this trying time
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Monday, 20-Jan-2025 21:57:08 JST Jade Master
@julesh then it's too late for you
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Thursday, 16-Jan-2025 06:50:22 JST Jade Master
Latest on why would you do this
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Wednesday, 15-Jan-2025 23:16:37 JST Jade Master
@julesh this Gwen Stefani lyric seems unfamiliar
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Tuesday, 14-Jan-2025 22:19:48 JST Jade Master
@julesh That is actually my goal but I don't have it quite figured out yet
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Tuesday, 14-Jan-2025 22:12:22 JST Jade Master
https://gitlab.com/-/snippets/4794487
I'm sick with a cold and for some reason I wrote this
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Tuesday, 14-Jan-2025 21:27:30 JST Jade Master
Very proud of this new blog post from @Andrev Can we generalize compilers?
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Monday, 30-Dec-2024 01:22:19 JST Jade Master
@julesh why did you learn python?
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Saturday, 14-Dec-2024 22:21:11 JST Jade Master
@julesh I'm glad that we're using jists now btw, I think they're nice
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Thursday, 12-Dec-2024 02:19:23 JST Jade Master
@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...
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Thursday, 12-Dec-2024 02:04:07 JST Jade Master
@julesh But if you show me the code it reminds you of I'd love to compare :P
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Thursday, 12-Dec-2024 01:59:53 JST Jade Master
@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?
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Thursday, 12-Dec-2024 01:11:02 JST Jade Master
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
-
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Wednesday, 11-Dec-2024 02:30:23 JST Jade Master
@julesh I mean the royal family for example lol
In conversation from mathstodon.xyz permalink -
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Monday, 02-Dec-2024 19:36:05 JST Jade Master
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?
In conversation from mathstodon.xyz permalink -
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Sunday, 01-Dec-2024 21:59:08 JST Jade Master
@julesh yeah...I am working on it haha
In conversation from mathstodon.xyz permalink -
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Sunday, 01-Dec-2024 10:03:10 JST Jade Master
@julesh imo the metatheory is category theory
In conversation from mathstodon.xyz permalink -
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Monday, 04-Nov-2024 18:09:20 JST Jade Master
@julesh @sc_griffith look at that pillar though. Pure class
In conversation from mathstodon.xyz permalink -
Embed this notice
Jade Master (jademastermath@mathstodon.xyz)'s status on Friday, 01-Nov-2024 16:51:03 JST Jade Master
@julesh *freud voice* but what do the buildings symbolise about your mother
In conversation from mathstodon.xyz permalink