< 1458000212 51083 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de QUIT :
< 1458000430 707354 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-prhhtehkiicvmety QUIT :Quit: EliteBNC free bnc service - http://elitebnc.org - be a part of the Elite!
< 1458000637 395801 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-qqnzzyisxctkddnk JOIN :#esoteric
< 1458000861 919579 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net QUIT :Ping timeout: 244 seconds
< 1458001577 51715 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1458001641 655429 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving
< 1458002739 888186 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? detonation
< 1458002749 626184 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :detonation? ¯\(°_o)/¯
< 1458002787 71282 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn Detonation is the act of destroying a musical instrument.
< 1458002789 311316 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'detonation': Detonation is the act of destroying a musical instrument.
< 1458002893 918875 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: what if there was a variant of learn that would refuse to relearn wth
< 1458002974 661204 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ouch
< 1458002983 756318 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not that much?
< 1458002988 129890 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: hm?
< 1458003173 134366 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that pun is painful
< 1458003183 212650 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you're welcome
< 1458003779 148751 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: [
< 1458003848 652102 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1458005162 623292 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer
< 1458005779 673929 :lleu!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said
< 1458006763 502321 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :It occurs to me that the rules to my gridless go are sufficiently general to apply to any manifold with a metric
< 1458006816 297859 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :so it could be played on a sphere, infinite plane, or the projective plane.
< 1458006845 182533 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :well, only two-dimensional manifolds
< 1458007039 843225 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :manifolds with uneven curvature could be interesting
< 1458007080 531062 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :because a stone is harder to kill if it's on a saddle than on a hill
< 1458008296 212697 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't quite see why it has to be 2d
< 1458008319 2518 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you'd just use balls instead of disks
< 1458008401 987836 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm food
< 1458009240 241746 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :cold kebab doggy bag
< 1458009504 803467 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :\oren\: ^^
< 1458012382 5906 :earendel!~earendel@unaffiliated/earendel QUIT :Ping timeout: 248 seconds
< 1458012522 974438 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: good thing we didn't bet on olist hth
< 1458012933 973472 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric
< 1458013184 638614 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :show starting
< 1458013329 211413 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i need to wake up in 8 hours tdnh
< 1458013711 843831 :Sgeo__!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Cy&H done by PBF's author: http://explosm.net/comics/4238/
< 1458013728 187664 :Sgeo__!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Don't know if that qualifies for pbflist
< 1458013755 386901 :Sgeo__!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :(NSFW)
< 1458013793 346566 :Sgeo__!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :`pbflist ^
< 1458013798 943396 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pbflist ^: shachaf Sgeo quintopia ion b_jonas
< 1458013808 211101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I thought you meant smlist.
< 1458013813 320686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That was much more exciting.
< 1458013828 859602 :Sgeo__!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :sm?
< 1458013839 247820 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? smlist
< 1458013840 663566 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Non-update notification for the webcomic Super Mega.
< 1458015554 624208 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl QUIT :Ping timeout: 244 seconds
< 1458015638 146270 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :hmm, but how would liberties be defined in 3d go?
< 1458015652 828380 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :same way?
< 1458015660 798668 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :er, 3d-ungridded go
< 1458015683 146522 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i don't know how ungridded go works at all
< 1458015694 938967 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :http://www.orenwatson.be/ungriddedgo.htm
< 1458015757 477664 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is that interesting?
< 1458015785 13456 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :there's something similar for tetris
< 1458015797 718708 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :it means ko fights should get pretty interesting
< 1458015839 981597 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :because you can recreate a previous position, but with a few stones shifted slightly, possibly allowing nearby stones to intefere
< 1458015916 821731 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :I should try to write a computer version of ungridded go
< 1458015947 286499 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :also, the branching factor is a lot higher
< 1458015975 309709 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :a computer version wouldn't work
< 1458015981 782255 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :why?
< 1458016011 625667 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :because rationals vs reals
< 1458016024 323912 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :well I suppose it would be limited to the precision of rationals on the hardware-- yeah.
< 1458016052 63990 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :in a computer it's like a gridded go with larger stones
< 1458016149 5599 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :right, but it should still have a much different tactics than regular go.
< 1458016156 516603 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :well, sort of
< 1458016182 819726 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i think 3d go would be interesting
< 1458016185 651510 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :obviously until people start playing it we can't know[C
< 1458016274 655542 :treaki_!~treaki@p54BF2ECB.dip0.t-ipconnect.de JOIN :#esoteric
< 1458016331 840948 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://www.di.fc.ul.pt/~jpn/gv/boards.htm
< 1458016339 884954 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :look at continuous boards
< 1458016500 688198 :treaki__!~treaki@p5B11CE30.dip0.t-ipconnect.de QUIT :Ping timeout: 276 seconds
< 1458016515 111334 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :hehe "45 flip degrees"
< 1458017793 766784 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :holy shit. what if you also had an expanding board
< 1458017834 419552 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :that would be terrible, never mind
< 1458023523 865206 :augur_!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 240 seconds
< 1458023895 206153 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric
< 1458024468 733756 :earendel!~earendel@unaffiliated/earendel NICK :eArendel
< 1458026397 454101 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :operations on strings: append, insert, substring, search, split, compare. am I missing any?
< 1458026528 486356 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :\oren\: reverse, index, sort
< 1458026651 910904 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :find/match
< 1458026700 434449 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :I guess that falls under search, my bad, it's late.
< 1458026848 719865 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye
< 1458027132 335633 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :rotate, swap bytes
< 1458027192 341448 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and most importantly, strfry and memfrob
< 1458028549 324766 :mroman!~mroman@160.85.232.112 JOIN :#esoteric
< 1458028552 841322 :mroman!~mroman@160.85.232.112 PRIVMSG #esoteric :fnard
< 1458030187 927675 :J_Arcane!~chatzilla@37-219-245-89.nat.bb.dnainternet.fi QUIT :Ping timeout: 244 seconds
< 1458030995 997926 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric
< 1458031934 156725 :FireFly!~firefly@oftn/oswg-member/FireFly PRIVMSG #esoteric :Go on a torus is really annoying with the lack of edges and corners
< 1458031938 231642 :FireFly!~firefly@oftn/oswg-member/FireFly PRIVMSG #esoteric :so hard to make territory
< 1458032646 197959 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :machine 4 human 1
< 1458032657 819472 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Good night
< 1458033380 566442 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl JOIN :#esoteric
< 1458038061 631893 :boily!~alexandre@96.127.201.149 JOIN :#esoteric
< 1458038589 555812 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net JOIN :#esoteric
< 1458039109 736134 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`wisdom
< 1458039128 702220 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :not found/not found? ¯\(°_o)/¯
< 1458039278 583148 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`culprits wisdom/not\ found
< 1458039288 794621 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1458039292 750740 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :...?
< 1458039627 977121 :asie!~asie@asie.pl QUIT :Ping timeout: 264 seconds
< 1458040156 560021 :mroman!~mroman@160.85.232.112 PRIVMSG #esoteric :`halp
< 1458040157 436636 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No halp 4 u
< 1458040259 722097 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait, really?
< 1458040274 385304 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that looks like a false alarm
< 1458040290 202820 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, "Cy&H done by PBF's author"
< 1458040292 154346 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :seriously
< 1458040547 803053 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :b_jellonaseriously.
< 1458040870 337060 :asie!~asie@asie.pl JOIN :#esoteric
< 1458041086 839278 :boily!~alexandre@96.127.201.149 QUIT :Quit: RAMPAGING CHICKEN
< 1458041557 368632 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net QUIT :Ping timeout: 252 seconds
< 1458042524 304625 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net JOIN :#esoteric
< 1458044373 965210 :eArendel!~earendel@unaffiliated/earendel QUIT :Ping timeout: 240 seconds
< 1458045063 867662 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net QUIT :Ping timeout: 240 seconds
< 1458045462 39028 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric
< 1458045726 266407 :jaboja!~jaboja@aah15.neoplus.adsl.tpnet.pl JOIN :#esoteric
< 1458047016 190506 :jaboja!~jaboja@aah15.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection
< 1458048867 241888 :eArendel!~earendel@unaffiliated/earendel JOIN :#esoteric
< 1458049114 521267 :heroux!sandroco@gateway/shell/insomnia247/x-tspzudtazchsedbu QUIT :Ping timeout: 252 seconds
< 1458049203 375799 :jaboja!~jaboja@aah15.neoplus.adsl.tpnet.pl JOIN :#esoteric
< 1458050303 990920 :eArendel2!~earendel@176.2.68.165 JOIN :#esoteric
< 1458050401 491563 :eArendel!~earendel@unaffiliated/earendel QUIT :Read error: Connection reset by peer
< 1458050616 285561 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric
< 1458052692 224643 :J_Arcane!~chatzilla@37-219-245-89.nat.bb.dnainternet.fi JOIN :#esoteric
< 1458053625 130805 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric
< 1458054029 17685 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric
< 1458054787 296557 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait what
< 1458054790 806193 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :this seems strange
< 1458054817 819396 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :how can they award AlphaGo a dan rank after just two matches with two people? shouldn't they wait to see how he fares in more matches against other opponents?
< 1458054878 38473 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what a farce! It's like giving the peace Nobel to Obama
< 1458054892 393740 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :they're giving a rank in advance, hoping it would motivate Alphago to improve
< 1458055096 435924 :FireFly!~firefly@oftn/oswg-member/FireFly PRIVMSG #esoteric :I think it's a honorary rank in this case
< 1458055103 223637 :FireFly!~firefly@oftn/oswg-member/FireFly PRIVMSG #esoteric :or that's how I gathered it
< 1458055111 395866 :FireFly!~firefly@oftn/oswg-member/FireFly PRIVMSG #esoteric :what I gathered*
< 1458055126 653448 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :aren't all _high_ dan ranks (like, above 5 dan or something like that) honorary?
< 1458055175 750244 :FireFly!~firefly@oftn/oswg-member/FireFly PRIVMSG #esoteric :Don't know
< 1458055204 689457 :FireFly!~firefly@oftn/oswg-member/FireFly PRIVMSG #esoteric :I'm not sure how much I should trust Hikaru no Go on this matter
< 1458055306 141582 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there… might be a difference between China and Korea about the dan rank stuff that I'm not aware of, or some other subtlety.
< 1458055317 858518 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I sit here as a poor Westerner who can't imagine how these things go
< 1458055904 331843 :ineiros!ineiros@kapsi.fi JOIN :#esoteric
< 1458056615 255637 :J_Arcane!~chatzilla@37-219-245-89.nat.bb.dnainternet.fi QUIT :Ping timeout: 268 seconds
< 1458057011 663736 :jaboja!~jaboja@aah15.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection
< 1458057915 351872 :mroman!~mroman@160.85.232.112 QUIT :Quit: Lost terminal
< 1458058011 301549 :zadock!~outsider@81.180.208.252 JOIN :#esoteric
< 1458059412 472993 :eArendel2!~earendel@176.2.68.165 QUIT :Quit: eArendel2
< 1458059460 17481 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric
< 1458061335 727007 :shikhin!shikhin@unaffiliated/shikhin NICK :dtscode
< 1458061338 502403 :dtscode!shikhin@unaffiliated/shikhin NICK :shikhin
< 1458062192 45492 :lynn!~lynn@unaffiliated/lynn JOIN :#esoteric
< 1458062881 98438 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: you're underappreciated
< 1458062881 386532 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :shachaf: lauri's parents have also lied to my parents now that i understand
< 1458064051 957305 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye
< 1458064207 357411 :heroux!sandroco@gateway/shell/insomnia247/x-anpwnbjcflbpkrit JOIN :#esoteric
< 1458065692 223951 :zadock!~outsider@81.180.208.252 QUIT :Quit: Leaving
< 1458066182 246777 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric
< 1458066192 470554 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: that's awful, how can they live with themselves?
< 1458066192 658108 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: why would i want to work on a better plan of action is just right.
< 1458067636 651168 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :^style
< 1458067636 784720 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
< 1458067704 382722 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome Vorpal
< 1458067709 456218 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :long time Norpal
< 1458067716 330544 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Vorpal: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
< 1458068721 441072 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf: thanks
< 1458069333 430904 :Reece`!~nothing@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric
< 1458071145 181035 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net JOIN :#esoteric
< 1458071846 297386 :J_Arcane!~chatzilla@37-219-65-95.nat.bb.dnainternet.fi JOIN :#esoteric
< 1458071931 928197 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Rebooting
< 1458072089 560615 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1458072398 40318 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Anybody want to play Nomic over Github?
< 1458072422 421263 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :I need at least 2 more players
< 1458072615 930230 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PART #esoteric :"ERC (IRC client for Emacs 24.5.1)"
< 1458072726 614461 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 JOIN :#esoteric
< 1458072748 558005 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :hppavilion[1]: I'd be into it
< 1458072809 139625 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: Cool! Follow the repo at https://github.com/hppavilion1/github-lambdanomic and I'll add you to the list
< 1458072837 610943 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: I just need one more person (and the last person starred it instead of following, so I'm not sure if they'll get an alert when something goes up)
< 1458072837 744354 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :It is done
< 1458072849 326095 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :(I've been looking for them on IRC every day)
< 1458072949 257062 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I'm already planning a rule that all rules must be provided in a machine readable format, so that bots can be entities :D
< 1458072983 991502 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: I was thinking that the format should probably be mathematical- some sort of predicate logic
< 1458072984 859465 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric ::P
< 1458073004 605880 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Sounds machine readable to me
< 1458073014 915092 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Yep, probably, other than (a -> b) -> c
< 1458073022 981121 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Still readable, but harder-to-read-able
< 1458073038 288505 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: And note in the rules that it says any rule-following entity can serve as 0 or 1 players
< 1458073052 174304 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: Though also note that the rules only allow you to add rules currently >:)
< 1458073088 218616 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :So the first rule change I'm planning will be an overriding rule that requires that broadens rulechange scope
< 1458073117 332440 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: Of course, you'll have to provide the machine-readable format
< 1458073133 238538 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Even better, design by committee :D
< 1458073142 520043 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :>:D
< 1458073167 400881 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: Will that rule say that the machine readable format is the canonical rule and the english is simply an interpretation?
< 1458073202 727601 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :NOT the canonical rule?
< 1458073208 594212 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :That's probably the most convenient way, though then we get into the issue of rules that can be expressed in English but not the canonical form
< 1458073218 28909 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Yep
< 1458073240 328758 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :So really we need a supplemental rule to establish that rules must be reducible to some canonical form to be proposed in the first place
< 1458073264 714393 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :It's a real chicken and egg situation
< 1458073266 804045 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: I recommend we have a file called "predfuncs.txt" that provides a list of builtin predicates and functions that a rule-following machine must support
< 1458073279 353195 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :In english, as they have to be added by the botmaster
< 1458073289 319386 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Oh, that would work.
< 1458073300 870526 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: My favorite part of the GitHub model of nomic: Branches
< 1458073455 801631 :Reece`!~nothing@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Read error: Connection reset by peer
< 1458073806 597125 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1458074549 989306 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1458075127 920269 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net JOIN :#esoteric
< 1458075285 292698 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Quit: :qa!
< 1458075337 227305 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net QUIT :Ping timeout: 268 seconds
< 1458075464 643558 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric
< 1458075666 436501 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :lambda-11235: I might've asked you already, but do you have any desire to play Nomic?
< 1458075691 570447 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :hppavilion[2]: What is Nomic?
< 1458075704 38501 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :lambda-11235: It's a game where you change the game's rules as you go
< 1458075726 361244 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :lambda-11235: the short way to explain nomic is "a game in which changing the rules is a move in the game"
< 1458075740 86715 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :lambda-11235: Here's the initial ruleset I'm using for my game: https://raw.githubusercontent.com/hppavilion1/github-lambdanomic/master/rules.md
< 1458075748 386097 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although in practice, it normally turns into "a game, together with a codified method of changing its rules to improve it as you play"
< 1458075767 239300 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :Sounds like a Calvin and Hobbes kinda game.
< 1458075793 149002 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :lambda-11235: Yes, but it's regulated
< 1458075796 819340 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :The rules of Calvinball are sacred
< 1458075809 318487 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :lambda-11235: prooftechnique is playing, btw
< 1458075819 789536 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :calvinball has a lot in common with nomic
< 1458075826 545910 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :It does
< 1458075830 672309 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(actually I've seen someone claim it's not a nomic because the rule "you can't use the same rule twice" can't be changed)
< 1458075832 671747 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :But nomic is more structured
< 1458075860 446812 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not always
< 1458075861 444542 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: And calvinball has no voting
< 1458075865 281759 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :And the unspoken mask rule
< 1458075872 341608 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: Nomic could be calvinball if you tried hard enough
< 1458075880 352922 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the Fantasy Rules Committee is pretty unstructured, and theoretically has voting but it hardly ever comes up
< 1458075885 957860 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: nomic can be anything if you want it to be
< 1458075890 281258 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :including a non-nomic
< 1458075896 155618 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Yeah
< 1458075898 130766 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :True
< 1458075936 807026 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: Fun nomic rule: This rule is only valid if the halting problem for whether it can be played returns FALSE
< 1458075942 97011 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :It's paradoxical AND uncomputable
< 1458075947 478500 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :It's an uncomputable paradox
< 1458075958 321013 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :(Dear lord, please let my logic be correct. Amen.)
< 1458075960 91400 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: many nomics have a rule that if you construct a paradox, you win
< 1458075965 755427 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: True
< 1458075981 153347 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although Agora got rid of that eventually because people managed to scam the paradox rule much more often than they produced an actual paradox
< 1458075993 676280 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: Did you have to study hexadecimology to get your doctorate?
< 1458076014 309701 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, hexadecimal is pretty unrelated to what I did in my PhD
< 1458076020 619794 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: xD
< 1458076025 456193 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :really, numbers don't come up all that often
< 1458076028 980924 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: I thought of a new title
< 1458076033 461287 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: cdr (codoctor)
< 1458076053 884920 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :You are a codoctor if and only if your spouse is a doctor
< 1458076067 376013 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Which seems at best useless, at worst a way to get a fancy title without putting effort into it
< 1458076068 131030 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :BUT
< 1458076100 455284 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Codoctor has equal precedence as a title to doctor (prec(dr) > prec(mr), prec(mrs), prec(ms); prec(dr) = prec(reverend)
< 1458076101 678459 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :)
< 1458076107 766543 :sewilton_!sid32560@gateway/web/irccloud.com/x-ryauxnyxmedyucdr QUIT :
< 1458076113 802610 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Which means that you can be doctor-codoctor John Smith
< 1458076128 348137 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this still seems useless
< 1458076128 753113 :sewilton_!sid32560@gateway/web/irccloud.com/x-bczkjvmjierfxkli JOIN :#esoteric
< 1458076141 785293 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: OK, it is
< 1458076144 349026 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: But it's fun
< 1458076171 623082 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: It's fun to be able to say "Not only did I get a doctorate, so did the man/woman/other I married"
< 1458076176 978747 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Why codoctor? I'd think that'd make you at best a doctor by proxy.
< 1458076188 825508 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: Your spouse is your "other half"
< 1458076191 52868 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Your complement
< 1458076192 373715 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Your dual
< 1458076196 757299 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :dual=co
< 1458076216 545818 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :It's a math joke
< 1458076218 917259 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Wouldn't you also be a (for the sake of argument) comister?
< 1458076225 44312 :sewilton_!sid32560@gateway/web/irccloud.com/x-bczkjvmjierfxkli QUIT :Client Quit
< 1458076238 229135 :sewilton!sid32560@gateway/web/irccloud.com/x-oydmcuxbzujhmmie JOIN :#esoteric
< 1458076246 18193 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: Yes, but "mister" is the default title, so nobody would care
< 1458076280 937643 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Just because you're reverend-doctor smith, doesn't mean you /have/ to always include both reverend AND doctor, or even either at all (you could just call yourself mister if you felt like it)
< 1458076288 33301 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this is not a good meaning of duality
< 1458076296 745045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what if you have more than one spouse?
< 1458076308 89273 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I feel that copumpkin would take issue with hppavilion[2]'s definition of duality too
< 1458076309 72268 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: Your dual is the set of your spice
< 1458076312 724281 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Is marriage an involution?
< 1458076318 142332 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :But if you're male and didn't get any fancy degree, you're mr. no matter what
< 1458076322 818186 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: Sure
< 1458076331 734862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in general spouse is an arbitrary and not good thing to choose here
< 1458076345 736763 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: Wait, no, the function that takes a person and returns the set of their spouses is the involution
< 1458076353 689264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: whoa whoa whoa, is that what the story of cinderella is about?
< 1458076355 885247 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Marriage is a thing that binds to people into a dual relationship
< 1458076372 464987 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: Well who would be better suited as the co- of a person?
< 1458076373 533122 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :What about polygamists?
< 1458076385 307553 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: "set of your spouses"
< 1458076387 643839 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The set of every other person in the world?
< 1458076403 175269 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: No, the universe is your family at your generational level
< 1458076405 273508 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :codoctor seems like it should just mean "not a doctor", and that could be anyone
< 1458076406 368612 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: ?
< 1458076417 149060 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a codoctor /should/ be a time-reversed doctor
< 1458076423 739461 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: How so?
< 1458076424 912886 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Oh, that's better
< 1458076425 517650 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps they turn theorems into coffee?
< 1458076431 451506 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: The prince turned into a copumpkin at midnight.
< 1458076448 591407 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :shachaf: Surely at noon
< 1458076449 8422 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: ah I see
< 1458076457 881267 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: It's not a math joke that is 100% rigorous. Can we just leave it at that?
< 1458076469 190507 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Your spouse (or spouses) is (are) your dual
< 1458076485 93247 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :By definition
< 1458076486 978891 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Is it really a math joke without rigor? Sounds like a conjecture joke to me hth
< 1458076488 854398 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :You know why?
< 1458076489 800590 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but marriage is a scam
< 1458076494 751842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so i don't accept your definition
< 1458076505 213489 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Because the spouse of your spouse is yourself
< 1458076512 258132 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :sps^2(x)=x
< 1458076521 432863 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What if my spouse is the empty set?
< 1458076524 107848 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Like, "what's purple and commutes?" is a math joke
< 1458076525 694405 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the spouse of that?
< 1458076547 785328 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: The empty set is the spouse of all bachelors/bachelorettes
< 1458076559 832285 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not really an empty set, more like an empty monad
< 1458076567 263394 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The spouse of my enemy is my friend.
< 1458076583 235442 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: Even better, the domain of sps is exclusively people in a marital relationship.
< 1458076588 201704 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :And sets of said people
< 1458076590 876465 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :There.
< 1458076596 561241 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: You are not in sps's domain
< 1458076603 400993 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How do you know that?
< 1458076611 40906 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: Because it's the definition of sps
< 1458076622 476987 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :sps : MarriedPeople -> MarriedPeople
< 1458076626 228613 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I have two spouses, A and B. How do I define sps?
< 1458076632 293167 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: It returns the set
< 1458076645 338487 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And it takes a set as input, of course.
< 1458076645 471762 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: So that above definition isn't 100% correct
< 1458076655 579821 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So P(M) -> P(M)
< 1458076659 891711 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But how do you know I'm not in M?
< 1458076673 391237 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: Are you married?
< 1458076679 995135 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :none of your business hth
< 1458076693 485071 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: Then I don't know if you're in the MarriedPeople type
< 1458076713 437401 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :s/in/an element of/
< 1458076714 40152 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :sps looks a lot like id, with that definition
< 1458076721 336568 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: It isn't ID
< 1458076737 624387 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: It's just has a domain and codomain that are the same type
< 1458076742 33871 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: That's allowed
< 1458076744 336832 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :sps {me, A, B} = ?
< 1458076747 889370 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :succ : Nat -> Nat
< 1458076753 174866 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: Empty set
< 1458076764 712009 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :look
< 1458076768 47157 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :sps : {MarriedPeople} -> {MarriedPeople}
< 1458076768 753108 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the whole premise is flawed
< 1458076779 993413 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :marriage is an arbitrary thing
< 1458076780 126818 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: Well we DID take the axiom of choice
< 1458076789 339022 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's not fundamental like duality
< 1458076791 546588 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: there are only finitely many people
< 1458076796 923327 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: Yes, and?
< 1458076801 297283 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so the axiom of choice seems irrelvant here
< 1458076805 62929 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Oh right
< 1458076807 273311 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Forgot about that
< 1458076819 769213 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: It is
< 1458076824 115865 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Why is it the empty set?
< 1458076829 83200 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I have two spouses, A and B
< 1458076849 961413 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: And you're taking the spouse of an entire marital set
< 1458076869 597190 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Which is equivalent to the intersection of the spouse of all items of the marital set
< 1458076875 321163 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :You said I had to do that :/
< 1458076898 963875 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the spouse of {A,B} if A and B aren't married?
< 1458076907 509784 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: That is not a defined operation
< 1458076917 885417 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: A and B have to be married
< 1458076927 800903 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Then why would I need sps? :P
< 1458076935 421098 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :sps({Me, A, B}) = sps(Me) I sps(A) I sps(B) = {}
< 1458076992 789093 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :(I like doing abstract math on concrete things)
< 1458077004 162878 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :I is intersection, btw
< 1458077045 724675 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :All right, so sps me = ?
< 1458077057 884689 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: {A, B}
< 1458077069 688645 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Okay, but now what's sps^2 me?
< 1458077081 124658 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: sps^2(x) = sps(sps(x))
< 1458077086 541318 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: That's pretty standard notation
< 1458077094 331528 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Sort of like sps^-1
< 1458077100 897238 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I know what the notation means, I mean what's the value of it?
< 1458077113 121196 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Oh, wait, I follow, now
< 1458077117 265467 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :You do intersection for sets
< 1458077118 776193 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: Oh, sps^2(Me) = Me
< 1458077125 303259 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :sps returns a set, remember
< 1458077137 357187 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, it still doesn't work.
< 1458077144 635058 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :And it accepts a set, though shorthand permits the input to be written just as a set
< 1458077150 262696 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The spoue of the empty set isn't defined.
< 1458077152 124317 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: What's the issue now?
< 1458077168 576910 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But the spouse of {A,B} can be the empty set.
< 1458077174 438527 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: sps({}) = People-MarriedPeople?
< 1458077180 432757 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You only made it uglier by ruling out one-person marriages, you didn't fix it.
< 1458077182 41936 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :sps : {MarriedPeople} -> {People}
< 1458077189 519177 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: There
< 1458077200 429755 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If {A,B} are married, then you want sps(sps({A,B})) to be {A,B}
< 1458077206 233364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And sps({A,B}) to be {}
< 1458077209 621409 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: ONE PERSON MARRIAGES ARE AN ABOMINATION (ax. 3)
< 1458077218 905053 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :That's a good point...
< 1458077220 80904 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Hm...
< 1458077256 231845 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What you should do is define the complement of a set of people to be the set of everyone else in the universe.
< 1458077272 547958 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :I think we might be able to remediate this by replacing the set of MarriedPeople in the input with a labeled digraph
< 1458077291 768288 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :LABELED DIGRAPHS WON'T FIX OUR MARRIAGE, GERALD!
< 1458077302 176259 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: xD
< 1458077310 642585 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: I think we overdid this
< 1458077330 518063 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Underdid, we haven't solved marriage, yet
< 1458077339 99880 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :I just wanted to be "doctor codoctor hppavilion[1]" someday
< 1458077341 574253 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you really wanted it to work, you'd probably want a family of spouse functions, indexed by marriage set.
< 1458077349 428783 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: That's a good idea
< 1458077357 580258 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe it's even a natural transformation.
< 1458077363 212348 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :shachaf: Try telling that to my wife~
< 1458077377 172359 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :*wives
< 1458077384 313133 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :"I now declare you... a non-empty marriage set."
< 1458077392 872915 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :sps[ms] : ms -> ms
< 1458077405 87796 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :"You may unify your constraints"
< 1458077410 236338 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :sps[{}](x) -> undefined
< 1458077419 255687 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Mostly because x is impossible
< 1458077429 146330 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just say x
< 1458077443 149823 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: OK
< 1458077451 793390 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: But the empty set has no elements
< 1458077457 411666 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :p < 0.5
< 1458077476 216212 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :(not s/0.5/0.05)
< 1458077485 673862 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :hppavilion[2]: https://en.wikipedia.org/wiki/Empty_function
< 1458077515 980910 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :lynn: Huh
< 1458077543 165131 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, so don't define it at all.
< 1458077551 447747 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: Fair enough
< 1458077552 237595 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway you should make it a natural transformation.
< 1458077561 177662 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: How do I do that?
< 1458077567 614918 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :I'm still working on my category theory
< 1458077579 39769 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :sps[{x}](x) = {}
< 1458077588 692021 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know.
< 1458077605 993981 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :So sps[x](y) is basically just x\y
< 1458077611 683550 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes.
< 1458077614 132978 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :OK
< 1458077626 424799 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Now here's the definition
< 1458077655 232134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :By the way, marriages might not be cliques.
< 1458077664 177593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I should say transitive.
< 1458077670 481422 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe A is married to B and B is married to C but not A to C.
< 1458077677 674976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe marriage is a directed graph.
< 1458077679 795850 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why would you expect marriages to be transitive
< 1458077691 165138 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :doctor(x) -> forall y[y in sps[marset(x)](y)] : codoctor(y)
< 1458077692 689186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Well, hppavilion[2] is using equivalence classes.
< 1458077697 394803 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in the case of heterosexual marriage with two genders, they're antitransitive
< 1458077711 177420 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why?
< 1458077714 149827 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: So you want digraph marriages?
< 1458077717 896108 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Presumably a person is always married to themselves.
< 1458077733 846964 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: if A is married to B and B is married to C, then (with these assumptions) A and C have the same gender and B has a different gender
< 1458077747 473493 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and no, it is quite unusual, with standard definitions, for someone to be married to themselves
< 1458077750 55257 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Where sps(x) = {y, z} does not imply sps(y) = {x, z} or sps(z) = {x, y} (index excluded)
< 1458077761 605178 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :shachaf: I feel like that doesn't really match everyday usage of the term
< 1458077765 177916 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although given the relaxation on definitions of marriage recently, it might be possible to pull it off
< 1458077767 681332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Only if there are two genders.
< 1458077774 301426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: that was one of my assumptions
< 1458077782 401042 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Wait, now that we have a marset(x) function, we don't need the index, do we?
< 1458077782 725229 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now, ofc these assumptions aren't true in practice
< 1458077784 943401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, yes.
< 1458077791 691205 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Wait, no, marriage sets aren't exclusive
< 1458077800 538219 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they are both true more than half the time, but not 100% accurate
< 1458077820 739883 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :x in marset(y) -/> ~(x in marset(z)) where marset(z) /= marset(y)
< 1458077831 1011 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, surely there's got to be some jurisdiction somewhere that was relying on gender as the only prevention of someone marrying themselves
< 1458077832 98013 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: There, there's your nontransitive marriage
< 1458077832 425934 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Maybe it's better to formalize "Marital status" rather than marriage itself
< 1458077843 480774 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: I think a "heterosexual marriage" with more than two people is a somewhat strange idea.
< 1458077844 169129 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Since then the singleton case is defined
< 1458077848 645968 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it seems like marrying yourself could be good for, say, tax purpsoes
< 1458077854 48899 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :Is marriage ever irreflexive?
< 1458077858 48757 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: But that defeats the point
< 1458077866 722249 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :~married(x, x)
< 1458077867 984535 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :I mean. Not reflexive
< 1458077879 556768 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Isn't that the main purpose of marriage anyway?
< 1458077894 251537 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: for some people yes, for other people no
< 1458077898 366777 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: OK, what's the current question? In small words?
< 1458077926 893434 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :Is coppro the dual of ppro?
< 1458077936 463189 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coppavillion
< 1458077937 126861 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: what I'm thinking about is "is there any jurisdiction in which it is legally possible to marry yourself, and would there be any benefit in doing so?"
< 1458077952 338432 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Self-marriage
< 1458077961 174511 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: There certainly are jurristictions where it's allowed, according to cdr. Ripley
< 1458077972 125494 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :ais523: Are there any other titles we need to invent?
< 1458077978 312685 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: It seems to me that it should either be impossible to marry yourself or everyone should automatically be married to themselves.
< 1458077981 164569 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :adr. Smith (antidoctor)
< 1458078001 268433 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :You become an antidoctor when you receive your antidoctorate, also known as a Darwin Award
< 1458078020 995041 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: In our system or in real life?
< 1458078048 173009 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"our"?
< 1458078052 955234 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: My?
< 1458078053 271293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Since when are we married?
< 1458078055 959204 :Opodeldoc!~Opodeldoc@208.114.92.193 JOIN :#esoteric
< 1458078064 982095 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :shachaf: No, I mean our system of defining marriage
< 1458078066 590791 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Surely sologamy isn't right. Autogamy would more Greek
< 1458078075 723266 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :lynn: hmm, that article covers a different side of the subject than what I'd hoped :-(
< 1458078084 340452 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :prooftechnique: Antimonogamy: Being married to -1 people
< 1458078100 722819 :hppavilion[2]!~DevourerO@97-102-128-200.res.bhn.net PRIVMSG #esoteric :I'm in a nullogamous relationship
< 1458078130 1003 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I think antimonogamy is a marriage that kills the priest
< 1458078140 138916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: http://www.selfmarriageceremonies.com/faq/ says there are no tax benefits.
< 1458078146 380873 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :according to the linked sources, the sologamous marriage mentioned near the top wasn't legally recognised
< 1458078150 286964 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :shachaf: Well, if you're married to yourself, and hppavilion[2] also is...
< 1458078154 558952 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But that seems like hardly a marriage at all.
< 1458078165 529560 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lynn: Oh, is the rule that everyone is married to myself?
< 1458078173 21882 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: gah at the pronouns there
< 1458078178 27044 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :Yes. HTH
< 1458078184 832333 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I understand they want to be gender-inclusive, but changing pronouns at random is not a good way to do that :-(
< 1458078198 381610 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Yeesh, who wrote this terrible article? Wiki editors should be all over this
< 1458078213 717596 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it has a couple of cleanup tags
< 1458078221 678941 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :Do I have to marry myself to love myself?
< 1458078223 790863 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it could do with another one but I'm not entirely sure what it should be
< 1458078224 900464 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: There should be a