GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by Jade Master (jademastermath@mathstodon.xyz)

  1. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Thursday, 23-Jan-2025 22:08:56 JST Jade Master Jade Master
    in reply to
    • julesh

    @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!

    In conversation about 4 months ago from mathstodon.xyz permalink
  2. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Wednesday, 22-Jan-2025 19:42:49 JST Jade Master Jade Master

    May I offer you a cat picture in this trying time

    In conversation about 4 months ago from mathstodon.xyz permalink

    Attachments


    1. https://media.mathstodon.xyz/media_attachments/files/113/871/413/346/480/827/original/b79dd2cac80a581c.jpg
  3. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Monday, 20-Jan-2025 21:57:08 JST Jade Master Jade Master
    in reply to
    • julesh

    @julesh then it's too late for you

    In conversation about 4 months ago from mathstodon.xyz permalink
  4. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Thursday, 16-Jan-2025 06:50:22 JST Jade Master Jade Master

    Latest on why would you do this

    In conversation about 4 months ago from mathstodon.xyz permalink

    Attachments


    1. https://media.mathstodon.xyz/media_attachments/files/113/834/498/321/757/855/original/d92e4292c89d97b9.png
  5. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Wednesday, 15-Jan-2025 23:16:37 JST Jade Master Jade Master
    in reply to
    • julesh

    @julesh this Gwen Stefani lyric seems unfamiliar

    In conversation about 4 months ago from mathstodon.xyz permalink
  6. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Tuesday, 14-Jan-2025 22:19:48 JST Jade Master Jade Master
    in reply to
    • julesh

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

    In conversation about 4 months ago from mathstodon.xyz permalink
  7. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Tuesday, 14-Jan-2025 22:12:22 JST Jade Master Jade Master

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

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

    In conversation about 4 months ago from mathstodon.xyz permalink

    Attachments


  8. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Tuesday, 14-Jan-2025 21:27:30 JST Jade Master Jade Master

    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

    In conversation about 4 months ago from mathstodon.xyz permalink
  9. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Monday, 30-Dec-2024 01:22:19 JST Jade Master Jade Master
    in reply to
    • julesh

    @julesh why did you learn python?

    In conversation about 5 months ago from mathstodon.xyz permalink
  10. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Saturday, 14-Dec-2024 22:21:11 JST Jade Master Jade Master
    in reply to
    • julesh

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

    In conversation about 6 months ago from mathstodon.xyz permalink
  11. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Thursday, 12-Dec-2024 02:19:23 JST Jade Master Jade Master
    in reply to
    • julesh

    @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...

    In conversation about 6 months ago from mathstodon.xyz permalink
  12. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Thursday, 12-Dec-2024 02:04:07 JST Jade Master Jade Master
    in reply to
    • julesh

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

    In conversation about 6 months ago from mathstodon.xyz permalink
  13. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Thursday, 12-Dec-2024 01:59:53 JST Jade Master Jade Master
    in reply to
    • julesh

    @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 conversation about 6 months ago from mathstodon.xyz permalink
  14. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Thursday, 12-Dec-2024 01:11:02 JST Jade Master 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

    In conversation about 6 months ago from mathstodon.xyz permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: github.githubassets.com
      Multivariable linear differential equation solving in Idris2
      from Jademaster
      Multivariable linear differential equation solving in Idris2
  15. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Wednesday, 11-Dec-2024 02:30:23 JST Jade Master Jade Master
    in reply to
    • julesh

    @julesh I mean the royal family for example lol

    In conversation about 6 months ago from mathstodon.xyz permalink
  16. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Monday, 02-Dec-2024 19:36:05 JST Jade Master 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 about 6 months ago from mathstodon.xyz permalink
  17. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Sunday, 01-Dec-2024 21:59:08 JST Jade Master Jade Master
    in reply to
    • julesh

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

    In conversation about 6 months ago from mathstodon.xyz permalink
  18. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Sunday, 01-Dec-2024 10:03:10 JST Jade Master Jade Master
    in reply to
    • julesh

    @julesh imo the metatheory is category theory

    In conversation about 6 months ago from mathstodon.xyz permalink
  19. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Monday, 04-Nov-2024 18:09:20 JST Jade Master Jade Master
    in reply to
    • 🐙🐇🐝Pointed Sarah🐞🐡🐧
    • julesh

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

    In conversation about 7 months ago from mathstodon.xyz permalink
  20. Embed this notice
    Jade Master (jademastermath@mathstodon.xyz)'s status on Friday, 01-Nov-2024 16:51:03 JST Jade Master Jade Master
    in reply to
    • julesh

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

    In conversation about 7 months ago from mathstodon.xyz permalink
  • Before

User actions

    Jade Master

    Jade Master

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          94983
          Member since
          4 Feb 2023
          Notices
          22
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.