[01:33:57] <Guest13679>	 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] <Guest13679>	 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] <thykkaoL>	 it's all accounted for at compile time, kind of like how GADTs are but way cooler
[02:04:10] <thykkaoL>	 ill just use it with gskill's spd
[04:48:33] <zx>	 But that would mean installing wireshark
[04:48:43] <zx>	 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] <costamsmoq>	 phogg: it's very actively developed huh.
[05:29:43] <costamsmoq>	 $370 for a cable.
[07:18:11] <insurgent_>	 I do not. I'm just a reasonably fast typer.
[07:18:18] <insurgent_>	 iss youtube-dl free software?
[13:32:06] <enhz>	 https://bit.do/keyboards
[13:32:07] <enhz>	 This project is looking for investors, if you have investment ability, please consider investing in it.