mgttlinger

[mgttlinger @mgttlinger]

@cachix_org Ok seems to be working again. Was there an issue on your side or is my setup broken?

[mgttlinger @mgttlinger]

@cachix_org Is cachix currently experiencing issues because the website doesn't load and all caches return error 504 for me?

[mgttlinger @mgttlinger]

@WiemZin Depending on where you are you could possibly buy tickets with this app in a language of your choice: https://t.co/rPyivT82uq

[mgttlinger @mgttlinger]

@shravanvasishth @DerSPIEGEL This reminds me of this comic: https://t.co/cyxlCK10jQ

[mgttlinger @mgttlinger]

@edwinbrady That is pretty cool but the free theorems you get from the type signatures become a lot weaker, right? How does that interact with the automatic implementation of signatures the compiler can generate?

[mgttlinger @mgttlinger]

@tmalsburg Ich weis nicht ob der Link noch funktionieren sollte aber aktuell funktioniert er nicht.

[mgttlinger @mgttlinger]

@d_christiansen Yeah, I figured that this might not necessarily be the right thing for your concrete use-case but possibly useful somewhere related to that like for presenting the complete code that would be in some kind of appendix or similar.

[mgttlinger @mgttlinger]

Verifying myself: I am mgttlinger on https://t.co/cPrQJyn2DH. qz8oOxnmNEEWOrTI5YHXkB9_oKEB6ojld5sO / https://t.co/ybXn79Bpw2