< 1467417799 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net JOIN :#esoteric < 1467417814 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bohily < 1467417838 0 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl QUIT :Ping timeout: 272 seconds < 1467417864 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i always imagine you yodeling that hth < 1467417869 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 250 seconds < 1467417951 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :hallørjen. < 1467417966 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :hellochaftiddlywhoo < 1467418004 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1467418034 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :hppavellon[2]. < 1467418070 0 :yorick_!?@? NICK :yorick < 1467418095 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :alas, poor underline < 1467418414 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1467418422 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Vim programs F1 as help and other functions keys do nothing [...] <-- F1 opens help in gvim on windows, at least < 1467418441 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(that's the only one i checked) < 1467418463 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh, works in my linux terminal too < 1467418478 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1467418484 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :sorry, misparsed your sentence < 1467418535 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :quinthellopia < 1467418759 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net QUIT :Quit: CLOCKWISE CHICKEN < 1467419091 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 246 seconds < 1467419259 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1467420635 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :why does socketpair need to be a syscall? < 1467421041 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :because < 1467421057 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net QUIT :Read error: Connection reset by peer < 1467421114 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1467421243 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :oh < 1467422387 0 :Etaoin!1f9373fb@gateway/web/freenode/ip.31.147.115.251 JOIN :#esoteric < 1467422405 0 :Etaoin!1f9373fb@gateway/web/freenode/ip.31.147.115.251 PRIVMSG #esoteric :hellaoin < 1467422731 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 240 seconds < 1467424513 0 :Etaoin!1f9373fb@gateway/web/freenode/ip.31.147.115.251 QUIT :Quit: BOOSH < 1467424817 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1467424824 0 :adu!~ajr@pool-71-178-208-237.washdc.fios.verizon.net JOIN :#esoteric < 1467425037 0 :bender!~bender@2404:e800:e61a:41d:105c:5596:f930:2826 JOIN :#esoteric < 1467425133 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 240 seconds < 1467425348 0 :bender!~bender@2404:e800:e61a:41d:105c:5596:f930:2826 QUIT :Quit: Leaving < 1467425738 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I recently switched to using ctrl-ins, shift-ins for copy and paste. this has the advantage of working on windows, linux and mac the same way < 1467425781 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't have an Ins key. < 1467425813 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :o_O; wha? < 1467425833 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :what computer doesn't have insert? < 1467425929 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My work computer, a MacBook Pro. < 1467425962 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Somehow it still has a caps lock key, though. < 1467425982 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Apple got rid of the floppy drive and of the optical drive. But they didn't get rid of caps lock. Absurd. < 1467426043 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1467426049 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: I use a macbook at work, but I have an external keyboard < 1467426100 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the macbook's keyboard is also missing a numpad, which i consider essential < 1467426114 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I consider it inessential. < 1467426126 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I learned hjklyubn so now I can play NetHack without a number pad. < 1467426152 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I use the numpad to type numbers quickly < 1467426163 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I use the numrow to type numbers quickly. < 1467426224 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i have given up having a numpad as well < 1467426238 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I never wanted it in the first place. < 1467426254 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :not only are numpadless keyboards more compact, they are less expensive! < 1467426256 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Typing numbers is for the birds. < 1467426278 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i have yet to adopt a bird to type numbers for me, I regret to admit < 1467426297 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Bird is Cruel! < 1467426303 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Or so `hoag informs me.) < 1467426328 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(i have purchased keyboards with numpads before, but it was only coincidence--it was never a factor in my decision) < 1467426427 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :only thing I don't like about this keyboard (on my Thinkpad) is the lack of a print screen key < 1467426512 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm OK with a pixel screen. Printers are outdated. < 1467426519 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :print screen is essential for pics or it didn't happen < 1467426599 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :On my work computer, a MacBook Pro, I can press Cmd-Shift-3 to make a picture of the screen, or Cmd-Shift-4 to make a picture of a window or rectangle. < 1467426622 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Very convenient. < 1467426632 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think my laptop has all the same keys that a full keyboard has, except for two. < 1467426641 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Plus it has one key that a full keyboard doesn't have. < 1467426644 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :On my personal computer, I have a Print Screen key. But I usually run a command line program. < 1467426653 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Those keys are insert and scroll lock. < 1467426696 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And "fn" is the extra one. < 1467426743 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION has all those, and a numpad < 1467426767 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :oerjan: do you have a laptop that does have insert and scroll lock keys? < 1467426796 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well there's a marking for scr lk on the num lk key < 1467426811 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and there's insert on the numpad < 1467426822 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So no, it doesn't have a scroll lock key. < 1467426844 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :my previous laptop didn't have a separate numpad, although it had a setting to put a numpad in the middle of the ordinary keys < 1467426850 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1467426863 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: tswett sure showed you < 1467426872 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm talking about dedicated keys. Mine has decidated keys for all but two of the standard keys. < 1467426873 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and the insert key is shared with 0 < 1467426892 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :oerjan: so far, it sounds like you have the same laptop keyboard that I have. < 1467426901 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :is it an asus < 1467426908 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yes. < 1467426918 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which one < 1467426948 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Do the media buttons on your F keys go sleep, airplane, keyboard dim, keyboard bright, screen dim, screen bright, screen off, projector, touchpad disable, mute, quiet, loud? < 1467427031 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't have keyboard lights, but otherwise yes < 1467427041 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(i think) < 1467427084 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not sure about airplane, it's some kind of radiating antenna symbol < 1467427129 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Probably the same thing. < 1467427134 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Does your F2 key have a little light in it? < 1467427136 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Fn + F3 seems to open up some email program. < 1467427165 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh it's airplane indeed. no light though. < 1467427172 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1467427177 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I really oughta get my media keys working. < 1467427192 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :F3 and F4 have no media symbols < 1467427193 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm tired of only being able to change my backlight brightness by using the xbacklight command. < 1467427203 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :døsthiswork//no < 1467427222 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :clever < 1467427231 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cwlprits døsthiswork < 1467427243 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :int-e ais523 oerjan elliott olsner Bike FreeFull shachaf < 1467427248 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1467427258 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`hog wisdom/døsthiswork < 1467427266 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ revert \ cp wisdom/doesthiswork wisdom/d\xc3\xb8sthiswork \ revert \ for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done \ echo yes > wisdom/d\xc3\xb8sthiswork < 1467427297 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1467427299 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pico//pico is the useless twin of nano. < 1467427384 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Maybe I should upgrade to 16.4. < 1467427415 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pico isn't cool. You know what's cool? nano. < 1467427467 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :when my laptop was in for repairs, i got a replacement with keyboard lights. i found it irritating, especially since it wouldn't remember that i wanted them off. < 1467427513 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(well, when i turned the laptop on.) < 1467427541 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :is there an atto < 1467427557 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Just paint over all the letters with black paint. < 1467427571 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Use one of those tiny brushes. < 1467427584 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :AAAAAAAA < 1467427604 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :What's the codename for 16.4, anyway? < 1467427618 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: the lights came through the borders of the keys, not the letters, iirc. < 1467427637 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Just install rubber seals around all the keys. < 1467427643 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i may misremember whether the letters also shined < 1467427668 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :anyway, that laptop is long since back in the shop. < 1467427708 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It'd be kind of difficult to use a backlit keyboard where the letters don't shine. < 1467427715 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( Atrocious Allosaurus ) < 1467427738 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :MAYBE < 1467427738 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Isn't this one X? < 1467427742 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Also, what was the animal for U? < 1467427752 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: i'm just joking < 1467427760 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Nobody can name an animal starting with U. < 1467427782 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :huh < 1467427792 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Undulating Utahraptor < 1467427824 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Oh wow, my Ubuntu distro has been EOL since February. < 1467427826 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Why wasn't I notified? < 1467427840 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the notifications were also EOLed hth < 1467427854 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1467427867 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :os < 1467427910 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm it is indeed hard to think of a modern animal starting with U. < 1467427935 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Usagi < 1467427942 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in english, \oren\ < 1467427957 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although i also thought of that one < 1467427965 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Uman < 1467427995 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 246 seconds < 1467428005 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Ulv < 1467428029 0 :lambda-11235!~lambda-11@184.21.246.132 QUIT :Quit: Bye < 1467428034 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hppavilion[2]: you've been incremented! < 1467428038 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there's got to be some obscure antelope < 1467428088 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Uakari < 1467428095 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, maybe they've got one on the coat of arms of some country starting with U. < 1467428107 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it's a kind of monkey < 1467428109 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Like, maybe it's an animal where the name of the animal just begins with the name of that country. < 1467428149 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Ukrainian swamp tiger < 1467428166 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That doesn't sound like an obscure antelope. < 1467428193 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :stupid wikipedia's mammal list goes by genus in latin < 1467428224 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: "genus" in latin is "genus" hth < 1467428245 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION lightly swats shachaf -----### < 1467428262 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :No, "genus" in Latin is "genus_(taxinomia)" hth. < 1467428267 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Proof: https://la.wikipedia.org/wiki/Genus_%28taxinomia%29 < 1467428269 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 260 seconds < 1467428278 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Sorry, it's "genus_%28taxinomia%29". < 1467428373 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 240 seconds < 1467428432 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Man, I really miss the days when Ubuntu's theme color was brown instead of purple. < 1467428502 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1467428696 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Oh right, I was gonna ponder this funny little language of mine. < 1467429051 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 240 seconds < 1467429093 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :`unicode U+01b9 < 1467429097 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ƹ < 1467429129 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`unidecode ƹ < 1467429134 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+01B9 LATIN SMALL LETTER EZH REVERSED] < 1467429188 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :This is the language that's tentatively named Tokiber. < 1467429201 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Not to be confused with the language that's tentatively named Quendle. < 1467429242 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1467429285 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :tswett: they switched to purple? < 1467429327 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :\oren\: yeah, like nearly ten years ago. < 1467429452 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :their website is still orange < 1467429543 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hmm from screenshots of 16.04 I can see there's a lot more purple now, but still some orang < 1467429564 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 260 seconds < 1467429598 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Things I have defined in Tokiber: categories; categories with a terminal object; finite product categories; finite limit categories; monoids; the forgetful functor from monoids to categories; groups; abelian groups; rings with identity; "natural number algebras". < 1467429651 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :what about strings? < 1467429684 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :oh, wait, every string is a natural number, never mind < 1467429694 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Strings aren't natural numbers. < 1467429717 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :they could be represented by them? < 1467429734 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Of course. < 1467429740 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the string "\00" is 2. the string < 1467429751 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :"\0\0" is 2 < 1467429760 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :h... < 1467429789 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A natural number algebra consists of a sort N, a point "zero" in N, and a function "succ" from N to N. < 1467429797 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :screw it, take the bitstream, add a 1 at the end and call that a number < 1467429867 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :tswett: a sort like quicksort or mergesort? < 1467429872 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Nah, use bijective base 1112064. < 1467429881 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"A sort" means "a set or whatever". < 1467429881 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's a point? An arrow from a terminal object? < 1467429916 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should do the CDOs in http://chu.stanford.edu/PrattSRMK2016.pdf < 1467429923 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :oh, bijective base. that is way better. < 1467429923 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You have points and copoints. It's TG. < 1467429933 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :An arrow from a terminal object, yes. < 1467429964 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And adjunctions are just a special case of associativity. < 1467429976 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So yeah, really "a sort" means "an object in the ambient category-with-a-terminal-object". < 1467429997 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :an object in the ambivalent category < 1467430078 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"Function", of course, means "arrow". < 1467430095 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I want to define the squaring function on the integers. < 1467430112 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :man, I'm still entirely ignorant of the difference between a category and a set. < 1467430157 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There isn't much similarity. < 1467430180 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A category is a directed graph equipped with a composition operator which is associative and has identities. < 1467430190 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A set isn't. < 1467430223 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ok but what does it mean for something to be "in the category C" < 1467430228 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Pft. A category is a generalized monoid. < 1467430252 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :does that mean it's one of the points on the graph? < 1467430260 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you actually want an answer for what a category is? < 1467430286 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :\oren\: well, that depends on what the thing is. The vertices of a category are called objects, so that tells you what an "object in the category C" is. < 1467430326 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The edges are called arrows or morphisms (the two words are exact synonyms). < 1467430390 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ok that makes a lot more sense than the wikipedia article < 1467430406 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The "usual case" is for the objects to be algebraic structures and for the arrows to be homomorphisms between them. < 1467430415 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That's what the "category of groups" is, for example. < 1467430458 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think thinking of a category as a graph is a bit misleading if you want good intuition. < 1467430485 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :can I think of it as a set of sets and functions between sets? < 1467430509 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :that's how i was thinking of it < 1467430509 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The important part of a category is the arrows. < 1467430511 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You can certainly think of it as being *like* a set of sets and functions between sets. < 1467430514 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The objects are almost irrelevant. < 1467430528 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The arrows aren't functions (except in some special cases). < 1467430532 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In most cases, the objects are "kind of like sets" and the arrows are "kind of like functions". < 1467430682 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: in what ways can they fail to be functions? < 1467430709 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are the elements of a group functions? < 1467430770 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, that's maybe a bad question because of Cayley's theorem. < 1467430837 0 :lambda-11235!~lambda-11@184.21.246.132 JOIN :#esoteric < 1467430964 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: I was thinking more of what they do to the elements of the objects < 1467431017 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :\oren\: categories that are "sets and functions between sets" are an important special case, known as _concrete_ categories. < 1467431060 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :\oren\: I'd give you an example, but maybe first you should have the definition of a category. < 1467431096 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :seems like first I need the definition of an object? < 1467431114 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there isn't one < 1467431122 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :an object can be literally _anything_ < 1467431130 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dependent on the category < 1467431156 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :First you need the definition of an arrow. < 1467431166 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which can also be literally anything. < 1467431177 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, well, do you know what a monoid is? < 1467431191 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :something from Haskell? < 1467431207 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :no wait that's "monad" < 1467431225 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you know what a group is? < 1467431231 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1467431243 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A monoid is like a group, except elements don't necessarily have inverses. < 1467431274 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ok. < 1467431279 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you have multiplication, and you have an identity element 1, such that a(bc) = (ab)c, a1 = a, 1a = a < 1467431313 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sounds good? < 1467431324 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yup. with you so far. < 1467431348 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A good example of a monoid is strings over some alphabet. Multiplication is concatenation, and 1 is the empty string. < 1467431393 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Another example of a monoid is NxN matrices, with the identity matrix and matrix multiplication. < 1467431435 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But what you'd want to do is talk about the monoid of all matrices, not just NxN matrices. < 1467431448 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Multiplication is still associative, and you still have identity matrices. Right? < 1467431460 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah. < 1467431473 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The trouble is that you can't multiply two arbitrary matrices. The sizes have to match. < 1467431496 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In particular, you can multiply and IxJ matrix with a JxK matrix, to get an IxK matrix. < 1467431521 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And you don't just have one identity, you have one for each size. So you have a 5x5 identity matrix and so on. < 1467431530 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :right < 1467431565 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The laws are still the same. a(bc) = (ab)c, id_N . a = a, a . id_M = a < 1467431571 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If a is an NxM matrix. < 1467431598 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Where . is multiplication.) < 1467431639 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So if you generalize that, that's what a category is. < 1467431663 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :where the matrices are the arrows? < 1467431666 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1467431668 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A category has a bunch of things, called arrows, that you can multiply together. < 1467431677 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can't multiply any two things together. < 1467431699 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :only if one points to the vertex where another begins. < 1467431714 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you have a bunch of things, called objects. Each arrow has a "domain" object and a "codomain" object (these correspond to the dimensions of the matrix). < 1467431748 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You generally write f : A -> B to mean that f is an arrow with domain A and codomain B. < 1467431834 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You have an operation ., called composition or multiplication, where f . g is defined the codomain of g is equal to the domain of f. < 1467431862 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :. is associative < 1467431894 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And for every object A, you have a special arrow 1_A : A -> A, such that for any f : A -> B, f . 1_A = f, and for any g : C -> A, 1_A . g = g < 1467432021 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does that make sense? < 1467432026 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1467432050 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK. It's pretty simple. < 1467432066 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now you can talk about other categories. A popular one is one where the arrows are functions. < 1467432095 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The objects are sets. You can see that it all works out. < 1467432378 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :that helps a lot, to have an example other than the category(s) of functions and sets < 1467432407 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are lots of other examples. < 1467432479 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can pretty easily see that a monoid is a category with one object. Yes? < 1467432489 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Or can be represented that way, at least.) < 1467432499 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1467432525 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And it doesn't matter what the object is. For example, it could be a cup of tea. < 1467432572 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can represent a set as a category, where each object represents an element, and there are only identity arrows. < 1467432577 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(That's called a "discrete category".) < 1467432679 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can also represent a preorder as a category. You do that by saying that, for any pair of objects (A,B), there's at most one arrow : A -> B, iff A <= B. < 1467432723 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Identity arrows correspond to reflexivity, and arrow composition corresponds to transitivity. < 1467432746 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i see, the composition of arrows would only lead to true <= statements... < 1467432759 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1467432770 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :These are kind of boring categories because they're extreme. < 1467432820 0 :Etaoin!1f9373fb@gateway/web/freenode/ip.31.147.115.251 JOIN :#esoteric < 1467432823 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :they should be on the wiki page so that people can figure out that a category isn't just what i thought it was. < 1467432838 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A very popular sort of category is one where the arrows are homomorphisms of some structure. < 1467432851 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For example, group homomorphisms, or continuous functions, or linear maps. < 1467432875 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The objects would be groups, or topological spaces, or vector spaces, respectively. < 1467432897 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(The category of finite-dimensional vector spaces and linear maps is very similar to the one with matrices that we started with.) < 1467432936 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sounds good? < 1467432958 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah all of those sound like they should work < 1467432986 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :People almost always define homomorphisms such that they're associative and have identities. < 1467432993 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The next question is why would you care about categories? < 1467433024 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And in a way this whole conversation is backwards, because that question is the right place to start. < 1467433144 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Probably the right approach is to start with naturality, like what's-his-name did. < 1467434738 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1467435355 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :What're some of the best spacey simulations? < 1467435383 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net TOPIC #esoteric :The intradisciplinary hub of solidarity matrices, esoteric programming language design, multichannel bot abuse (always safe, sane and consensual), and font forging (dangerous and potentially illegal) | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf < 1467435637 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hppavilion[2]: KSP is my favorite, but there's also space engine < 1467435652 0 :Etaoin!1f9373fb@gateway/web/freenode/ip.31.147.115.251 QUIT :Quit: Page closed < 1467435653 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: I mean videos xD < 1467435668 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: Simulations of weird things happening in space < 1467436083 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com QUIT :Ping timeout: 240 seconds < 1467436410 0 :spockers!~spockers@unaffiliated/spockers QUIT :Quit: bye http://i.imgur.com/nkzOWAv.jpg < 1467436591 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 240 seconds < 1467436608 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1467436879 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 260 seconds < 1467436986 0 :spockers!~spockers@unaffiliated/spockers JOIN :#esoteric < 1467437632 0 :adu!~ajr@pool-71-178-208-237.washdc.fios.verizon.net QUIT :Quit: adu < 1467438628 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Uhhh, right. I wanted to define the squaring function on the integers. < 1467438652 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Which probably means I should define the integers. < 1467438759 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So far, I don't have a way to do that. < 1467439299 0 :spockers_!~spockers@unaffiliated/spockers JOIN :#esoteric < 1467439329 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Like, I have a way to define finite algebras. < 1467439402 0 :spockers!~spockers@unaffiliated/spockers QUIT :Killed (wilhelm.freenode.net (Nickname regained by services)) < 1467439402 0 :spockers_!?@? NICK :spockers < 1467439414 0 :shikhin_!shikhin@unaffiliated/shikhin JOIN :#esoteric < 1467439489 0 :dingbat!uid70835@gateway/web/irccloud.com/x-nhufkakasbolfxco QUIT :*.net *.split < 1467439489 0 :Melvar!~melvar@dslb-088-066-188-188.088.066.pools.vodafone-ip.de QUIT :*.net *.split < 1467439489 0 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi QUIT :*.net *.split < 1467439489 0 :clog!~nef@bespin.org QUIT :*.net *.split < 1467439489 0 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-zlqxehvlydhpfjhw QUIT :*.net *.split < 1467439489 0 :shikhin!shikhin@unaffiliated/shikhin QUIT :*.net *.split < 1467439530 0 :shikhin_!?@? NICK :shikhin < 1467439798 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So I've defined sets, and I've defined rings with identity. < 1467439808 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here's what the definition of a set currently looks like: < 1467439815 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :theory Set : CATEGORY { sort Element; } < 1467439838 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Paraphrased in English: < 1467439841 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"A set consists of a set." < 1467439898 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You can define the empty set, too. It looks something like this: < 1467439913 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :algebra EmptySet : Set { Element := 0; } < 1467439960 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The definition of a ring with identity starts out like this: < 1467439975 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :theory RingWithIdent extends Set : FPRODCAT { < 1467440030 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The "extends" keyword automatically defines a forgetful functor RingWithIdent -> Set. < 1467440205 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So theoretically, you ought to just be able to grab the left adjoint to that functor, giving you the free functor Set -> RingWithIdent. < 1467440226 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And then apply that to EmptySet, and boom, you get the free ring-with-identity on the empty set—in other words, the integers. < 1467440277 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That's all well and good. In fact, let me simply declare that that is now a feature of the language. < 1467440283 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :How are we gonna define functions on the integers, now? < 1467440442 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Come to think of it, I haven't defined any way of defining homomorphisms at all. < 1467441576 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :All right, I suppose theoretically I ought to just be able to say this: < 1467441653 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :homomorphism square : forget Integer as Set -> forget Integer as Set { all x := mult x x } < 1467441703 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Good ol' "forget Integer as Set". One of my favorite algebras. < 1467441836 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Whoops, I forgot the semicolon. < 1467441918 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And I guess logically, I ought to be able to define the integers like this: < 1467441934 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :define algebra Integer : RingWithIdent := free EmptySet as RingWithIdent; < 1467441966 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Likewise, I ought to be able to define the natural numbers (in one of their incarnations) like this: < 1467441981 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :define algebra PeanoNatural : NatNumAlg := free EmptySet as NatNumAlg; < 1467442022 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now ideally, one might like to be able to define the "inclusion" function from PeanoNatural to Integer. < 1467442035 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Rather, from "forget PeanoNatural as Set" to "forget Integer as Set". < 1467442996 0 :Melvar!~melvar@dslb-088-066-188-188.088.066.pools.vodafone-ip.de JOIN :#esoteric < 1467443036 0 :idris-bot!~idris-bot@dslb-088-066-188-188.088.066.pools.vodafone-ip.de QUIT :Ping timeout: 250 seconds < 1467443210 0 :clog!~nef@bespin.org JOIN :#esoteric < 1467443293 0 :spockers!~spockers@unaffiliated/spockers QUIT :Remote host closed the connection < 1467443673 0 :spockers!~spockers@unaffiliated/spockers JOIN :#esoteric < 1467444528 0 :lambda-11235!~lambda-11@184.21.246.132 QUIT :Quit: Bye < 1467444549 0 :spockers!~spockers@unaffiliated/spockers QUIT :Quit: bye http://i.imgur.com/nkzOWAv.jpg < 1467444821 0 :spockers!~spockers@unaffiliated/spockers JOIN :#esoteric < 1467446488 0 :spockers!~spockers@unaffiliated/spockers QUIT :Quit: bye http://i.imgur.com/nkzOWAv.jpg < 1467447953 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1467448583 0 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl JOIN :#esoteric < 1467449362 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://int-e.eu/~bf3/tmp/cube8.html ... that was tricky to reassemble :) < 1467449555 0 :augur!~augur@2602:304:cdac:e260:549c:7b30:cf5:a9b3 JOIN :#esoteric < 1467449704 0 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1467450963 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :corrolary to the sapir-whorf hypothesis: learning a new language increases the range of thoughts you can think. < 1467451039 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or perhaps decreases it. < 1467451076 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tswett: 2 is sometimes called I, the interval category < 1467451089 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In some ways it behaves like the closed interval [0,1] < 1467451103 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In this perspective a natural transformation is like a homotopy of functors. < 1467451120 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yup. < 1467451186 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You can define the interval category in Tokiber easily enough... < 1467451207 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :theory Interval : CATEGORY { sort Domain; sort Codomain; arrow : Domain -> Codomain; } < 1467451234 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you define hTop? < 1467451289 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The category whose objects are topological spaces and whose arrows are homotopy classes of continuous maps? < 1467451312 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Not as a theory, no. < 1467451326 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You can't define a theory that has uncountably many objects. < 1467451330 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What! < 1467451352 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not even uncountably many? < 1467451355 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I mean, you "could" do that, but only by writing an uncountable amount of code. < 1467451395 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :For the doctrine CATEGORY, you can't even define a theory that has infinitely many objects. < 1467451509 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A theory is a finite presentation of a category (or a category-with-a-terminal-object or a finite product category or a finite limit category). And every finitely presented category-with-a-cherry-on-top has only countably many objects. < 1467451695 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But what about infinitary theories? < 1467451702 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? frame < 1467451733 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A frame is just a complete Heyting algebra. Frame homomorphisms don't preserve implication, if you know what I mean. < 1467451790 0 :bb010g!uid21050@gateway/web/irccloud.com/x-gbrvnkdtpiqnyvbc QUIT :Quit: Connection closed for inactivity < 1467451824 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Every definition represents a finite mathematical object. < 1467451827 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :«For infinitary theories, such as that of frames, there is a hitch. Step 2 of Theorem 4.3.6 tells us to form the set of all possible expressions using the generators and the operators, and at this stage the general theory doesn't use the algebraic laws to make any identifications between expressions (this comes in Step 4). This is fine for the finitary algebraic theories. However, for frames, we can mak < 1467451833 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :e new expressions by forming joins of ... < 1467451835 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :... arbitrary sets of older expressions, and this can't be done in set theory. Technically, the "set" of all possible expressions would be a proper class: it is too big to be a valid set. This is a genuine problem. There are infinitary theories (such as that of complete Boolean algebras - see Johnstone [82]) where this is insuperable and presentations simply don't present algebras. For frames, fortunatel < 1467451841 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :y, presentations do present, but we ... < 1467451844 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :... have to argue slightly carefully to show this.» < 1467451846 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't even remember any of this < 1467451848 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Look < 1467451857 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You can define a finite ring. You can't define an infinite ring, but you can define a finite presentation of a ring. < 1467451935 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And that's a lot like being able to define any finitely presented ring. < 1467452212 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1467453002 0 :spockers!~spockers@unaffiliated/spockers JOIN :#esoteric < 1467454760 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :does anyone know why all my compilers on linux create elf files where EI_OSABI is always 0 (which is sysv) instead of 3 (which is linux)? < 1467455238 0 :augur!~augur@2602:304:cdac:e260:549c:7b30:cf5:a9b3 QUIT :Remote host closed the connection < 1467455276 0 :augur!~augur@2602:304:cdac:e260:549c:7b30:cf5:a9b3 JOIN :#esoteric < 1467455542 0 :augur!~augur@2602:304:cdac:e260:549c:7b30:cf5:a9b3 QUIT :Ping timeout: 250 seconds < 1467455661 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` cp /bin/ls .; file ls < 1467455677 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ls: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.26, BuildID[sha1]=0x55f1e005df252708d4c456dcc2c7dccea1006553, stripped < 1467455683 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` dd bs=1 seek=7 conv=notrunc count=1 of=ls status=none <<< $'\3'; file ls < 1467455685 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dd: invalid status flag: `none' \ Try `dd --help' for more information. \ ls: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.26, BuildID[sha1]=0x55f1e005df252708d4c456dcc2c7dccea1006553, stripped < 1467455694 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` dd bs=1 seek=7 conv=notrunc count=1 of=ls 2>/dev/null <<< $'\3'; file ls < 1467455698 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ls: ELF 64-bit LSB executable, x86-64, version 1 (GNU/Linux), dynamically linked (uses shared libs), for GNU/Linux 2.6.26, BuildID[sha1]=0x55f1e005df252708d4c456dcc2c7dccea1006553, stripped < 1467455713 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` ./ls -l ls < 1467455715 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​-rwxr-xr-x 1 5000 0 114032 Jul 2 09:34 ls < 1467455812 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :all the elf files in my system are (SYSV) instead of (GNU/Linux) < 1467456764 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Haha. http://lists.gnu.org/archive/html/bug-glibc/2001-05/msg00169.html ... anyway, "If the object file does not use any extensions, it is recommended that this byte be set to 0." < 1467456780 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(the latter quote is from https://refspecs.linuxfoundation.org/elf/gabi4+/ch4.eheader.html ) < 1467457961 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1467458537 0 :spockers!~spockers@unaffiliated/spockers QUIT :Quit: bye http://i.imgur.com/nkzOWAv.jpg < 1467461842 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :The John Byrne modern-age Superman has canon regarding his facial hair < 1467461855 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :It grows normally, and he has to heat vision a reflective surface to zap it off < 1467463267 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1467463487 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :thanks for the link int-e < 1467463852 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1467464074 0 :Melvar!~melvar@dslb-088-066-188-188.088.066.pools.vodafone-ip.de QUIT :Quit: WeeChat 1.4 < 1467464089 0 :Melvar!~melvar@dslb-088-066-188-188.088.066.pools.vodafone-ip.de JOIN :#esoteric < 1467464645 0 :bender!~bender@2404:e800:e61a:41d:996a:6e29:5964:7c7a JOIN :#esoteric < 1467465155 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1467465251 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :The Imperinatus! (Starring Harrison Fnord) < 1467466237 0 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1467466371 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 264 seconds < 1467466525 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1467466529 0 :spockers!~spockers@unaffiliated/spockers JOIN :#esoteric < 1467467891 0 :bender!~bender@2404:e800:e61a:41d:996a:6e29:5964:7c7a QUIT :Ping timeout: 250 seconds < 1467468111 0 :idris-bot!~idris-bot@dslb-088-066-188-188.088.066.pools.vodafone-ip.de JOIN :#esoteric < 1467468154 0 :variable!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1467469114 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1467470907 0 :moon_!~AndChat17@tx-76-1-74-221.dhcp.embarqhsd.net QUIT :Ping timeout: 264 seconds < 1467471382 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com JOIN :#esoteric < 1467472050 0 :bender!~bender@2404:e800:e61a:41d:bdc6:34a0:faad:4cf8 JOIN :#esoteric < 1467472072 0 :bender!~bender@2404:e800:e61a:41d:bdc6:34a0:faad:4cf8 QUIT :Client Quit < 1467472334 0 :moon_!~AndChat17@tx-76-1-74-221.dhcp.embarqhsd.net JOIN :#esoteric < 1467473732 0 :spockers!~spockers@unaffiliated/spockers QUIT :Remote host closed the connection < 1467476055 0 :bauen1!~bauen1@2a02:810d:1980:1584:a069:a251:9208:8a8b QUIT :Ping timeout: 264 seconds < 1467476098 0 :Eatonion!1f9373fb@gateway/web/freenode/ip.31.147.115.251 JOIN :#esoteric < 1467476114 0 :Eatonion!1f9373fb@gateway/web/freenode/ip.31.147.115.251 PRIVMSG #esoteric :hello < 1467476141 0 :Eatonion!?@? NICK :Etaoin < 1467476258 0 :bauen1!~bauen1@2a02:810d:1980:1584:bc5f:dd29:fc23:3575 JOIN :#esoteric < 1467476400 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com QUIT :Ping timeout: 246 seconds < 1467477409 0 :Etaoin!1f9373fb@gateway/web/freenode/ip.31.147.115.251 QUIT :Quit: Page closed < 1467477599 0 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: BBL < 1467478586 0 :spockers!~spockers@unaffiliated/spockers JOIN :#esoteric < 1467479689 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :The Y Chromosome: The human condition's expansion pack < 1467479786 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:b063:d30d:ddda:cdbd JOIN :#esoteric < 1467481740 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Trump 0 AA! < 1467481746 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(AA = After Apocalypse) < 1467482695 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1467482853 0 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1467482969 0 :APic!apic@apic.name QUIT :Quit: leaving < 1467483010 0 :APic!apic@apic.name JOIN :#esoteric < 1467484022 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is nobody going to talk about lwan? https://lwan.ws/ < 1467484048 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :people are talking about it right now literally in every other channel on freenode < 1467484286 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :so it's like nginx as a library? < 1467484333 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :none of the channels I'm in are talking about it < 1467484341 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :dito < 1467484363 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :also, i would recommend to stay as far away from web development as possible < 1467484369 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :^ < 1467484373 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :nothing good can come of it < 1467484379 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :try googling lolphp < 1467484392 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i did php < 1467484437 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :is there a channel mode we can set to quarantine you? < 1467484454 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :/set mode -php < 1467484771 0 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :any server solution beyond 10,000 RPS is only useful when you are dealing with more than 10,000,000 RPS < 1467484780 0 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :not worth trying otherwise < 1467484809 0 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :(generally they come with severe trade-offs) < 1467485764 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Let's talk about toonemes! < 1467485794 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In cartooning, a tooneme is a component of a drawing which comprises the smallest cartonically meaningful unit. < 1467485828 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Usually, one single line. < 1467485966 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :One eyebrow, one eyelid, one contour mark of whatever kind. < 1467486034 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :http://www.egscomics.com/index.php?id=1209 – look at all those toonemes! < 1467486139 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There are some interesting toonemes in between the eyebrows in panel 6. Three of them. < 1467486225 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"Angry forehead wrinkles", I suppose. < 1467486521 0 :ybden!~ybden@unaffiliated/ybden QUIT :Quit: Fing < 1467486668 0 :ybden!~ybden@unaffiliated/ybden JOIN :#esoteric < 1467487525 0 :augur!~augur@2602:304:cdac:e260:18ab:576:1052:f2dc JOIN :#esoteric < 1467488524 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1467488622 0 :FireFly!~firefly@firefly.xen.prgmr.com QUIT :Ping timeout: 260 seconds < 1467488661 0 :FireFly!~firefly@firefly.xen.prgmr.com JOIN :#esoteric < 1467488971 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1467490011 0 :augur!~augur@2602:304:cdac:e260:18ab:576:1052:f2dc QUIT :Remote host closed the connection < 1467490055 0 :augur!~augur@2602:304:cdac:e260:18ab:576:1052:f2dc JOIN :#esoteric < 1467490329 0 :augur!~augur@2602:304:cdac:e260:18ab:576:1052:f2dc QUIT :Ping timeout: 250 seconds < 1467491687 0 :moon_!~AndChat17@tx-76-1-74-221.dhcp.embarqhsd.net PRIVMSG #esoteric :Moo < 1467492466 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :baaa < 1467493118 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1467493157 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1467493431 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1467494200 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1467494201 0 :J_Arcane!~chatzilla@83-245-231-234-nat-p.elisa-mobile.fi JOIN :#esoteric < 1467494209 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1467494394 0 :Frooxius!~Frooxius@194.108.5.201 QUIT :Quit: *bubbles away* < 1467494781 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hey < 1467494788 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi < 1467494939 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what do you do these days < 1467495003 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :research compiler development, for about a month < 1467495016 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I'm looking for a new job, this one's a fixed-term contract that expires soon < 1467495072 0 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl QUIT :Ping timeout: 276 seconds < 1467495126 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :find me one while you're at it ;P < 1467495585 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1467495664 0 :Frooxius!~Frooxius@198.143.186.203 JOIN :#esoteric < 1467497063 0 :Frooxius!~Frooxius@198.143.186.203 QUIT :Ping timeout: 250 seconds < 1467497065 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Read error: Connection reset by peer < 1467497706 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1467497884 0 :zzo38!~zzo38@24-207-48-196.eastlink.ca PRIVMSG #esoteric :In this Dungeons&Dragons game story is one ogre is always cheating at dice (the dice are loaded so one always comes up 5 and the other one always comes up 2). We hear some ogre talking about one of them cheating at dice and one of them doubts it. To reverse the cheating, rub out the four corner dots of the five. Now they are certain to always lose at dice. < 1467500508 0 :Alcest!~alcest@69.64.40.177 JOIN :#esoteric < 1467500794 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1467500839 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1467500999 0 :augur_!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1467501096 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 272 seconds < 1467501627 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:b063:d30d:ddda:cdbd QUIT :Quit: ZNC - http://znc.in < 1467501651 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 240 seconds