[01:33:57] diverdude, if they did something like make the steambuffer report eof() when the timeout occurs that explains it. doesn't seem to account for everything you're saying though. so dunno.
[01:34:01] The power button is the least used key... because really only Macs have a power button that's included in the keyboard!
[02:04:05] it's all accounted for at compile time, kind of like how GADTs are but way cooler
[02:04:10] ill just use it with gskill's spd
[04:48:33] But that would mean installing wireshark
[04:48:43] tolarz: one way i like to think of proving (p => q) => (!q => !p) is by constructing a function using allowable things like application. implication corresponds to a function space. !r will mean the function space (r -> bot), where bot is some sort of empty set. f |-> (notq |-> (p |-> notq(f(p)))) is a function from (p -> q) to ((q -> bot) -> (p -> bot)). this function can be thought of as a transformation on proofs of various
[05:29:38] phogg: it's very actively developed huh.
[05:29:43] $370 for a cable.
[07:18:11] I do not. I'm just a reasonably fast typer.
[07:18:18] iss youtube-dl free software?
[13:32:06] https://bit.do/keyboards
[13:32:07] This project is looking for investors, if you have investment ability, please consider investing in it.