< 1437523420 221477 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what are you testing < 1437524157 663923 :hppavilion[1]!423ae75d@gateway/web/freenode/ip.66.58.231.93 PRIVMSG #esoteric :I got cat slobber on my touchscreen :( < 1437524233 96471 :hppavilion1!423ae75d@gateway/web/freenode/ip.66.58.231.93 JOIN :#esoteric < 1437524260 53099 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1437524279 421419 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :https://www.youtube.com/watch?v=GFLkou8NvJo < 1437524333 119567 :aretecode!~aretecode@S01061859339e5f51.cc.shawcable.net QUIT :Quit: Toodaloo < 1437524670 719496 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :nortti, I understand the end of the world a bit better now https://www.youtube.com/watch?v=jWeAsCzHvTo < 1437524688 367606 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :(Hansel song) < 1437524809 183941 :nortti!~juhani@ayu.smar.fi PRIVMSG #esoteric :thanks. do you know if there exists a list of all songs released up to date, so I can check what I've missed < 1437524830 878189 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1437524972 331110 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :http://theevilliouschronicles.wikia.com/wiki/Category:Songs might be your best bet < 1437525017 43445 :nortti!~juhani@ayu.smar.fi PRIVMSG #esoteric ::/ would have liked a chronologically ordered one, but eeh, good enough < 1437525020 366388 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437525058 725587 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :chronologically as in in-world time, or as in release order? < 1437525070 93614 :nortti!~juhani@ayu.smar.fi PRIVMSG #esoteric :release order < 1437525209 312185 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :http://theevilliouschronicles.wikia.com/wiki/Evillious_Chronicles#Song_Listing < 1437525219 451181 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Not certain if release order, but at least a few songs look right < 1437525295 923170 :nortti!~juhani@ayu.smar.fi PRIVMSG #esoteric :ah, does seem to be < 1437525318 619240 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I should make a playlist at some point < 1437525324 716337 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I don't think I've seen every song < 1437525797 843901 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :good evng < 1437525929 552908 :hppavilion1!423ae75d@gateway/web/freenode/ip.66.58.231.93 PRIVMSG #esoteric :POOOOOOOOOOOONIEEEEEEEEEEEEEEEES < 1437525936 444785 :hppavilion[1]!423ae75d@gateway/web/freenode/ip.66.58.231.93 PRIVMSG #esoteric :... < 1437525940 492086 :hppavilion[1]!423ae75d@gateway/web/freenode/ip.66.58.231.93 PRIVMSG #esoteric :-.- < 1437526084 819003 :nortti!~juhani@ayu.smar.fi PRIVMSG #esoteric :see inoop? < 1437526339 63990 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :nortti, hmm, that translation of Boy of the End seemed to imply to me that ONE of the endings is the true one, but wiki seems to suggest all of them will come true < 1437526341 115148 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I'm confused < 1437526390 174758 :nortti!~juhani@ayu.smar.fi PRIVMSG #esoteric :me too < 1437526637 207420 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :THE WORLD ENDED ALREADY?!? < 1437526637 668952 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :http://theevilliouschronicles.wikia.com/wiki/Punishment#History < 1437526657 735713 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I thought the songs were building up to revealing what the end would be, with the birth of Irregular etc. < 1437526759 579391 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Remote host closed the connection < 1437526764 610760 :variable!~variable@freebsd/developer/variable NICK :constant < 1437527069 28825 :hppavilion1!423ae75d@gateway/web/freenode/ip.66.58.231.93 QUIT :Ping timeout: 246 seconds < 1437527069 83035 :hppavilion[1]!423ae75d@gateway/web/freenode/ip.66.58.231.93 QUIT :Ping timeout: 246 seconds < 1437527081 357921 :fungot!~fungot@momus.zem.fi QUIT :Ping timeout: 260 seconds < 1437527133 78459 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the world _must_ be ending, fungot has left < 1437527187 580843 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1437528638 719278 :mihow!~mihow@c-67-171-136-69.hsd1.or.comcast.net JOIN :#esoteric < 1437528644 130891 :mihow!~mihow@c-67-171-136-69.hsd1.or.comcast.net QUIT :Remote host closed the connection < 1437528664 545354 :mihow!~mihow@c-67-171-136-69.hsd1.or.comcast.net JOIN :#esoteric < 1437528829 35821 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1437529430 96691 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Is this a proper way of to make man page? http://sprunge.us/HBIM It is work for me, but is the stuff written there how it should be written man page? < 1437529746 499153 :mihow!~mihow@c-67-171-136-69.hsd1.or.comcast.net QUIT :Quit: mihow < 1437529770 336929 :mihow!~mihow@c-67-171-136-69.hsd1.or.comcast.net JOIN :#esoteric < 1437530194 722797 :Herbalist!~oz@unaffiliated/herbalist JOIN :#esoteric < 1437530204 633868 :Herbalist!~oz@unaffiliated/herbalist PART :#esoteric < 1437530509 656908 :mihow!~mihow@c-67-171-136-69.hsd1.or.comcast.net QUIT :Quit: mihow < 1437531259 370668 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Gooed knight < 1437531880 350987 :mihow!~mihow@c-67-171-136-69.hsd1.or.comcast.net JOIN :#esoteric < 1437532519 564115 :zzo38!~zzo38@24-207-56-9.eastlink.ca QUIT :Remote host closed the connection < 1437533269 207010 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437533530 206441 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1437533566 869574 :mihow!~mihow@c-67-171-136-69.hsd1.or.comcast.net QUIT :Quit: mihow < 1437536702 755751 :zzo38!~zzo38@24-207-56-9.eastlink.ca JOIN :#esoteric < 1437536953 631207 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437537182 951373 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Do you believe my guess of how the example codes in the [[Tangle bracket language]] is working, is correct? < 1437537250 598958 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1437537916 767523 :Wright_!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1437537916 973032 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1437538157 576005 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Putting a bent paperclip in the power supply worked! < 1437538499 412374 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Can I get Windows-like function key operation for bash? < 1437539064 733010 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1437539088 705855 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437539991 984651 :password2!~password@197.77.72.172 JOIN :#esoteric < 1437540231 359675 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :windows? < 1437540432 727110 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Such as F3=repeat last command (but keep what you have currently typed and delete those first few characters from the added text), F2=type another character and repeat previous like F3 but stop just before that character, F5=save last command but don't execute it, F8=search in history for command starting with what you have typed, F1=repeat one character from last command. < 1437540561 326091 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But it would help if F5 function it change text into different color so that you can know it didn't execute < 1437541049 453388 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :I recommend learning the default keys for bash, that way you can use them on every linux box < 1437541094 250835 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes, but are any of these functions available? < 1437541123 793185 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :ctrl-r is search history < 1437541126 701589 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :http://www.bigsmoke.us/readline/shortcuts < 1437541165 554210 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Remote host closed the connection < 1437541603 360515 :llue!~gnomebad@88.202.254.4 JOIN :#esoteric < 1437541603 512710 :llue!~gnomebad@88.202.254.4 QUIT :Changing host < 1437541603 566945 :llue!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1437541801 332039 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 256 seconds < 1437542443 510346 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1437543163 511700 :password2!~password@197.77.72.172 QUIT :Remote host closed the connection < 1437544708 884476 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Some terminal emulator implement you can't read back the window title, for security purpose. But I have another idea, to have "secure read title" option, which when the program request the window title it will remember the current window title and send the index into its array of storage, so that it can still put back the window title how it was before, even without knowing what it is. < 1437544795 638763 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437545084 588776 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1437545457 478272 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net JOIN :#esoteric < 1437545732 606415 :hppavilion[1][42!423aab85@gateway/web/freenode/ip.66.58.171.133 JOIN :#esoteric < 1437545736 163497 :hppavilion[1][42!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Hi < 1437545745 242844 :hppavilion[1][42!423aab85@gateway/web/freenode/ip.66.58.171.133 NICK :hppavilion[1][0] < 1437545751 621608 :hppavilion[1][0]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :That's bettaaaaaaar < 1437545945 754220 :hppavilion[1][0]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I thought of an esoteric assembly language < 1437546061 945126 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :OK, what kind of esoteric assembly language? < 1437546212 113765 :hppavilion[1][0]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Basically, take a bunch of OISC languages < 1437546215 451004 :hppavilion[1][0]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :And put them together < 1437546224 936020 :hppavilion[1][0]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Thus defeating the purpose of a OISC < 1437546249 802707 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i do think most oisc languages cannot be put together < 1437546264 361269 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :since you don't actually mention the instruction < 1437546281 662353 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you'd have to make the instruction depending on the value < 1437546295 886107 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it may be hard to do this without losing tc < 1437546316 662997 :hppavilion[1][0]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Oh < 1437546318 413563 :radza!~radza@86.103.130.68 JOIN :#esoteric < 1437546323 19905 :hppavilion[1][0]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Well you WOULD have to include the instruction < 1437546340 304490 :hppavilion[1][0]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :What I meant was taking the _possible instructions for use_ in a OISC < 1437546343 697759 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that would be pretty hard for e.g. subleq < 1437546345 327775 :hppavilion[1][0]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :And making a language out of it < 1437546363 778595 :hppavilion[1][0]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :How so? < 1437546406 465750 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :go try < 1437546411 316106 :radza!~radza@86.103.130.68 PART :#esoteric < 1437546593 944973 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1437547205 850624 :_256Q!~toastyten@unaffiliated/256q/x-9307863 QUIT :Read error: Connection reset by peer < 1437548016 770306 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1437548481 896099 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437548752 816830 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1437549769 445578 :hppavilion[1][0]!423aab85@gateway/web/freenode/ip.66.58.171.133 QUIT :Ping timeout: 246 seconds < 1437552297 873803 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1437552390 558734 :white_bear!~white_bea@AMontsouris-655-1-143-158.w92-128.abo.wanadoo.fr JOIN :#esoteric < 1437553658 696486 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1437555045 87028 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ok so CPT-invariant thermodynamics is trippy < 1437555050 982771 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but CP-invariant thermodynamics is bizarre < 1437555475 387948 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which type of CPT-invariant termodynamics? the one that blames the edge conditions for low entropy? < 1437556287 258601 :x10A94!x10A94@178.252.73.97 JOIN :#esoteric < 1437556839 352296 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Can GCC optimize a multiplication of a boolean by a number? < 1437556872 64152 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1437556884 374600 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :zzo38, that should either be 0 or an unspecified number? < 1437556893 317594 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am not sure if such an optimization is valid < 1437556913 937372 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Say, if you're working with unsigned 16-bit ints < 1437556937 270290 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Most boolean operations are 0 or 1 < 1437556953 90086 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :zzo38, it's actually unspecified, I think < 1437556955 436399 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(Some might not be though) < 1437557086 702105 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :As far as I know it is 0 or 1 if the built-in operators (not functions) are used, it seem to be. But in BASIC and Forth it is 0 and -1 instead. < 1437557259 766780 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :And even in case where it is unspecified, you can guarantee to be zero if the second number is also zero. Possibly in a few cases this might be useful I don't quite know < 1437557274 742428 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :b_jonas: no, the general consequence of what happens to themodynamics under the T symmetry < 1437557278 745463 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :does it flip, or does it not? < 1437557349 408798 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :if it flips, that provides a potential explanation of the abundance of matter (it's thermodynamically favourable for antimatter to turn into matter, but not vice versa) < 1437557352 401594 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Quit: ZNC - http://znc.in < 1437557359 316335 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :and it implies that in general, antimatter is not entropic but syntropic < 1437557393 360295 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`` cd /tmp && echo 'unsigned f(unsigned a, unsigned b) { return (a==b)*b; }' > bmul.c && gcc bmul.c -c -g -O3 -march=native && objdump -d bmul.o < 1437557408 937137 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :if thermodynamics does not flip, then antimatter is entropic, which means that the universe as a whole does not obey CPT symmetry, raising two questions: what will replace QFT for the theory of everything, since QFT can't violate CPT symmetry, and why does the arrow of time exist? < 1437557427 875440 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ \ bmul.o: file format elf64-x86-64 \ \ \ Disassembly of section .text: \ \ 0000000000000000 : \ 0: 31 c0 xor %eax,%eax \ 2: 39 f7 cmp %esi,%edi \ 4: 0f 94 c0 sete %al \ 7: 0f af c6 imul %esi,%eax \ a: c3 retq < 1437557454 736896 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :So, this gcc does not. < 1437557465 88643 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :syntropic antimatter also raises the question of whether or not you can convey information backwards in time using it < 1437557476 422592 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`` cd /tmp && echo 'unsigned f(unsigned a, unsigned b) { return a==b? b : 0; }' > bmul.c && gcc bmul.c -c -g -O3 -march=native && objdump -d bmul.o < 1437557479 583354 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :since it would obey retrocausality, not causality < 1437557483 774033 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ \ bmul.o: file format elf64-x86-64 \ \ \ Disassembly of section .text: \ \ 0000000000000000 : \ 0: 89 f0 mov %esi,%eax \ 2: 39 f7 cmp %esi,%edi \ 4: ba 00 00 00 00 mov $0x0,%edx \ 9: 0f 45 c2 cmovne %edx,%eax \ c: c3 retq < 1437557922 364651 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :Jafet: Clang does though < 1437557935 100247 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`clang < 1437557936 363293 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: clang: not found < 1437557946 776127 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`tcc < 1437557947 385715 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: tcc: not found < 1437558101 173883 :AnotherTest!~turingcom@94-224-27-215.access.telenet.be JOIN :#esoteric < 1437558532 472521 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437558634 605020 :llue!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1437558657 914515 :llue!~gnomebad@88.202.254.4 JOIN :#esoteric < 1437558658 129523 :llue!~gnomebad@88.202.254.4 QUIT :Changing host < 1437558658 183761 :llue!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1437558806 374518 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1437559203 311709 :llue!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1437559230 356427 :lleu!~gnomebad@88.202.254.4 JOIN :#esoteric < 1437559230 410668 :lleu!~gnomebad@88.202.254.4 QUIT :Changing host < 1437559230 410733 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1437559268 34495 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Can you access memory usage data including buffer/cache in Linux without parsing the /proc/meminfo file? < 1437560046 335098 :Wright_!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Remote host closed the connection < 1437560111 213758 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :Yes, you can be root and parse all the /proc/$pid/smaps files instead < 1437560191 673602 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1437560208 497777 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1437560302 47033 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I mean don't parsing any file < 1437560312 856586 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(nor the output of the free command) < 1437560391 954673 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I did look at the source-codes of how it is implemented in /proc/meminfo it says cached = global_page_state(NR_FILE_PAGES) - total_swapcache_pages() - i.bufferram; < 1437560437 524450 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: does sysinfo() miss anything you need? < 1437560452 458158 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes, it misses the cache memory amount < 1437560507 357674 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1437561191 47174 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: apart from directly accessing the memory usage data, you can try running the "free" or "top" programs. < 1437561282 375240 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but those programs probably actually get most of their data from /proc files on Linux < 1437561311 525349 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Is it possible to tell Firefox to display the percent-encodings of Unicode characters in the location bar rather than the characters themself? < 1437561327 7043 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: apart from that, you can try using the sysinfo() system call, which gives some memory usage statistics data < 1437561364 705596 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :b_jonas: Yes but sysinfo() doesn't have the cache amount < 1437561479 346017 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: as for that, I think if you copy the url to the clipboard (eg. by pressing control-L control-C ), it copies the original version with percent encodes. < 1437561516 83849 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes I know, but I want it to display the percent encodings all the time < 1437561559 534070 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :zzo38: For details like that I think parsing /proc is the only way to go in user space. Alternatively you can write a kernel module to get a more machine-readable form < 1437561700 203359 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: I don't know how to do that then. Maybe there's some well-hidden setting or a firefox extension that does that. < 1437561967 666079 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I want the status bar also to display percent encodings < 1437563093 509593 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Actually I think I found the problem, it is a function called "losslessDecodeURI" in browser.js, but I am not sure how to override it (in userChrome.js) < 1437563150 252661 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Is there a proof that brainfuck is NOT turing complete with only two (unbounded) cells? < 1437563738 628536 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1437563997 757278 :boily!~alexandre@96.127.201.149 QUIT :Quit: KERNED CHICKEN < 1437564781 786900 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I managed to fix that function, it is not so difficult to fix. I did: window.losslessDecodeURI=function(aURI) { return aURI.spec; }; < 1437564798 956202 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1437565100 4147 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437565154 931944 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It's probably true, but no one's made a proof yet < 1437565363 515315 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Then you should try to prove it by yourself. < 1437565390 948477 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1437565526 701100 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I'm not sure what kind of reduction would be used to prove it, since most lower computational classes are finite in some sense < 1437567841 639370 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1437568520 403061 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 264 seconds < 1437568746 754849 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437569015 717173 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1437570381 456581 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fnord. < 1437571139 703211 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437572038 707299 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Read error: Connection reset by peer < 1437572411 48771 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1437572635 300159 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437572690 13013 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437572729 32216 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1437573162 303307 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot where are you? < 1437573421 479628 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1437573778 257343 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437573836 127957 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437574332 242751 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1437574471 625776 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437574549 945555 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437575027 158799 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437575103 930273 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437575780 142483 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1437575849 204866 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There is fungot. < 1437575849 962872 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: chipmunk says: nice job on ooe on c.l.s. right now i'm using cvs, but it's a pretty lowlevel basic right? < 1437575865 320016 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: CVS, very retro. < 1437575865 525632 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: it is quite unreadable...)) expression) < 1437576972 753045 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437576987 160568 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437577158 105957 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1437577173 462638 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1437577343 937302 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 244 seconds < 1437577799 456457 :constant!~variable@freebsd/developer/variable QUIT :Ping timeout: 256 seconds < 1437578097 382774 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Wisdom from the neural net: < 1437578100 924431 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"It's not much for a turing complete IP to use somewhat bad parts, and then you will confuse every cpu call" < 1437578287 745613 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what input did you give it to produce that? < 1437578300 607687 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437578315 215532 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437578316 191025 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I mean, it's not actually a meaningful sentence, but it does look meaningful until you read it multiple times < 1437578317 227284 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I mean, it's not actually a meaningful sentence, but it does look meaningful until you read it multiple times < 1437578332 587436 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The #esoteric IRC logs. < 1437578343 61116 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think the ones for April and part of May, maybe? < 1437578401 996565 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Taneb: a finite state machine with access to a two-unbounded-cell brainfuck tape can simulate Fractran, so that would be Turing-complete. < 1437578421 892769 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So if brainfuck with two unbounded cells is *not* Turing-complete, it must be because brainfuck's flow control isn't powerful enough. < 1437578487 911336 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1437578488 463537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` ln -s universe wisdom/the\ universe < 1437578492 410436 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :tswett, oerjan proved that three cells was enough < 1437578494 333056 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1437578507 498042 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So I was wondering if it's possible to go deeper, so to speak < 1437578522 894608 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` sed -i 's/Go,/Go, the universe,/' wisdom/tanebvention < 1437578524 555600 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1437578581 269223 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, you can't just arbitrarily declare Taneb to have invented arbitrary things < 1437578673 396497 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`le/rn fundamental theorem of Taneb/The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is provable that Taneb invented the thing described by S; and, furthermore, that it is provable that there exists a string T that describes a thing that Taneb did not invent. < 1437578675 428796 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «fundamental theorem of taneb» < 1437578681 527390 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`? fundamental theorem of Taneb < 1437578682 797408 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is provable that Taneb invented the thing described by S; and, furthermore, that it is provable that there exists a string T that describes a thing that Taneb did not invent. < 1437578910 545048 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is that the Taneb version of omega-incompleteness? < 1437578913 176120 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437578917 365109 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(if I have an omega on my compose key, I don't know where it is) < 1437578979 275577 :comodvs!~comodvs@unaffiliated/comodvs JOIN :#esoteric < 1437578985 825788 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :What's omega-incompleteness? < 1437578999 864756 :comodvs!~comodvs@unaffiliated/comodvs PRIVMSG #esoteric :does anyone here have The Book of Nymphs, Sylphs, Pygmies, and Salamanders by Paracelsus < 1437579065 416234 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`welcome comodvs < 1437579066 759983 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :comodvs: 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.) < 1437579079 493310 :comodvs!~comodvs@unaffiliated/comodvs PRIVMSG #esoteric :thank you Taneb < 1437579110 264164 :comodvs!~comodvs@unaffiliated/comodvs PRIVMSG #esoteric :i'm looking for this book all over the internet, but i can't find it in any place :/ < 1437579176 166147 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1437579377 828386 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :possibly the wrong #esoteric, hard to tell though < 1437579389 133180 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: oh, I was thinking of omega-inconsistency < 1437579417 79471 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's where a proof system allows you to prove that a property is true for some number, but also allows you to prove it to be false for any specific number < 1437580088 470190 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Inaccessible fungot. < 1437580088 887063 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Jafet: can i help you?. if you have " all permissions"? implementing them for some time, could you just send a /msg if you want something like this < 1437581129 927118 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1437581366 618974 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Doink. In my client, ais523 and fungot's nicks have the same length and color, so I thought that ais523 said what fungot said. < 1437581366 928242 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :tswett: my own test cases with m-o c to send to a scheme simulator: i was reading it and pondering about iguanas...) < 1437581393 2112 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :But it looked pretty fungotty, so I figured maybe ais523 invoked fungot privately and then just pasted fungot's response to the channel. < 1437581393 244647 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :tswett: stop being an associative list. but that's just to annoy sonera disconnects me? < 1437581464 364579 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is tswett being an associative list again < 1437581481 489510 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fungot: you're in the UK now, Sonera can't disconnect you. < 1437581481 631183 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Jafet: would i? :d < 1437581483 440548 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm: sorry; I: can't help it; < 1437581533 877767 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`addquote tswett: stop being an associative list. [...] is tswett being an associative list again I'm: sorry; I: can't help it; < 1437581534 203675 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :ais523: i'm just a mere functionary who knows how that happens, matters, unless humans start pursuing and succeed in the turing test...) < 1437581536 10337 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1249) tswett: stop being an associative list. [...] is tswett being an associative list again I'm: sorry; I: can't help it; < 1437581639 728452 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fungotionary, the herald of the turing test < 1437581639 934735 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Jafet: take it up the ass. boxes are as bad as last time we did this using the above formula as 0 1 2 3)) < 1437581710 517554 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I don't think that aspect of human behaviour is exercised by the test. < 1437581740 548804 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Lessee if I can find that list of bot prefixes. < 1437581742 621934 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`? prefixes < 1437581745 287342 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :prefixes? ¯\(°​_o)/¯ < 1437581753 349768 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`? bots < 1437581754 85021 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bots? ¯\(°​_o)/¯ < 1437581757 764484 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^prefixes < 1437581757 818865 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , blsqbot ! < 1437581766 764825 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There we go. < 1437581803 460217 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I wonder if lambdabot also responds to its name. < 1437581805 965824 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :lambdabot: type 5 < 1437581812 345884 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Or perhaps... < 1437581815 801550 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :lambdabot: @type 5 < 1437581816 805822 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Num a => a < 1437581838 989600 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Kinda... useless. < 1437581921 231110 :juzo!~canaima@186.167.242.47 JOIN :#esoteric < 1437581974 215071 :juzo!~canaima@186.167.242.47 PRIVMSG #esoteric :hola < 1437581999 741050 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hola. < 1437582004 980018 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`bienvenido < 1437582007 580741 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en EFnet o DALnet.) < 1437582021 75695 :juzo!~canaima@186.167.242.47 PRIVMSG #esoteric :como estan todos < 1437582024 707031 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Pero yo hablo español un poco. < 1437582029 502135 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Estoy bien. < 1437582047 113953 :x10A94!x10A94@178.252.73.97 PRIVMSG #esoteric :Holy hell, why do you need so many bots? < 1437582064 902747 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we don't need this many, but there are a bunch of programmers here < 1437582067 90175 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it just tends to happen < 1437582074 701903 :x10A94!x10A94@178.252.73.97 PRIVMSG #esoteric :Heh. < 1437582075 114354 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :often we just write the bots for the sake of something to write < 1437582081 848746 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and most of them aren't connected at any given moment in time) < 1437582089 93784 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :No los *necesitamos*, pero nos gustan. < 1437582094 501509 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1437582106 51736 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :x10A94, we don't have that many, just fungot EgoBot glogbot HackEgo lambdabot idris-bot j-bot zemhill__ and half of myndzi < 1437582106 105878 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Taneb: " fnord" either, but i < 1437582108 590160 :juzo!~canaima@186.167.242.47 PART :#esoteric < 1437582121 252602 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: you forgot about clog and glogbot < 1437582125 431452 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although that's understandable because they don't talk < 1437582127 863097 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, I got glogbot < 1437582128 487378 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just listen < 1437582129 898360 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh right < 1437582131 48160 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Did forget clog < 1437582142 103765 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Pues, voy a ducharme. Hasta pronto. < 1437582143 110380 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Still, we're at less than 10% bot < 1437582145 752646 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I assumed that forgetting one would make you forget the other < 1437582151 349381 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :when was cmeme last here, btw? < 1437582172 96152 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, I tend to use glogbot's logs and not clog's logs < 1437582194 242793 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Man, I can't wait to get autochat9000 in here. < 1437582202 788892 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :One sec, lemme register that nick. < 1437582207 444727 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I should resurrect pietbot < 1437582215 149590 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :did pietbot ever end up in-channel? < 1437582217 9690 :tswett!~tswett@192.241.237.138 QUIT :Changing host < 1437582217 64041 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1437582221 357089 :tswett!~tswett@unaffiliated/tswett NICK :autochat9000 < 1437582230 975546 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't have a huge urge to resurrect thutubot, but it was fun for a while < 1437582231 322661 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, yes < 1437582233 173578 :autochat9000!~tswett@unaffiliated/tswett NICK :tswett < 1437582239 135465 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Never actually said anything < 1437582239 269503 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, in terms of bots we actually /need < 1437582244 369783 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*/need/ < 1437582255 965805 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It could connect, register with nickserv, join the channel, idle until commanded to do something, then crash < 1437582263 942719 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Or hang, I can't remember < 1437582270 402912 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :probably HackEgo + one logbot would be enough by itself (also, lambdabot is useful at the times this channel turns into a second #haskell rather than doing its day job) < 1437582277 712493 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and to be fair, like three quarters of HackEgo is useless < 1437582287 73284 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but a bunch of useful stuff got copied there too < 1437582291 624754 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the useless stuff is used more often though < 1437582348 242049 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`` echo 'bienvenido | rainwords' > bin/arienvenido && chmod +x bin/arienvenido < 1437582350 47865 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1437582362 807508 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Uhh, as you were < 1437582383 533174 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Jafet: :-( < 1437582399 276841 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, that's wrong < 1437582405 157188 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how often do we need a rainbow-coloured welcome in Spanish? answer: even less often than we need a rainbow-coloured welcome in English, which is never < 1437582410 43460 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`` echo 'bienvenido "$@" | rainwords' > bin/arienvenido && chmod +x bin/arienvenido < 1437582412 28116 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1437582437 74034 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I have a cinema to get to < 1437582445 965020 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I remember when the topic was the "The international hub…" one for months or years at a time < 1437582455 134029 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the ontopic discussion happened more often and was more interesting < 1437582462 463621 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the offtopic discussion was terrible and made you not want to be here at all < 1437582472 640610 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :tswett: FWIW, Freenode recommends you register bots with a separate NickServ account: https://freenode.net/faq.shtml#nicksetup step #6: "The exception to this is where you might want to run a bot. You should register a separate account for your bot." < 1437582476 181875 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nowadays the offtopic discussion is mostly inoffensive and the ontopic discussion is much less of a draw < 1437582537 536931 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Well, I tried proving that two-cell brainfuck is decidable but lost interest < 1437582559 107404 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :two-cell bignum, I take it < 1437582579 535871 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :fizzie: *nod* Do you know why that is? < 1437582594 446412 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is there ever a benefit to an unbalanced loop in that language? < 1437582597 330188 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The idea I had was that each loop leaves one cell zero, so one could try to squeeze this into a pushdown automaton stack < 1437582613 954088 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: I imagine so that you don't get spammed with "someone is connecting from your account" messages when you're online at the same time as the bot < 1437582627 952807 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and so that a malfunctioning bot can be banned without affecting its owner < 1437582629 430837 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I saw some rationale somewhere, but it was more about if your bot is misbehaving it being not tied to your account so much. < 1437582632 456963 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. < 1437582679 905451 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And maybe also to not make your channel-operatory privileges available to someone who can take control of the bot. < 1437582687 266579 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It's also not clear whether it could be more powerful if <> didn't wrap around or if - on a zero cell has no effect < 1437582757 261541 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait < 1437582764 141410 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :with 2-cell BF, you can do a "multiply by constant" operation < 1437582774 115853 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :on one of the cells, while the other is zero < 1437582779 870238 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is a known path to infinite storage < 1437582791 749474 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the problem is if you can do the corresponding "check for divisibility < 1437582793 341449 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :" < 1437582799 423665 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's needed to make use of the info < 1437582801 642442 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Two-counter minsky machines have a conditional branch though < 1437582811 939287 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, the problem here is that the loops are nested < 1437582813 933584 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That's why this problem is interesting, I suppose < 1437582829 319828 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually I'm reminded of that BF variant I made with an ambiguously spelled name < 1437582843 263871 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's also almost certainly TC if it has goto < 1437582851 178402 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but the fact that loops need to nest makes things interesting < 1437582865 117980 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(the two might be equivalent, actually) < 1437582911 777206 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437583006 863253 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437583468 128794 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437583713 956533 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437584664 544013 :white_bear!~white_bea@AMontsouris-655-1-143-158.w92-128.abo.wanadoo.fr QUIT :Quit: leaving < 1437584752 826908 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1437585477 738309 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437585508 41130 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437585563 272309 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437585748 622902 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1437586192 273465 :TieSoul!~quassel@86.89.119.147 JOIN :#esoteric < 1437586499 222495 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1437586561 292466 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :global notices have typos in nowadays? :-D < 1437586646 329953 :APic!apic@apic.name PRIVMSG #esoteric :lulz < 1437586729 578503 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I've noticed that Brits can say "in" where we Americans would have to say "in them" or "in it". < 1437586767 498872 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's an elision, which were always /technically/ legal but mostly only used in poetry < 1437586772 29315 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that one's been catching on though < 1437586789 874217 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I think for me, "in" implies that it's the sort of thing which is inserted and removed on a regular basis. < 1437586806 957285 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437586825 442792 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :ais523 saw what I said and immediately ragequit. < 1437586858 321206 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :You can say "a VCR with a tape in", or "a gun with bullets in", but not "a notice with typos in". < 1437586911 966498 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437586912 703245 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Come to think of it, you can't say "a glass with water in" either. < 1437586943 72114 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Unless it has some special compartment for water which is separate from the main part of the glass. < 1437587016 460638 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1437587288 374629 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1437587329 193710 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1437588519 649505 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1437589237 116232 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1437589255 956226 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437590197 406232 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 JOIN :#esoteric < 1437590274 324245 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Hi < 1437590279 361596 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :myname: You on? < 1437590442 318953 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Apparently not < 1437590448 765456 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437590461 347334 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437590496 265616 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Hi ais523 < 1437590511 848470 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wb me ;-) < 1437590892 63387 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MOISC14]]4 N10 02http://esolangs.org/w/index.php?oldid=43568 5* 03Hppavilion1 5* (+890) 10Created Page < 1437591094 622236 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar lowi < 1437591094 964141 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LOWI 221820Z 27014KT 9999 FEW070CB SCT085 BKN140 21/18 Q1015 NOSIG < 1437591307 790952 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :So in other news, I'm making a simple assembly language for use by educational institutions teaching Compiler Design < 1437591454 912792 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? spim < 1437591457 439773 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :SPIM Pretends It's MIPS < 1437591642 734517 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :So if anyone wants to help... < 1437591720 753106 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :hppavilion1: because there aren't enough of those already < 1437591732 900923 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :There probably are :P < 1437591750 489735 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I've never heard of one, but now that you mention it there are probably thousands < 1437591761 422362 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :MMIX < 1437591763 138859 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :for starters < 1437591774 647584 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I'm doing this for fun, mostly < 1437591799 667071 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :And it'll come with some bonus stuff < 1437591826 257623 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :like an uber-IDE and curricula < 1437591906 552708 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :And docs on Optimization < 1437591921 363250 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :And all these nice things < 1437592416 720466 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437592433 890413 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437592471 293761 :x10A94!x10A94@178.252.73.97 QUIT :Read error: Connection reset by peer < 1437592918 256436 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1437592997 49658 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wut, the logs have a reasonably correct clock < 1437593159 505537 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net QUIT :Ping timeout: 264 seconds < 1437593303 815855 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437593322 365804 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437593705 234845 :TieSoul!~quassel@86.89.119.147 QUIT :Read error: Connection reset by peer < 1437593831 244694 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437593848 615367 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437594062 220285 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Inconceivable! < 1437594181 844338 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Is there program it can helping you to make command-line version of many websites? < 1437594918 582434 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i know, right? < 1437594947 169691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, the codu logs. i haven't checked tunes. < 1437595195 718617 :hilquias!~user@unaffiliated/hilquias QUIT :Read error: Connection reset by peer < 1437595207 521677 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1437596260 268483 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1437596677 779291 :pseudomyne!~user@ACaen-156-1-69-117.w90-51.abo.wanadoo.fr JOIN :#esoteric < 1437596793 650104 :hppavilion1!423aab85@gateway/web/freenode/ip.66.58.171.133 QUIT :Ping timeout: 246 seconds < 1437596999 849347 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1437598731 330728 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437599022 305860 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1437599267 853208 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1437599322 666517 :_256Q!~toastyten@unaffiliated/256q/x-9307863 JOIN :#esoteric < 1437599526 895540 :pseudomyne!~user@ACaen-156-1-69-117.w90-51.abo.wanadoo.fr QUIT :Remote host closed the connection < 1437600405 328955 :mauris_!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1437600536 928918 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 246 seconds < 1437601016 652131 :bb010g!uid21050@gateway/web/irccloud.com/x-gshiwkyfdamnuhdp QUIT :Quit: Connection closed for inactivity < 1437601053 24841 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Hm so here is my "ideal" made-up-on-the-spot system. It somewhat combines all of 2, 3 and 4 from https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/GenericDeriving#InteractionwithGeneralizedNewtypeDeriving. It is intended to be backwards-compatible, except for one added warning. < 1437601057 988555 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* By 3, classes may be annotated (pragma?) to say they prefer GND or DAC deriving. Builtin-derived classes count as annotated for their own style of deriving. To actually derive a class in a module, any extension for the derivation style still needs to be enabled as well. < 1437601062 28347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* By 4, if `GeneralizedNewtypeDeriving` is enabled, the `newtype` keyword may be used to signify that an instance for a newtype should be GND derived, even if this is against the annotated behavior for the class. This might even include builtin-derived classes like `Show`. (Obviously not `Typeable`, though.) < 1437601066 980797 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* Also by 4, if both `GeneralizedNewtypeDeriving` and `DeriveAnyClass` are enabled (or for least surprise, maybe even with just the latter), the `default` keyword may be used to signify that an instance for a newtype should ''not'' be GND-derived, even if this is the annotated behavior for the class. < 1437601071 962972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* By 2, if ''neither'' the newtype deriving nor the class is annotated, then the behavior depends on which of `GeneralizedNewtypeDeriving` and `DeriveAnyClass` is enabled. If ''both'' are enabled, then a ''warning'' should be given. (This prevents surprises when a user adds both extensions for unrelated instances.) Then it defaults to DAC as today. < 1437601076 976799 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* Although the proper extensions need to be enabled for whichever annotations/derivation styles end up being used, the ''only'' case where simply changing the extensions enabled will change code from one legal style of derivation to another should be the one in the previous point. (And thus the warning.) < 1437601082 18257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :As of now, I don't remember any classes with builtin-derivations that also are useful with `DeriveAnyClass`. So I think there isn't much need to be able to distinguish those two cases. Which also means that none of this matters to `data` declarations, only `newtype`. < 1437601085 968108 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh wtf < 1437601086 75687 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess you all got to read me latest ghc trac post hth < 1437601112 608820 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION belatedly shortens clipboard
< 1437601127 630298 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*m < 1437601129 591788 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*my < 1437601157 694060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, anyone awake, anyway. < 1437601176 461854 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I seem to be < 1437601185 637127 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Ant-Man was good on a second watch < 1437601194 617845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`thanks watch < 1437601195 239681 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, watch. Thatch. < 1437601205 229726 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? watch < 1437601206 371352 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :watch? ¯\(°​_o)/¯ < 1437601212 497625 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`thanks watcher < 1437601213 435865 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, watcher. Thatcher. < 1437601223 659245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i was just thinking i shouldn't do that < 1437601231 47339 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`le/rn watch Too late! < 1437601233 175999 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «watch too late!» < 1437601239 167346 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... < 1437601240 390428 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`revert < 1437601258 161417 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i though `le/rn had got that bug fixed... < 1437601266 926995 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. < 1437601270 147682 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`le/rn watch/Too late! < 1437601274 427812 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «watch» < 1437601313 445755 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`rm wisdom/watch Too late! < 1437601313 995299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? watch too late! < 1437601314 81747 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: cannot remove `wisdom/watch Too late!': No such file or directory < 1437601314 878219 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :watch Too late! < 1437601315 838955 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 244 seconds < 1437601335 323356 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`rm wisdom/watch too late! < 1437601338 890612 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1437601384 585417 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? canary < 1437601385 473738 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Spjong < 1437601392 678565 :nortti!~juhani@ayu.smar.fi PRIVMSG #esoteric :Sgeo_: I think I might get how the four ends work. in the song, it's mentioned that depending on who you are, hänsel appears holding either a knife or a bottle, and either as an angel or a mad familiar. maybe which of the four ends happens depends on the person? < 1437601421 895057 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` echo 'Spjætt!' >canary < 1437601423 846512 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1437601470 531962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :those were interjections i remember from a norwegian translation of bloom county (or outland) hth < 1437601592 664698 :AnotherTest!~turingcom@94-224-27-215.access.telenet.be QUIT :Ping timeout: 272 seconds < 1437601686 150825 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 240 seconds < 1437601719 484433 :mauris_!~mauris@unaffiliated/nooodl NICK :mauris < 1437601858 249269 :bb010g!uid21050@gateway/web/irccloud.com/x-elwliqgdpasbaago JOIN :#esoteric < 1437601980 276985 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` sed -i 1a'[[ "$1" = */* ]] || exit' bin/slashlearn < 1437601982 64679 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1437602023 250430 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`le/rn no slash test < 1437602024 587 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1437602068 703613 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`le/rn /no keyword test < 1437602069 500124 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1437602092 718790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :slashlearn is scow anyway < 1437602095 832231 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there's no test for lack of content < 1437602097 234663 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bin/mk is the future < 1437602107 507135 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1437602112 625199 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: in your dreams! < 1437602121 101622 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though mk also has this issue. < 1437602147 467229 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`cat bin/mk < 1437602148 102285 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[[ "$1" == *//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key" < 1437602158 648808 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :apparently not < 1437602170 637753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bohily < 1437602174 134323 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1437602176 388041 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(why did I read the bash manpage to find [[ ]] when I could've looked there? < 1437602178 334468 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :) < 1437602195 859651 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`mk //hi < 1437602196 465921 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/mk: line 1: : No such file or directory < 1437602302 964226 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :presumably you could test for ?*//* < 1437602354 977741 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Presumably < 1437602375 711065 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` sed -i 's/\*/?*/' bin/mk < 1437602377 440394 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1437602381 38808 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`mk //hi < 1437602381 599049 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1437602386 562409 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's something. < 1437602628 591826 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Is there a proof that brainfuck is NOT turing complete with only two (unbounded) cells? <-- hm it _should_ be possibly to deduce from the presumably known fact that a minsky inc/dec machine with 1 cell is not TC < 1437602659 581693 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, isn't that a push-down automaton < 1437602666 996109 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :known to be sub-TC < 1437602687 39050 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: um i'm not sure, i just assume it's known and stuff < 1437602705 890749 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :since otherwise, why would they keep blathering about the 2-cell one. < 1437602720 838023 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellørjan! < 1437602729 808110 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that's unclear... a 2 counter minsky machine is TC, and the proof I know works by simultating a 3 counter machine by dealing with numbers 2^a 3^b 5^c < 1437602748 51618 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(and 3 counters are good for two stacks, hence a tape) < 1437602766 834916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i'm talking about _1_-cell without multiplication or division < 1437602779 137868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um for minsky < 1437602787 451481 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but 1 cell isn't even a push-down automaton < 1437602795 818408 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, can you @tell me the answer? I'm going to bed now < 1437602811 571863 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(well... it is a degenerated one, I guess that's what Taneb meant...) < 1437602812 112630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: no. < 1437602825 482201 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :OK < 1437602826 548223 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sorry. < 1437602839 518266 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well my point is that i think 2-cell bf is reducible to 1-cell minsky after a terminating starting phase. < 1437602849 644709 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`dontaskdonttaneblist < 1437602867 497112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :namely, run it until you leave a loop for the first time < 1437602868 137089 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I know. For brainfuck, you need to be very precise about the rules of stepping over the tape boundaries, I think < 1437602873 746038 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i `dontaskdontbidlist < 1437602897 50184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(alternatively until you get to an infinite innermost loop) < 1437602930 91940 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :once you've left a loop, you're always in a state where one cell is _known_ to have a finite set of possible values. < 1437602940 832965 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :because if you can stop off the tape, reading zeros, but not being allowed to modify the cells, then you can encode some finite state information in the pointer. < 1437602949 671300 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/stop/step/ < 1437602950 619284 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Giargiano 5* 10New user account < 1437602981 25853 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: um, 2 cells. you can assuming the tape wraps if you want. < 1437603046 381541 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i think that's rather useless since the fs info has to be lost before you can change a cell again... < 1437603062 108509 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, you cannot loop in an all-zero region < 1437603063 415294 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that would be precise enough. and in that case I think it's strictly more powerful than a minsky machine with a single counter (for example, you can multiply a given input by 2), but I do believe it's not TC. < 1437603102 191847 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1437603120 690544 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Randwork14]]4 10 02http://esolangs.org/w/index.php?diff=43569&oldid=25072 5* 03Giargiano 5* (+88) 10+Perl interpreter < 1437603361 713305 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm that step-off-the tape thing is subtle, because you can use it to escape loops. < 1437603409 566066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think that's very in the spirit of what Taneb is asking, though. < 1437603432 167154 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Randwork14]]4 M10 02http://esolangs.org/w/index.php?diff=43570&oldid=43569 5* 03Giargiano 5* (+22) 10/* External resources */ < 1437604906 401095 :newbie|2!~comodvs@189-105-238-205.user.veloxzone.com.br JOIN :#esoteric < 1437605083 446737 :comodvs!~comodvs@unaffiliated/comodvs QUIT :Ping timeout: 265 seconds < 1437605316 465313 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I thought of a new kind of package manager idea, where each package except anonymous packages are identified by URI (used only for identification and does not necessarily ahve to point to anything), categories of packages are themself virtual packages, there is a local root package whose specification is specifying which packages are installed, and that you can also load packages from stdin and emit packages to stdout, so it can act as a filter too. < 1437605662 925340 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Relation of packages might be: "X requires Y", "X suggests Y", "X is a version of Y", "X is a substitute for Y". Packages can also have custom properties that any package that substitutes for it or is a version of it must override. Virtual packages are allowed to be named or anonymous, and you can't really install/uninstall it rather it determine automatically if it is considered installed or not by its specification. < 1437605878 704608 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :In order to avoid entering the entire URI for each package you can define a prefix by the package manager's "add-prefix" command. < 1437605880 300201 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 255 seconds < 1437605902 456011 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1437606188 105925 :_256Q!~toastyten@unaffiliated/256q/x-9307863 QUIT :Read error: Connection reset by peer < 1437606310 358950 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Other relations can be defined using the existing ones. The virtual package specifications might include: any of X, all of X, none of X. Therefore a "X conflicts with Y" relation might be noted by: X :requires [ :not Y ] < 1437606389 257882 :mihow!~mihow@18.sub-70-199-175.myvzw.com JOIN :#esoteric < 1437606701 466912 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Actually the way I mentioned custom property isn't quite best way, I think; a better way is: A package can specify which custom properties must be overridden by packages with the specified relation to this package. For example if the root package has a custom property for a configuration path and it specifies that any package that depends on it must override it, then the root package depends on that package and the root package will specify the conf < 1437606747 778854 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :If a package is installed only due to requirement from some other package, then the root package does not depend on it and therefore it can know to uninstall when not needed. < 1437606924 183704 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Do other package managers use a "root package" like this? < 1437606960 296459 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :This would also easily allow you to make packages that can be installed for individual users because each user can also have their own root package too. < 1437607198 772868 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What is your opinions of all of these things? < 1437607301 120345 :mihow!~mihow@18.sub-70-199-175.myvzw.com QUIT :Quit: mihow < 1437607416 876533 :mihow!~mihow@18.sub-70-199-175.myvzw.com JOIN :#esoteric < 1437607559 64309 :mihow!~mihow@18.sub-70-199-175.myvzw.com QUIT :Client Quit < 1437607586 414689 :Herbalist!~oz@185.82.32.20 JOIN :#esoteric < 1437607586 469054 :Herbalist!~oz@185.82.32.20 QUIT :Changing host < 1437607586 469125 :Herbalist!~oz@unaffiliated/herbalist JOIN :#esoteric < 1437607643 802936 :mihow!~mihow@18.sub-70-199-175.myvzw.com JOIN :#esoteric < 1437607780 492342 :mihow!~mihow@18.sub-70-199-175.myvzw.com QUIT :Client Quit < 1437608031 707276 :mihow!~mihow@18.sub-70-199-175.myvzw.com JOIN :#esoteric < 1437608258 298767 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1437608716 125107 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Ordering of versions numbers, including possible of breaking compatibility, can be specified using the stuff I have mentioned so far! (Do you see how?) < 1437608906 91249 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437609193 87883 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1437609297 888696 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But the thing still not mentioned yet is for a virtual package's criteria to check for values of custom-properties, for example you might have a "FamicomVM" virtual package; packages that substitute for it (i.e. FamicomVM implementations, or NES/Famicom emulators) must override custom-properties to indicate mapper and input device implementations, and a game might specify a dependency on a virtual package which requires iNES mapper #0 and keyboard e < 1437609549 702950 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :And I believe that is all of the stuff you will need, isn't it?