< 1500854473 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric
< 1500856447 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net QUIT :Read error: Connection reset by peer
< 1500856471 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric
< 1500856501 0 :Slereah!~Slereah@ALille-651-1-111-69.w2-5.abo.wanadoo.fr QUIT :Ping timeout: 255 seconds
< 1500857255 0 :Slereah!~Slereah@ALille-651-1-205-7.w81-250.abo.wanadoo.fr JOIN :#esoteric
< 1500857449 0 :Slereah__!~Slereah@ALille-651-1-247-209.w90-1.abo.wanadoo.fr JOIN :#esoteric
< 1500857521 0 :Slereah!~Slereah@ALille-651-1-205-7.w81-250.abo.wanadoo.fr QUIT :Ping timeout: 248 seconds
< 1500857817 0 :Slereah!~Slereah@ALille-651-1-247-209.w90-1.abo.wanadoo.fr JOIN :#esoteric
< 1500857897 0 :Slereah__!~Slereah@ALille-651-1-247-209.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds
< 1500857970 0 :Slereah__!~Slereah@ALille-651-1-152-146.w90-1.abo.wanadoo.fr JOIN :#esoteric
< 1500858107 0 :Slereah!~Slereah@ALille-651-1-247-209.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds
< 1500858843 0 :Slereah!~Slereah@ALille-651-1-244-203.w90-1.abo.wanadoo.fr JOIN :#esoteric
< 1500858856 0 :Slereah__!~Slereah@ALille-651-1-152-146.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds
< 1500859800 0 :xkapastel!uid17782@gateway/web/irccloud.com/x-itajokbfgikjggbr QUIT :Quit: Connection closed for inactivity
< 1500859868 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1500860174 0 :Slereah__!~Slereah@ALille-651-1-244-203.w90-1.abo.wanadoo.fr JOIN :#esoteric
< 1500860247 0 :Slereah!~Slereah@ALille-651-1-244-203.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds
< 1500860329 0 :Slereah!~Slereah@ALille-651-1-94-126.w2-5.abo.wanadoo.fr JOIN :#esoteric
< 1500860423 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric
< 1500860452 0 :Slereah__!~Slereah@ALille-651-1-244-203.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds
< 1500860803 0 :Slereah__!~Slereah@ALille-651-1-9-166.w92-131.abo.wanadoo.fr JOIN :#esoteric
< 1500860855 0 :Slereah!~Slereah@ALille-651-1-94-126.w2-5.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds
< 1500861178 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric
< 1500863700 0 :tswett_!~tswett@unaffiliated/tswett JOIN :#esoteric
< 1500863713 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection
< 1500863784 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1500864148 0 :Slereah__!~Slereah@ALille-651-1-9-166.w92-131.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds
< 1500864617 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net QUIT :Ping timeout: 260 seconds
< 1500864844 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net JOIN :#esoteric
< 1500865807 0 :Slereah!~Slereah@ALille-651-1-262-61.w90-1.abo.wanadoo.fr JOIN :#esoteric
< 1500866092 0 :Slereah__!~Slereah@ALille-651-1-262-61.w90-1.abo.wanadoo.fr JOIN :#esoteric
< 1500866195 0 :Slereah!~Slereah@ALille-651-1-262-61.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds
< 1500866358 0 :Slereah__!~Slereah@ALille-651-1-262-61.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 255 seconds
< 1500866749 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :We can invent the computer design that is like half between MIX and MMIX (almost), and, can be call MDIX.
< 1500866803 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: But I thought you said that MIX wasn't referring to a number.
< 1500866805 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`5 w
< 1500866809 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/2:smell//Smell is a sense, which is particularly strong in old factory sites. \ the u//The U are a very mad people. \ program//A program is an image created by means of prography. \ warranty//HACKEGO COMES WITHOUT WARRANTY, EXPRESS OR IMPLIED, AND IS UNFIT FOR ANY PURPOSE, INCLUDING THE PURPOSE OF BEING UNFIT FOR ANYTHING. Its warranty has expire
< 1500866812 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`n
< 1500866813 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2/2:d. \ roujo//Roujo is a Java heretic leaning on ungrammatical Haskell. His claim to Canadianness is marred by an unholy portal to China. The treaties suffer, so the cocktail will be postponed. He does not understand shell quoting.
< 1500866825 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :shachaf: It is referring to a number, but not a year number.
< 1500866853 0 :PattuX!uid129971@gateway/web/irccloud.com/x-ebbahboouzpazxjd QUIT :Quit: Connection closed for inactivity
< 1500866857 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why would it refer to a number?
< 1500866905 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :It is an average of the numbers of many other computers of the time (rounded down), apparently.
< 1500866947 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, so it is.
< 1500867486 0 :Slereah!~Slereah@ALille-651-1-93-182.w2-5.abo.wanadoo.fr JOIN :#esoteric
< 1500867535 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Are you going to ICFP this year?
< 1500867657 0 :tswett_!~tswett@unaffiliated/tswett QUIT :Ping timeout: 240 seconds
< 1500867880 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I do not think so. What day and where is it anyways?
< 1500867895 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it's in England.
< 1500867903 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sep 3-9, Oxford
< 1500868245 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I do not expect to be in England in September
< 1500869988 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 268 seconds
< 1500870026 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I tried loading a MMIX program with mmotype and it says "File was created Thu Jun 16 12:35:08 1881", even though I know that isn't the case. Why it says that?
< 1500870639 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric
< 1500871024 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net QUIT :Ping timeout: 268 seconds
< 1500871066 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 276 seconds
< 1500872064 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net JOIN :#esoteric
< 1500873001 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving.
< 1500873160 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric
< 1500874014 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :book encoding is a neat hack for really tiny graphs.
< 1500874077 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :just encode the graph as pages of planar graphs and concatenate them together.
< 1500874190 0 :^v!v^@me.pxtst.com QUIT :Ping timeout: 258 seconds
< 1500874685 0 :ais523!~ais523@unaffiliated/ais523 QUIT :
< 1500875472 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric
< 1500875869 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Do you have an example of that?
< 1500876335 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds
< 1500876366 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Book_embedding
< 1500876476 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :OK
< 1500876530 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :OK, that picture explains it
< 1500877296 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric
< 1500878773 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric
< 1500879728 0 :FreeFull!~freefull@defocus/sausage-lover QUIT :
< 1500879877 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 260 seconds
< 1500879903 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric
< 1500881567 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving.
< 1500881606 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 268 seconds
< 1500881632 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric
< 1500883271 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I have this way to round up to one less than a power of two in MMIX:  SRU $0,in,8; ZSNZ $1,$0,255; MOR $0,#FF7F3F1F0F070301,in; OR out,$0,$1  (This assumes the input is a 16-bit number) Is there a better way?
< 1500883300 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection
< 1500883363 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Meaning, set all the bits lower than the highest set bit?
< 1500883373 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Yes
< 1500883379 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :That is the same thing
< 1500883528 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :(For a 8-bit number, the third instruction by itself is sufficient)
< 1500883825 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 255 seconds
< 1500883949 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric
< 1500884345 0 :augur!~augur@c-73-189-251-68.hsd1.ca.comcast.net JOIN :#esoteric
< 1500884349 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Do you like this?
< 1500884440 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 246 seconds
< 1500884441 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :There is also the way to reverse the bits of a 64-bit number in MMIX, which uses MOR twice, with the constant #0102040810204080, but once in the Y position and once in the Z position.
< 1500884517 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I think the MOR instruction of MMIX really is useful.
< 1500884607 0 :augur!~augur@c-73-189-251-68.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds
< 1500884712 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like MXOR?
< 1500884817 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :MXOR has less uses that I can find, but it may be good too
< 1500884988 0 :AnotherTest!~turingcom@134.58.253.56 JOIN :#esoteric
< 1500885093 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Obviously the one you mentioned has mor uses.
< 1500885138 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Yes
< 1500885538 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Ly14]]4 10 02https://esolangs.org/w/index.php?diff=52527&oldid=52520 5* 03LyricLy 5* (+89) 10
< 1500885560 0 :augur!~augur@c-73-189-251-68.hsd1.ca.comcast.net JOIN :#esoteric
< 1500885629 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Ly14]]4 10 02https://esolangs.org/w/index.php?diff=52528&oldid=52527 5* 03LyricLy 5* (+58) 10/* ly.py */
< 1500885677 0 :augur!~augur@c-73-189-251-68.hsd1.ca.comcast.net QUIT :Remote host closed the connection
< 1500885834 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds
< 1500886025 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :A single MXOR can be used to convert 8 bytes simultaneously from/to Gray code. Unfortunately, that's the most convincing use of MXOR that I have so far, disregarding the fact that in many cases, MXOR and MOR can be used interchangably, because one of the matrices is a permutation matrix. It seems that MXOR should help for some computations in GF(2^8) at least.
< 1500886244 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I did not think of Gray code, although I did realize the other thing you mention
< 1500888883 0 :PattuX!uid129971@gateway/web/irccloud.com/x-nmdfjhsfdirhobcp JOIN :#esoteric
< 1500893309 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net QUIT :Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH
< 1500896091 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric
< 1500896289 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :@metar CYUL
< 1500896289 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 241000Z 04011G17KT 15SM BKN055 OVC080 17/09 A2986 RMK SC6AC2 SLP114 DENSITY ALT 500FT
< 1500896520 0 :augur!~augur@c-73-189-251-68.hsd1.ca.comcast.net JOIN :#esoteric
< 1500896785 0 :augur!~augur@c-73-189-251-68.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds
< 1500898243 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :@metar CYUL
< 1500898243 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 241100Z 04013KT 15SM OVC055 17/09 A2988 RMK SC8 SLP121 DENSITY ALT 500FT
< 1500898259 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :clouder.
< 1500899385 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net QUIT :Quit: HARMONIC CHICKEN
< 1500903118 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://twitter.com/Witch_chan2000/status/879189141954625539
< 1500903469 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric
< 1500904832 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric
< 1500906616 0 :`^_^v!~nycs@rrcs-24-136-112-98.nyc.biz.rr.com JOIN :#esoteric
< 1500906868 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :bad wikipedia articles are a gold mine of ideas
< 1500906893 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :A program is how a robot decides when or how to do something.
< 1500906913 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :a Program is a group of related projects managed in a coordinated manner to obtain benefits and control
< 1500906940 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :the source code of a program is the design for the program that it produces
< 1500906952 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :A program was a stack of layers.
< 1500907538 0 :GeoDude!?@? NICK :GeekDude
< 1500907699 0 :tswett!~tswett@167.73.32.65 QUIT :Quit: Leaving
< 1500909192 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving.
< 1500910910 0 :heroux!sandroco@gateway/shell/insomnia247/x-zokncbugalzattpe QUIT :Ping timeout: 268 seconds
< 1500910961 0 :augur!~augur@c-73-189-251-68.hsd1.ca.comcast.net JOIN :#esoteric
< 1500911009 0 :heroux!sandroco@gateway/shell/insomnia247/x-mvawhffnuhrkttjo JOIN :#esoteric
< 1500911232 0 :augur!~augur@c-73-189-251-68.hsd1.ca.comcast.net QUIT :Ping timeout: 255 seconds
< 1500911406 0 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying...
< 1500911588 0 :`^_^v!~nycs@rrcs-24-136-112-98.nyc.biz.rr.com QUIT :Ping timeout: 258 seconds
< 1500911670 0 :PattuX!uid129971@gateway/web/irccloud.com/x-nmdfjhsfdirhobcp QUIT :Quit: Connection closed for inactivity
< 1500911840 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric
< 1500914247 0 :AnotherTest!~turingcom@134.58.253.56 QUIT :Ping timeout: 260 seconds
< 1500914785 0 :viznut_!?@? NICK :viznut
< 1500915678 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep
< 1500916061 0 :PattuX!uid129971@gateway/web/irccloud.com/x-stddouevqvlfxldh JOIN :#esoteric
< 1500916128 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Lol I have a huge office to myself right now. we got a second office recently to store more programmers in but noone wants to be the first guy on the new office
< 1500916353 0 :augur!~augur@c-73-189-251-68.hsd1.ca.comcast.net JOIN :#esoteric
< 1500916900 0 :LKoen!~LKoen@2a01:e35:2eed:a430:192d:fc34:cf09:6401 JOIN :#esoteric
< 1500917232 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1500918249 0 :augur!~augur@c-73-189-251-68.hsd1.ca.comcast.net QUIT :Remote host closed the connection
< 1500918817 0 :__kerbal__!683238fe@gateway/web/freenode/ip.104.50.56.254 JOIN :#esoteric
< 1500919468 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric
< 1500919505 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 248 seconds
< 1500919935 0 :* Taneb!~Taneb@2001:41c8:51:10d: PRIVMSG #esoteric :hello
< 1500920002 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric
< 1500920033 0 :__kerbal__!683238fe@gateway/web/freenode/ip.104.50.56.254 PRIVMSG #esoteric :hello
< 1500920227 0 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :I've just had a few rather fun days in Italy
< 1500920275 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Haneb
< 1500920361 0 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Hichaf
< 1500920369 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I saw that you saw a cat.
< 1500920388 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i was all, like, whoa, dude
< 1500920400 0 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Yes!
< 1500920404 0 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :That was in Venice!
< 1500920440 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I saw a good cat last night but I didn't photograph.
< 1500920788 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`5 w
< 1500920794 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/1:warrigal//Warrigal is #esoteric's resident dingo. It sometimes pretends to be a human. \ yeeeeeeesh//See yeeeeeesh. \ the//the Toe of Harriness's Enclosure \ hacker//Jim Hacker is a former British prime minister. \ companion cube//There's cake inside it. Tear it apart, rip open your companion, and extract the delicious, delicious cake...
< 1500920831 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cwlprits companion cube
< 1500920838 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :zgrëp zgrëp
< 1500920841 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? cats
< 1500920842 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Cats are cool, but should be illegal.
< 1500920846 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? kitten
< 1500920847 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :kitten? ¯\(°​_o)/¯
< 1500921047 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Argh, the coffee machine is very advanced, but you still have to take the milk carafe out of the fridge and put it back each time
< 1500921074 0 :LKoen!~LKoen@2a01:e35:2eed:a430:192d:fc34:cf09:6401 PRIVMSG #esoteric :I've seen coffee machines that made lattes
< 1500921091 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Maybe in 2020 we'll finally have an integrated milk chiller
< 1500921249 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :식료품groceries is good music for blasting in a completely empty empty office
< 1500921296 0 :APic!apic@apic.name PRIVMSG #esoteric :lulz
< 1500921298 0 :APic!apic@apic.name PRIVMSG #esoteric :Good one!
< 1500921929 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :thanks for the weird music \oren\.
< 1500922044 0 :LKoen!~LKoen@2a01:e35:2eed:a430:192d:fc34:cf09:6401 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”
< 1500922391 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric
< 1500922402 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric
< 1500922452 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection
< 1500922521 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric
< 1500923300 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`` cd wisdom; for f in ye*sh; do \? $f; done
< 1500923304 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/?: line 5: cd: wisdom: Not a directory \ /hackenv/bin/?: line 5: cd: wisdom: Not a directory \ /hackenv/bin/?: line 5: cd: wisdom: Not a directory \ /hackenv/bin/?: line 5: cd: wisdom: Not a directory \ /hackenv/bin/?: line 5: cd: wisdom: Not a directory \ /hackenv/bin/?: line 5: cd: wisdom: Not a directory \ /hackenv/bin/?: line 5:
< 1500923369 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1500923395 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`` cd wisdom; for f in ye*sh; do echo -n "$f//"; cat "$f"; done
< 1500923396 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :yeeeeeeeeeesh//See yeeeeeeeeesh. \ yeeeeeeeesh//See yeeeeeeesh. \ yeeeeeeesh//See yeeeeeesh. \ yeeeeeesh//See yeeeeesh. \ yeeeeesh//See yeeeesh. \ yeeeesh//See yeeesh. \ yeeesh//See yeesh.
< 1500923406 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`? yeesh
< 1500923407 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :yeesh? ¯\(°​_o)/¯
< 1500923431 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`dowg yeesh
< 1500923437 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1500923440 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :how useful
< 1500923445 0 :APic!apic@apic.name PRIVMSG #esoteric :😎
< 1500923447 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`dowg yeeesh
< 1500923454 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :6202:2015-11-10 <tsweẗt> le/rn yeeesh/See yeesh.
< 1500923472 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`dowg yeeeeeeeeeesh
< 1500923478 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :6229:2015-11-19 <tsweẗt> le/rn yeeeeeeeeeesh/See yeeeeeeeeesh.
< 1500923488 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :one per day?
< 1500923490 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`dowg yeeeeeeeeesh
< 1500923496 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :10346:2017-03-04 <shachäf> forget yeeeeeeeeesh \ 6228:2015-11-19 <tsweẗt> le/rn yeeeeeeeeesh/See yeeeeeeeesh.
< 1500923529 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? int-e
< 1500923530 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :int-e är inte svensk. Hen kommer att spränga solen. Hen står för sig själv. Hen gillar inte färger, men han gillar dissonans. Er hat ein Hipster-Spiel gekauft.
< 1500923548 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e is into rutabagas?
< 1500923585 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`` echo wisdom/no*dl
< 1500923586 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/nooooodl
< 1500923607 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection
< 1500923671 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: why'd you "`forget" that one but not the others?
< 1500923705 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you'll have something to ask.
< 1500923739 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`dowg yeeeeesh
< 1500923745 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :11080:2017-07-10 <boil̈y> revert \ 11079:2017-07-10 <boil̈y> forget yeeeeesh \ 6200:2015-11-10 <tsweẗt> le/rn yeeeeesh/See yeeeesh.
< 1500923748 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`cd wisdom; echo ye*sh
< 1500923749 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​04invalid command ( ͡° ͜ʖ ͡°)
< 1500923753 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` cd wisdom; echo ye*sh
< 1500923754 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :yeeeeeeeeeesh yeeeeeeeesh yeeeeeeesh yeeeeeesh yeeeeesh yeeeesh yeeesh
< 1500923762 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`doag bin/cd
< 1500923769 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :7819:2016-05-06 <Moon_̈_> mkx bin/cd//erro "invalid command ( \xcd\xa1\xc2\xb0 \xcd\x9c\xca\x96 \xcd\xa1\xc2\xb0)" \ 7818:2016-05-06 <Moon_̈_> mkx bin/cd//erro invalid command ( \xcd\xa1\xc2\xb0 \xcd\x9c\xca\x96 \xcd\xa1\xc2\xb0) \ 7817:2016-05-06 <Moon_̈_> mkx bin/cd//echo stop trying, it doesnt work
< 1500923787 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`rm bin/cd
< 1500923788 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1500923795 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :cd oughtn't be a command anyway.
< 1500923801 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` rm wisdom/ye*sh
< 1500923803 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1500923805 0 :APic!apic@apic.name PRIVMSG #esoteric :kkkk
< 1500923806 0 :APic!apic@apic.name PRIVMSG #esoteric :😉
< 1500923819 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Except I once wrote a cd program that attaches to its parent with ptrace and changes its current directory.
< 1500923844 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh it's part of the moon episode.
< 1500923970 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection
< 1500924040 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1500924104 0 :__kerbal__!683238fe@gateway/web/freenode/ip.104.50.56.254 QUIT :Ping timeout: 260 seconds
< 1500924282 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection
< 1500924353 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1500924375 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric
< 1500928186 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 255 seconds
< 1500929017 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`5 w
< 1500929021 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/3:virgil//Virgil is a prayer at dawn, as well as an ancient Italian poet who led Dante to hell so they can ask the blind transgendered seer Anchises stupid politics questions concerning contemporary noble families. \ dingbat//dingbat is a famous font designer for Microsoft. \ usb3//USB3 hosts are packaged with a full independent implementation of
< 1500929023 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`n
< 1500929024 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2/3: the older USB/USB2, going through separate pins in the same socket. It is similar to DVI, except you need a separate passive converter stub to plug VGA monitor to DVI socket, but you don't need one to plug a USB client to an USB3 host. \ ngram model//An ngram model is just a Markov model with a sliding window state. \ associativity//Associativ
< 1500929026 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`n
< 1500929027 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :3/3:ity means that h(th) = (ht)h, if you're flexible about it.
< 1500929088 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`5
< 1500929089 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/2:255) <olsner> it is from 2002 though, I was younger then \ 763) <olsner> when everyone else was busy going "ewwww, comic sans!" I was reading the text and learned everything \ 525) <Taneb> Mayor says we need to make aluminum items  <Phantom_Hoover> Taneb, PH says you need to make lava items. \ 609) <ais523> the parser would be even simpler if I
< 1500929090 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`n
< 1500929091 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2/2: didn't try to do type inference in it \ 127) <fungot> Sgeo: hahaah, and i love when they announced it i dare u to press alt f4 and your house ( acts 16:31 your bible)
< 1500929116 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Don't you mean aluminium?
< 1500929142 0 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :shachaf, Ideally, yes
< 1500930038 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :this fosforic spelling dispute is sodum
< 1500930120 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :apparently the element named for copernicus is copernicium
< 1500930173 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you sure that's not just a variant of copper?
< 1500930225 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Scoppini14]]4 10 02https://esolangs.org/w/index.php?diff=52529&oldid=44156 5* 03Scoppini 5* (+14) 10
< 1500930244 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :as surely as 1 and 1 make 2
< 1500930274 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you gotta tell me if you're a copernicus
< 1500930290 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=52530&oldid=52448 5* 03Scoppini 5* (+14) 10/* S */
< 1500930319 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=52531&oldid=52530 5* 03Scoppini 5* (+0) 10/* S */
< 1500930653 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :there's also pernicium, named for being pernicious
< 1500930779 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric
< 1500930826 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Please see http://feelingmyage.co.uk/wp-content/uploads/2011/09/periodictable.gif
< 1500930851 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :what the hell. can any of you see me?
< 1500930870 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :or am I just typing to a dead terminal.
< 1500930923 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or is it both?
< 1500930932 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You feel like you are being watched.
< 1500930943 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :oh wow, okay. so this network doesn't block IRC, but it locks web browsing behind guest access.
< 1500930955 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :time to tunnel.
< 1500930996 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think there are easier ways to check whether you're connected to IRC, for example /msg imode test
< 1500931019 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :shachaf: yeah, I figured. but I was so dumbstruck that I didn't think of it. :P
< 1500931573 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :So I guess the main reason I even need to come to work is so I can move a jumper and push a red button now and then
< 1500931652 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :er, wait not jumper. breaker?
< 1500931678 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the thingy that resets after a power problem
< 1500931776 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :breaker.
< 1500931782 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :\oren\: isn't "breaker" the name of your current build system hth
< 1500931788 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :no
< 1500931813 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the component I'm working on now uses boost jam
< 1500931941 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :anyway, luckily, it seems I het the right red button
< 1500933126 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection
< 1500933486 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric
< 1500934346 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I commonly use "PING ME" to test if IRC connection is working (the server will respond PONG if it is OK)
< 1500934373 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most clients do that automatically every now and then
< 1500934424 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :\oren\: "circuit breaker" is the normal phrase in British English
< 1500934445 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :referring to a fuse-like component that works electromechanically rather than via physically catching fire, and thus is resettable rather than needing to be replaced
< 1500934690 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds
< 1500935847 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 240 seconds
< 1500935851 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :My own client automatically responds to the server's pings (unless you turn off that function), but does not emit its own automatically
< 1500935916 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net JOIN :#esoteric
< 1500936343 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric
< 1500936346 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :@metar CYUL
< 1500936346 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 242138Z 08011G16KT 5SM -RA BR FEW009 SCT014 OVC025 16/14 A2995 RMK SF1SC2SC5 SLP143 DENSITY ALT 200FT
< 1500936632 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep
< 1500938058 0 :tswett!~tswett@167.73.32.65 JOIN :#esoteric
< 1500938317 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I'm pondering what I might use as a "home theory" for math.
< 1500938361 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :A lot of mathematicians seem to "live in" ZFC. They consider the axioms of ZFC to be true statements, and they don't worry too much about their theorems not generalizing outside of ZFC.
< 1500938447 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I'd call myself a bit more of a skeptic.
< 1500938492 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I'll admit the axioms of extensionality, specification, pairing, union, replacement, and infinity.
< 1500938500 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Power sets seem suspect.
< 1500938509 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :And the axiom of choice? Hahaha.
< 1500938702 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I want my home theory to be something I can actually think of a model of.
< 1500938725 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do they really?
< 1500938746 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://arxiv.org/pdf/1212.6543.pdf suggests otherwise.
< 1500938775 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :It suggests that power sets *don't* seem suspect?
< 1500938858 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"Perhaps you will wake up tomorrow, check your email, and find an announcement that ZFC is inconsistent. Apparently, someone has taken the ZFC axioms, performed a long string of logical deductions, and arrived at a contradiction. The work has been checked and re-checked. There is no longer any doubt."
< 1500938863 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"How would you react? In particular, how would you feel about the implications for your own work? All your theorems would still be true under ZFC, but so too would their negations. Would you conclude that your life’s work had been destroyed?"
< 1500938978 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't normally work in ZFC, but if I did, I'd try to identify which axiom was incorrect and see what could be proved without it
< 1500938994 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the axiom of choice is a big suspect in that respect
< 1500939018 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :But in ZFC is inconsistent, ZF is inconsistent, too.
< 1500939027 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although, I thought the axiom of choice had been proven to be independent of ZF? if so, that implies that ZFC is consistent by definition
< 1500939039 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(if ZF is inconsistent, nothing is independent of it)
< 1500939040 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Oh, so ZF is consistent now? :)
< 1500939042 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess the proof could be wrong
< 1500939094 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You can have the same collapse in the meta theory
< 1500939105 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :then ZF could be proved both consistent and inconsistent
< 1500939119 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I like that
< 1500939127 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OTOH it'd leave me sceptical of the proof that ZFC were inconsistent
< 1500939140 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :on the basis that there's no reason to conclude that that proof were "about" ZFC
< 1500939142 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :british spellings are so odd sometimes
< 1500939163 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :US spells "sceptical" with a k, right?
< 1500939171 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that looks bizarre to me
< 1500939173 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes, sceptikal
< 1500939185 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :"Sceptical" is still pronounced like "skeptical", right?
< 1500939200 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, the start is like "sceptre"
< 1500939216 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(which is also spelled differently in US English, but it's the end of the word that's spelled differently, not the start)
< 1500939218 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, how do you pronounce "sceptre"?
< 1500939236 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :skep - ter
< 1500939239 0 :Hoolootwo!~Hoolootwo@hooloovoo.blue PRIVMSG #esoteric :septer
< 1500939250 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although come to think of it I probably pronounce it incorrectly
< 1500939258 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I always thought it was "septer", and https://encrypted.google.com/search?q=define:sceptre agrees.
< 1500939264 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it'd make sence if the c were silent
< 1500939281 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my written vocabulary is rather larger than my spoken vocabulary
< 1500939287 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because most of my social interaction is online nowadays
< 1500939296 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I learned a lot of my English from reading.
< 1500939304 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But since then I've spoken a fair amount.
< 1500939314 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :So lemme figure out the... uh... what do you call a property of a category that asserts that it contains objects of a particular type?
< 1500939315 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I still have a noticeable non-native accent, though.
< 1500939325 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"has"?
< 1500939331 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"has products"
< 1500939332 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Sure, a "has-property".
< 1500939341 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"gains products until end of turn"
< 1500939347 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"type" here is informal-English, rather than the technical programming meaning?
< 1500939349 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Lemme figure out the has-properties I'm willing to admit.
< 1500939354 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :ais523: yeah.
< 1500939363 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :So cartesian closedness is a has-property.
< 1500939370 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :A category is cartesian closed if it has exponentials.
< 1500939379 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"your categories have flying. your opponents' categories lose flying and cannot gain flying."
< 1500939388 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: we call those commutativity properties
< 1500939399 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I'll take finite limits and coproducts (for $200, Alex).
< 1500939406 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :i.e. a property that a category obeys a certain commutative diagram
< 1500939420 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :some of them have distinguished objects or morphisms that are necessary to make the diagrams work
< 1500939436 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or a certain family of commutative diagrams?
< 1500939448 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are commutative diagrams different from equations?
< 1500939448 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :ais523: that sounds like it means there are commutativity properties that aren't "has-properties".
< 1500939465 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Well, a commutative diagram is essentially a finite collection of equations, right?
< 1500939470 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Unless it's an infinite diagram, of course.
< 1500939470 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: normally they're like equations but with naturality requirements
< 1500939486 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Commutative diagrams have naturality requirements?
< 1500939489 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I could explain this better if I understood it myself
< 1500939491 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which I don't really
< 1500939580 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I'll also take nLab's "parametrized natural numbers objects".
< 1500939780 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i skeptic tank
< 1500939917 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: seems there /isn't/ a naturality requirement; I just looked it up
< 1500939927 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so right, just equations
< 1500939933 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :I can, in fact, think of a model of this "theory"... I think...
< 1500939940 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :The objects are all primitive recursive subsets of N.
< 1500939948 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :And the morphisms are all primitive recursive functions.
< 1500939957 0 :hppavilion[0]!~dosgmowdo@93-231-58-66.gci.net JOIN :#esoteric
< 1500939980 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Where I guess a "primitive recursive subset" would have to be defined as a set whose membership function is a primitive recursive function.
< 1500940056 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net QUIT :Ping timeout: 260 seconds
< 1500940120 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Except I don't know if that actually works...
< 1500940191 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :That category "obviously" has products, coproducts, and a PNNO. So the only question is whether or not it has pullbacks.
< 1500940221 0 :tswett!~tswett@167.73.32.65 PRIVMSG #esoteric :Yeah, it totally has pullbacks.