< 1510272451 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1510273126 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1510273398 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 268 seconds < 1510274945 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1510275212 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fizzie: you have access to the CaC panel now? < 1510275256 0 :fizzie!?@? PRIVMSG #esoteric :oerjan: No, I just asked the big G to check. < 1510275266 0 :fizzie!?@? PRIVMSG #esoteric :(Don't want to ping them unnecessarily.) < 1510275629 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1510275837 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? atrix < 1510275845 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh right < 1510275868 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 240 seconds < 1510276063 0 :fizzie!?@? PRIVMSG #esoteric :At least my most recent backup is less than a day old. But we don't exactly have an alternative place ready. < 1510276334 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1510276385 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1510276476 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1510278620 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net JOIN :#esoteric < 1510283104 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1510284466 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net QUIT :Remote host closed the connection < 1510284538 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net JOIN :#esoteric < 1510286248 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Quit: Leaving < 1510286268 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1510288139 0 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Quit: leaving < 1510288697 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: yopumpkin < 1510288707 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do you read Matt Levine twh < 1510289112 0 :copumpkin!copumpkinm@haskell/developer/copumpkin PRIVMSG #esoteric :hi shachaf < 1510289114 0 :copumpkin!copumpkinm@haskell/developer/copumpkin PRIVMSG #esoteric :no < 1510289227 0 :copumpkin!copumpkinm@haskell/developer/copumpkin PRIVMSG #esoteric :how goes it? < 1510289235 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why not, he's the best < 1510289252 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is it because he makes fun of Bridgewater? < 1510289693 0 :copumpkin!copumpkinm@haskell/developer/copumpkin PRIVMSG #esoteric :lol who doesn't < 1510290104 0 :copumpkin!copumpkinm@haskell/developer/copumpkin PRIVMSG #esoteric :I mean, I've read occasional articles of his < 1510290111 0 :copumpkin!copumpkinm@haskell/developer/copumpkin PRIVMSG #esoteric :but I wouldn't say I read him < 1510290116 0 :copumpkin!copumpkinm@haskell/developer/copumpkin PRIVMSG #esoteric :you do? < 1510290250 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Of course < 1510293188 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1510297730 0 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1510297903 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1510301697 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1510302973 0 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1510303265 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 248 seconds < 1510303977 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1510304302 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1510305589 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1510306268 0 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1510308414 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net QUIT :Read error: Connection reset by peer < 1510309707 0 :xkapastel!uid17782@gateway/web/irccloud.com/x-adbujldlnkfxuoky QUIT :Quit: Connection closed for inactivity < 1510311516 0 :Elronnd!elronnd@slashem.me JOIN :#esoteric < 1510311543 0 :hyp3rbor3a!~hyperbor3@p5DDF26C9.dip0.t-ipconnect.de JOIN :#esoteric < 1510311634 0 :hyp3rbor3a!~hyperbor3@p5DDF26C9.dip0.t-ipconnect.de QUIT :Remote host closed the connection < 1510314132 0 :hyp3rbor3a!~hyperbor3@p5DDF26C9.dip0.t-ipconnect.de JOIN :#esoteric < 1510314137 0 :hyp3rbor3a!~hyperbor3@p5DDF26C9.dip0.t-ipconnect.de QUIT :Remote host closed the connection < 1510314174 0 :hyp3rbor3a!~hyperbor3@p5DDF26C9.dip0.t-ipconnect.de JOIN :#esoteric < 1510314182 0 :hyp3rbor3a!~hyperbor3@p5DDF26C9.dip0.t-ipconnect.de QUIT :Remote host closed the connection < 1510314262 0 :hyp3rbor3a!~hyperbor3@p5DDF26C9.dip0.t-ipconnect.de JOIN :#esoteric < 1510314328 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :... < 1510314334 0 :hyp3rbor3a!~hyperbor3@p5DDF26C9.dip0.t-ipconnect.de QUIT :Remote host closed the connection < 1510314347 0 :APic!apic@apic.name PRIVMSG #esoteric :… < 1510314349 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, how many examples have you seen when a big corporate website was redesigned and it became better as a result? < 1510314349 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: they say that an apple will fall to the size of the gods as well". as a mare, flea, fly, falcon, seal, and from my sheath i drew my snickersnee! --koko, lord of the ring, by sir w.s. gilbert) < 1510315377 0 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 240 seconds < 1510315622 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh! why is 7z trying to recurse into subdirectories when I'm specifically telling it to -r- < 1510322412 0 :AnotherTest!~turingcom@ptr-82l26zdvv6lcpljuq7d.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1510322427 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1510322941 0 :hyp3rbor3a!~hyperbor3@p5DDF26C9.dip0.t-ipconnect.de JOIN :#esoteric < 1510322947 0 :hyp3rbor3a!~hyperbor3@p5DDF26C9.dip0.t-ipconnect.de QUIT :Remote host closed the connection < 1510324541 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1510325439 0 :AnotherTest!~turingcom@ptr-82l26zdvv6lcpljuq7d.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 258 seconds < 1510325965 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`ping < 1510325973 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think the server is down again < 1510325976 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I can't reach the wiki < 1510327017 0 :idris-bot!~idris-bot@dslb-088-076-098-100.088.076.pools.vodafone-ip.de JOIN :#esoteric < 1510327547 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :grow longer arms < 1510329986 0 :h0rsep0wer!~h0rsep0we@unaffiliated/h0rsep0wer JOIN :#esoteric < 1510331393 0 :fizzie!?@? PRIVMSG #esoteric :b_jonas: See topic. < 1510331822 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1510332211 0 :augur!~augur@2600:380:876b:6fd5:18c2:8ad8:985:e24e JOIN :#esoteric < 1510332648 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1510333239 0 :xkapastel!uid17782@gateway/web/irccloud.com/x-aejicydzezrikpxv JOIN :#esoteric < 1510333496 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: ok < 1510335792 0 :garit2!~garit@94.196.196.8.threembb.co.uk JOIN :#esoteric < 1510335792 0 :garit2!~garit@94.196.196.8.threembb.co.uk QUIT :Changing host < 1510335792 0 :garit2!~garit@unaffiliated/garit JOIN :#esoteric < 1510335835 0 :augur!~augur@2600:380:876b:6fd5:18c2:8ad8:985:e24e QUIT :Ping timeout: 258 seconds < 1510335965 0 :garit!~garit@unaffiliated/garit QUIT :Ping timeout: 268 seconds < 1510336283 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1510337561 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1510338184 0 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:1061:fc6d:8307:32a2 JOIN :#esoteric < 1510338184 0 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:1061:fc6d:8307:32a2 QUIT :Changing host < 1510338184 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1510338605 0 :impomatic!~digital_w@host86-191-87-65.range86-191.btcentralplus.com QUIT :Ping timeout: 240 seconds < 1510339118 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1510340910 0 :h0rsep0wer!~h0rsep0we@unaffiliated/h0rsep0wer QUIT :Quit: Leaving < 1510340959 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Read error: Connection reset by peer < 1510340981 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1510342849 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1510343271 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1510343566 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :In languages where functions may return multiple values, would it make sense for a function that returns no values to effectively act as if there was literally nothing there? e.g. let's say f() returns true if it is called with 0 parameters. Now let's say void() returns zero arguments. Then f(void()) would be true. < 1510343594 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I mean, of course it might, but that's not what I've seen in practice.... although I've only seen one language where functions may return multiple values, so... < 1510343618 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :rdococ: so, sort of you could < 1510343631 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :from a theroetical sense, it's actually returning a member of a one-element type < 1510343646 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :rather than a zero-element type, since you can't return < 1510343723 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :well, hmm, if void was treated as a proper type < 1510343737 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :then you could have variables, like < 1510343739 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :void x; < 1510343817 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :so really there's "a type with no values", "a type with 1 value", and "not really a type" < 1510343830 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :as different voids < 1510343914 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :yeah < 1510343917 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :void in C is not really a type, it's used where the syntax requires a type but there isn't one < 1510343935 0 :alercah!~alercah@unaffiliated/alercah PRIVMSG #esoteric :or alternatively it's a 1-value type that can't be used in all contexts < 1510343941 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :right < 1510343965 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but suppose there was a type Void < 1510344039 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :then you could do everything with it, but it would rarely actually compile into any code < 1510344055 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :void f(void) < 1510344076 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :void y; void x = f(y); < 1510344120 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :if sizeof(void) is 0, then void pointers would be usable better < 1510344126 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :well kind of < 1510344144 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :void *x = malloc(sizeof(void)) < 1510344203 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i wonder how rust does void < 1510344635 0 :brandonson!~brandon@208.91.114.4 QUIT :Ping timeout: 240 seconds < 1510344757 0 :brandonson!~brandon@208.91.114.4 JOIN :#esoteric < 1510344884 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1510346300 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :If functions are thought of as returning tuples containing each return value, rather than returning those return values individually, then returning nothing would be equivalent to returning an empty tuple containing no values. < 1510346497 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :Hmm... is there even a way to use zero-element types? I mean, if they have *zero* elements, then how would that type do anything? < 1510347643 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :Huh. Apparently a bottom type may be classified as the return value of functions which never return (e.g. infinite loops, or functions that exit to other continuations). < 1510347650 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :s/return value/return type < 1510348159 0 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :?metar CYVR < 1510348159 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYVR 102100Z 28010KT 15SM FEW004 BKN023 09/08 A2990 RMK SC2CU4 SLP128 < 1510349758 0 :garit2!~garit@unaffiliated/garit QUIT :Remote host closed the connection < 1510349885 0 :garit!~garit@188.30.179.145.threembb.co.uk JOIN :#esoteric < 1510349885 0 :garit!~garit@188.30.179.145.threembb.co.uk QUIT :Changing host < 1510349885 0 :garit!~garit@unaffiliated/garit JOIN :#esoteric < 1510351009 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 248 seconds < 1510351697 0 :garit2!~garit@94.196.76.248.threembb.co.uk JOIN :#esoteric < 1510351697 0 :garit2!~garit@94.196.76.248.threembb.co.uk QUIT :Changing host < 1510351697 0 :garit2!~garit@unaffiliated/garit JOIN :#esoteric < 1510351751 0 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :GNU C does allow struct{} with no fields, with size zero. < 1510351773 0 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1510351905 0 :garit!~garit@unaffiliated/garit QUIT :Ping timeout: 248 seconds < 1510351941 0 :fizzie!?@? PRIVMSG #esoteric :\oren\: You can have an "extern void x;" < 1510351964 0 :fizzie!?@? PRIVMSG #esoteric :You could have a regular "void x;", it's just that void is an incomplete type that can never be completed. < 1510351981 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wish C++ supported void values. < 1510352021 0 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :If you want a empty type then use struct{} instead of void < 1510352037 0 :augur!~augur@192.195.83.130 QUIT :Ping timeout: 240 seconds < 1510352042 0 :fizzie!?@? PRIVMSG #esoteric :C11 6.2.5p19: "The `void` type comprises an empty set of values; it is an incomplete object type that cannot be completed." < 1510352079 0 :garit2!?@? NICK :garit < 1510352199 0 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :Yes, but struct{} type has one possible value, like () in Haskell. But, void is no type; used when there is no return value (it returns without giving a value) or when it is void* is a pointer to not specifying what is the pointer to type. < 1510352329 0 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1510352341 0 :fizzie!?@? PRIVMSG #esoteric :You can also have a function declaration like int f(int x, void y, double z); but it's not super-useful, since you can't have a definition for it, nor can you call it. < 1510352354 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :actually, I looked and it turns out I have an empty struct in one of my projects < 1510352369 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it has a bunch of methods but no data in it < 1510352378 0 :fizzie!?@? PRIVMSG #esoteric :\oren\: Your project is not strictly conf.. oh, C++. < 1510352396 0 :fizzie!?@? PRIVMSG #esoteric :That's allowed, though I think it has a non-zero size in C++? < 1510352396 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah C++ < 1510352400 0 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :fizzie: Is it even allowed? < 1510352413 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it's allowed in C++ with a non-zero size. < 1510352433 0 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :I think the GNU documentation says that in C++ the sizeof empty struct is one, but in C mode, the size is zero, which is more sensible. < 1510352455 0 :fizzie!?@? PRIVMSG #esoteric :I think so too. The non-zero size had something to do with the necessity of having different subobjects for multiple inheritance, or some-such < 1510352523 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, there's also the fact that you have two objects they can't have the same address, or something like that? < 1510352525 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :basically it used to have data in it but now only the derived classes have data < 1510352526 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't remember. < 1510352543 0 :fizzie!?@? PRIVMSG #esoteric :https://isocpp.org/wiki/faq/classes-and-objects#sizeof-empty says that, yeah. "To ensure that the addresses of two different objects will be different." < 1510352580 0 :fizzie!?@? PRIVMSG #esoteric :\oren\: structs with only pure virtual methods (and no data) are pretty conventional way to define interfaces in C++. < 1510352639 0 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :GNU C also allows the number of elements in an array to be zero, which in my opinion is also sensible (such as a field in a struct). < 1510352640 0 :fizzie!?@? PRIVMSG #esoteric :Looks like I was remembering the base class thing almost exactly the other way around -- empty base classes don't need to have distinct bytes in the resulting object. < 1510352843 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1510352968 0 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1510354723 0 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1510355116 0 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1510355512 0 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1510355581 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 240 seconds < 1510356019 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 268 seconds < 1510356277 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1510357436 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1510357625 0 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1510357633 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1510357733 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric