Skip Navigation
InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)SA
Sage @mathstodon.xyz

Graduated from Arizona State University with a B.S. in mathematics and a minor in philosophy. Incoming UIowa CS PhD student, with an interest in formalizing mathematics and developing proof assistants.

Posts 0
Comments 2
[Well-Typed] The Haskell Unfolder Episode 17: circular programs

  • @jaror Not sure if this is directly related to circular programs, but you may be interested in Aaron Stump’s work on DCS: https://gitlab.com/astump97/dcs/-/blob/main/talks/upenn-fall2023/upenn-talk.pdf?ref_type=heads

    •
    Microsoft starts to improve VS code for Unity good news for Unity 3D on Linux

  • @Surreal @bikesarethefuture and all of JetBrains’ IDEs, including Rider, are completely free for students