@widdnzpriv Didn't know you were also assimilated by the b̶o̶r̶g̶ nix collective

@int_index In this particular case it would be useful if GHC would say that + expects two arguments of the same type and thus Int and a are not valid instead of "eagerly" unifying with a and then complaining that a is not Int.

RT @morganamooo: We must collectively bring back stained glass windows for the betterment of society I am begging

@int_index Not in Germany any more, but if you ever want to visit Edinburgh, feel free to contact me

@andrestaltz Many of them are (e.g. FreeCAD or Catia) though mostly on the part side, not for assemblies. One problem with parametric parts is attachment. If you have e.g. a cube and then you do a sketch on one side of the cube to extrude, if you resize the cube the side may be too small, etc

@bemayr Currently at ICFP

RT @int_index: It's happening! We have a rough plan how to unify ASTs of types and terms in GHC Huge step in makin…

RT @int_index: Life without deriving Functor looks miserable.

@int_index Brutalist architecture is not used without cause in movies to signify opression/dystopia. E.g. housing from "Andor":

@int_index Yes, I took the train to ZuriHac from Scotland (with intermediate stops at my grandparents, my parents and cologne for a dance workshop).

RT @nikalaikina: this 🤏 close to discovering traverse

RT @CupiaBart: So here's a story of, by far, the weirdest bug I've encountered in my CS career. Along with @maciejwolczyk we've been train…

RT @rustbeltenjoyer: Electric cars are here to save an industry, not the planet

@int_index Drop the umlaut because people are even more confused with where this extra e comes from

@anttiviljami Yeah, generated code is a code smell. Usually it means either yout language is not good enough express a certain pattern abstractly (so you have to generate every concrete instance) or your library is lacking a good abstraction boundery.

@nixos_org 👀

(bb|[^b]{2})? That's the question.

RT @BevyEngine: Bevy 0.12 is out now! It features Deferred Rendering, Bevy Asset V2, PCF Shadow Filtering, Light Transmission, Material Ex…

RT @xkcd: Urban Planning Opinion Progression