[-] kronicmage@lemmy.ca 26 points 8 months ago

This is referencing Philip Wadler's 1989 paper "Theorems for Free", which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf

[-] kronicmage@lemmy.ca 2 points 8 months ago

This is referencing Philip Wadler's 1989 paper "Theorems for Free", which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf

[-] kronicmage@lemmy.ca 2 points 11 months ago

23 year old Nix user...

[-] kronicmage@lemmy.ca 3 points 1 year ago

This joke is out of this world

1
submitted 1 year ago by kronicmage@lemmy.ca to c/uwaterloo@lemmy.ca

How have you all been spending your Canada day?

[-] kronicmage@lemmy.ca 4 points 1 year ago

smbc robot comics, true classic genre

[-] kronicmage@lemmy.ca 4 points 1 year ago

What a coincidence

1

My first language was Racket and so naturally I gravitated to the lispy untyped functional programming style even when I was using languages like Python or Java, but when I tried Haskell for the first time my mind was absolutely blown and I was a convert ever since. What are your thoughts?

2

I have some downtime between jobs and I was wondering which of these two games you would all recommend if I only had time for one?

1
submitted 1 year ago by kronicmage@lemmy.ca to c/uwaterloo@lemmy.ca

Title: Another Goose Attack Survivor - When Will The Madness End?

Just got ambushed on my way back from MC (Mathematics & Computer Building). It was like any other day, dodging geese like it's the new Matrix movie and trying to make it home safely. But today, one of those devilish creatures got the best of me.

Out of nowhere, a goose wearing a Pure Mathematics pin attacked me. Yeah, you read that right. I always knew PMATH was hardcore, but never knew it could weaponize nature. Or maybe, it's the goose trying to take up PMATH, I'm not sure. The goose-PMATH alliance is a twist I didn't see coming in my university experience.

This has clearly gotten out of hand. We're all aware that UW's geese are no joke. We've tolerated their hisses, their glares, their poops on our footpaths, but now they're engaging in guerrilla warfare, attacking students in broad daylight! How did we allow it to come this far?

To top it all off, as I lay there, defeated, my pink tie was stolen. Yes, the symbol of my status in the Math faculty, taken by a goose with a thirst for superiority. As it waddled away, tie in beak, I could see the gleam in its eye, a clear message: "We run this campus now."

I demand action, UW. Will we continue to live in fear, or will we rise up against our avian overlords? Let's rally together and establish boundaries. And remember, geese are protected by the Migratory Birds Convention Act, so no violence. Maybe some well-placed breadcrumbs leading them to Laurier...just an idea.

Stay safe out there, fellow Warriors. Remember, it's us versus them. And, as we all know, UW > U of Goose.

7

Not sure if I just missed it, but I don't recall ever seeing a subreddit for this. I absolutely adore automation games and it's great to see people discussing and recommending them!

Btw I really recommend Infinifactory (and all other games made by the same dev), they really scratch that itch in bite sized amounts for when you're too daunted by large projects like factorio and co

1

!uwaterloo@lemmy.ca

https://lemmy.ca/c/uwaterloo

/c/uwaterloo@lemmy.ca

For a good time, /r/uwaterloo was the biggest University subreddit on Reddit. Recently it's been second or third, but regardless it's been a very active place to discuss university life, co-op/job searches, tough courses, etc. for all sorts of people. If you're a uwaterloo alumnus or student, stop by and make a post! If not, you're still welcome :D

1
submitted 1 year ago by kronicmage@lemmy.ca to c/uwaterloo@lemmy.ca

I'm a CS student who just graduated two days ago. I missed /r/uwaterloo so I decided to create a community here on lemmy.ca to replace it. Excited to see where this goes! Also please let me know if you would like to volunteer to be a mod, we're just getting started and it would be nice to have some help.

7
submitted 1 year ago* (last edited 1 year ago) by kronicmage@lemmy.ca to c/neovim@programming.dev

Just wanted to add some content and encourage discussion :D

I'm a big fan of using Home Manager to manage my Neovim and other dotfiles. It keeps everything in one place, and it's really good at managing non-neovim dependencies like fzf and such. Check out my dotfiles home.nix and nvim folder and tell me what you think!

[-] kronicmage@lemmy.ca 10 points 1 year ago

The main mastodon instance got defederated by many other instances in the early days, but when they added more mod tools they were welcomed back in and they're going strong to this day. Here's hoping

2

I'd love to hear more about it. I'm a new grad who's done a bunch of internships using functional programming languages but didn't find a new grad position that does

[-] kronicmage@lemmy.ca 3 points 1 year ago

Same here! It's nice to get the best of both worlds

56
submitted 1 year ago* (last edited 1 year ago) by kronicmage@lemmy.ca to c/chat@beehaw.org

With our growth numbers and with kbin finally with Lemmy again, things around the link aggregator fediverse feel more active than ever. Today when browsing all on Jerboa I saw so many more communities, posts, and comments than even yesterday. It's starting to feel like we have some real traction going on here. Let me know if you agree or disagree.

Edit: fixed swypos

[-] kronicmage@lemmy.ca 2 points 1 year ago

I really love the smaller community vibes here. It feels much more real and genuine interact with people

[-] kronicmage@lemmy.ca 8 points 1 year ago

We all have to do our part to talk about the products and services we use here on Lemmy. Does anyone know of a good community similar to /r/buyitforlife on the fediverse?

[-] kronicmage@lemmy.ca 5 points 1 year ago

Its a commonly taught thing in English classes where I'm from (Ontario) -- we would get harped on it fairly regularly

view more: next ›

kronicmage

joined 1 year ago
MODERATOR OF