RT @disconcision: callstack scrubbing

RT @0xIlyy: "Rewrite Linux in Rust" notice how they never want to rewrite Windows? They could never rewrite something that is already perf…

Nice 4h ride today

@effectfully Whoever fixes #8095 in a private fork of GHC will make haskellions of $$

RT @effectfully: Make the following features premium content to turn the Glasgow Haskell Compiler profitable: - data types with 3+ constru…

RT @kerckhove_ts:

Why are trains so comfy and every other type of transport so torturous?

@orthodox_luke No.

RT @tthomasdd: @int_index following the money allows you to follow many interests outside of programming. there is more to life than progra…

@tthomasdd Technology-wise I'm pretty happy with where I'm at and I don't want to change, I just think I'm missing out when it comes to conventional (financial) success because of following my interests instead of following the money.

@tthomasdd I know, right? But I'm too deep in this swamp.

@effectfully Some unfinished business in GHC land, we'll talk again after I'm done with DTs.

@effectfully You said string/integer and I'm pretty sure I could use either of those to represent de Bruijn indices 😈 In fact, any type with infinitely many inhabitants will do, it's only a matter of defining the appropriate isomorphism.

@JordyDeSilentio @4ngerman Not in any significant capacity, thankfully, but I've dealt with e.g. testing infrastructure that grew out of simple Bash scripts. I'd say after about 100 lines of Bash it's time to reconsider your tech choices.

@JordyDeSilentio @4ngerman And yet people write Bash scripts when they could've been writing Haskell programs.

@4ngerman Isn't your name Moritz? A perfectly fine name that doesn't need changing.

@AlloyLauncher It doesn't feel alien after you learn it, though.