@duplode@mathstodon.xyz
@duplode@mathstodon.xyz avatar

duplode

@duplode@mathstodon.xyz

Haskell hacker and Stunts racer. Fascinated by category theory. Enjoys logic, PLT, and philosophy from both sides of the divide. Brasileiro. He/him

#haskell #retrogaming #CategoryTheory

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

duplode, to retrogaming
@duplode@mathstodon.xyz avatar

Some new custom cars for Stunts: Alan Rotoi's second trio of muscle cars has been released! Chevrolet Camaro x Ford Mustang Shelby GT500 x AMC Javelin. Here is a presentation video showing them in action: https://www.youtube.com/watch?v=GvRvO25nGRU #stunts #retrogaming #dos

BoydStephenSmithJr, to haskell
@BoydStephenSmithJr@hachyderm.io avatar

Anyone in my (or other, I guess) circles in charge of www.cs.nott.ac.uk ? It was working yesterday, but it keeps timing out (for me) today.

I need to re-read the section of blampied-thesis.pdf on the prefix functor, and especially how it works when the non-uniform type is self-nested in interesting ways.

Trying to do a "project :: t -> f t" and keep getting hung up on the Scope-modified recursions.

Alternatively, is that thesis available elsewhere? I searched, but haven't found.

duplode,
@duplode@mathstodon.xyz avatar
kissane, to random
@kissane@mas.to avatar

A few weeks back I encountered a FOSS guy here explaining that when he sees open source devs ask for money, he blocks them and then stops using their code because they're morally wrong and he only wants to work with tools made by people who are doing the work for the right reasons. (I'm paraphrasing to avoid indexing the post.)

I've resisted writing about it because I'm slammed, but the question I can't shake is: Who benefits from the ideology of "pure" volunteerism?

duplode,
@duplode@mathstodon.xyz avatar

@AmeliaBR @kissane Yeah, amateurism and professionalisation in sports was the first thing this reminded me of. (Though in that historical case there very much was a class fault line underlying the dispute.)

duplode,
@duplode@mathstodon.xyz avatar

@cercerilla I got my first taste of programming at uni, by doing some scientific computing and then taking a couple CS electives. One day not long after that, while was wikiwandering through articles on programming languages, the notion of functional programming caught my eye. I played a bit with the interpreter at tryhaskell.org, and soon enough was working my way through the Haskell Wikibook, amazed at the clarity of expression afforded by language and paradigm. Having fun with FP ever since :)

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