Its a well known fact that if write "no criminals" on your door, no criminal will enter

You're absolutely right!!!!!

All types are equal but some are more equal than others

ur type so fat it requires large elimination

Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX Fuck LaTeX

The computational interpretation is the only thing that matters

Remember to de categorify your argument to maximise the outreach

I love twitter

Software engineers have created far more evil than any other type of engineer, in a fraction of the time, and without even building literal nukes.

I need to listen to breakcore otherwise I can't think

Dependent types is when context is dependent product

There is so much bookkeeping in this stupid ass set theoretical model that my head is going to explode

IM RIGHT - dashare.zone ADMIN

I cant stand mac integrated keyboard

Goated paper btw

It's not imposter syndrome if you're actually bad

Today I stumbled on a LH issue from 2013 and I was dude I was 12 at the tume

Literally 90% of the queer ppl Ive met here Oh Im smart but I dont put in effort? Okayyyy?? Idgaf im not smart but I work hard to make up for it fuck offffffffff

Fixed LFGOOOO

Why is mathpartir adding space at the bottom???

Apparently type classes were actually invented in "Stefan Kaes: Parametric overloading in polymorphic programming languages ESOP 1988" and a dialect of ML was the first language with them and not Haskell okmij.org/ftp/Computat...

Can AI researchers make an AI to transform proofs written on a tablet to latex?

Moving to the Cambodian jungle would solve all my problems

Everything is a signature

>had french taco in spain

I will not pronounce the letter H

No I won't return the cart

yeah, like a haskell dialect where numbers can flow freely between them. they should call it "fluid haskell"

I devised my own Turing test

3 billion devices, but still no bitches 😔

Im too mentally unstable for ts

Large Lying Model

"I will take this question offline" but on the rebuttal

(and also kinds are a lie made up by big ghc to sell more error messages)

In haskell can you write something in place of ??? here that is not undefined or similar foo :: * foo = ???

Finished the first pass of the author response

TF is ELPI?

Will cake fix my POPL reviews depression?

Got the reviews :/

In alecs lang the standard library will be in scope only in the middle of the program, the standard library is going to be called interlude

Pre reviews cortisol

Trying to do set theory in the same way I do dependent types, today I wrote Pi_{ g in [[G]]} [[t_1]]_g <= [[t_2]]_g

Overfull hbox experience

I'm more of a cabal guy

Google redemption arc??