overview for cockmushroom

Trump feels ‘very badly’ for British royal family after Prince Andrew was stripped of titles in c/politics@lemmy.world

[–] cockmushroom@reddthat.com 2 points 12 hours ago

@americans

why does your president talk like a first order markov kernal undergoing data races?

What's a song in a language you don't speak that still gets you dancing and yelling along hyped? in c/asklemmy@lemmy.world

[–] cockmushroom@reddthat.com 1 points 6 days ago

Scott & Zelda by Bibi

These are your only alternatives. in c/lemmyshitpost@lemmy.world

[–] cockmushroom@reddthat.com 7 points 2 weeks ago (1 children)

I will eat cereal out of a cheesy foreskin before I assent to any such decision

Arch users on their way to install Ubuntu after... in c/linuxmemes@lemmy.world

[–] cockmushroom@reddthat.com 2 points 2 weeks ago

If it's not Void, it's not Linux.

I'm getting started with functional programming, which language would you recommend? in c/programming@programming.dev

[–] cockmushroom@reddthat.com 1 points 1 month ago

I've only used one, and I'm only mentioning it since nobody else has, but I recommend Lean; moreso as a second functional language if you want to build stuff as opposed to just learn the paradigm. It's mostly used in maths because it supports dependent types, but it was fine for writing simple scripts, and it can be easily compiled to binary formats. I don't like the package management system and toolchain complexity, but most languages kinda suck at that, imo.