RT @int_index: The DH status page I've been working on is finally public. My beautiful task graph! 🥲. Now if I die, you know how to carry o….

WTF @bt_uk makes me call the hotline to cancel my contract, the robot voice tells me it will take 20min and then they cut my call at 15min. Already happened twice. If this happens one more time I will just remove the direct debit authorization and be done with it. Fuck this!.

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

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.

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.

You gotta love living in the UK where on many goverment websites I can't put in my actual name because it contains "special characters" (ü) and then they complain that it does not match my Visa/Passport. *surprised pikachu face*.

(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

I finally finished my Organizer/Insert for Hallertau. No more ziplock bags needed. Design is CC-BY-NC

RT @h3r2tic: Since Unity just gave every other game engine a free marketing run, if your game is systemic, have a look at the Rust-powered….

However, they do so by downgrading the union of arrays to an array of unions. So this filter call returns an array with a weaker type than before. The solution should have been to check the call against the elements of the union individually and union up the result types. But no.

Every new release of TypeScript is a good lesson in how to make a bad and ad-hoc type system even worse. Looking at the 5.2 release [1], they added a special case for a union of arrays, such that array.filter would work. [1]

I actually started on this during the GHC contributor's workshop that @d_christiansen organized. But I had to revamp it because it only worked for files that were already open in your editor. After my unit tests passed I tried it on GHC itself and it worked! (see demo above).

I finally finished my plugin for the haskell-language-server that allows to jump to the definition of a GHC-style note. PR: Demo:

Oh no, a massive threat to my spare time is approaching.

Revanced is just great. I've been usibg it for Youtube for quite some time (adblock and sponsorblock as well as removing shorts), but lately Twitter has gotten more and more obnoxious with ads and "maybe you like. ". And revanced saves the day again :).