1575677913 301758 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu PRIVMSG #esoteric :[ 1880%99 < 1575677913 922821 :j-bot!eldis4@firefly.nu PRIVMSG #esoteric :b_jonas: 18.9899 < 1575678660 649160 :tromp!~tromp@2a02:a210:1585:3200:5193:c267:f39e:fca1 QUIT :Remote host closed the connection > 1575678707 718781 PRIVMSG #esoteric :14[[07Gregorovich14]]4 M10 02https://esolangs.org/w/index.php?diff=67742&oldid=64483 5* 03IFcoltransG 5* (-3) 10/* How It Works */ Typos > 1575679199 407959 PRIVMSG #esoteric :14[[07Treeng14]]4 M10 02https://esolangs.org/w/index.php?diff=67743&oldid=66191 5* 03IFcoltransG 5* (+10) 10Fixed category > 1575679267 116105 PRIVMSG #esoteric :14[[07Treeng14]]4 M10 02https://esolangs.org/w/index.php?diff=67744&oldid=67743 5* 03IFcoltransG 5* (-1) 10Fixed typo > 1575679325 830462 PRIVMSG #esoteric :14[[07Arch14]]4 10 02https://esolangs.org/w/index.php?diff=67745&oldid=67364 5* 03IFcoltransG 5* (+17) 10Shifted from Concepts to Data Types and Structures category > 1575679903 813032 PRIVMSG #esoteric :14[[07Church numeral14]]4 10 02https://esolangs.org/w/index.php?diff=67746&oldid=13147 5* 03IFcoltransG 5* (+214) 10Reorganised slightly, + added some info > 1575679928 912731 PRIVMSG #esoteric :14[[07Church numeral14]]4 M10 02https://esolangs.org/w/index.php?diff=67747&oldid=67746 5* 03IFcoltransG 5* (-2) 10Fixed my category addition < 1575680966 569971 :tromp!~tromp@2a02:a210:1585:3200:5193:c267:f39e:fca1 JOIN :#esoteric > 1575681235 664892 PRIVMSG #esoteric :14[[07Punctree14]]4 M10 02https://esolangs.org/w/index.php?diff=67748&oldid=63903 5* 03IFcoltransG 5* (+2) 10Fixed word conflation < 1575681263 553213 :tromp!~tromp@2a02:a210:1585:3200:5193:c267:f39e:fca1 QUIT :Ping timeout: 276 seconds > 1575681317 770938 PRIVMSG #esoteric :14[[07Punctree14]]4 M10 02https://esolangs.org/w/index.php?diff=67749&oldid=67748 5* 03IFcoltransG 5* (-2) 10Undo revision 67748 by [[Special:Contributions/IFcoltransG|IFcoltransG]] ([[User talk:IFcoltransG|talk]]) I just realised it's a pun > 1575681586 443990 PRIVMSG #esoteric :14[[07Bubble14]]4 10 02https://esolangs.org/w/index.php?diff=67750&oldid=65420 5* 03IFcoltransG 5* (+38) 10Added "not to be confused with Bubbles" < 1575682497 19012 :xkapastel!uid17782@gateway/web/irccloud.com/x-jqgdwtizlucxpjuj QUIT :Quit: Connection closed for inactivity < 1575683244 9808 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net QUIT :Quit: x < 1575683269 996448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`t 5 t w < 1575683274 196656 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/2:nvg//NVG is a student computer club in Trondheim, whose servers are frequently infiltrated by oerjan. Not to be confused with nvd. \ rholypoly//A rholypoly is an edible Greek species of Armadillidiidae. Goes well with garlic! \ sgdq//SGDQ is Summer Games Done Quick, an annual video games speedrunning event for charity every summer, see http://gamesdonequick.com and https://gamesdonequick.com/tracker/events/ \ icbm//ICBMs are Crumbl < 1575683277 130338 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1575683281 61365 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`n < 1575683284 695399 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :2/2:ing Building Missiles. The I is currently classified. \ cream//Cream is what milk turns into once you beat it into submission. < 1575683286 586630 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? nvd < 1575683289 937660 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :nvd is what Taneb calls himself when he wants to feel professional. < 1575683386 111344 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1575683474 415688 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds < 1575683474 869363 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1575684261 578216 :tromp!~tromp@2a02:a210:1585:3200:5193:c267:f39e:fca1 JOIN :#esoteric < 1575684539 577110 :tromp!~tromp@2a02:a210:1585:3200:5193:c267:f39e:fca1 QUIT :Ping timeout: 276 seconds < 1575686495 13539 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr 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.” < 1575687527 985740 :tromp!~tromp@2a02:a210:1585:3200:5193:c267:f39e:fca1 JOIN :#esoteric < 1575687799 987175 :tromp!~tromp@2a02:a210:1585:3200:5193:c267:f39e:fca1 QUIT :Ping timeout: 252 seconds < 1575689176 145154 :zzo38!~zzo38@24-207-50-7.eastlink.ca PRIVMSG #esoteric :I played Scrabble and once accidentally put "A" where I meant to put "N", forming an invalid word (WIZEA instead of WIZEN). However, the error was not noticed until it was too late, so we didn't correct it, and the only word crossing it was AA (instead of AN; both words are valid), and I was left at the end with only my N unplayed, so the score comes out the same way anyways! < 1575689215 447202 :zzo38!~zzo38@24-207-50-7.eastlink.ca PRIVMSG #esoteric :(I also won anyways, and would have done even if I had deducted the score for my error.) < 1575689987 286163 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1575690467 401238 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net JOIN :#esoteric < 1575693057 926355 :tromp!~tromp@2a02:a210:1585:3200:5193:c267:f39e:fca1 JOIN :#esoteric < 1575693289 404108 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Oh, I see why I was getting duplicate clauses. < 1575693303 563483 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was generating a new clause without verifying that both of its watched literals are actually unassigned. < 1575693344 921716 :tromp!~tromp@2a02:a210:1585:3200:5193:c267:f39e:fca1 QUIT :Ping timeout: 246 seconds < 1575693392 374345 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1575693510 101639 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, and I don't even handle unit clauses at all (since I never add them to watchlists), so there's no reason to expect learned unit clauses to work? < 1575693516 225692 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Man, this is completely broken. < 1575695226 670462 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Clause learning is trickier than I thought! < 1575695230 714685 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So many fidgety details. < 1575695447 298738 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1575695828 354678 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1575696650 956118 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :When you learn a unit clause, do people just backtrack all the way to the beginning, or what? < 1575696787 297031 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1575698699 295766 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net QUIT :Ping timeout: 265 seconds < 1575699556 930125 :tromp!~tromp@2a02:a210:1585:3200:5193:c267:f39e:fca1 JOIN :#esoteric < 1575699812 920735 :tromp!~tromp@2a02:a210:1585:3200:5193:c267:f39e:fca1 QUIT :Ping timeout: 246 seconds < 1575704601 616093 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1575704790 554109 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :sed is tc without s, http://sprunge.us/Hi59cv < 1575704932 29755 :tromp!~tromp@2a02:a210:1585:3200:7963:1387:c8cb:cdae JOIN :#esoteric < 1575704985 15498 :arseniiv!~arseniiv@95.105.14.86.dynamic.ufanet.ru JOIN :#esoteric < 1575705047 39749 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :now is it possible without both s and y? you can only have newlines, so the data-string can be stored in unary representing a base-3 number that encodes the data-string (0=>nothing,1=>0,2=>1), and then you'd have to consider the endianness < 1575705201 984317 :tromp!~tromp@2a02:a210:1585:3200:7963:1387:c8cb:cdae QUIT :Ping timeout: 252 seconds < 1575705249 178416 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :if it was first-bit = most-significant digit of base-3 number, then it can easily be multiplied by 3 and can be appended with the appropriate bits, but checking for the most-significant-bit is not possible (I think) using posix regexp < 1575705365 196347 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :if the endianness was reversed, the first-bit can be checked by checking the residue of the number mod 3, trivial, but now appending bits requires you to find the smallest power of 3 larger than the number, which might not be possible with only the pattern and hold space < 1575705500 540412 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :or choose a better reduction/more clever encoding < 1575705872 644285 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :actually in the base-3 encoding, you need some way of storing the current production, so maybe it should be base-n, with n depending on the number of productions < 1575705994 825698 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1575706181 326780 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1575706206 617606 :tromp!~tromp@2a02:a210:1585:3200:7963:1387:c8cb:cdae JOIN :#esoteric > 1575707658 930503 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Rigidity 5* 10New user account > 1575708208 801865 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=67751&oldid=67722 5* 03Rigidity 5* (+257) 10/* Introductions */ < 1575708312 308752 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net JOIN :#esoteric < 1575709397 6591 :b_jonas!~x@catv-176-63-14-45.catv.broadband.hu QUIT :Quit: leaving > 1575710386 214709 PRIVMSG #esoteric :14[[07Zed14]]4 N10 02https://esolangs.org/w/index.php?oldid=67752 5* 03Rigidity 5* (+1959) 10Created page with "== Zed Language == Zed is a language consisting of a total of 32 distinct symbols. A program consists of commands, as well as nested loops, scopes, threads, variables, and fun..." > 1575710440 329847 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=67753&oldid=67740 5* 03Rigidity 5* (+10) 10/* Non-alphabetic */ > 1575710490 948025 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=67754&oldid=67753 5* 03Rigidity 5* (+10) 10/* Z */ < 1575711981 314685 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net QUIT :Ping timeout: 265 seconds < 1575713057 336465 :kspalaiologos2!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1575713076 16529 :kspalaiologos2!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :wait a second, why my nickname is used < 1575713100 557162 :kspalaiologos!~root@206.ip-51-91-102.eu QUIT :Remote host closed the connection < 1575713109 59528 :kspalaiologos2!~kspalaiol@176.221.122.71 NICK :kspalaiologos < 1575713916 633637 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1575713924 885386 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? TC < 1575713926 88177 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Tc is the abbreviation for Technetium, an element so sophisticated that it does not exist naturally. < 1575714015 833023 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :TC is technically correct, it is the best kind of correct (ISBKC) < 1575715712 669513 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1575718535 263064 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1575718545 175025 :LKoen!~LKoen@lstlambert-657-1-122-23.w92-154.abo.wanadoo.fr JOIN :#esoteric > 1575718622 462769 PRIVMSG #esoteric :14[[07Zed14]]4 M10 02https://esolangs.org/w/index.php?diff=67755&oldid=67752 5* 03IFcoltransG 5* (+6) 10Replaced "VERTICAL BAR" with actual properly escaped "|" < 1575718677 937549 :rustik!~rustik@179-194-36-78.baltnet.ru QUIT :Read error: Connection reset by peer < 1575718775 585121 :LKoen!~LKoen@lstlambert-657-1-122-23.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1575718786 251512 :LKoen!~LKoen@lstlambert-657-1-122-23.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1575719356 488248 :LKoen!~LKoen@lstlambert-657-1-122-23.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1575719444 681912 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric > 1575719611 285027 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=67756&oldid=67754 5* 03IFcoltransG 5* (-10) 10/* Non-alphabetic */ "Zed" is alphabetic. Very alphabetic, in fact. Removed the duplicate. > 1575719809 990891 PRIVMSG #esoteric :14[[07Zed14]]4 M10 02https://esolangs.org/w/index.php?diff=67757&oldid=67755 5* 03IFcoltransG 5* (+41) 10Added two appropriate categories. > 1575720149 79333 PRIVMSG #esoteric :14[[07LogOS14]]4 M10 02https://esolangs.org/w/index.php?diff=67758&oldid=67543 5* 03IFcoltransG 5* (+27) 10Tentatively added Pseudonatural category > 1575720309 575390 PRIVMSG #esoteric :14[[07Esolang:Categorization14]]4 10 02https://esolangs.org/w/index.php?diff=67759&oldid=64873 5* 03IFcoltransG 5* (+111) 10/* Source format */ Added reference to the Pseudonatural category (which already exists) < 1575721368 539971 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-pcindravliwhddwk QUIT :Quit: killed < 1575721387 350947 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-ralruizcgdehfwsa QUIT :Quit: killed < 1575721398 501050 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-ypljtrsczeetblny QUIT :Quit: killed < 1575722269 918524 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-klrtoslkkhbeyehn JOIN :#esoteric < 1575723987 823163 :MDude!~MDude@97-127-187-59.cdrr.qwest.net QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1575726102 992467 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-pmzlnrkzsrotypjh JOIN :#esoteric < 1575726103 40193 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-oahrnmhezymrwvsb JOIN :#esoteric > 1575726184 796877 PRIVMSG #esoteric :14[[07Ttttt14]]4 10 02https://esolangs.org/w/index.php?diff=67760&oldid=67726 5* 03Hex96 5* (+317) 10/* Hello, world */ > 1575726255 484548 PRIVMSG #esoteric :14[[07Tttt14]]4 10 02https://esolangs.org/w/index.php?diff=67761&oldid=67713 5* 03Hex96 5* (+301) 10/* Hello, World! */ > 1575726288 544727 PRIVMSG #esoteric :14[[07Tttt14]]4 10 02https://esolangs.org/w/index.php?diff=67762&oldid=67761 5* 03Hex96 5* (+4) 10 < 1575726340 945614 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :there's probably a few bugs in this long-running program that I made. fungot, can you give a clue about where the bug is? < 1575726340 992289 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :wib_jonas: i don't follow > 1575726405 228874 PRIVMSG #esoteric :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=67763&oldid=67717 5* 03Hex96 5* (+96) 10/* One-eyed representations */ < 1575726663 624764 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1575726697 147119 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1575726745 502337 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1575726978 552049 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1575728695 782604 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1575728766 390752 :LKoen!~LKoen@lstlambert-657-1-122-23.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1575729056 716047 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric > 1575729580 539362 PRIVMSG #esoteric :14[[07User talk:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67764&oldid=67710 5* 03Palaiologos 5* (+54) 10 > 1575729598 258451 PRIVMSG #esoteric :14[[07User talk:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67765&oldid=67764 5* 03Palaiologos 5* (+104) 10 < 1575730425 146615 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric < 1575731461 848637 :arseniiv!~arseniiv@95.105.14.86.dynamic.ufanet.ru PRIVMSG #esoteric :fungot: in P vs. NP rap battle, who wins? < 1575731461 988423 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: i think almost whole darkhive is 300m. a car is-a vehicle, a vehicle, such things < 1575731502 453227 :arseniiv!~arseniiv@95.105.14.86.dynamic.ufanet.ru PRIVMSG #esoteric :I get it you don’t want to give spoilers > 1575733482 251852 PRIVMSG #esoteric :14[[07Zed14]]4 10 02https://esolangs.org/w/index.php?diff=67766&oldid=67757 5* 03Rigidity 5* (+52) 10/* Zed Language */ < 1575734256 647150 :tromp!~tromp@2a02:a210:1585:3200:7963:1387:c8cb:cdae QUIT :Remote host closed the connection < 1575734646 378051 :tromp!~tromp@2a02:a210:1585:3200:7963:1387:c8cb:cdae JOIN :#esoteric < 1575736214 941849 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1575736785 989123 :imode!~linear@unaffiliated/imode JOIN :#esoteric > 1575738088 694042 PRIVMSG #esoteric :14[[07Tttt14]]4 10 02https://esolangs.org/w/index.php?diff=67767&oldid=67762 5* 03Hex96 5* (+104) 10 > 1575738158 44079 PRIVMSG #esoteric :14[[07Tttt14]]4 10 02https://esolangs.org/w/index.php?diff=67768&oldid=67767 5* 03Hex96 5* (+9) 10 > 1575738772 723918 PRIVMSG #esoteric :14[[07User:Dart14]]4 N10 02https://esolangs.org/w/index.php?oldid=67769 5* 03Dart 5* (+1025) 10Created page with "