< 1412899731 900554 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ((1,4,3),(2,9,5),(8,6,7)) & partsOf (each.each) %~ sort < 1412899734 795657 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ((1,2,3),(4,5,6),(7,8,9)) < 1412899854 782945 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1412900446 833434 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Stupid trailing whitespace < 1412902046 338016 :augur!~augur@73.163.157.101 JOIN :#esoteric < 1412902056 369281 :Bicyclidine!~Glossina@wl-nat100.it.wsu.edu JOIN :#esoteric < 1412902399 396994 :Sorella!~queen@191.185.197.120 JOIN :#esoteric < 1412902449 137007 :Sorella!~queen@191.185.197.120 QUIT :Changing host < 1412902449 290354 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1412902455 676016 :dianne!~hianne@unaffiliated/dianne JOIN :#esoteric < 1412903240 946397 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Natta < 1412904281 864043 :boily!~boily@96.127.201.149 QUIT :Quit: FUNNEL CHICKEN < 1412905225 426749 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloerjan < 1412906486 663278 :augur!~augur@73.163.157.101 QUIT :Remote host closed the connection < 1412906837 360463 :Bicyclidine!~Glossina@wl-nat100.it.wsu.edu QUIT :Ping timeout: 260 seconds < 1412907099 741490 :not^v!~notnot^v@2601:4:4500:e15:ede1:3c46:e37f:cf62 JOIN :#esoteric < 1412907322 936437 :tlvb!~Leo@c-2ec3ad47-74736162.cust.telenor.se QUIT :Ping timeout: 240 seconds < 1412907680 784517 :Bicyclidine!~Glossina@resnet-v492-wless-gw.net.wsu.edu JOIN :#esoteric < 1412910103 983503 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, the pdf of Knuth that someone linked earlier, is a scan with "Simon Plouffe 1985" scrawled on the half-title. Autographed warez. < 1412910292 499814 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com PRIVMSG #esoteric :lol < 1412910640 975951 :Bicyclidine!~Glossina@resnet-v492-wless-gw.net.wsu.edu PRIVMSG #esoteric :oh hey, the BBP dude < 1412910900 268132 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412911093 359488 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1412912048 593045 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What is the best way to generatea random number in a not too much slow, but still of pretty good quality, way? < 1412912224 217119 :Bicyclidine!~Glossina@resnet-v492-wless-gw.net.wsu.edu PRIVMSG #esoteric :mersenne? < 1412912291 417734 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1412912531 485146 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :xorshift, depending on what you consider good quality? < 1412912685 786294 :Sgeo_!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :So, apparently, in Objective-C, nil responds to all messages with nil. Are most messages in Cocoa arranged such that blindly acting on having gotten a nil will usually behave sensibly, ala the the example in a blog post: if ([name isEqualToString:@"Steve"]) { ... } ? < 1412912703 921568 :Sgeo_!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :Where name can be nil and it will still act properly? < 1412912710 800849 :Sgeo_!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :http://nshipster.com/nil/ < 1412912873 199596 :variable!root@freebsd/developer/variable NICK :constant < 1412913655 119412 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1412913683 508109 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 272 seconds < 1412913837 399623 :dianne!~hianne@unaffiliated/dianne QUIT :Ping timeout: 260 seconds < 1412913879 692636 :dianne!~hianne@unaffiliated/dianne JOIN :#esoteric < 1412914110 307111 :Sgeo_!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :Is Objective-J/Cappuchino any good? < 1412914404 382382 :Sgeo_!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :Oh, Objective-C's normal libraries does that annoying thing of sending messages to objects that the objects really shouldn't have deep control over < 1412914634 2946 :not^v!~notnot^v@2601:4:4500:e15:ede1:3c46:e37f:cf62 QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1412915652 291290 :MoALTz!~no@user-164-127-158-235.play-internet.pl QUIT :Ping timeout: 260 seconds < 1412915709 659960 :MoALTz!~no@user-164-127-158-235.play-internet.pl JOIN :#esoteric < 1412916249 532247 :Bicyclidine!~Glossina@resnet-v492-wless-gw.net.wsu.edu QUIT :Quit: leaving < 1412916659 682357 :dianne!~hianne@unaffiliated/dianne QUIT :Ping timeout: 258 seconds < 1412916771 447615 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1412917861 315690 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, nooodl hasn't been around in a while < 1412917978 763855 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Read error: Connection reset by peer < 1412918232 550854 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1412918377 931035 :Sgeo_!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :Is GNUstep going anywhere? < 1412918553 889521 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I don't know? < 1412923481 509449 :MoALTz!~no@user-164-127-158-235.play-internet.pl QUIT :Quit: Leaving < 1412926317 178236 :drdanmaku!uid17782@gateway/web/irccloud.com/x-lxcxcxwbnpxbsyxy QUIT :Quit: Connection closed for inactivity < 1412926513 624357 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Perl is dying. I like that. < 1412926519 264213 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also it's dieing. < 1412926539 168848 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but mostly dying. < 1412926550 370095 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@messages-load < 1412926550 523389 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :oerjan said 8h 34m 17s ago: http://mroman.ch/ngbl/ <-- It's -> Its hth < 1412926569 455839 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@tell oerjan thx. < 1412926569 642162 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1412926611 633878 :S1!~sheldon@pD9FCA364.dip0.t-ipconnect.de JOIN :#esoteric < 1412926704 568130 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"like a dying duck in a thunderstorm" < 1412926707 447430 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :o_O < 1412926793 395047 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(http://news.dice.com/2014/10/09/5-programming-languages-marked-for-death/) < 1412926799 111477 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`? perl < 1412926799 712143 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :perl? ¯\(°​_o)/¯ < 1412927115 240278 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So they're saying that perl based CGI scripts are dying. Fine, fine... < 1412927321 751942 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::) < 1412927493 787390 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 272 seconds < 1412928318 331269 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1412928321 969627 :S1!~sheldon@pD9FCA364.dip0.t-ipconnect.de NICK :S0 < 1412930078 301563 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1412930436 989011 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de QUIT :Ping timeout: 260 seconds < 1412930472 289479 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de QUIT :Ping timeout: 250 seconds < 1412931444 360468 :password2!~password@41.161.32.146 JOIN :#esoteric < 1412931828 707485 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :haha, this comment seems inconsistent: "Please crawl back under your stone and get in touch with reality" < 1412932065 367535 :password2!~password@41.161.32.146 QUIT :Ping timeout: 260 seconds < 1412932159 437206 :password2!~password@41.161.32.146 JOIN :#esoteric < 1412932233 40528 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Is this Patrick? < 1412932292 882979 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman_: a comment by "tux" on that languages-the-author-wishes-to-die link. < 1412932356 698295 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :where the author obviously is a VB6 programmer < 1412932374 229103 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Some perl lover, "Perl6 indeed took a long journey to get into the “I could use it” phase. Maybe too long, but it is getting in shape to make a whole lot of young programmers very happy. It addresses all the dislikes people find in other – now popular – languages." < 1412932432 402351 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I have to ask: Does it address any of the things that people dislike about Perl? < 1412932479 545343 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"You may discard my opinion, but your article sucks." < 1412932496 49103 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :[dynamic types, useless $ signs, scalar vs. list contexts, implicit $_ variable (a blessing and a curse)...) < 1412932496 347922 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412932497 326225 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :is "your article sucks" also a discardable opinion? < 1412932504 230076 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/)/]/ < 1412932509 269917 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman_: yes < 1412932549 50240 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :criticism should be justified, and ideally be constructive, though that's not always possible. < 1412932587 77127 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :[disclaimer: I only know a very small fragment of Perl] < 1412932676 315649 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1412932706 46398 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1412932742 333352 :Phantom_Hoover!~phantomho@33.202.200.146.dyn.plus.net JOIN :#esoteric < 1412932744 883519 :Phantom_Hoover!~phantomho@33.202.200.146.dyn.plus.net QUIT :Changing host < 1412932745 36994 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1412932794 614146 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I know Perl has $_ < 1412932797 712618 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's all I know < 1412932822 472751 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Delphi XE7 isn't free though < 1412932843 232088 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh well. < 1412932850 287801 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's only 5000 CHF < 1412932918 16396 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The Borland^WInprise^WBorland Object Pascal seems to me to be the most likely candidate to actually die, in the "no new projects will be using it" sense. < 1412932935 606403 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1412933155 376159 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Although I don't really know much about Pascal Delphi < 1412933161 191598 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there are so many variants of things < 1412933162 343298 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And judging by other comments even that is unlikely. < 1412933166 752625 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Object Pascal, FreePascal, Delphi < 1412933170 656938 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :probably Objective Delphi? < 1412933180 405026 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Modula, Oberon < 1412933195 831434 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(I think those are Pascal-ish but not really Pascal?) < 1412933206 38161 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I've never used Delphi, I did use Borland's "Pascal with Objects" in the mid-90s, when the keyword for those was still "object" rather than "class". < 1412933293 95964 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Modula adds a module system to Pascal, hence the name. [Borland's pascal also had modules, called "units"] I've never looked at Oberon, does it have OO? < 1412933337 999339 :password2!~password@41.161.32.146 QUIT :Quit: Leaving < 1412933360 684975 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah, I know, programming sucked back then, nothing was standardized, and we had to program in nine inch snow uphill both ways < 1412933376 672144 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Oberon has OOP, yes < 1412933390 283064 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :objects with virtual methods didn't yet store the vtbl pointer inside them, but instead every pointer to them had the vtbl pointer in it < 1412933391 497344 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: nah, programming was much simpler back then. < 1412933409 650523 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and we had to do all that on bad quality crt monitors < 1412933433 406548 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :of some sort < 1412933438 200879 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :never used Oberon myself though < 1412933446 345515 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but it has type bound methods or something like that < 1412933461 77968 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh yes, Monitors were indeed awful. I don't miss those one bit. < 1412933465 473755 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/M/m/ < 1412933474 353829 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :keyboards were good though < 1412933484 459297 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Type-bound procedures serve to implement abstract data types with dynamically bound operations. An abstract data type is a user-defined type which encapsulates private data together with a set of operations that can be used to manipulate this data. In Modula-2 or in Oberon an abstract data type is implemented as a record type and a set of procedures. < 1412933530 302339 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I miss the time back when PC motherboards worked fine with AT keyboards plugged in with an AT-PS2 converter. < 1412933536 410703 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :int-e: at least Smalltalk isn't dying. < 1412933540 912500 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :would be a shame if it did. < 1412933546 109903 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's so productive and widely used. < 1412933556 430300 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and it's good . < 1412933561 237115 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :good keyboards still exist, but they are hard to find among all those cheap crappy lightweight plastic things, and the we-fit-200-extra-useless-buttons "gaming" and "multimedia" keyboards. < 1412933583 805578 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :.oO (Does int-e have a steal keyboard) < 1412933589 736160 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*steel < 1412933591 813073 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: exactly. < 1412933616 657960 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman_: no, just a Cherry G80. It's sturdy enough. < 1412933673 410732 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(even those are getting worse, and they didn't bother to change the model number) < 1412933674 516694 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: sounds nice < 1412933688 897342 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what? they don't chagne the model number? < 1412933695 297894 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :eww < 1412933704 696120 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Not the marketable part of it. < 1412933715 664307 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I should buy a better keyboard < 1412933729 82931 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :I just need something that's easier on my wrists and hands. I'm starting to get serious pain issues with my right arm. < 1412933729 355247 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :G80-3000LQCEU-0 <-- I can't remember all of this. < 1412933756 687811 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: is some of that telling the layout and the labels on the keycaps? < 1412933772 253864 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :I seriously considered getting a Model M, but I've heard good things about that new MS ergo keyboard. < 1412933792 798671 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: right, and some of it encodes the key characteristics (click, curve of force while pressing the key) < 1412933807 592948 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :J_Arcane: quite possible, because at least some of the MS mice are quite good < 1412933832 381806 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :The original MS ergo was quite lovely once you got used to it. < 1412933881 963495 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :A new pointing device wouldn't go amiss either; if it weren't for gaming I'd probably use a trackball. < 1412933916 395729 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :J_Arcane: you could buy both if you do gaming and other sort of work < 1412933945 936946 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"programming languages are tools to solve a problem but one tool may not solve every problem. a hammer or saw or drill cannot do everything." < 1412933952 992696 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- this guy is clearly not creative enough. < 1412933984 365797 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :he's bought the wrong drill < 1412934008 254662 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :Indeed. :D Should've bought a dremel. ;) < 1412934009 653349 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also this comparison doesn't make sense with programming languages < 1412934010 76892 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nah, he needs a bigger hammer. < 1412934018 456589 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Assembly can do everything < 1412934020 703212 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so....? < 1412934026 11577 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err < 1412934032 262763 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"in principle" < 1412934043 880436 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :As well as in practice. < 1412934057 427193 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If ASM where the hammer < 1412934064 255513 :password2!~password@41.161.32.146 JOIN :#esoteric < 1412934066 240999 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then every other tool like the saw would be implemented using hammers. < 1412934087 667014 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :If I had to write any big program in assembly language I'd write a compiler :/ < 1412934090 496447 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :ASM is a smelting oven. ;) < 1412934091 455716 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'd like to see you build a pump only with hammers. < 1412934125 354855 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It's just too tedious to always take care of all the small details (like which value is currently in which register) oneself. < 1412934145 857658 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Right. But you'd have to write the compiler in assembly first < 1412934159 617769 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It'll pay dividends quickly.; < 1412934191 261056 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :Yeah; personally, I've never been great at that kind of low-level thinking. I just can't get my head around it. I understand the very basics, but making my brain go to the place where shuffling numbers does things is trickier. :P < 1412935632 337666 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1412935679 226278 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages- < 1412935679 379956 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :mroman_ said 2h 31m 49s ago: thx. < 1412936503 526932 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I wrote my first z80 golf entry the other day. (It's not especially golfed, I suppose, but still.) < 1412936547 981344 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: nice < 1412936581 501050 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :The most complicated bit of asm code I have ever written was the self-modifying "Hello, World" I wrote for the MicroMini examples. < 1412936622 459107 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1412936715 678966 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in anagolf, where it lists the submitted valid solutions, what do question marks in the statistics columns mean? I have them next to my entries < 1412936736 12672 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it means you didn't check the statistics button when submitting < 1412936746 915604 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so the actual numbers are hidden < 1412936749 764940 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, I hvae to check that? ah < 1412936758 865804 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, it's a bit annoying < 1412937547 134907 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`? monad < 1412937547 743868 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monads are just monoids in the category of endofunctors. < 1412937557 449190 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`? group < 1412937557 992767 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :group? ¯\(°​_o)/¯ < 1412937760 173881 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de JOIN :#esoteric < 1412937766 477148 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? monoid < 1412937767 96103 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monoids are just categories with a single object. < 1412937844 677134 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Monoids are semigroups with an identity element. Semigroups are magmas whose operation is associative. Magmas are sets equipped with a binary operation. < 1412937869 717678 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah < 1412938069 422124 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Stats should be on by default < 1412938230 412368 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`? categorie < 1412938231 827 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :categorie? ¯\(°​_o)/¯ < 1412938239 447158 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`? category < 1412938240 105039 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Categories are just a special case of bicategories. < 1412938247 407196 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`? bicategory < 1412938248 55123 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Bicategories are just categories where composition is only associative up to an isomorphism. < 1412938255 179401 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`? isomorphism < 1412938255 807135 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :isomorphism is isomorphic to Phantom_Hoover up to isomorphism. < 1412938339 212460 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`? Phantom_Hoover < 1412938339 957074 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Phantom Michael Hoover is a true Scotsman, hatheist, and completely out of the loop. < 1412938353 843119 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`learn groups are just loops with the property of associativity < 1412938355 190273 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :I knew that. < 1412938379 263972 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`? loop < 1412938380 181479 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :loop? ¯\(°​_o)/¯ < 1412938402 538119 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`? hipchat < 1412938403 106093 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hipchat? ¯\(°​_o)/¯ < 1412938409 674860 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`run echo "loop: see loop" > wisdom/loop < 1412938411 43982 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412938416 661038 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`? loop < 1412938416 915050 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :loop: see loop < 1412938437 992461 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? categorical product < 1412938438 610088 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :categorical product? ¯\(°​_o)/¯ < 1412938445 494410 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? direct product < 1412938446 39507 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :direct product? ¯\(°​_o)/¯ < 1412938448 273979 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? outer product < 1412938449 8883 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :outer product? ¯\(°​_o)/¯ < 1412938451 698613 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric ::( < 1412938458 35902 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`learn hipchat is a chat where you can communicate solely by using meme-emoticons but shouldn't. < 1412938459 630001 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :I knew that. < 1412938462 678119 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Tanelle. long time no see. < 1412938467 878651 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::) < 1412938477 268360 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I haven't been speaking in channel much lately < 1412938478 440192 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what does it call categorical product? < 1412938492 588178 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I suddenly found myself to have a social life < 1412938501 282047 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :a categorical product is when you're very sure of the end result. < 1412938506 962316 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ACTION gasps! < 1412938507 507149 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`? social life < 1412938508 109730 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :social life? ¯\(°​_o)/¯ < 1412938517 171697 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Taneb: how's the social life going on? < 1412938531 685867 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Pretty good < 1412938535 188971 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :A lot of tabletop games < 1412938591 411388 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Tonight I've got a board games night < 1412938652 647030 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ah, another one who succumbed into the ranks of the Boardgaming Sect :D < 1412938657 794312 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :which ones are you gonna play? < 1412938670 240008 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Whatever people bring < 1412938678 99040 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :We play Mansions of Madness quite a lot < 1412938752 541905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: we don't want product wisdoms to start multiplying hth < 1412938801 741358 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Taneb: never tried, but from the pictures on BGG it looks quite interesting. < 1412938939 115916 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`define categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a morphism w:X->C such that u=wp and v=wq. < 1412938940 10925 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Failed to connect to socket 2. \ \ Looking up 127.0.0.1:3128 \ Making HTTP connection to 127.0.0.1:3128 \ Sending HTTP request. \ HTTP request sent; waiting for response. \ Alert!: Unexpected network read error; connection aborted. \ Can't Access `http://google.com/search?q=define:%63%61%74%65%67%6f%72%69%63%61%6c%20%70%72%6f%64%75%63%74%20%69%73% < 1412938944 69826 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :huh < 1412938977 224433 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a morphism w:X->C such that u=wp and v=wq. < 1412938978 849574 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :I knew that. < 1412938981 557619 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :good < 1412939069 892969 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`define road < 1412939070 620758 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Failed to connect to socket 2. \ \ Looking up 127.0.0.1:3128 \ Making HTTP connection to 127.0.0.1:3128 \ Sending HTTP request. \ HTTP request sent; waiting for response. \ Alert!: Unexpected network read error; connection aborted. \ Can't Access `http://google.com/search?q=define:%72%6f%61%64' \ Alert!: Unable to access document. \ \ lynx: Can't < 1412939077 291840 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :broken I guess < 1412939312 783327 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oh fungot. another wisdom entry with mathematicalities... < 1412939332 712120 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? categorical < 1412939333 685484 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a morphism w:X->C such that u=wp and v=wq. < 1412939356 34634 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run mv wisdom/categorical{, product} < 1412939356 577354 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mv: cannot stat `wisdom/categorical{,': No such file or directory < 1412939362 523951 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :time to cleanse myself with softly parfumed soap, and void my memories of CT. < 1412939371 741754 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run mv wisdom/categorical{," product"} < 1412939373 172334 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412939375 614398 :boily!~boily@96.127.201.149 QUIT :Quit: ALTOID CHICKEN < 1412939380 69321 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? categorical product < 1412939380 710740 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a morphism w:X->C such that u=wp and v=wq. < 1412939423 264521 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i wish HackEgo supported knowing who submitted a command so i could have `learn censor people who obviously don't know how to use it. < 1412939516 798170 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, that entry is far too accurate for wisdom/, i think. < 1412939546 919924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually, i think there is an obvious solution. < 1412939552 634383 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`url bin/learn < 1412939553 274782 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/learn < 1412939718 345204 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :boily, Mansions of Madness is great fun :) < 1412939719 218931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed -i '6cecho "Learned '"'"'$topic'"'"': $stuff"' bin/learn < 1412939719 782389 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412939744 463253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1412939767 463866 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :First exercise sheet of the academic year, on Group Theory < 1412939768 73377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo sed -i '6cecho "Learned '"'"'$topic'"'"': $stuff"' bin/learn < 1412939768 660069 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sed -i 6cecho "Learned '$topic': $stuff" bin/learn < 1412939798 139957 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed '6cecho "Learned '"'"'$topic'"'"': $stuff"' bin/learn < 1412939798 699270 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "I knew that." < 1412939854 753117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed '6cecho "Learned *$topic*: $stuff"' bin/learn < 1412939855 294116 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "I knew that." < 1412939877 511339 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed '6cecho Argh' bin/learn < 1412939878 70273 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "I knew that." < 1412939930 620076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed '6c\echo "Learned '"'"'$topic'"'"': $stuff"' bin/learn < 1412939931 197344 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "I knew that." < 1412940017 111873 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed '6c \boo' bin/learn < 1412940017 622735 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "I knew that." < 1412940035 186015 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed "6c \\\nboo" bin/learn < 1412940035 726589 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "I knew that." < 1412940055 985716 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed '6s/.*/Boo!' bin/learn < 1412940056 534654 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sed: -e expression #1, char 10: unterminated `s' command < 1412940062 457955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed '6s/.*/Boo!/' bin/learn < 1412940063 72368 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "I knew that." < 1412940076 539364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok something is ridiculously wrong < 1412940086 71168 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed '1,5d' bin/learn < 1412940087 14176 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412940089 419731 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm, how about: A product is the limit of a discrete diagram. < 1412940105 886065 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`wc bin/learn < 1412940106 391276 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ 5 17 130 bin/learn < 1412940214 95874 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :I'm beginning to wonder if the way I learn programming languages is anything like the way most books seem to want to teach programming languages, or even if I should bother with books at all ... < 1412940232 782006 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: dunno, feel free to fix that entry < 1412940254 807475 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait wat < 1412940289 65159 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh stupid IE < 1412940346 145651 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what happened was that when i pasted the result from `url into the address bar, it noticed that it was a prefix of bin/learn_append which i'd already visited, so it auto-completed it :( < 1412940410 590445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so i've been trying to sed based on the wrong file contents all this time < 1412940410 757369 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm not sure that's the correct definition anyway, but it's something close. < 1412940521 435071 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed '4c\echo "Learned '"'"'$topic'"'"': $1"' bin/learn < 1412940522 75500 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "Learned '$topic': $1" < 1412940530 929356 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed -i '4c\echo "Learned '"'"'$topic'"'"': $1"' bin/learn < 1412940532 311169 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412940552 135551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`learn Hi there < 1412940553 749459 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'hi': Hi there < 1412940563 370213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1412940563 866342 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Done. < 1412940608 943835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? hi < 1412940610 428559 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hi? ¯\(°​_o)/¯ < 1412940645 601434 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :once again, a `revert doesn't show up in the repository < 1412940671 18144 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :seems to happen whenever the `revert deletes a file < 1412940721 677529 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Gregor it seems to me that the HackEgo repository doesn't pick up any edits that consist solely of file deletions < 1412940721 886986 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1412940759 853448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`rm bin/learn < 1412940761 571549 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412940776 600770 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1412940777 484348 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Done. < 1412940800 757009 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Gregor *reverts < 1412940800 933427 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1412940851 505907 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :...it says I need to do 1 part x < 1412940856 995143 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Question one goes up ti ix < 1412940861 117119 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ix < x < 1412940868 627516 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> "ix" < "x" < 1412940869 986636 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1412941045 902095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`sed -i '6cecho -n "Learned '"'"'$topic'"'"': ;cat "wisdom/$topic" < 1412941046 451676 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Usage: sed [OPTION]... {script-only-if-no-other-script} [input-file]... \ \ -n, --quiet, --silent \ suppress automatic printing of pattern space \ -e script, --expression=script \ add the script to the commands to be executed \ -f script-file, --file=script-file \ add the contents of script- < 1412941049 709042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1412941060 966778 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`sed -i '6cecho -n "Learned '"'"'$topic'"'"': ;cat "wisdom/$topic"' bin/learn_append < 1412941061 479553 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Usage: sed [OPTION]... {script-only-if-no-other-script} [input-file]... \ \ -n, --quiet, --silent \ suppress automatic printing of pattern space \ -e script, --expression=script \ add the script to the commands to be executed \ -f script-file, --file=script-file \ add the contents of script- < 1412941070 206917 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ff < 1412941091 636556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`sed -i '6cecho -n "Learned '"'"'$topic'"'"': ";cat "wisdom/$topic"' bin/learn_append < 1412941092 151363 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Usage: sed [OPTION]... {script-only-if-no-other-script} [input-file]... \ \ -n, --quiet, --silent \ suppress automatic printing of pattern space \ -e script, --expression=script \ add the script to the commands to be executed \ -f script-file, --file=script-file \ add the contents of script- < 1412941140 479602 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo sed -i '6cecho -n "Learned '"'"'$topic'"'"': ";cat "wisdom/$topic"' bin/learn_append < 1412941141 40198 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sed -i '6cecho -n "Learned '"'"'$topic'"'"': ";cat "wisdom/$topic"' bin/learn_append < 1412941153 864998 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm right < 1412941187 661200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed -i '6cecho -n "Learned '"'"'$topic'"'"': "\'"\n"'cat "wisdom/$topic"' bin/learn_append < 1412941189 670299 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412941208 157138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :dammit < 1412941266 371376 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1412941267 638978 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Done. < 1412941330 598088 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo sed -i '6cecho -n "Learned '"'"'$topic'"'"': "\'"\n"'cat "wisdom/$topic"' bin/learn_append < 1412941331 195771 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sed -i '6cecho -n "Learned '"'"'$topic'"'"': "\'"\n"'cat "wisdom/$topic"' bin/learn_append < 1412941354 175729 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh escapes < 1412941359 923552 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also brain < 1412941429 752920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed -i '6cecho -n "Learned '"'"'$topic'"'"': *cat "wisdom/$topic"' bin/learn_append < 1412941431 193076 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412941465 568765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed -i '6s/[*]/"\n/' bin/learn_append < 1412941467 57197 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412941485 72133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`learn hi there < 1412941487 282815 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'hi': hi there < 1412941495 174990 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`learn_append hi shmere < 1412941496 895039 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'hi': hi there shmere < 1412941519 545799 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`rm wisdom/hi < 1412941521 177907 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412941555 183641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this might suffice. < 1412942090 656170 :S0!~sheldon@pD9FCA364.dip0.t-ipconnect.de QUIT :Quit: S0 < 1412942420 532314 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what's the haskell analogue for factories? < 1412942439 479441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :functions hth < 1412942447 75911 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/sM6qv7TJ <- is obviously bullshit < 1412942486 345577 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(mainly because you can't create a Storage m a) < 1412942529 321587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1412942541 977640 :password2!~password@41.161.32.146 QUIT :Remote host closed the connection < 1412942543 350396 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION doesn't really know what factories are, anyway < 1412942545 395376 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1412942562 624619 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :The idea is that you can choose at runtime whether to use InMemStorage or FileStorage < 1412942567 907744 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which you can't using this approach < 1412942627 987724 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/hgsHD9ov <- you can't implement chooseStorage < 1412942692 805344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you need some type quantification. < 1412942705 335559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :by which time you can just as well drop the classes. < 1412942819 717797 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I tried forall s. s => Storage IO s -> String -> Storage IO s < 1412942822 633810 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but that doesn't work < 1412942936 729463 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: http://codepad.org/eO6Utx42 < 1412942953 480342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :much simpler < 1412942985 380432 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds < 1412943018 421556 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :except that it doesn't compile < 1412943053 371318 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fixed typo http://codepad.org/lUBrpKfU < 1412943095 608847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm type error < 1412943109 68144 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yep < 1412943111 819025 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :type error < 1412943116 367780 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :in chooseStorage < 1412943127 905569 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Couldn't match type ‘IORef String’ with ‘IO (IORef a1)’ < 1412943197 525735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1412943237 743500 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1412943240 414932 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :IORef needs an a < 1412943244 383082 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a -> IO (IORef a) < 1412943268 581106 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yep < 1412943268 787776 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :newIORef, right < 1412943272 69212 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :r <- newIORef "" < 1412943308 256920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fixed http://codepad.org/DQEngwnh < 1412943326 806197 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :btw MVars, unlike IORefs, can be empty fwiw < 1412943545 919632 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway the main lesson here is that classes are often overkill in haskell, and can actually make it _harder_ to make things dynamic. < 1412943589 286978 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :while a data type with functions in it can work better < 1412943916 157208 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: Thx. < 1412943923 287366 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I didn't know that. But this looks pretty powerful. < 1412943963 895957 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I intend to use that for my emulator < 1412943973 992500 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so I can switch easily between different implementations for memory < 1412944317 240450 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :such data types are actually classes :D < 1412944326 143482 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :on some level < 1412944359 425075 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they're dictionaries. and ghc's internal representation of classes uses them. < 1412944393 705988 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sometimes you need a bit of type quantification in addition. < 1412945200 892284 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1412945275 992130 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Client Quit < 1412945341 627680 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1412946194 387027 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> [1..]>>=($"123").replicateM < 1412946195 708049 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["1","2","3","11","12","13","21","22","23","31","32","33","111","112","113",... < 1412946236 143634 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..]>>=(`replicateM`"123") < 1412946237 512635 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["1","2","3","11","12","13","21","22","23","31","32","33","111","112","113",... < 1412946254 236939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i guess it's the same length < 1412946285 667783 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes. but "import Control.Monad" is too long anyway. :) < 1412946305 134245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1412946413 343182 :Froox!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1412946511 456095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..]>>=($"123").mapM id.replicate < 1412946512 688112 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘a0 -> [a0]’ with ‘[[GHC.Types.Char] -> b]’ < 1412946512 863839 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: GHC.Types.Int -> [[GHC.Types.Char] -> b] < 1412946512 863986 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: GHC.Types.Int -> a0 -> [a0] < 1412946514 890312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1412946541 345922 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@src replicateM < 1412946541 520510 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :replicateM n x = sequence (replicate n x) < 1412946608 128904 :drdanmaku!uid17782@gateway/web/irccloud.com/x-cvnbcjfqofjsllwa JOIN :#esoteric < 1412946637 193143 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 244 seconds < 1412946641 883154 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..]>>= \n->mapM id$[1..n]>>"123" < 1412946643 406264 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘[b]’ with ‘GHC.Types.Char’ < 1412946643 580686 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: [[b]] < 1412946643 580873 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: [GHC.Types.Char] < 1412946659 619956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf is with you < 1412946674 81137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..]>>= \n->mapM id$[1..n]>>["123"] < 1412946675 642164 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["1","2","3","11","12","13","21","22","23","31","32","33","111","112","113",... < 1412946858 58143 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> [1..]>>= \n->mapM(\_->"123")[1..n] -- also same length < 1412946859 552120 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["1","2","3","11","12","13","21","22","23","31","32","33","111","112","113",... < 1412946924 105110 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um no? < 1412946940 506203 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's 7 chars longer < 1412946960 507956 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what is all this nonsense going on < 1412947036 314864 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I guess golfing? < 1412947060 2830 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1..]>>= \n->mapM(>>["123"])[1..n] < 1412947061 233973 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Enum.Enum [a0]) < 1412947061 400132 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from the arithmetic sequence ‘1 .. ’No instance for (GHC.Num.Num [... < 1412947063 926641 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :a program that lists all sequences of 1,2, and 3? < 1412947073 710646 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I was comparing to [1..]>>= \n->mapM id$[1..n]>>"123" < 1412947097 464553 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> do n<-[1..];mapM id$[1..n]>>"123" < 1412947098 840406 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘[b]’ with ‘GHC.Types.Char’ < 1412947099 8683 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: [[b]] < 1412947099 8920 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: [GHC.Types.Char] < 1412947101 407027 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well that was buggy < 1412947107 791894 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, right. < 1412947112 143529 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i guess you could call that "counting in quaternary" < 1412947136 741858 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well no < 1412947148 206827 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :"counting in ternary with the wrong digits" < 1412947157 443789 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> do n<-[1..];mapM(\_->"123")[1..n] < 1412947158 877972 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["1","2","3","11","12","13","21","22","23","31","32","33","111","112","113",... < 1412947184 413340 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes, hello hello world still annoys me. < 1412947227 810250 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what is it < 1412947253 980 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://golf.shinh.org/p.rb?hello+hello+world < 1412947298 760947 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> mapM id`map`iterate("123":)[] < 1412947300 179836 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [[""],["1","2","3"],["11","12","13","21","22","23","31","32","33"],["111","1... < 1412947302 533482 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1412947314 343178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> mapM id=< iterate("123":)[]>>=sequence -- right. mapM id == sequence < 1412947334 177662 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["","1","2","3","11","12","13","21","22","23","31","32","33","111","112","11... < 1412947351 368543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mapM id is slightly shorter < 1412947375 123194 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So it is. I can't count. < 1412947531 115084 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :incidentally this is _still_ counting the wrong way for the problem. < 1412947557 537883 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I know! < 1412947644 293191 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 15{3B!}GO < 1412947644 503827 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"1" "2" "10" "11" "12" "20" "21" "22" "100" "101" "102" "110" "111" "112" "120" < 1412947694 460120 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 272 seconds < 1412947723 681339 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "123"3cb < 1412947723 848689 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"1" "2" "3" "11" "12" "13" "21" "22" "23" "31" "32" "33" "111" "112" "113" "121 < 1412947840 161590 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: yeah looks like the output is standard ternary counting order yeah? < 1412947852 111413 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1412947877 97651 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :starting at 0 < 1412947878 882579 :Froox!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1412947888 724257 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :int-e: no, starting at 1 < 1412947909 661775 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope, 0 < 1412947910 787740 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'm surprised the shortest answer is 48 < 1412947919 470883 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1412947943 495175 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: we're talking hello hello world right < 1412947951 553969 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: burlesque < 1412947960 117814 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right < 1412947961 581095 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :quintopia: oerjan and I are competing on the Haskell one < 1412947986 611762 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hence all the (irrelevant, but topically related) Haskell snippets above < 1412947995 14813 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(they're actually more relevant to the latest problem) < 1412948025 861263 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh there are new ones < 1412948033 933327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well plenty of time < 1412948057 337140 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :quintopia: It's very possibly not the shortest, just not many people have given it a go. < 1412948058 308828 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :still working on the obeliks < 1412948181 200944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :when considering trailing whitespace, int-e starts looking hard to beat. < 1412948302 322876 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1412948371 515602 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I still don't even know what the logic of obeliks was. < 1412948405 604351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION cackles evilly < 1412948427 515177 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's actually really simple < 1412948495 623241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but the fact that all except one of the columns in the example skew into a straight line might deceive you. < 1412948501 30935 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*examples < 1412948510 722194 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*test cases < 1412948528 125348 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's just three test-cases you have to hard-code < 1412948533 193473 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :why would there have to be logic? < 1412948538 391907 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: there is. < 1412948547 284773 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure there is, but it's not important < 1412948617 433953 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well, maybe hard-coding would be shorter. < 1412948625 64303 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :surely for _some_ languages. < 1412948836 419425 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I'm a bit annoyed that the easy problems run for 14 days and the harder "count the overlap" one only for a week < 1412948869 576817 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh < 1412948871 778669 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :48 for what? < 1412948892 352088 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mroman_: Burlesque for hello hello world. < 1412948918 890598 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :gs2 has 36B for it < 1412948964 129628 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1412948965 203507 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :is it < 1412948969 850161 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {0 1 2}3cb < 1412948970 14394 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{0} {1} {2} {0 0} {0 1} {0 2} {1 0} {1 1} {1 2} {2 0} {2 1} {2 2} {0 0 0} {0 0 < 1412948985 215448 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {0 1 2}3cb{"world hello world!"wdjsi}m[ < 1412948985 374412 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{"world"} {"hello"} {"world!"} {"world" "world"} {"world" "hello"} {"world" "wo < 1412948996 846527 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :nope < 1412949015 862635 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {0 1 2}3cb{"world hello !"wdjsi}m[ < 1412949016 70531 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{"world"} {"hello"} {"!"} {"world" "world"} {"world" "hello"} {"world" "!"} {"h < 1412949060 392251 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It would be 0 1 2 10 11 12 20 21 22 100 101 ..., i.e. just ternary count with no trailing zeros except for 0 itself. < 1412949088 988317 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah ok < 1412949103 685088 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 15{3B!}cb < 1412949103 840317 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Burlesque: (cb) Invalid arguments! < 1412949107 447268 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 15{3B!}GO < 1412949107 616081 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"1" "2" "10" "11" "12" "20" "21" "22" "100" "101" "102" "110" "111" "112" "120" < 1412949110 78181 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like that then < 1412949115 252391 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 15{3B!}GZ < 1412949115 418539 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"0" "1" "2" "10" "11" "12" "20" "21" "22" "100" "101" "102" "110" "111" "112" " < 1412949124 417416 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. < 1412949142 468823 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 15{3B!riXX}GZ{"world hello world!"wdjsi}m[ < 1412949142 638971 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{"world"} {"hello"} {"world!"} {"hello" "world"} {"hello" "hello"} {"hello" "wo < 1412949258 636873 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :45B < 1412949260 487125 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :k < 1412949304 367762 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: I think you mean leading zeros, hth < 1412949312 276637 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :44B < 1412949329 877980 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: YES < 1412949371 364472 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: you might enjoy http://golf.shinh.org/p.rb?print+numbers+reversed though *ducks* < 1412949462 118066 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :41B < 1412949552 257467 :brandons1!~SingingBo@d50-98-172-234.bchsia.telus.net JOIN :#esoteric < 1412949572 175708 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mroman_: I didn't even know you can XX an integer, my 48B one was kind of a 3B!XX plus [-ri ... j!! kinda thing on each individual digit. < 1412949635 679174 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1412949638 564015 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::) < 1412949645 440105 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then you might get <41B by using XX on an integer? < 1412949660 69904 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Probably not, that's already 7 characters shorter. < 1412949733 367331 :brandonson!~SingingBo@d50-98-172-234.bchsia.telus.net QUIT :Ping timeout: 260 seconds < 1412949741 321068 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It did make for an obvious 48->46, though. < 1412949769 592625 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't think you can compress "world hello world!" < 1412949798 989680 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or maybe you can < 1412949826 480052 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :nah < 1412949826 714945 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :In my Haskell snippets, sometimes you can, sometimes you can't... < 1412949827 570879 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I tried, but couldn't. < 1412949828 437259 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :too short already < 1412949855 886044 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :let's wait for teebee to make his move < 1412949857 426106 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::D < 1412949943 723517 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :btw {f}GZ{g}m[ is the same as {fg}GZ < 1412949959 313432 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(map f . map g == map (f . g)) < 1412950095 366267 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :39B < 1412950266 845598 :ion!ion@heh.fi PRIVMSG #esoteric :!bf_textgen hello < 1412950477 519218 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 0 3dg < 1412950477 676937 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {} < 1412950479 68061 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :this sucks < 1412950479 402528 :kcm1700_!~kcm1700@175.117.8.72 QUIT :Remote host closed the connection < 1412950480 263110 :kcm1700!~kcm1700@175.117.8.72 JOIN :#esoteric < 1412950481 404783 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if this were {0] < 1412950483 383349 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :{0} < 1412950487 7675 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it would be soo much shorter < 1412950665 793097 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I noticed that too. In fact, my initial attempts built on 3dg and trying to handle the 0 separately, but they were all longer. < 1412950687 159567 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`! bf_txtgen hello < 1412950691 332808 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :51 +++++++++++++[>++++++++>>><<<<-]>.---.+++++++..+++. [161] < 1412950692 310209 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ion: ^ < 1412950696 978245 :ion!ion@heh.fi PRIVMSG #esoteric :Thanks < 1412950796 564545 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I can get 43B with 3dg < 1412950805 115683 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but handling the 0 is really tedious < 1412951069 517590 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it requires a "world"Q at the end of my program < 1412951092 784459 :spiette!~spiette@2607:fad8:4:6:f2de:f1ff:fe66:77e5 JOIN :#esoteric < 1412951117 778066 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :either that or some crazy Pp pP shit < 1412951120 24338 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which is also 43B < 1412951162 167691 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1412951162 923122 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wait < 1412951465 216849 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but 60B < 1412951465 893015 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wth < 1412951471 382980 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Even my crappiest solution so far is 49B < 1412951613 600877 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1412951629 172919 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it can be made less crappy to 48B though < 1412951632 78904 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but still pretty crappy < 1412951635 775035 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it uses M- < 1412951638 546162 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no way, I've written crappier I think < 1412951641 376919 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let me check < 1412951654 860565 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :{bx{3B!riXXsw}.+}m[M-uN < 1412951674 416206 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :http://golf.shinh.org/p.rb?hello+hello+world says I wrote 583 bytes < 1412951681 854885 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :in what language? < 1412951684 76593 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :perl < 1412951686 663651 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh well < 1412951690 531829 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, that's bad, let me replace it with a real solution < 1412951692 869393 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I can't say anything about Perl < 1412951712 321735 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :a few minutes, let me write one < 1412951725 422953 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think that one basically encoded the whole output or something < 1412951785 879123 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I've heard Perl is dying < 1412951791 126915 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :So I'm not gonna start golfing in it. < 1412951821 718794 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I might not make it the golfiest, but 583 is riddiculously long < 1412951825 4584 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll write something more decent < 1412951837 520576 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman_: I suppose you *can* say anything about Perl. < 1412951880 464016 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :rip in peace < 1412951913 141252 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I didn't say that < 1412951916 446610 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I've heard that < 1412951939 51310 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I treat it as a reliable source for my own convenience since I hate perl < 1412952007 897437 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It doesn't even have arguments < 1412952091 711670 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it has this ugly @_ thingy < 1412952109 458987 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1412952136 910841 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there, 78 bytes < 1412952156 304273 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :much better < 1412952209 972670 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :now let me see if I can cut a few bytes < 1412952269 945052 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :can so < 1412952273 157183 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :75 bytes < 1412952295 64755 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais is leading with 72 bytes < 1412952324 344164 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ah duj < 1412952339 512380 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :72 me too < 1412952351 376676 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, now the difficult part, how can I cut it more < 1412952431 866385 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :use a knife. < 1412952452 550714 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it doesn't accept extra spaces in the lines < 1412952783 452517 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :also, I could compress world world! < 1412952801 547229 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I had to write world only once in the source < 1412952850 423284 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :I think I wanna do a golfLisp at some point, with 1 character keywords a la Pilot and Mouse. < 1412952897 727557 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah < 1412952900 985259 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :you could just define some macros in lisp-of-your-choice. < 1412952912 909436 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :being the author of burlesque I can say to you: There's no point doing that < 1412952917 419628 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :sure the programs will be shorter < 1412952926 551933 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :but what about the soul < 1412952930 20946 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :exactly < 1412952938 134179 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. if you map lisp commands to 1bytes < 1412952940 281732 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's still lisps < 1412952943 648884 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*LISP < 1412952947 922850 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's shorter.. but it's still LISP < 1412952951 950236 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so might as well just golf in LISP < 1412952974 308221 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. it doesn't provide additional fun < 1412952988 245342 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :Bike: This is true. But I've a couple books in my queue on writing Lisps, so it might be doable to kill two birds with one stone. ;) < 1412953028 543736 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and as for "as short as possible" < 1412953031 243449 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :though, it's true as well that as a Scheme/Racket fan I actually kinda like the verbosity of that flavor. < 1412953033 227790 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :gs2 is pretty damn good at that < 1412953067 911909 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :better than golfscript, flogscript and burlesque < 1412953074 314495 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it seems that compressing world world! saved 3 bytes < 1412953079 983847 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :in old editions of chaitin's Algorithmic Information Theory he used a lisp that used the apl character set < 1412953095 916092 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or maybe only 2 < 1412953097 863380 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :dunno < 1412953130 28919 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :and implicit parens. it's horrifying < 1412953201 883713 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :Bike: Dear god, it sounds it. < 1412953218 249665 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :it's also compiled to diophantine equations < 1412953220 372242 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :sounds like a joke < 1412954105 787983 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412954272 965214 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1412954346 997874 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unicode CURLY LETTER R < 1412954347 881625 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412954391 15472 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I guess this does not have some search heuristics? < 1412954428 687902 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unicode THAT WEIRD SYMBOL USED IN MAIL ADDRESSES USUALLY IN THE MIDDLE < 1412954429 546072 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412954445 384733 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`cat :-( < 1412954446 6786 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​☹ < 1412954761 975532 :Sgeo_!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :"Hijack do-notation for Applicative " < 1412954763 562824 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman_, it is the name of the character I think < 1412954767 487056 :Sgeo_!~quassel@metro29st13.m.subnet.rcn.com PRIVMSG #esoteric :Why is that an evil Haskell tip? < 1412954804 693627 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`unicode LATIN SMALL LETTER SIDEWAYS TURNED M < 1412954805 347799 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ᴟ < 1412954842 41243 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`unicode ROMAN NUMERAL NINE < 1412954842 632285 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​Ⅸ < 1412954873 19437 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unicode TURNED M < 1412954873 912902 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+019C LATIN CAPITAL LETTER TURNED M \ UTF-8: c6 9c UTF-16BE: 019c Decimal: Ɯ \ Ɯ (ɯ) \ Lowercase: U+026F \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+026F LATIN SMALL LETTER TURNED M \ UTF-8: c9 af UTF-16BE: 026f Decimal: ɯ \ ɯ (Ɯ) \ Uppercase: U+019C \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Ri < 1412954876 252635 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah < 1412954877 71959 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1412954882 18295 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unicode LETTER R < 1412954882 871257 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+0052 LATIN CAPITAL LETTER R \ UTF-8: 52 UTF-16BE: 0052 Decimal: R \ R (r) \ Lowercase: U+0072 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+0072 LATIN SMALL LETTER R \ UTF-8: 72 UTF-16BE: 0072 Decimal: r \ r (R) \ Uppercase: U+0052 \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right) \ \ U+0154 LATIN CA < 1412954895 55881 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unicode LETTER CURLY < 1412954896 140427 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412954898 13078 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1412954910 941432 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unicode R MATH < 1412954911 882523 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412954926 199910 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unicode ROMAN NUMERAL FIFTY < 1412954926 793363 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​Ⅼ < 1412954932 28356 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unicode ROMAN NUMERAL THOUSAND < 1412954934 19907 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1412954938 5897 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`unicode ROMAN NUMERAL < 1412954938 493003 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`unicode MATHEMATICAL BOLD FRAKTUR CAPITAL R < 1412954939 101768 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+2160 ROMAN NUMERAL ONE \ UTF-8: e2 85 a0 UTF-16BE: 2160 Decimal: Ⅰ \ Ⅰ (ⅰ) \ Lowercase: U+2170 \ Category: Nl (Number, Letter) \ Numeric value: 1 \ Bidi: L (Left-to-Right) \ Decomposition: 0049 \ \ U+2161 ROMAN NUMERAL TWO \ UTF-8: e2 85 a1 UTF-16BE: 2161 Decimal: Ⅱ \ Ⅱ (ⅱ) \ Lowercase: U+2171 \ Category: Nl (Num < 1412954939 275018 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​𝕽 < 1412954968 503095 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`unicode SCRIPT CAPITAL R < 1412954968 816437 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ℛ < 1412955000 681846 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`unicode DOUBLE-STRUCK CAPITAL R < 1412955001 328894 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ℝ < 1412955076 689296 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I wonder if I could cut one more character with some trick < 1412955102 621934 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :b_jonas, from what? < 1412955326 745559 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, I could actually use the pid trick here < 1412955329 685230 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that could save three chars < 1412955336 400572 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: http://golf.shinh.org/p.rb?hello+hello+world < 1412955563 925680 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, I don't see how to save one character this way, unless I use the pid trick to safe three characters right < 1412955579 782272 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :is that evil? < 1412955588 701002 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there must be some other ways to save < 1412955722 339685 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there, I used the pid trick. now I'm evil < 1412955748 41510 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no wait, it failed < 1412955833 564638 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there < 1412955883 451838 :dianne!~hianne@unaffiliated/dianne JOIN :#esoteric < 1412957446 75350 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1412957540 666817 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 260 seconds < 1412957758 935659 :AnotherTest!~turingcom@94-224-16-225.access.telenet.be JOIN :#esoteric < 1412958729 20116 :MoALTz!~no@user-164-127-158-235.play-internet.pl JOIN :#esoteric < 1412959229 635266 :tlvb!~Leo@c-2ec3b9bd-74736162.cust.telenor.se JOIN :#esoteric < 1412959622 491881 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Polyglot14]]4 10 02http://esolangs.org/w/index.php?diff=40597&oldid=39879 5* 0391.127.56.175 5* (+302) 10/* Minimal languages for polyglot quine */ new section < 1412959735 819419 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de JOIN :#esoteric < 1412960054 408552 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1412960079 390225 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :puhun vähän suomea. < 1412960092 18254 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also why doesn't windows have Dvorak International < 1412960093 541907 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or does it < 1412960191 139907 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also where the hell can I change it on Windows 8.1 < 1412960248 702566 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman_: change stuff in windows 8.1? isn't that like unconfigurable because they know better what you want than you do? < 1412960258 764465 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :no it's just hidden everywhere < 1412960265 587535 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :some things you can change through the metro thingy < 1412960275 757217 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :others through the regular control pannel < 1412960285 296557 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :windows is pretty configurable... < 1412960296 968858 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and some stuff looks metro but is actually just a fullscreen window in the normal desktop environment < 1412960322 145006 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's confusing if it pops up < 1412960329 507655 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hm? I don't think there is such a distinction < 1412960332 206963 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and you think it's metro so you press the windows key to switch back to the desktop < 1412960355 104841 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but since it's still on the desktop pressing the windows key will switch to the metro homepage thingy < 1412960392 215872 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :elliott_: you can open metro applications while being on the desktop < 1412960400 436747 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and they are displayed fullscreen < 1412960408 114991 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but it's not considered to be in "metro" mode < 1412960423 686702 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(i.e. like I said pressing the windows key won't get you the desktop back) < 1412960430 96137 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you have to close the fullscreen window < 1412960436 804371 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :before you can see your desktop again < 1412960491 316043 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Do anti-virus manufacturers still distinguish between spyware and other stuff? < 1412960503 781359 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Why would I need spyware protection if I have malware protection? < 1412960516 159294 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :does malware protection not protect against malware spying on me? < 1412960530 218499 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or is this just to lure innocent people into paying for something they don't need < 1412961884 799200 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1412961886 313553 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I think ALT+F4 and ALT+TAB and stuff are still the same for Metro and non-Metro though. < 1412962046 492137 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :And did you see if WIN+D still works to bring back the desktop screen? < 1412962579 418004 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1412963011 379259 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1412963273 406833 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1412963356 844377 :glogbackup!~glogbacku@192.3.160.190 QUIT :Remote host closed the connection < 1412963939 785058 :conehead!~conehead@67.10.235.179 JOIN :#esoteric < 1412963945 117121 :conehead!~conehead@67.10.235.179 QUIT :Changing host < 1412963945 270872 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1412964063 677700 :glogbackup!~glogbacku@192.3.160.190 JOIN :#esoteric < 1412964313 983026 :glogbackup!~glogbacku@192.3.160.190 QUIT :Remote host closed the connection < 1412965279 176106 :Vorpal_!~Vorpal@unaffiliated/vorpal NICK :Vorpal < 1412965289 703299 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :HI < 1412965294 4417 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Hi* < 1412965513 47683 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :hI < 1412965591 59386 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :!blsq "hH""iI"cpwD < 1412965591 213261 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : hi hI Hi HI < 1412965656 686087 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ ,'hH',"0/'iI' < 1412965657 249908 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: hihIHiHI < 1412965666 599862 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ ,' ','hH',"0/'iI' < 1412965667 126317 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: hihIHiHI < 1412965671 308629 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ ,' ',.'hH',"0/'iI' < 1412965671 881503 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: hihI HiHI < 1412965676 334964 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ ,' ',"1'hH',"0/'iI' < 1412965676 875632 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: hi hI Hi HI < 1412965770 808947 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ ;{' ';'hH';'iI' < 1412965771 325313 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: hi hI Hi HI < 1412965815 837137 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :!blsq "hi"XX{JZZ_+}MPcpwD "there's probably a better way to do that so that it doesn't include repeating"vv < 1412965816 34485 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : hi hI Hi HI < 1412966517 342299 :drdanmaku!uid17782@gateway/web/irccloud.com/x-cvnbcjfqofjsllwa QUIT :Quit: Connection closed for inactivity < 1412967252 964900 :spiette!~spiette@2607:fad8:4:6:f2de:f1ff:fe66:77e5 QUIT :Quit: :qa! < 1412968095 489160 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :terve vorpal < 1412968106 475639 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Hm? < 1412968129 597631 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or something like that < 1412968142 664066 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or was it Hei < 1412968143 605561 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :kay < 1412968148 431983 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I guess it was Hei? < 1412968150 544224 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :What language? < 1412968153 510802 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Finnish? < 1412968157 138854 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :No idea < 1412968159 847747 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1412968165 99371 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :somebody set me up then saying you speak it < 1412968172 630296 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :No, I speak Swedish < 1412968189 649877 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :So... Hej! < 1412968244 585286 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1412968245 187682 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1412968259 951320 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :maybe I thingie swedish with finnish < 1412968290 567642 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :confused < 1412968296 896511 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :mroman_, fizzie, Deewiant and oklopol speak Finnish though at least < 1412968301 564891 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Not sure who else < 1412968305 371204 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :damnit my english skills are worsening. < 1412968309 150870 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Probably forgot someone < 1412968401 466185 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :deteriorating, diminishing < 1412968425 500188 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :mroman_, devolving? < 1412968457 898630 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :devolve is negative? < 1412968471 651667 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Finn-listing in the logs was quite complete and correct (you did forget a couple). < 1412968484 130132 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, oh? Where in the logs? < 1412968493 411277 :Sorella!~queen@oftn/member/Sorella QUIT :Ping timeout: 260 seconds < 1412968669 226122 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :When mroman_ asked around about this last. < 1412968780 236863 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1412968811 928420 :nycs!~nycs@gw.hq.meetup.com NICK :`^_^v < 1412968827 846753 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a bit mixed up in there with other discussion, though. < 1412968840 88189 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't want to nickping people so I'll omit it anyway. < 1412968882 779271 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or maybe I could mangle the names. < 1412968900 76829 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or craft a link < 1412968911 463667 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :The fruits of my evening: (define (s f l) (match l ['() '()] [(cons h t) (append (s f (filter (curry (negate f) h) t)) `(,h) (s f (filter (curry f h) t)))])) < 1412968914 214817 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But the problem is, there's no complete list. < 1412968931 144010 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so. fizzie, Deewiant, oklopol and nortti < 1412968945 353174 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also ate_hwa, inei_ros. < 1412968955 588105 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I don't want to remember how to type a zero-width space.) < 1412968978 52534 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And J__Arcane (see what I did there) lives here but is not native, I think that was well-established. < 1412968992 698222 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :Yes, I am indeed a resident. < 1412968994 606297 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, and i_on is one too, I believe. < 1412969021 925470 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or maybe they are Swedish with just a very Finnish-y name. < 1412969033 398348 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1412969039 701982 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And we all know that sha_chaf is nominally Finnish. < 1412969059 553544 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi fizzie < 1412969071 633131 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I put an underscore in your name you're not supposed to notice. < 1412969072 742081 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do we all know that sha_chaf has /hilight on chaf\b < 1412969079 216398 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We don't all know that. < 1412969098 288600 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^scramble shachaf < 1412969099 220776 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I looked in /usr/share/dict/words and everything! < 1412969102 556852 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :why would shac_haf do that? < 1412969104 165941 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hey, where's fungot. < 1412969113 888143 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, right, there was that power outage. < 1412969144 66596 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :There are no words in /usr/share/dict/words that ends in chaf. All the entries matching "chaf" in fact starts with it < 1412969155 261620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Exactly. < 1412969186 426981 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The main reason is that people keep misspelling the beginning of my name. < 1412969193 262575 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess "sachaf" happens often enough < 1412969202 290470 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, why? wouldn't they tab complete it? < 1412969203 432743 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what about sahchaf? < 1412969206 909460 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"schachaf" is very common < 1412969208 320776 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I type sh < 1412969221 796086 :fungot!fis@eos.zem.fi JOIN :#esoteric < 1412969228 547561 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style < 1412969228 700983 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube < 1412969228 854246 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Vorpal: You should set your IRC client to tab-complete with : rather than ,. < 1412969229 451151 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: Hi there < 1412969230 15366 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :mroman_: ( sum-ec ( :list x l)) nl)) is equivalent to set! a ( cond ( f 1) < 1412969235 862588 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, why? < 1412969242 444781 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style alice < 1412969242 598070 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: alice (Books by Lewis Carroll) < 1412969248 596153 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Are you quite sure about that? They don't look similar at all! < 1412969248 921329 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: " what a deal of teaching oo wants! she washes it little by fnord she begins at the other side. " did they box his ears for nothing? a precious pet!" < 1412969254 52051 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It looks like part of a sentence rather than part of a protocol this way. < 1412969257 687508 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot, does that include bruno and sylvie? < 1412969257 881589 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: ' oh, ever so much more than that!' cried the poor queen groaned out: ' the man, oo know. if oo walked at it, oo'd go right froo!" < 1412969259 557689 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't like it. < 1412969263 418378 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf! I don't see a reason to do so < 1412969280 556062 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: tell us about bread < 1412969280 735123 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: ' a little fnord we go and meet him and then we sing this song for your fnord!" thundered the vice-warden. " why, i thought, " in real life, is to deduce conclusions from workable premisses, and would hardly come out again ( so alice explained it afterwards), and they gave him three cheers, while he got out a dish and fnord. < 1412969288 3740 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I should totally set it to ! or ? < 1412969291 849738 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I used ; as the tab-separator a long time ago. < 1412969303 3771 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, why < 1412969316 58829 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a compromise between , and :, obviously. < 1412969321 228220 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1412969324 931233 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The worst of both worlds. < 1412969335 336500 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^scramble shachaf < 1412969335 489695 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :sahfach < 1412969339 76901 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Not best= < 1412969342 428218 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :s/=/?/ < 1412969344 984232 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :At any rate, I'll try to remember to use sahfach next time. < 1412969373 681594 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: what are you trying to do @hi HI Hi? < 1412969391 42263 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess the "vice-warden" is from Sylvie and Bruno (and I did get that title wrong) indeed. < 1412969396 672628 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mroman_: Nothing at all, just there were three out of four on the channel already by that time. < 1412969417 85809 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :The "launch EFI shell" option in the "BIOS" settings screen refuses to work on my desktop hrrm < 1412969439 581803 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "HhiI"2cb < 1412969439 735214 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"H" "h" "i" "I" "HH" "Hh" "Hi" "HI" "hH" "hh" "hi" "hI" "iH" "ih" "ii" "iI" "IH < 1412969441 852860 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "HhiI"2CB < 1412969442 6181 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"HH" "Hh" "Hi" "HI" "hH" "hh" "hi" "hI" "iH" "ih" "ii" "iI" "IH" "Ih" "Ii" "II" < 1412969450 553817 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :a hollow shell, hmm < 1412969453 957873 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "HhiI"2CB:U_ < 1412969454 111170 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"Hh" "Hi" "HI" "hH" "hi" "hI" "iH" "ih" "iI" "IH" "Ih" "Ii"} < 1412969474 872360 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :int-e, nah "shell not found" even though I placed it in the designated location < 1412969505 334290 :Sgeo_!~quassel@metro29st13.m.subnet.rcn.com QUIT :Ping timeout: 246 seconds < 1412969520 104737 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mroman_: I keep forgetting about the ) and the : and such. < 1412969567 755849 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :What language is !blsq? < 1412969575 799955 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Burlesque. < 1412969579 771028 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1412969595 56741 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that weird bloaty language ;) < 1412969616 63233 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I wrote one Befunge entry to anagolf too, the other day. < 1412969649 786552 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The weirdest thing is that they say they're using the reference interpreter, yet it seems to strip trailing newlines from lines when outputting numbers with . even though that's not part of what the reference interpreter does. < 1412969678 989505 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the interpreters it uses are in its source repo I think < 1412969717 850220 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, they don't have befunge98 though, that is annoying < 1412969775 593330 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They do. < 1412969779 640958 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It runs on CCBI. < 1412969788 286304 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It might be a new addition. < 1412969824 59866 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :up to three maps using ) is better < 1412969895 795893 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Vorpal: Apparently since Aug 31, this year. < 1412969945 44564 :AnotherTest!~turingcom@94-224-16-225.access.telenet.be QUIT :Ping timeout: 260 seconds < 1412970081 502320 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hmm. The be/srv/s/bef script just does "exec /golf/local/befunge -i -q $1" (which doesn't strip newlines if I run the thing the "language version info" page links to, locally) and I didn't see the actual interpreter in the GitHub repo, though I might've missed it -- it's not part of the "fetched" things in be/Makefile either. < 1412970092 343978 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh well, it's not important. Just curious. < 1412970231 146902 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Deewiant: Speaking of which, how is it with CCBI and source file encodings, does it load things as bytes or UTF-8 or what? < 1412970276 140120 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Bytes < 1412970287 953685 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :'k. < 1412970399 878761 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess it doesn't matter for fingerprint-loading anyway (the reason why I was wondering about it) since there's a multi-byte encoding built right in ( anyway, and it's even more efficient than UTF-8. < 1412970429 635029 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, ah cool < 1412970445 510157 :AnotherTest!~turingcom@94-224-16-225.access.telenet.be JOIN :#esoteric < 1412970492 485663 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, I wonder, would a wchar_t befunge-98 be standard compliant < 1412970502 930554 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Or would it need to be an extension < 1412970506 228933 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :It would be < 1412970524 277736 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Deewiant, really? That is 4 byte per character on Linux < 1412970529 517010 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :The standard doesn't say anything about file encodings (or if it does, not much, IIRC) < 1412970545 459031 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Should add such an option to cfunge maybe, just for fun < 1412970563 197465 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :I was going to implement the UTF-foos in CCBI but never got around to it < 1412970573 622363 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Well UTF is annoying < 1412970577 103659 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe there are some hypothetical fingerprints that could be loaded shorter with 'X1( than "ab"2( where X is a two-byte UTF-8 encoding -- the ones from 0x1ff to 0x7ff, that is. < 1412970578 909285 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :UCS4 is reasonable though < 1412970627 369656 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Er, I obviously mean from 0x100. < 1412970775 367690 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Funge-98 source files are made up of Funge characters. The Funge-98 character set overlays the ASCII subset used by Befunge-93 and may have characters greater than 127 present in it (and greater than 255 on systems where characters are stored in multiple bytes; but no greater than 2,147,483,647.)" < 1412970792 102350 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's a curious limitation, given that the funge-space cells are not limited to anything. < 1412970823 473164 :Bicyclidine!~Glossina@wl-nat114.it.wsu.edu JOIN :#esoteric < 1412971087 446422 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, that is 2^31-1 < 1412971089 658520 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Weird < 1412971415 876953 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: they're limited to the cell size, aren't they? < 1412971444 672514 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :elliott_: He meant that the cell size limit can be arbitrarily large < 1412971481 703866 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. Of cells it says: "What size exactly is left up to the implementer. 32 bits is typical. 16 bit and 8 bit versions are discussed as separate variations on Funge-98. More than 32 bits is just fine." < 1412971502 420277 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But of characters in the source file it gives that "no greater than 2^31-1" statement. < 1412971528 926689 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe they thought of extending it past 32 bits after writing that part. < 1412971599 169619 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Maybe they wanted "typical" implementations to be capable of loading any file (on systems they support) < 1412971914 366022 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, and of course bignum cells is poorly supported < 1412971917 783987 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Like efunge has < 1412971954 75652 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I seem to remember that some test program fails on it at least due to trying to get a cell size from y (which efunge iirc returns -1 on) < 1412972081 599000 :dianne!~hianne@unaffiliated/dianne QUIT :Quit: byeanne < 1412972130 39914 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Well, UTF-8 can be used to store up to 36-bits character codes and it also is compatible with ASCII, so it could be used. (Trying to interpret it as Unicode can fail though, depending on which characters are used, because of different spacing.) < 1412972185 462083 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I might do UCS4, that is all < 1412972251 602894 :dianne!~hianne@unaffiliated/dianne JOIN :#esoteric < 1412972269 501468 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :bbl < 1412973067 264053 :AnotherTest!~turingcom@94-224-16-225.access.telenet.be QUIT :Remote host closed the connection < 1412974005 957076 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1412974942 481622 :Bicyclidine!~Glossina@wl-nat114.it.wsu.edu QUIT :Ping timeout: 255 seconds < 1412974985 42734 :MoALTz!~no@user-164-127-158-235.play-internet.pl QUIT :Ping timeout: 260 seconds < 1412975050 871884 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1412975643 720461 :Sorella!~queen@191.185.197.120 JOIN :#esoteric < 1412975692 752907 :Sorella!~queen@191.185.197.120 QUIT :Changing host < 1412975693 317953 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1412975720 508368 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1412975887 478596 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1412976511 802171 :drdanmaku!uid17782@gateway/web/irccloud.com/x-jskjarjkogxodgcv JOIN :#esoteric < 1412976520 390449 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1412977563 929196 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1412977594 691671 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, fun spam subject line: "ARE YOU DEAD OR ALIVE????" < 1412977601 635693 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I see it's using the Radixal!!!! approach to punctuation < 1412977697 231351 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com PRIVMSG #esoteric :lol < 1412977778 569288 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: also, I'll have to check 8 days later how you solved http://golf.shinh.org/p.rb?hello+hello+world with the exact same amount of bytes < 1412977796 273253 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I had to cheat to beat your solution < 1412977817 990869 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: my solution uses $$, I didn't realise that was considered cheating < 1412977828 818827 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: it's not really cheating on anagolf < 1412977836 512901 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but if it uses $$ then I'm less worried < 1412977847 214436 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that means you won't suddenly get ahead of me just by adding $$ < 1412977848 63766 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :whew < 1412977865 928239 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but of course you might just make it shorter by other means < 1412977958 548863 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :this hello hello world is a bit lucky because I have an obfu with a relevant technique on perlmonks < 1412978105 47828 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :what's $$ < 1412978145 210736 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Phantom_Hoover: $$ is getpid() (except cached but that shouldn't matter) in perl and ruby < 1412978158 932594 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :whither the cheat? < 1412978162 744268 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Phantom_Hoover: in linux, pids are only 15 bit long, so you can brute force forking until you get the right pid < 1412978175 971983 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :ah? < 1412978178 33061 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so if you need a 15 bit long integer in an anagolf entry < 1412978189 891912 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you fork a lot before you submit to get the next pid right < 1412978192 16412 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :ha, ok < 1412978196 851403 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :then submit with $$ giving the right number < 1412978261 640669 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nice trick, and it happens to help here < 1412978287 805595 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: you're aware that there's a PID setting utility that does the bruteforcing for you, right? < 1412978295 182352 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes < 1412978297 282251 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :presumably because shinh got fed up of people hammering the server < 1412978302 784026 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but that's just an implementation detail < 1412978318 49827 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the attack is there anyway < 1412978333 844111 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I did use the pid setting utility < 1412978336 417732 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's like the AceHack startscummer < 1412978423 318142 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think there are probably still more general cheating methods on anagolf open that are more powerful than just setting a pid < 1412978433 729113 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I don't think I'm going to try finding them, I don't much care < 1412978493 845115 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I just wanted some light golfing and I'm happy I beat you... so far. but I think you'll come back. < 1412978544 346011 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: oh, the standard rule with me and anagolf is that I never win < 1412978555 441711 :brandonson!~SingingBo@d50-98-172-234.bchsia.telus.net JOIN :#esoteric < 1412978559 783050 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1412978560 262388 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mostly I'm just aiming for interesting short solutions, rather than the shortest < 1412978571 378383 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sometimes I win by being the only person to submit a language, but that's typically only for the really obscure ones < 1412978574 863733 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think I solved a problem in m4 once < 1412978590 175383 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yeah, goruby seems to be easy to go for because nobody seems to submit in it < 1412978597 648063 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is really awkward because the only method m4 has to do input is the m4 translation of C's "#include " < 1412978601 911030 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and it's efficient for many problems < 1412978617 722689 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :aha < 1412978627 357453 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this means you have to rely on the sample input parsing correctly as m4; luckily, that's not very hard, m4's syntax is pretty general < 1412978640 219818 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but things like unbalanced parens really screw you up < 1412978643 922284 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah < 1412978650 956463 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you can change the quotes but not the parens < 1412978654 955687 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :m4 sucks < 1412978671 434496 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :#include <-- *boggles* < 1412978680 216983 :brandons1!~SingingBo@d50-98-172-234.bchsia.telus.net QUIT :Ping timeout: 260 seconds < 1412978717 212044 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think if you wanted to win on anagolf, you'd have to write translators that compile a simple language to many obscure languages, resulting in long programs, so you're often the only one for languges < 1412978740 887545 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :also, I was wondering why anagolf doesn't have metapost or metafont. are their io capabilities that bad? < 1412978759 935160 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe we should make a version of metapost with a bit better io statements < 1412978778 624423 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :can i golf in vhdl < 1412978805 784282 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Bicyclidine: yes, anagolf can do that < 1412978809 185728 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :METAFONT can only input from a file and cannot change the characters like TeX can; TeX can change the interpretation of each character so it has more general input. < 1412978817 923590 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :thank god < 1412978863 784204 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: how about output? can you suppress the initial hello message from metapost or metafont? < 1412978875 911828 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :does that even go to stdout or stderr? let me check < 1412978892 327181 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :to stdout < 1412978893 619002 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ouch < 1412978901 42592 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :then that's the problem < 1412978903 71693 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :we need a variant < 1412978918 263285 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :b_jonas: No you cannot change the initial message in METAFONT or in TeX. < 1412978929 87389 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :not even with a command line switch? < 1412978941 844436 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: how about in metapost? < 1412978945 810603 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Bicyclidine: That is implementation-specific; some implementations might support it. < 1412978953 662619 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :b_jonas: I don't know how metapost works, sorry. < 1412978955 78828 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :weird < 1412978966 65948 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :having a welcome message is standard but turning it off isn't? < 1412978972 457542 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Bicyclidine: Yes. < 1412978984 95778 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :-_- < 1412978986 819988 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Bicyclidine: it's three decades old. computers worked differently back then. < 1412979015 196416 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric : #include <-- *boggles* < 1412979018 35860 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :do you even m4 < 1412979019 879555 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Note you can still do I/O with files; you don't have to use stdin/stdout. < 1412979037 860119 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i 'learnt' m4 several years ago, it was quite the experience < 1412979038 410610 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :but it's on version 3 point something!!!! < 1412979038 603515 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :Phantom_Hoover: why would i even m4 < 1412979089 198633 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :because it's like a glorious, multicoloured trainwreck of macro abuse < 1412979123 151450 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :*All* command-line switches to TeX and METAFONT are implementation-specific, actually. < 1412979179 551261 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: I've been looking into writing some z80 solutions, though the one I've submitted isn't terribly golfy. < 1412979209 778429 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: what libc support do you have in the z80 mode? < 1412979217 813275 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: There's a getchar and a putchar. < 1412979222 196919 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: And that's it. < 1412979224 715028 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :haha. < 1412979227 61949 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: right < 1412979249 216056 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Most of my 48-byte code is probably related to printing decimal numbers, in fact. < 1412979488 271796 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A fun thing about it (this is directly from the info-page) is that it fills the memory with zeros, loads the submission at $0000 and puts the library code at $8000 (putchar) and $8003 (getchar); since 0 is the Z80 nop instruction, it's often shorter to do "rst 38h" (or fall off the end of the program) than to "call 8000h" -- it's equivalent, except the system will have to execute about 32K of nops there. < 1412979548 61425 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: NOP sleds are a known machine language programming technique < 1412979558 548832 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although they're mostly used maliciously < 1412979714 553838 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know how they've implemented the "system calls", and why it's exactly those addresses; the bytes at $8000..$800f are all 0 in terms of reading data from those addresses. Perhaps the emulator just triggers something based on the PC. < 1412979755 771309 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: perhaps the address lines are hooked up to virtual hardware < 1412979781 811913 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know lots of old consoles used "attempt to write to ROM" as the method of triggering a hardwired syscall < 1412979788 640086 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like "swap to a different bank of memory" < 1412979860 234421 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes, it also might depend on the cartridge, such as in Famicom it is done in many cartridges and not inside of the computer itself. < 1412980013 441361 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :i'm told some star wars game for wii starts with essentially (NULL)(); < 1412980030 890586 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :sounds pretty legit imo < 1412980075 170362 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bicyclidine: gcc-bf does that in its implementation of _exit < 1412980080 765575 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :only it's written as "goto *(void *)0;" < 1412980111 402394 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :computed goto's always great, huh < 1412980168 448584 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Especially in assembly language programs it can be useful < 1412980195 591013 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :ACTION writing a jump table by hand yesterday, can't exactly disagree... < 1412980227 668871 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :it works, i'm so excited to be programming at an innovative 1960s level < 1412980281 901578 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, if you have a switch statement where all the branches are similar enough that they have identical numbers of bytes < 1412980304 147702 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :do compilers compile that into a computed goto that just uses a multiplication and addition to find the address? < 1412980330 822818 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :i tried that last time, didn't work though < 1412980334 384584 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :i should try again < 1412980348 780361 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :(with a shift rather than a full multiply, ofc) < 1412980369 115885 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :depends on the processor < 1412980380 435188 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com PRIVMSG #esoteric :ais523: i imagine that is uses a jmp instruction < 1412980381 38166 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :modern processors are normally memory-bandwidth-bound, so a multiply isn't actually any slower than a shift < 1412980388 192642 :LordCreepity!~davis@cpe-74-131-10-190.swo.res.rr.com PRIVMSG #esoteric :s/is/it/ < 1412980400 368071 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :the one i'm using has a separate multiplier unit, so < 1412980409 797504 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :i guess i could time it < 1412980418 307238 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :In 6502 there is an indirect jump instruction, but it can't do much. < 1412980427 769774 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :So sometimes "RTS trick" is used instead. < 1412980492 91853 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :This involves creating a jump table in a separate low half and high half, storing the address one less than the actual target address. (There are other variants of this, but this is my preferred way to do the RTS trick.) < 1412980539 103914 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: There was an article about how GCC compiles switch statements; I have a feeling it always does at least a table of addresses, instead of computing it arithmetically from the condition. I know mooz did that for his TI-86 Befunge interpreter manually. < 1412980585 609023 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :oh, that reminds me, someone had a build process taking 11 GB of ram 'cos llvm decided it needed to make a really good jump table for this hundreds of entries switch < 1412980613 594041 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bicyclidine: wow, that's even worse than aimake < 1412980623 225695 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(which can now build NetHack in under 512 MB!) < 1412980640 514376 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It isn't very good, especially if LLVM cannot have option to limit usage of RAM and stuff like that < 1412980683 57763 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :And if it tries to allocate memory needed for an optimization and fails at it, it should probably just skip that optimization and continue anyways. < 1412980706 746977 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(In verbose mode, it could display a message to tell you about that.) < 1412980707 28954 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :i've seen a lot of compilers do badly on generated code, really < 1412980726 167852 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :i just want you to do this halting problem equivalent operation within bounded space, lazy jerks < 1412980769 496958 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :oh, here we go lists.cs.uiuc.edu/pipermail/llvmdev/2013-November/068163.html < 1412980828 799503 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: I don't know anything about GCC internals, but it sounds quite possible the actual byte sizes of the case blocks might not quite be available at the time when it's deciding whether to go with a jump table or some other kind of dispatch. < 1412980841 987074 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1412980850 955454 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: I know more about GCC internals than I probably should, and I'm not entirely sure whether it does or not < 1412980869 804145 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that seems like the same sort of problem as an instruction scheduler < 1412980880 70274 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and gcc's internals aren't designed for instruction schedulers to work at all, really < 1412980918 680038 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It doesn't do it for one simple test case, which is of course not proof of anything: http://sprunge.us/bcbU < 1412980994 402233 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: that's the sort of program where it'd be trivial to beat the compiler, I think < 1412980995 154238 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :you know what's fun, is a case statement that works on constant strings in its cases < 1412981009 397865 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is this with -Os? that's the only optimization level where you can really play beat-the-compiler objectively < 1412981016 551172 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it's hard to know what will or won't be faster, but you can easily count bytes < 1412981036 388047 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bicyclidine: that compares content, presumably, rather than addresses? < 1412981042 324175 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: Yes. With -O3 it will put a separate "jmp f" in each case. < 1412981046 306346 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :ais523: right < 1412981062 865848 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :In Z-machine, the speed of muliplications and shifts are implementation-dependent, however I think multiplication will probably be faster. But multiplication results in smaller code, though, regardless of that. < 1412981094 918223 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :so you can discriminate on length, make a tree of character comparisons for when strings have the same char at the same position... < 1412981096 266314 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :ais523: Do you know if it can take advantage of if all unspecified cases are specified as being impossible? < 1412981133 436455 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: gcc and clang already interpret undefined behaviour as a "this will never happen" case and optimize accordingly < 1412981142 77640 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure if there's an "official" way to write it, though < 1412981147 363290 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps there's a __builtin_unreachable or the like < 1412981197 35582 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :On my computer it says "__builtin_unreachable" is not defined. < 1412981205 508253 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bicyclidine: what's the halting problem equivalent operation? < 1412981209 818414 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(It is mentioned in GCC documentation, though.) < 1412981221 683525 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :elliott_: compiling (perfectly i guess) < 1412981230 935253 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bicyclidine: if you're only optimising constant factors, not that hard < 1412981250 736673 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in that you can compile naively to get upper bounds and then brute force it < 1412981256 553308 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"not that hard" < 1412981259 527132 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean, conceptually. < 1412981265 710081 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :https://gcc.gnu.org/onlinedocs/gcc-4.5.0/gcc/Other-Builtins.html#Other-Builtins this has builtin_unreachable < 1412981290 292223 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :In LLVM it is just called "unreachable", I think. < 1412981297 108299 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :__builtin_unreachable, o well < 1412981326 942671 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :However I was told that if there is a branch to such a thing, it will just remove that branch instead of necessarily assuming the condition is never true. I don't know if it has been changed by now, though. < 1412981387 926087 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :"Another use for __builtin_unreachable is following a call a function that never returns but that is not declared __attribute__((noreturn))" good stuff, good stuff < 1412981438 327280 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1412981443 369926 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :C11 adds a standard _Noreturn function specifier, by the way. < 1412981451 847696 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :haha < 1412981465 308464 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :is that like some kinda c11 attribute, or do you just have a million specifiers before each function name < 1412981484 305218 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Syntactically it's a function-specifier exactly like 'inline'. < 1412981491 398206 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :nice. < 1412981500 161552 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And there are a total of two of them: 'inline' and '_Noreturn'. < 1412981517 513334 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and _Noreturn is similar enough to __attribute__((noreturn)) that you can switch between them with the preprocessor and typically won't break your program < 1412981524 990276 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Is it allowed to specify both? < 1412981568 189491 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :ais523: Yes I suppose you can check in the preprocessor if it is GNU C older than C11, other C older than C11, or if it is C11, and redefine _Noreturn correspondingly? Is that OK? < 1412981579 707847 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"7.23 _Noreturn : The header defines the macro 'noreturn' which expands to '_Noreturn'." I wonder if this is the shortest library chapter in the standard. < 1412981608 644600 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :sheesh, how am i supposed to portably tell the compiler something takes a format string and returns a value aligned in a way specified by the third argument and should be exported in dlls < 1412981628 682745 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Even and include at least a couple of other things in addition to their "_Foo"-to-"foo" macro. < 1412981650 149586 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I just looked at my stdnoreturn.h < 1412981655 666830 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the comment is much longer than the file itself < 1412981667 33315 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(which consists of a multiple inclusion guard, and a check to see if it's C++, and the definition in question) < 1412981670 114506 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Bicyclidine: I don't know if that can be done portably in a C code, although I believe LLVM has commands to do that, at least (I don't know if the provided C compiler supports such functions though). < 1412981687 79664 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Probably you would have to use conditional compilations if doing it in a C code. < 1412981687 947170 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh ho! The one in clang defines __noreturn_is_defined, too. < 1412981708 110471 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :( defines __alignas_is_defined and __alignof_is_defined -- I guess they've copied that.) < 1412981712 607321 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :ugh, i never remember where includes are < 1412981825 437363 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :and there's /usr/include/stdio.h but it's defined in terms of iostreams... unixes are so confusing. < 1412981840 839418 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The clang comment is slightly bizarre: http://sprunge.us/aCJI?c -- presumably that's the "this permission notice", but what then is "the above copyright notice"? (And is this really a "substantial portion".) < 1412981880 805422 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The header situation is further confused by the fact that the standard headers are a mix of compiler-specific stuff from compiler-specific directories and C-library-specific-stuff from wherever the libc headers are. < 1412981894 653535 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :yeah... < 1412981987 768151 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1412982008 782240 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1412982213 781917 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu QUIT :Ping timeout: 272 seconds < 1412983122 272397 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 250 seconds < 1412983303 689368 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1412983336 964125 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :things that confuse my instincts: the CPU not getting hot when I run a compile on a remotely hosted VM < 1412983390 351105 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Hey, what was the lispy name for lists of alternating keys and values? < 1412983717 527742 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: as in (k v k v ...)? < 1412983724 696567 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not sure it has a name but ((k . v) (k . v) ...) is an alist < 1412983733 701983 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(association list) < 1412983776 98421 :Sgeo!~quassel@metro29st13.m.subnet.rcn.com JOIN :#esoteric < 1412983967 806461 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Right, that’s the usual. But I’m pretty sure reading somewhere that there was a name for the rarer (k v k v …) type too, and it was also some letter on the front of “list”. < 1412984024 571626 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :arclist, since only paul graham likes them :p < 1412984308 643671 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott_: there's one in the Java stdlib internals < 1412984316 598406 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's completely awful because k and v have entirely different types < 1412984322 700938 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it has to use an array of Objects and cast everywhere < 1412984358 815502 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :The context: I’m writing a List (Foo, Bar) out “[(k, v), (k, v), …]” and was thinking that surely I can get idris to allow me to write “[k, v, k, v, …]” too and convert once, with type safety and totality respected. < 1412984365 162423 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: yep < 1412984381 802596 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: I find it hard to see how that'd break totality < 1412984391 797344 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unless you have a sometimes_cast operator or the like, that errors out if given bad arguments < 1412984399 767410 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's really just a lack of type safety though IMO < 1412984426 975580 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: how does [] notation desugar in idris? < 1412984467 585720 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :elliott_: Applications of (::) and Nil, unqualified. < 1412984527 758940 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: I guess you just want the idris equivalent of data AltList a b = Nil | Cons a (AltList b a), then? though I suppose you want to enforce the even length < 1412984674 219534 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Right, I do, which I could do by having two mutually inductive types, or indexing the type with a Bool. Or I could write two functions (::) that do the right thing with combinations of lists and pairs … < 1412984737 361790 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(::) :: a -> [(a,b)] -> (a,[(a,b)]); (::) :: b -> (a,[(a,b)]) -> [(a,b)], I guess? < 1412984851 623322 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :With the order in the pairs swapped, but otherwise yes. < 1412984868 560522 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Also, what mixery of syntaxes. < 1412984880 839599 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :;) < 1412984932 636167 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :er, heh < 1412984939 255567 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's okay, it's overloaded! < 1412984962 606549 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(::) :: {a : Type} -> a -> (b : Type) -> {a = b} -> Stmt < 1412984977 792622 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :... < 1412984981 825211 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I like how I then started using : < 1412985016 924463 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :> :let AltList.Even.(::) : a -> (b, List (a, b)) -> List (a, b); AltList.Even.(::) x (y, ps) = (x, y) :: ps < 1412985018 706764 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input ‘:’ < 1412985022 398582 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Argh. < 1412985025 522218 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :( :let AltList.Even.(::) : a -> (b, List (a, b)) -> List (a, b); AltList.Even.(::) x (y, ps) = (x, y) :: ps < 1412985025 675038 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :defined < 1412985087 502651 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :( :let AltList.Uneven.(::) : b -> List (a, b) -> (b, List (a, b)); AltList.Uneven.(::) = MkPair < 1412985087 655923 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :defined < 1412985120 319271 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :( the (List (String, Bool)) ["foo",True,"bar",False] < 1412985120 472642 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :04[04(04"foo"04, 04True04)04, 04(04"bar"04, 04False04)04] : 12List 12(12String12, 12Bool12) < 1412985141 238816 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :wat < 1412985151 219775 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :( the (List (_,_)) ["foo",True,"bar",False] < 1412985151 373387 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :04[04(04"foo"04, 04True04)04, 04(04"bar"04, 04False04)04] : 12List 12(12String12, 12Bool12) < 1412985161 529917 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :ACTION is disturbed < 1412985195 799603 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :ACTION is shamelessly exploiting [,] overloading. < 1412985220 355570 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I see that :/ < 1412985233 236057 :Sgeo_!~quassel@metro29st13.m.subnet.rcn.com JOIN :#esoteric < 1412985240 279710 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Hmm. < 1412985249 321959 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :( the (List _) ["foo",True,"bar",False] < 1412985249 475308 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :04[04(04"foo"04, 04True04)04, 04(04"bar"04, 04False04)04] : 12List 12(12String12, 12Bool12) < 1412985316 107256 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :( the (List _) ["foo",True,"bar"] < 1412985316 298448 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :(input):1:15:When elaborating an application of constructor 04Prelude.List.::: < 1412985316 298616 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric : Can't unify < 1412985316 298710 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric : 12Bool < 1412985316 298801 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric : with < 1412985316 298891 :idris-bot!~ircslave@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric : 12String14↵… < 1412985354 881011 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is String↵ like String but it ends with a newline? < 1412985411 681526 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :The ↵… is an indication by the bot that more output would follow after a newline. < 1412985436 749566 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :Whereas … by itself indicates that a line was too long. < 1412985476 930129 :Sgeo!~quassel@metro29st13.m.subnet.rcn.com QUIT :Ping timeout: 255 seconds < 1412985538 223596 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right