jorty (deprecated aspect) @jordyd@octodon.social

@ddipaola
I once blocked some rando who condescendingly told me I should be using DDG. Truth is I do use DDG, I just use "google" as a verb for "search on the internet"

@a_breakin_glass
I had been investigating certain type systems recently, but I was interested mostly in dependent type systems such as found in Coq or ATS

@a_breakin_glass
I'm still learning the finer details of type systems and tbh I never heard about linear/affine types

@a_breakin_glass
That's a... ffine type system you have there

All of what @vertigo said, but also: 90% of the time there's no need to rewrite existing programs into new languages.
@Elizafox @slightlyflightyone

@HTHR

@sireebob @a_breakin_glass
I'm going brain blast!!

@a_breakin_glass @sireebob
neutron

@sireebob
I hate physics in general and physicists are witches

@scarlett @slightlyflightyone
It’s a shame imo because Wayland provides a much cleaner architecture than X11. As I understand it, there’s nothing stopping Wayland (the protocol) from being implemented on *BSD, but the reference implementation of Wayland (Weston) depends on quite a few Linux-specific technologies

@unascribed
https://en.wikipedia.org/wiki/Disambiguation_(disambiguation)

@scarlett
Pixel art brings its own challenges as well, and being a good pixel artist takes a lot of practice and talent, but at the end of the day a good pixel artist can make a spritesheet in a fraction of the time it takes to create a 3D model, skin it, rig it, animate it

@scarlett
Art is arguably the most labor intensive part of making a game. It’s common to see studios that have a handful of programmers and dozens of artists. Indie games have to collapse all that into a handful of people (or even just one), and pixel art is part of what makes that possible