­jonoodle­ @ionchy@types.pl

Haha nope I'm trying to read one of next week's papers and I have no idea what's going on

@hazel what's jats

@rt computer science but the computer is silent

Currently trying to read a paper for systems class and getting increasingly

@pounce ok fixed

@pounce oh no it looks terrible

@pounce ​

@bruceiv Yeah, half-screens is probably how I usually tile
And lots of modern DEs (like Windows!) have the sort of snap-to-left/right feature nowadays so I don't think I'll be losing much if I stop using i3

@hazel nooooo ferris!!!

I started to use i3 last year because I wanted to learn how to use a tiling wm (I guess it might not count as a full DE) but now I'm finding that I don't tile all that much simply because my laptop screen is not that big

Maybe I'll switch DEs too and use something that comes with a bunch of nice things like actually connecting to my monitor based on previous settings

Because methods are objective

To quote @vdash,

There is so much about equality. I feel like 99% of type theory is about equality

@pounce I'm saying you do need equality! The IfZero(x - y) and IfZero(y - x) thing is neat but I can't imagine that would be particularly generalizable
I think I at least need an equality type
There is no escaping it