< 1515369603 86280 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Quit: ZNC 1.6.5+deb2build2 - http://znc.in < 1515369618 896700 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1515369633 692397 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :See if you like this http://zzo38computer.org/gurpsgame/1.ui/wiki?name=Session+9 and also what complaint you have of it please. < 1515369957 619969 :copumpkin!copumpkinm@haskell/developer/copumpkin QUIT :Read error: Connection reset by peer < 1515369959 397370 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: boily: i think you mean swedish hth < 1515369964 653487 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1515370005 753791 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 JOIN :#esoteric < 1515370122 68559 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :oerjan: swedish or norwegian are hard to distinguish for me, especially from such a small sample. < 1515370198 436817 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's actually fairly easy: norwegian generally writes "ei" instead of "ej". < 1515370199 609359 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :oerjan: if you said "vatn" or "vann" or "senter" I might know it's norwegian, otherwise not much chance < 1515370206 340841 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :oerjan: ah < 1515370257 429273 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"mycket" is also a clue, norwegian doesn't use "ck" much < 1515370271 195929 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :so you're saying norwegian doesn't use "hei" as the spelling? intersting < 1515370279 450531 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :obviously that's a word I hear more than see written < 1515370281 244136 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :um yes we do < 1515370290 221996 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :still, good to knwo < 1515370297 497587 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :um, that's backwards < 1515370300 376322 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yep < 1515370301 850250 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :norwegian uses "hei" < 1515370306 401096 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :and swedish uses "hej" < 1515370326 581850 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also "hemskt" is not norwegian either, but that's probably harder to discern just from general spelling. < 1515370366 747463 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well, norwegian words in -sk don't take the final -t in neuter, so there _is_ a general rule there < 1515370382 133862 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*adjectives < 1515370399 879356 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although "hemsk" isn't very norwegian either < 1515370419 932380 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :not that it's too important for me to learn to distinguish swedish from norwegian. distinguishing languages is useful to know who to ask to translate something I don't understand, but in the case of swedish vs norwegian it doesn't matter that much < 1515370431 41134 :copumpkin!copumpkinm@haskell/developer/copumpkin JOIN :#esoteric < 1515370471 760479 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :as opposed to, say, distinguishing persian from arabic < 1515370591 832238 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1515370624 888787 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1515370743 381838 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :Did you read it? < 1515370769 736178 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :(It is written in English, not in Swedish. You can translate it if you wish, but probably there is not much point.) < 1515370829 227642 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :read what? < 1515370899 451615 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :The file I linked above < 1515370927 943216 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1515370931 890352 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1515370935 843997 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :when i watched boily's link, youtube suggested this https://www.youtube.com/watch?v=T1lvMJ-l0_A < 1515371001 743298 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :no. no no no NOOOOOOOOOOOOOOOO! < 1515371190 5904 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1515371241 25312 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :zzo38: no, I haven't read it < 1515371247 751803 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: oh yes! < 1515371256 59281 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(also, it's the books' fault) < 1515371288 443025 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :wob_jonas: O. Well, I think maybe you should read that file, in order to make a comment/complaint/question/whatever about it please. < 1515371637 298016 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1515371647 636221 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh now i see < 1515371658 411482 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: i completely misunderstood the title of that < 1515371672 589431 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(norwegian false friend) < 1515371686 474516 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it actually means "it's the gays' fault" < 1515371702 884275 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :there are false friends between swedish and norwegian? < 1515371705 966987 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :now it makes much more sense < 1515371711 479758 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: several < 1515371833 754904 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :zzo38: this seems to be a different game than the long one you've written so much about < 1515371905 152514 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :wob_jonas: Yes, it is a different one. < 1515371921 728273 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :This one is GURPS; the other one is Dungeons&Dragons < 1515371953 485846 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :sv:pula med means something like "dabble with", while no:pule med means "fuck" < 1515372002 255336 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :oerjan: meh, lots of words become meaning "fuck" in languages, because of euphemisms < 1515372020 645300 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :Now I play GURPS; I prefer it over Dungeons&Dragons < 1515372114 884638 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm apparently it can mean "fuck" in swedish too < 1515372152 747038 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no:koselig = cozy, sv:kuslig = eerie < 1515372489 354791 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fr_FR:gosses = children, fr_CA:gosses = testicles... < 1515372553 388208 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :boily: hehe. same principle though. that's one of those things that gather a lot of synonyms that start out as euphemisms < 1515372658 778135 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :boily: "pants" in English is one of the more confusing false friends by the way < 1515372672 769893 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :although "corn" might be worse < 1515372710 395324 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :luckily English has too much words, so usually for any false friend you can use a synonym instead < 1515372741 206077 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :espeically so for a false friend, becuase there's almost certainly a synonym for what it doesn't mean, and that's usually less ambiguous < 1515372762 759042 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :"maize" and "cereal" in this case < 1515372909 396409 :oerjan!~oerjan@hagbart.nvg.ntnu.no TOPIC #esoteric :The 25th IOCCC is open until 2018-Feb-28 05:29:15 UTC | Welcome to the international millennium for esoteric programming language discussion, design, development and deployment! | http://esolangs.org | logs: http://esolangs.org/logs/ http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://www.dropbox.com/s/fyhqyvy3i8oh25m/wisdom.pdf < 1515372951 718861 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1515373083 909779 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :let ?M="test" in ?M < 1515373087 81617 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> let ?M="test" in ?M < 1515373090 844684 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:5: error: parse error on input ‘?’ < 1515373097 263095 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :aww < 1515373105 52163 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> let ?m="test" in ?m < 1515373109 298952 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "test" < 1515373126 828967 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm strange place to err out < 1515373172 501428 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> let ?M="test" in 1 < 1515373177 134271 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:5: error: parse error on input ‘?’ < 1515373255 199813 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> let ?m="test" in ? m < 1515373259 317721 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:18: error: parse error on input ‘?’ < 1515373266 350037 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ic < 1515373441 893883 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :this is pretty on topic for this channel https://codegolf.stackexchange.com/a/152406/ < 1515373610 598336 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(halting problem thwarter in brainfuck) < 1515373757 5202 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 252 seconds < 1515373858 736952 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1515374010 300685 :garit!~garit@unaffiliated/garit QUIT :Ping timeout: 265 seconds > 1515374305 385380 PRIVMSG #esoteric :14[[07Dogescript14]]4 10 02https://esolangs.org/w/index.php?diff=53778&oldid=53770 5* 03Oerjan 5* (+111) 10Undo and use wayback < 1515374813 995279 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? legion < 1515374833 576324 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :legion? ¯\(°​_o)/¯ < 1515377041 83249 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: are you one, or are you legion? < 1515377041 222541 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: well i got summer holidays now so :) < 1515377908 470832 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fungot: um i think you're hemispherically confused < 1515377908 764951 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :oerjan: i like it. i was thinking about implementing a turing-complete language to have? message-passing/ multimethods? with or without < 1515377925 175436 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fungot: why not both < 1515377925 562925 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :oerjan: but i'm not set upon them." " take the plunge, to enter with a keyboard and go play with my implementation, but: are you interesting? < 1515378569 819835 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: ALBUM CHICKEN < 1515378830 679068 :garit!~garit@94.197.121.75.threembb.co.uk JOIN :#esoteric < 1515378830 738873 :garit!~garit@94.197.121.75.threembb.co.uk QUIT :Changing host < 1515378830 738925 :garit!~garit@unaffiliated/garit JOIN :#esoteric < 1515379863 325029 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Disconnected by services < 1515379873 879858 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1515380651 5217 :conquerEZ0BAX!~hxwvo@2a03:5a00:17:11f:dced:6bff:fe73:a761 JOIN :#esoteric < 1515380986 529908 :conquerEZ0BAX!~hxwvo@2a03:5a00:17:11f:dced:6bff:fe73:a761 QUIT :K-Lined < 1515384747 727293 :adu!~ajr@pool-173-66-242-131.washdc.fios.verizon.net JOIN :#esoteric < 1515385282 983915 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1515385775 872399 :doesthiswork!83bf7351@gateway/web/freenode/ip.131.191.115.81 JOIN :#esoteric < 1515385799 116110 :doesthiswork!83bf7351@gateway/web/freenode/ip.131.191.115.81 NICK :Guest92087 < 1515386210 67105 :Guest92087!83bf7351@gateway/web/freenode/ip.131.191.115.81 NICK :doesthiiswork < 1515387380 784654 :adu!~ajr@pool-173-66-242-131.washdc.fios.verizon.net QUIT :Quit: adu < 1515388626 319315 :Bowserinator!Bowserinat@unaffiliated/bowserinator QUIT :Ping timeout: 265 seconds < 1515388711 848495 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Ping timeout: 240 seconds < 1515389260 75842 :Bowserinator!Bowserinat@ic2.hellomouse.cf JOIN :#esoteric < 1515389283 153948 :Bowserinator!Bowserinat@ic2.hellomouse.cf NICK :Guest56946 < 1515389289 299723 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1515390231 285454 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1515391919 884101 :doesthiiswork!83bf7351@gateway/web/freenode/ip.131.191.115.81 QUIT :Ping timeout: 260 seconds < 1515392942 892497 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Quit: lol rip < 1515392942 958570 :Guest56946!Bowserinat@ic2.hellomouse.cf QUIT :Quit: Blame iczero something happened < 1515392958 860372 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1515393004 888835 :Bowserinator!Bowserinat@ic2.hellomouse.cf JOIN :#esoteric < 1515393028 158700 :Bowserinator!Bowserinat@ic2.hellomouse.cf NICK :Guest69425 < 1515395410 310150 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1515395410 370877 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Client Quit < 1515397778 650700 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1515400342 841543 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1515400977 648206 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1515401265 811108 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 268 seconds < 1515402688 654867 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1515402981 752459 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1515403711 870116 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 248 seconds < 1515405145 638364 :jaboja!~jaboja@elc183.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1515405347 603542 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1515405670 85963 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1515407801 819460 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1515408007 836877 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 255 seconds < 1515408135 782926 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 260 seconds < 1515408443 752890 :jaboja!~jaboja@elc183.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 268 seconds < 1515410260 339235 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de QUIT :Ping timeout: 265 seconds < 1515410445 208829 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1515411163 935674 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de JOIN :#esoteric < 1515411297 704880 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1515412642 675398 :honigkuchen!~alex@ipb21821f9.dynamic.kabel-deutschland.de JOIN :#esoteric < 1515412737 327538 :honigkuchen!~alex@ipb21821f9.dynamic.kabel-deutschland.de QUIT :Client Quit < 1515412887 664222 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de QUIT :Ping timeout: 240 seconds < 1515412919 12735 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de JOIN :#esoteric < 1515413975 302605 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de QUIT :Ping timeout: 256 seconds < 1515414007 23150 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de JOIN :#esoteric < 1515414154 912967 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: PANCREATIC CHICKEN < 1515418177 78969 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1515418208 89693 :jaboja!~jaboja@elc183.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1515419265 324029 :vertrex!~vertrex@unaffiliated/vertrex QUIT :Quit: ZNC 1.6.5+deb1 - http://znc.in < 1515419586 754648 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :In the traditional name "vmlinuz" of linux kernel images, what did the "vm" originally stand for? < 1515419725 865091 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de QUIT :Ping timeout: 252 seconds < 1515419755 164455 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de JOIN :#esoteric < 1515419924 352951 :vertrex!~vertrex@51.15.12.80 JOIN :#esoteric < 1515419924 410989 :vertrex!~vertrex@51.15.12.80 QUIT :Changing host < 1515419924 411038 :vertrex!~vertrex@unaffiliated/vertrex JOIN :#esoteric < 1515420669 675705 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :b_jonas: I was Googling that not long ago, actually. Wikipedia claims it's the usual, "virtual memory". < 1515420684 263265 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Traditionally, UNIX platforms called the kernel image /unix. With the development of virtual memory, kernels that supported this feature were given the vm- prefix to differentiate them. The name vmlinux is a mutation of vmunix, while in vmlinuz the letter z at the end denotes that it is compressed (for example gzipped)." https://en.wikipedia.org/wiki/Vmlinux#Etymology < 1515420899 321672 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: yes, the "z" part makes sense < 1515420905 72387 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: but the "virtual memory" doesn't < 1515420925 886208 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so you're saying that older linuxes didn't support virtual memory? < 1515420931 634266 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that sounds rather strange < 1515420952 130033 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :unix has had virtual memory from the very start < 1515420970 315256 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and linux started out on 386, so it would be able to use paging < 1515420978 450727 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :dunno < 1515421254 583477 :Deewiant!~deewiant@fr1.ut.deewiant.iki.fi PRIVMSG #esoteric :From 1993: https://groups.google.com/forum/#!topic/alt.folklore.computers/QKFqK4AbjUk < 1515421409 320745 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de QUIT :Ping timeout: 248 seconds < 1515421437 942577 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de JOIN :#esoteric < 1515421469 420404 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :b_jonas: The Wikipedia text is not claiming older Linux versions didn't support virtual memory, it's claiming older Unix systems didn't (and thus had a "unix"/"vmunix" distinction), and Linux just derived "vmlinux" from "vmunix". < 1515421510 265524 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :s/older Unix systems/*some* &/ I guess. < 1515421965 163469 :jaboja!~jaboja@elc183.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 264 seconds < 1515422678 341302 :sdfgsdf!~sdfgsdfg@unaffiliated/sdfgsdfg JOIN :#esoteric < 1515422755 673223 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1515423220 794831 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1515423479 595589 :Guest69425!Bowserinat@ic2.hellomouse.cf NICK :Bowserinator < 1515423483 696432 :Bowserinator!Bowserinat@ic2.hellomouse.cf QUIT :Changing host < 1515423483 714768 :Bowserinator!Bowserinat@unaffiliated/bowserinator JOIN :#esoteric < 1515423777 686385 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de QUIT :Ping timeout: 240 seconds < 1515423803 920356 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de JOIN :#esoteric < 1515425013 610012 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: yeah. even then it's strange. < 1515425043 881968 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: I mean, unix started out as a time-sharing system that swapped out the entire address space of the process to disk each time it switched to another process < 1515425106 505376 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I know there's such things as minix, but still. < 1515426471 291940 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de QUIT :Ping timeout: 265 seconds < 1515426501 950411 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de JOIN :#esoteric < 1515426626 220555 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> unwords . transpose . words $ "twm hoi rrx ede esd" < 1515426629 783838 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "three words mixed" < 1515427064 768487 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de QUIT :Ping timeout: 255 seconds < 1515427091 968321 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de JOIN :#esoteric < 1515428150 365215 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 252 seconds < 1515428156 1494 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de QUIT :Ping timeout: 276 seconds < 1515428185 153508 :Melvar!~melvar@ip-2-203-97-205.web.vodafone.de JOIN :#esoteric < 1515429520 670230 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 260 seconds < 1515431396 132529 :J_Arcane!sid119274@gateway/web/irccloud.com/x-mbyplchyvagooxqn JOIN :#esoteric < 1515431454 725231 :J_Arcane!sid119274@gateway/web/irccloud.com/x-mbyplchyvagooxqn QUIT :Client Quit < 1515434093 262485 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1515435139 903502 :laerling!~laerling@unaffiliated/laerling JOIN :#esoteric < 1515435522 804147 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1515437789 266164 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Simplemaker 5* 10New user account < 1515438853 353597 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1515439475 324388 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 256 seconds < 1515439956 674189 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1515440261 261938 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: so Tom's "anagraph problem" is really the standard word problem for finitely presented monoids... and after 5 minutes I'm at the point where I resent the fact that it's hard to skim videos. < 1515440364 128672 :int-e!~noone@int-e.eu PRIVMSG #esoteric :err, the kerning problem is that; the anagraph problem is a bidirectional variant of petri nets < 1515440485 311502 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(The word problem in a finitely presented commutative monoid, but that doesn't help with decidability; the Petri net angle does.) < 1515440803 788307 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1515441149 327928 :honigkuchen!~alex@ipb21821f9.dynamic.kabel-deutschland.de JOIN :#esoteric < 1515441161 427616 :honigkuchen!~alex@ipb21821f9.dynamic.kabel-deutschland.de QUIT :Remote host closed the connection < 1515441293 216934 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: Leaving < 1515441307 666641 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1515441477 67689 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 264 seconds < 1515442563 256053 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And simplifying further, there's a connection to Gröbner bases and Buchberger's algorithm. Yay. < 1515442652 35863 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: So I agree that the appeal to linear logic is overkill. But if you have that hammer... < 1515442796 95748 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1515442891 851373 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1515443073 317766 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 248 seconds < 1515443234 792320 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 JOIN :#esoteric < 1515443252 898193 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :int-e: the anagraph problem is for *commutative* monoids. the kerning problem is for monoids. < 1515443272 873311 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1515443273 917393 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wob_jonas: I corrected myself already < 1515443277 826220 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :um yes, you already said that < 1515443282 519805 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :what's this Petri nets thing? < 1515443340 592763 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Petri net states can be thought of as multisets of locations; each transition takes a multiset to another one (so it's a directed equation). < 1515443352 665372 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :int-e: for the non-commutative case, the kerning problem, I was wondering if you could reduce the word problem on finitely presented groups to it to prove it's not algorithmically solvable. that way you'd get the exact variant, not the infix variant tom7 baited to. < 1515443361 434058 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :I think it's possible, but I'm not sure. < 1515443361 839505 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And reachability for Petri nets is decidable. < 1515443432 16767 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :int-e: hammer is one thing, but he starts the video by saying he's trying to present this stuff to people without much background, so it's really a cop-out. < 1515443490 877510 :int-e!~noone@int-e.eu PRIVMSG #esoteric :you need extra equations for dealing with all the inverses and the unit, e.g. 1a = a = a1, 1 = a(a^-1) = (a^-1)a, where a^-1 is a new symbol for each letter a. < 1515443502 217272 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but then you can use Matiseyevitchs' < 1515443521 611341 :int-e!~noone@int-e.eu PRIVMSG #esoteric :... I wanted to google, not press return < 1515443624 711448 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(because I know that I keep mixing up people) < 1515443733 878823 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :int-e: the ones for the inverses are easy. you don't need anything special for the units. it's the free conjugation that you need for a group that needs more tricky rules thouhg. < 1515443762 322308 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Matiyasevich is the name, but apparently he's just the one who used the fewest relations so far (namely, 3) for a semigroup with undecidable word problem. http://www.wolframscience.com/nks/notes-12-8--word-problems/ < 1515443826 162124 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :As in, the word has to be treated as if it was cyclic, you have to be able to move a letter from front to back. < 1515443856 117509 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION isn't sure whether Tom allows empty strings (so talking of monoids isn't accurate, they're just semigroups)
< 1515443869 890802 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :he does allow empty strings < 1515443874 607041 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :I think he was clear on that < 1515443896 987665 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I didn't look at the first video. The linear logic construction will have trouble with empty strings. < 1515443926 748308 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :Besides, he's a mathematician (just not a good maths educator), of course he allows empty strings. < 1515443930 726421 :int-e!~noone@int-e.eu PRIVMSG #esoteric :a --o [what goes here?] < 1515443933 587259 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :Will it? < 1515443947 507339 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :int-e: - < 1515443970 515897 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that's not a thing in linear logic? or is it just something that he mentioned and that I missed? < 1515443987 23017 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION admittedly wasn't very attentive.
< 1515444005 72269 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :int-e: ah, you mean linear logic, and the --o is a lollipop? I thought it was an abbreviated long option, gnu style < 1515444024 321338 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yes, it was meant to be a lollipop < 1515444032 795380 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(sorry) < 1515444041 529684 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? communication < 1515444044 366008 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :communication? ¯\(°​_o)/¯ < 1515444074 163120 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`learn Communication is hard if it involves more than one person. < 1515444078 956217 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'communication': Communication is hard if it involves more than one person. < 1515444086 55786 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :https://www.xkcd.com/1028/ < 1515444095 724459 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :int-e: communication ^ < 1515444254 498339 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION notes that Matiyasevich's example *is* a semigroup already, so inverses won't cause problems at all.
< 1515444296 931391 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 PRIVMSG #esoteric :int-e: I see < 1515444903 743480 :augur!~augur@c-73-125-99-173.hsd1.fl.comcast.net QUIT :Quit: Leaving... < 1515445900 813121 :wob_jonas!b03f18ea@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.234 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1515447057 393471 :idris-bot!~idris-bot@ip-2-203-97-205.web.vodafone.de JOIN :#esoteric < 1515447544 651452 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1515449375 819472 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1515449425 684572 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1515449537 298724 :wob_jonas!b03f18a8@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.168 JOIN :#esoteric < 1515449578 886114 :wob_jonas!b03f18a8@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.168 PRIVMSG #esoteric :Wow! Finally a webpage where the language links don't just take you to the top level page in a different language, but to the translation of the same page you are viewing. What a nice relief after all the stupid webpages that don't do that. http://www.nationalparksofsweden.se < 1515449968 637942 :augur!~augur@c-73-125-99-173.hsd1.fl.comcast.net JOIN :#esoteric < 1515450305 715149 :wob_jonas!b03f18a8@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.168 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1515451860 263700 :laerling!~laerling@unaffiliated/laerling QUIT :Quit: Leaving < 1515451994 403496 :moony!~moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1515452582 167280 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1515452649 55178 :adu!~ajr@pool-173-66-242-131.washdc.fios.verizon.net JOIN :#esoteric < 1515453266 333437 :adu!~ajr@pool-173-66-242-131.washdc.fios.verizon.net QUIT :Quit: adu < 1515454060 627425 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1515454287 665887 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1515454553 392622 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yay, Minsky machines *can* do primitive recursion. < 1515454570 394213 :int-e!~noone@int-e.eu PRIVMSG #esoteric :so fiddly. < 1515454579 418171 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the population of earth in 1950 was only about 2.5 billion!?!?!?!? < 1515454593 697604 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :gah < 1515454606 326560 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :int-ello. isn't that the same as a for loop? < 1515454631 271074 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :ヘ＼＼オレン＼. superexponential growth! < 1515454690 980521 :int-e!~noone@int-e.eu PRIVMSG #esoteric :boily: well, yes, but the details are cumbersome. http://downthetypehole.de/paste/So5kdG0C < 1515454836 236305 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(In total I have 600 lines of Isabelle theory now...) < 1515454851 274809 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :AAAAAAAAAAAAH! < 1515454867 179272 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Building on top of an existing formalization of primitive recursive (and recursive) functions.) < 1515455085 654405 :int-e!~noone@int-e.eu PRIVMSG #esoteric :boily: Would you believe that I'm doing this mostly for fun right now? < 1515455177 36526 :int-e!~noone@int-e.eu PRIVMSG #esoteric :boily: at least the underlying definition isn't so bad: http://downthetypehole.de/paste/xsuC8D36 < 1515455276 226598 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(That's Minsky machine + semantics, i.e., the corresponding state transitions. They can be non-deterministic, but I only talk about deterministic ones.) < 1515455420 111778 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :I believe it. < 1515455463 717095 :adu!~ajr@pool-173-66-242-131.washdc.fios.verizon.net JOIN :#esoteric < 1515455552 574344 :moony!~moony@unaffiliated/moonythedwarf QUIT :Remote host closed the connection < 1515455578 421901 :moony!~moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1515455903 442933 :fungot!~fungot@momus.zem.fi QUIT :Ping timeout: 252 seconds < 1515455941 763430 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1515455966 346917 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: WITNESS CHICKEN