SageBinder

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

This profile is from a federated server and may be incomplete. Browse more on the original instance.

[Well-Typed] The Haskell Unfolder Episode 17: circular programs (www.youtube.com)

A circular program is a program that depends on its own result. It may be surprising that this works at all, but laziness makes it possible if output becomes available sooner than it is required. In this final episode of 2023, which will be longer than usual (probably 45-60 minutes), we will take a look at several examples of...

SageBinder,

@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

Vittoria, to twitter
@Vittoria@mastodon.social avatar

deleted_by_author

    •
    SageBinder,

    @Vittoria https://mathstodon.xyz/public/local

    donwatkins, to random
    @donwatkins@fosstodon.org avatar

    Microsoft Outlook has to be the worst email client I've ever used. I'm forced to use it because an organization I am part of uses it. I'll take Gmail any day of the week over Outlook.

    SageBinder,

    @donwatkins I’m consistently astonished by Microsoft’s ability to produce the absolute worst, most user-unfriendly garbage. Like, if I’m already giving up my data, I’d at least like a product that doesn’t make me want to punch my computer screen.

    Em0nM4stodon, to programming

    Music Recommendation Request :ablobdj:​:

    I have been coding a lot this week
    and I think I have listened to the entirety of YouTube's "Programming Music" mixes :ablobcatbongokeyboard:​🎶

    Do you have any YouTube or ideally even PeerTube "Programming Music" mixes to recommend to me? 👀​

    Preferably something without lyrics, energetic but not like going to a club, and not slow like being in a spa 😅

    SageBinder,

    @Em0nM4stodon I’ve had great experiences doing math while listening to C418. I also like minimalism, particularly Steve Reich. Arvo Pärt is also a great minimalist, though his works can get a bit intense at times.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • kavyap
  • InstantRegret
  • GTA5RPClips
  • magazineikmin
  • mdbf
  • rosin
  • Youngstown
  • khanakhh
  • everett
  • slotface
  • thenastyranch
  • osvaldo12
  • DreamBathrooms
  • anitta
  • ngwrru68w68
  • ethstaker
  • modclub
  • cubers
  • cisconetworking
  • Durango
  • tacticalgear
  • tester
  • normalnudes
  • Leos
  • megavids
  • provamag3
  • lostlight
  • All magazines
    •