Show newer


Because like, this works great for stuff like map, but as soon as you wanna filter or reduce or something like that, suddenly you have lists of unknown sizes all over the place

So. It would definitely need to be optional

Show thread


Been thinking about Futhark's lists and how their length is parameterized at the type level and wondering how useful that would be in something like Haskell

I should play near a tomato sometime but that's a very long game and I have way too many other games to get through first

"Fully X" doesn't mean "full and also X". It means "completely X". What are you talking about, category theorists

Show thread

Lecturer: And a functor that is both full and faithful is called fully faithful
Me: Yeah okay, makes sense
Me, a few months later: Hold on. That doesn't make any sense. What the heck

Kinda funny that I don't actually know anything about Star Trek

I know the basic things that have become iconic like the spaceship and the uniforms but don't actually know what kinds of things happen in each episode. So I just assume it's a bunch of people peacefully sitting around and chatting and travelling to different planets while no conflict happens

Spicy take here but it should not be functionally impossible for an individual or a small team to develop their own web browser

Oh happy 11th birthday, Ghost Trick Phantom Detective for the Nintendo DS family of systems

Emil Socks boosted

I just recently realised, that proprietary social networks are not social networks but entertainment networks. That's why at least my friends have a hard time switching to mastodon or pixelfed. People expect to be highly entertained the first second they enter the network and kept that way all the time. Being confronted with a network that is stripped from all these addictive tools is a massive cultural clash.

Mild cognitohazard? 

1/3 fewer cries than the leg

My brain: "Okay, let's type Ratchet now"
My fingers: "rather"

Getting a lot of "Getting a lot of "Boss Baby" vibes from this" vibes from this

Show thread

"possibly the greatest videogame story ever told"

Alright, FFXIV fans, calm down

Unnecessarily mean maybe? 

The more I watch Numberphile the more I feel like the interviewer actively detracts from the math going on by asking completely irrelevant questions

I'm sure this is a hard problem but purely from intuition it seems like the kind of problem that should be solved by now

Show thread

Hey why the heck are programming languages so cleanly separated from one another

Why don't we have a standardized protocol that lets languages call libraries written in other languages

Deltarune chapter 2 

Same thing with Berdly's theme and Smart Race

Smart Race rules but it's also kinda... weird. Like, you wouldn't come up with that song on its own. But if you hear Berdly first you go "Oh yeah, that's where that comes from"

Show thread
Show older

Emil Socks' personal instance!