< 1575417844 967471 :tromp!~tromp@2a02:a210:1585:3200:ac62:4b3c:5400:1598 JOIN :#esoteric < 1575418101 968977 :tromp!~tromp@2a02:a210:1585:3200:ac62:4b3c:5400:1598 QUIT :Ping timeout: 252 seconds < 1575420944 834031 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1575421156 920983 :tromp!~tromp@2a02:a210:1585:3200:e89b:660:9dbb:ddf7 JOIN :#esoteric < 1575421231 924774 :tromp_!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c JOIN :#esoteric < 1575421415 922299 :tromp!~tromp@2a02:a210:1585:3200:e89b:660:9dbb:ddf7 QUIT :Ping timeout: 246 seconds < 1575421499 924771 :tromp_!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c QUIT :Ping timeout: 246 seconds < 1575424440 156575 :xkapastel!uid17782@gateway/web/irccloud.com/x-tgmmxszmniubknop QUIT :Quit: Connection closed for inactivity < 1575425527 961948 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1575426147 323039 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : "RAII" is also a bad name. <-- Ra II would be a pretty badass name for an egyptian-style villain, though < 1575426234 366822 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm Ra II is also the name of one of heyerdahl's boats iirc < 1575426330 226656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`icode II II < 1575426331 664280 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​[U+0049 LATIN CAPITAL LETTER I] [U+0049 LATIN CAPITAL LETTER I] [U+0020 SPACE] [U+0049 LATIN CAPITAL LETTER I] [U+0049 LATIN CAPITAL LETTER I] < 1575426349 382773 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh identical < 1575426399 790033 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ra II = Ra ⅠⅠ = Ra Ⅱ <-- better? < 1575426433 817370 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait it's the guillemets which norwegian wikipedia uses for some reason https://no.wikipedia.org/w/index.php?title=Ra_II&redirect=no < 1575426450 869359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`icode ⅠⅠ Ⅱ < 1575426451 651002 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​[U+2160 ROMAN NUMERAL ONE] [U+2160 ROMAN NUMERAL ONE] [U+0020 SPACE] [U+2161 ROMAN NUMERAL TWO] [U+0020 SPACE] < 1575426462 468280 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: PERFECT < 1575426583 780880 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unlike the english wikipedia, the norwegian one seems to include things like plurals more often < 1575426610 220359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :e.g. https://no.wikipedia.org/wiki/Svaler is plural, corresponding to en:swallow < 1575426657 644845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :https://no.wikipedia.org/wiki/Stortinget corresponding to en:Storting, except with the definite article suffix < 1575426699 952691 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh the bird, not the verb. < 1575426778 25750 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1575426802 778238 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the article also considers the entire family of birds, so it makes some sense < 1575426805 700929 :int-e!~noone@int-e.eu PRIVMSG #esoteric :the de. version tops this and makes the plural version the main page, while the singular is a disambiguation page. < 1575426827 880338 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(cf. https://de.wikipedia.org/wiki/Schwalbe) < 1575426890 777725 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. the norwegian singular (Svale) is just a redirect to the plural. < 1575426934 346940 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ufu is definitely setting things up for an ironic disaster < 1575426977 771660 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in some sense, has done so ever since he was introduced < 1575427442 235151 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :let this = perf_event_open in < 1575427446 415688 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like this? < 1575427520 797506 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was previously worried it would be a scow API but it seems pretty reasonable. < 1575427632 653214 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also, did you know the syscall() wrapper in libc returns errors via errno rather than actually just wrapping the syscall? < 1575427652 483172 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I previously knew this but I keep forgetting it because when I write a syscall wrapper it's reasonable. < 1575427679 618443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :. o O ( just say no to errno ) < 1575427711 527788 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c JOIN :#esoteric < 1575427750 603987 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric < 1575427817 633709 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: err... no?! < 1575427841 637387 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`! c syscall(1, 1, "hi\n", 3); < 1575427843 160139 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :hi < 1575427844 160802 :int-e!~noone@int-e.eu PRIVMSG #esoteric :That is a terrible pun. I salute you. < 1575427867 415815 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Aha. It seems int-e likes that, but not this. < 1575427896 485704 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm not sure "like" is the correct term. < 1575427936 601124 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: Nobody's like this. < 1575427936 648168 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: ' a'. < 1575427973 673365 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`! c syscall(1, 1, "1", 1); < 1575427975 276160 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1 < 1575427997 529919 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c QUIT :Ping timeout: 276 seconds < 1575428389 895469 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: How do you ensure that you got that WRITE? < 1575428537 113071 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :. o O ( i dont know what scow means, but i imagine from context it refers to the cowtalk cow writing an API ) < 1575428568 568919 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :. o O ( via these things of course ) < 1575428651 913367 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` \? scow # really helpful as always < 1575428653 944715 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Scow (S-cow) is canned meat made from cows with a lisp. < 1575428674 497491 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :yes, that totally makes sense < 1575428687 69636 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :i didnt know he had a lisp though < 1575428694 597240 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :the more you know < 1575428768 618116 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think cows are generally female, Cows with Guns notwithstanding. < 1575428819 988059 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I can't wait for the Chickens with Choppers. < 1575428872 964646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wind to the end then hth < 1575428892 807425 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :s/cowtalk/cowsay/ < 1575428895 387440 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Though more on topic, the high steaks pun was terrific. < 1575428929 612626 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1575428992 425388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`slwd scow//s,.$, and an extra half-spin./ < 1575428993 348304 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/bin/sed: -e expression #1, char 30: unterminated `s' command < 1575429000 626368 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`slwd scow//s,.$, and an extra half-spin., < 1575429011 931363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd scow//s,meat,join, < 1575429012 716357 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :scow//Scow (S-cow) is canned meat made from cows with a lisp and an extra half-spin. < 1575429015 851222 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :"terrific" is strange at first glance, but terror bringing joy is perfectly natural, so i see how the modern definition still has it < 1575429019 655227 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :scow//Scow (S-cow) is canned join made from cows with a lisp and an extra half-spin. < 1575429061 341804 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm race condition < 1575429066 721325 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ETOOMANYPUNS < 1575429101 591670 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now with math _and_ physics. < 1575429118 893125 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not a good pun but it doesn't make me sad like the other one. < 1575429168 448283 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Wait, who brought the lettuce to the S-cow? < 1575429208 685842 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Now for the physics angle, hmm. < 1575429230 280646 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Is it connected to quarks and interlingual? < 1575429318 752527 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quarks yes, interlingual not sure < 1575429321 143148 :int-e!~noone@int-e.eu PRIVMSG #esoteric :If so that's bad enough to make milk curdle. < 1575429367 142350 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay! < 1575429368 366723 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I don't think english really has "quark" in that sense. Cf. https://en.wikipedia.org/wiki/Curd < 1575429401 966517 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hence "interlingual". < 1575429412 483566 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh i didn't think of that at all < 1575429427 604738 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Ping timeout: 250 seconds < 1575429450 130218 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Though, hmm. https://en.wikipedia.org/wiki/Quark_(dairy_product) < 1575429452 88945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just about the s-, not the -cow, so to speak < 1575429456 432755 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Maybe I'm just wrong. < 1575429460 663942 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :i imagine degrees from kevin of bacin is like layers of interlingual < 1575429465 388435 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh. < 1575429484 486378 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :s/bacin/bacon/ < 1575429488 811110 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: Oh well, maybe I've taken it to a full spin now. < 1575429532 664771 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Kevin Bacon is an excellent name for a pig. < 1575429793 732784 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh s is for "scalar" < 1575429842 473905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe it should be spinned down instead of up < 1575429843 746893 :zzo38!~zzo38@24-207-50-7.eastlink.ca PRIVMSG #esoteric :Freeze Artifact {1UU} Snow Instant ;; Target artifact loses all abilities and has base power 0 until end of turn. Counter all triggered abilities of that artifact, and tap that artifact. ;; Flashback {4UU} ;; Affinity for snow lands < 1575430021 120527 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? scream < 1575430022 416186 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :scream? ¯\(°​_o)/¯ < 1575430112 29367 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? sport < 1575430113 280965 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :sport divides its input into irc-sized pieces and displays the nth (default first). The pipe version of `1. See also spore. < 1575430139 128905 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Port is not a dairy product, fortunately.) < 1575430219 542757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: logically sport is a swine product though. < 1575430254 600858 :int-e!~noone@int-e.eu PRIVMSG #esoteric :right. < 1575430369 159623 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: I guess "steak" is also interesting in this context. < 1575430401 317377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`slwd scow//s,an .*,spun down by half to remove the scream., < 1575430404 109714 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :scow//Scow (S-cow) is canned join made from cows with a lisp and spun down by half to remove the scream. < 1575430515 466866 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am afraid that edit may have done the opposite, alas. < 1575430530 309612 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@wn teak < 1575430531 863303 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :*** "teak" wn "WordNet (r) 3.0 (2006)" < 1575430532 21596 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :teak < 1575430532 28127 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : n 1: hard strong durable yellowish-brown wood of teak trees; < 1575430532 28163 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : resistant to insects and to warping; used for furniture and < 1575430532 28173 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : in shipbuilding [syn: {teak}, {teakwood}] < 1575430533 863677 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :[3 @more lines] < 1575430583 385318 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the tense change was obvious when i saw it hth < 1575430607 258542 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well, noun -> verb change < 1575430893 540914 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :this channel is answering all my questions in life today < 1575430894 44388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :. o O ( ETHEYJUSTKEEPPILINGON ) < 1575430894 237813 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i think a steak pun in this context might be hard to chew and we should table it for later. < 1575430894 343510 :int-e!~noone@int-e.eu PRIVMSG #esoteric :are you sure you don't want to stable it instead < 1575430894 396753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was on the edge < 1575430894 500317 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you're right < 1575430906 236696 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :excellent < 1575430911 540716 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :it is common phenomenon restaurants e.g. have a pig with a fork, to advertise bacon; so yes, kevin bacon is his name < 1575430957 52361 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :its supposed to be "umm, im so tasty i could eat myself, dont you want some?" < 1575430999 963809 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c JOIN :#esoteric < 1575431001 899659 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: the steak may fall to slumber < 1575431087 930651 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :saw. < 1575431115 140092 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm still looking for a use of "scrying". < 1575431143 227422 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(By this point I'm cheating, and employing stool support.) < 1575431177 696381 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` comm -12 /usr/share/dict/words <(grep ^s /usr/share/dict/words | sed 's=.==' | sort) | wc -c < 1575431178 803961 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :comm: file 1 is not in sorted order \ 0 < 1575431193 321367 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` comm -12 <(sort /usr/share/dict/words) <(grep ^s /usr/share/dict/words | sed 's=.==' | sort) | wc -c < 1575431194 524197 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :7829 < 1575431231 213375 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` echo $(comm -12 <(sort /usr/share/dict/words) <(grep ^s /usr/share/dict/words | sed 's=.==' | sort) | shuf) < 1575431232 512368 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :patters lightness's miles hatters hot cores hare ow trident lab wine lop age nagged purred cowl have pins tout's ell's park's allies ledge's cams late lump's tall kidding cram lob's loped lick horn tumble's molders ail wished crawling hoot tumbler's tow potty tuck melt's weeping he'll handy crews evens wears mocking ampler wagging pawned pout's hod crew parring tared paces wig hale lap table top's mocked trapped lump unless cone's molder's ton < 1575431233 206940 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just keep swiping the data < 1575431257 956673 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c QUIT :Ping timeout: 252 seconds < 1575431313 59456 :int-e!~noone@int-e.eu PRIVMSG #esoteric :actually for a random selection that contains an amazing number of candidates we've already covered. < 1575431496 223391 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now find a sentence that makes sense both with and without prepending s to every word :P < 1575431570 479984 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose there might not be enough connective words starting in s to make it work for long < 1575431691 623028 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, say I have struct { T *p; int len, cap; } arr; defined locally. < 1575431701 727608 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I pass &arr.p to some other function. < 1575431707 292181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can it get at len and cap without UB? < 1575431913 9368 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`8ball can he? < 1575431913 960288 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Very doubtful. < 1575431941 139771 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :its difficult to answer that since i may hold things hostage, but when i do it its not called piracy < 1575431976 623189 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :'arr' is out of my field < 1575432187 685754 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :you basically might have padding < 1575432197 51888 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :so you can get to something, perhaps padding < 1575432206 714100 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :theres an offsetof macro or something < 1575432866 258007 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric < 1575433241 393511 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`! c return *(int *)0; < 1575433243 76305 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/interps/gcccomp/gcccomp: line 53: 68 Segmentation fault /tmp/compiled.$$ < 1575433261 905403 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`brl ! < 1575433262 960340 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/file/tip/bin/%21 < 1575433439 734153 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`../hackenv/ibin/c return *(int *)0; < 1575433440 456359 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​../hackenv/ibin/c? No such file or directory < 1575433441 279805 :haavard!~haavard@haavard.me QUIT :Quit: WeeChat 2.6 < 1575433450 209009 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`/hackenv/ibin/c return *(int *)0; < 1575433454 152098 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/interps/gcccomp/gcccomp: line 53: 62 Segmentation fault /tmp/compiled.$$ < 1575433483 337701 :haavard!~haavard@haavard.me JOIN :#esoteric < 1575433555 137352 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` echo $$ < 1575433555 889181 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :50 < 1575433569 213432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo $$ < 1575433570 203427 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​$$ < 1575433600 393370 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` sh -c 'echo $$' < 1575433601 192286 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :53 < 1575433690 165415 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`slwd lib/interp//6iecho $ARGFILE < 1575433692 76195 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Roswbud! < 1575433699 161373 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`t sled lib/interp//6iecho $ARGFILE < 1575433701 416379 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :lib/interp//#!/bin/sh \ \ export I_CMD="$0" \ export I_ARG="$1" \ export ARG_FILE="/tmp/input.$$" \ echo $ARGFILE \ \ get_arg() { \ #if expr "$I_ARG" : "http://" > /dev/null \ #then \ # wget $WGET_OPTIONS "$I_ARG" -O "$ARG_FILE" \ #else \ printf '%s' "$I_ARG" > "$ARG_FILE" \ #fi \ } \ \ clean_arg() { \ rm -f "$ARG_FILE" \ } \ \ interp_stdin() { \ get_arg \ $1 < "$ARG_FILE" 2>&1 \ clean_arg \ } < 1575433716 537377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`/hackenv/ibin/c return *(int *)0; < 1575433718 28098 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​ \ /hackenv/interps/gcccomp/gcccomp: line 53: 62 Segmentation fault /tmp/compiled.$$ < 1575433767 597367 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` /hackenv/ibin/c 'return *(int *)0;' 2>/dev/null < 1575433769 172218 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​ \ /hackenv/interps/gcccomp/gcccomp: line 53: 66 Segmentation fault /tmp/compiled.$$ < 1575433776 831641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hum < 1575433970 649369 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1575433971 580029 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Done. < 1575433975 33359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`before < 1575433977 628087 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/lib/interp//#!/bin/sh \ \ export I_CMD="$0" \ export I_ARG="$1" \ export ARG_FILE="/tmp/input.$$" \ echo $ARGFILE \ \ get_arg() { \ #if expr "$I_ARG" : "http://" > /dev/null \ #then \ # wget $WGET_OPTIONS "$I_ARG" -O "$ARG_FILE" \ #else \ printf '%s' "$I_ARG" > "$ARG_FILE" \ #fi \ } \ \ clean_arg() { \ rm -f "$ARG_FILE" \ } \ \ interp_stdin() { \ get_arg \ $1 < "$ARG_FILE" 2>&1 \ c < 1575434679 749456 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Remote host closed the connection < 1575434706 276318 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric < 1575434973 252701 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Ping timeout: 265 seconds > 1575435736 910854 PRIVMSG #esoteric :14[[07IBC14]]4 10 02https://esolangs.org/w/index.php?diff=67616&oldid=67607 5* 03Quadril-Is 5* (+0) 10/* Cat program */ < 1575437470 926505 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c JOIN :#esoteric < 1575437732 922955 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c QUIT :Ping timeout: 246 seconds < 1575439553 717491 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 268 seconds < 1575439985 732431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : wib_jonas: ah <-- scowrevs is generally stupid revisions that affected a lot of files and then got reverted, so it doesn't really tell you anything useful but clutters up what you're really looking for < 1575440015 913666 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nearly all of the time < 1575440106 495710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if there are any ranges in there that _didn't_ end up changing nothing, that may be considered an error < 1575440149 413375 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? scowrevs < 1575440150 608248 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :scowrevs? ¯\(°​_o)/¯ < 1575440309 745359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`le/rn scowrevs///hackenv/share/scowrevs is a list of repository revision ranges that affected a lot of files but in the end changed nothing (usually because of a revert at the end). Most of our custom repository lookup commands ignore these to reduce noise. < 1575440312 320770 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Learned 'scowrevs': /hackenv/share/scowrevs is a list of repository revision ranges that affected a lot of files but in the end changed nothing (usually because of a revert at the end). Most of our custom repository lookup commands ignore these to reduce noise. < 1575442890 30133 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric < 1575443157 32808 :moony!moony@hellomouse/dev/moony QUIT :Ping timeout: 240 seconds < 1575443253 413225 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1575443949 962865 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c JOIN :#esoteric < 1575444215 957626 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c QUIT :Ping timeout: 252 seconds < 1575445326 928119 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c JOIN :#esoteric < 1575445376 140798 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c QUIT :Remote host closed the connection < 1575445692 1552 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c JOIN :#esoteric < 1575446296 968539 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Ping timeout: 240 seconds < 1575447092 721815 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1575447832 317513 :int-e!~noone@int-e.eu QUIT :*.net *.split < 1575447869 633140 :int-e!~noone@int-e.eu JOIN :#esoteric < 1575447906 850276 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c QUIT :Remote host closed the connection < 1575447950 503577 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c JOIN :#esoteric < 1575447951 718073 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c QUIT :Remote host closed the connection < 1575447964 610547 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c JOIN :#esoteric < 1575448347 861611 :timofonic!~timofonic@unaffiliated/timofonic JOIN :#esoteric < 1575448551 327642 :timofonic!~timofonic@unaffiliated/timofonic PRIVMSG #esoteric :zzo38: Hello. Where's Aimfiz and Fweep source code? I cant f8nd it on GitLab, GitHub or similar. Do you know about dreammaster's ScummGlk in the ScummVM project? There's #scummvm IRC channel. Disclaimer: I'm not part of the ScummVM project, just a mere user and fan of IF and Point & Click Adventure Games. < 1575448686 467573 :timofonic!~timofonic@unaffiliated/timofonic PRIVMSG #esoteric :I tried to use a Gopher proxy to look at your site, no success at all. You made lots of nntp links on it < 1575449689 873783 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I suppose, if you pronounce gif as jif, you should pronounce fungot as funjot <-- i don't think that's orthographically plausible, g before "o" is never soft. < 1575449690 23523 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :oerjan: could you juse for fun _only_ switch the backend to accomodate the fnord of a < 1575449718 106328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it would have to be spelled fungeot for that. < 1575449986 645373 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, g before "a" shouldn't be, but someone had to invent "gaol". < 1575450029 760388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION waits for the avalanche of counterexamples
< 1575450070 622647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, unless o or a are part of diphthong, that could mess things up. < 1575450108 98325 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*is < 1575450156 461363 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? fungi < 1575450157 627466 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :fungi? ¯\(°​_o)/¯ < 1575450232 864029 :b_jonas!~x@catv-176-63-14-58.catv.broadband.hu PRIVMSG #esoteric :oerjan: for "ga", Alan's pronunciation dictionary says "mortgagor" but I've no idea what that means < 1575450258 863591 :b_jonas!~x@catv-176-63-14-58.catv.broadband.hu PRIVMSG #esoteric :no, that's for "go" < 1575450281 787322 :b_jonas!~x@catv-176-63-14-58.catv.broadband.hu PRIVMSG #esoteric :and for "ga", it says "algae, baggage, < 1575450331 392441 :b_jonas!~x@catv-176-63-14-58.catv.broadband.hu PRIVMSG #esoteric :gaol, gaolbird, gaolbreak, gaoler, margarine" < 1575450405 399337 :b_jonas!~x@catv-176-63-14-58.catv.broadband.hu PRIVMSG #esoteric :nowait, the baggage is one of the many false positives too, where the other g is pronounced soft < 1575450439 296047 :b_jonas!~x@catv-176-63-14-58.catv.broadband.hu PRIVMSG #esoteric :in that case, the counterexamples are "mortgagor" for "go" and "algae, gaol, gaolbird, gaolbreak, gaoler, margarine" for "ga" < 1575450538 258603 :b_jonas!~x@catv-176-63-14-58.catv.broadband.hu PRIVMSG #esoteric :https://esolangs.org/logs/2019-10.html#lnEc for meta-info on Alan's pronunciation dictionary < 1575450701 798630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :algae has a dipthong, but margarine seems right < 1575450729 457514 :b_jonas!~x@catv-176-63-14-58.catv.broadband.hu PRIVMSG #esoteric :it doesn't seem right to me, English is just pronouncing it wrong < 1575450777 111057 :timofonic!~timofonic@unaffiliated/timofonic QUIT :Ping timeout: 240 seconds < 1575450794 543285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i know, but it seems like a counterexample < 1575450887 810117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mortgagor is illogical, although Agoran < 1575451473 868149 :adc!~ad@unaffiliated/adc JOIN :#esoteric < 1575451482 130042 :adc!~ad@unaffiliated/adc PART :#esoteric < 1575452091 605618 :arseniiv!~arseniiv@95.105.12.206.dynamic.ufanet.ru JOIN :#esoteric > 1575452114 998 PRIVMSG #esoteric :14[[07///14]]4 10 02https://esolangs.org/w/index.php?diff=67617&oldid=67034 5* 03Quadril-Is 5* (+241) 10/* Hello, world! */ < 1575452320 257525 :b_jonas!~x@catv-176-63-14-58.catv.broadband.hu QUIT :Quit: leaving > 1575455163 304025 PRIVMSG #esoteric :14[[07Beatnik14]]4 10 02https://esolangs.org/w/index.php?diff=67618&oldid=53676 5* 03Quadril-Is 5* (+53) 10/* Cat program */ > 1575455485 907201 PRIVMSG #esoteric :14[[07Beatnik14]]4 10 02https://esolangs.org/w/index.php?diff=67619&oldid=67618 5* 03Quadril-Is 5* (-53) 10nope doesn < 1575457637 542958 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 276 seconds < 1575458091 550553 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1575458270 806290 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1575458608 897387 :Frater_EST!adrianbibl@172.242.0.73 PART :#esoteric < 1575458701 619389 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1575460599 264091 :timofonic!~timofonic@unaffiliated/timofonic JOIN :#esoteric < 1575460735 13234 :timofonic!~timofonic@unaffiliated/timofonic PRIVMSG #esoteric :zzo38: If you are interested, dreammaster is usually there (depending on each timezone, of course). I also read the IRC logs of both channels, ScummVM developers also usually read the #scummvm channel IRC logs too. What do you think? :) < 1575460925 475349 :timofonic!~timofonic@unaffiliated/timofonic PRIVMSG #esoteric :Why do you people care about pronunciation? Do you find geeks in person to be able to talk about this stuff in person and not only text? < 1575460987 332850 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :although i am not in that group discussing, pronunciation is everything for certain things < 1575460992 810126 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :and spelling is zilch < 1575461010 955787 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :pronunciation is a spelling of sorts < 1575461047 380041 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :you have to say magic words correctly or they do strange things < 1575461068 657214 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :and you have to purposely say them strangely if you want correct things < 1575461076 969582 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :which requires knowing "correctness" < 1575461166 220314 :timofonic!~timofonic@unaffiliated/timofonic PRIVMSG #esoteric :Most personally important stuff for me is in written form, anyway < 1575461208 446237 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :there are phonic writings < 1575461872 841459 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`t t 5 t t ` w < 1575461874 632456 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/bin/`: eval: line 5: unexpected EOF while looking for matching ``' \ /hackenv/bin/`: eval: line 6: syntax error: unexpected end of file \ /hackenv/bin/`: eval: line 5: unexpected EOF while looking for matching ``' \ /hackenv/bin/`: eval: line 6: syntax error: unexpected end of file \ /hackenv/bin/`: eval: line 5: unexpected EOF while looking for matching ``' \ /hackenv/bin/`: eval: line 6: syntax error: unexpected end of file \ /ha < 1575461889 405397 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :uh oh < 1575461892 489786 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`t t 5 t t w < 1575461897 480200 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/bin/nur: line 2: : command not found \ /hackenv/bin/nur: line 2: : command not found \ /hackenv/bin/nur: line 2: : command not found \ /hackenv/bin/nur: line 2: : command not found \ /hackenv/bin/nur: line 2: : command not found \ 1/0: < 1575461908 181617 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`t t 5 w < 1575461910 696544 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1:gamemanj//gamemanj is also the mad scientist I. N. Here. He will overthink everything, except whether overthinking is wrong. \ apt-get//apt-get installs whatever you wanted, plus whatever Mark Shuttleworth wanted. \ tswett//tswett is livin' it up with the penguins. He's a title under the cruxite in the lathe. \ baba//BABA IS ¯\(°​_o)/¯ \ hug//hug? ¯\_/¯\(°​_o)/¯\_/¯ < 1575461921 369834 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. 5 is a run, not a nur. < 1575462017 447671 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :re: pronunciation, also, to correctly satirize something you have to know it well enough < 1575462055 26611 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :so the people so concerned may be in agreement on the worthlessness of pronunciation < 1575468300 208821 :ski!~ski@remote11.chalmers.se QUIT :Remote host closed the connection < 1575468451 303099 :arseniiv!~arseniiv@95.105.12.206.dynamic.ufanet.ru PRIVMSG #esoteric :`cwlprits baba < 1575468453 428219 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :oerjän < 1575468459 836637 :arseniiv!~arseniiv@95.105.12.206.dynamic.ufanet.ru PRIVMSG #esoteric :hahaha :D < 1575471003 525457 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1575472621 863237 :AnimalClatter!~user@208.66.176.26 JOIN :#esoteric > 1575473787 592046 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Hex96 5* 10New user account < 1575474063 624325 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric > 1575474159 75676 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=67620&oldid=67602 5* 03Hex96 5* (+148) 10/* Introductions */ > 1575474170 265406 PRIVMSG #esoteric :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=67621&oldid=60871 5* 03Hex96 5* (+272) 10/* I think I got the main parts down */ new section < 1575474758 668214 :AnimalClatter!~user@208.66.176.26 PART #esoteric :"ERC (IRC client for Emacs 26.1)" > 1575476166 182431 PRIVMSG #esoteric :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=67622&oldid=67621 5* 03Hex96 5* (+65) 10/* I think I got the main parts down */ > 1575476559 330008 PRIVMSG #esoteric :14[[07Code is eso14]]4 10 02https://esolangs.org/w/index.php?diff=67623&oldid=67610 5* 03DmilkaSTD 5* (+320) 10 > 1575476578 616812 PRIVMSG #esoteric :14[[07Code is eso14]]4 10 02https://esolangs.org/w/index.php?diff=67624&oldid=67623 5* 03DmilkaSTD 5* (+1) 10 > 1575476715 281117 PRIVMSG #esoteric :14[[07Code is eso14]]4 10 02https://esolangs.org/w/index.php?diff=67625&oldid=67624 5* 03DmilkaSTD 5* (+15) 10 > 1575476966 12832 PRIVMSG #esoteric :14[[07Code is eso14]]4 10 02https://esolangs.org/w/index.php?diff=67626&oldid=67625 5* 03DmilkaSTD 5* (+2) 10 > 1575477347 798294 PRIVMSG #esoteric :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=67627&oldid=67622 5* 03Hex96 5* (+477) 10/* Attempted programs */ new section > 1575477369 450858 PRIVMSG #esoteric :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=67628&oldid=67627 5* 03Hex96 5* (+5) 10/* Attempted programs */ > 1575477452 4763 PRIVMSG #esoteric :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=67629&oldid=67628 5* 03Hex96 5* (+25) 10/* Attempted programs */ < 1575478568 900893 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :arseniiv: From what I understood from reading about HOAS, the powerful thing about full-blown HOAS is that it treats two terms as equivalent if one can be α-, β-, or η- converted to the other. Unification modulo αβη-conversion, in other words. < 1575478630 927527 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :And that's what makes it need higher-order unification to work. < 1575478704 264504 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :But I think that's probably far more powerfully expressive than I'd ever need or want! < 1575478868 461517 :arseniiv!~arseniiv@95.105.12.206.dynamic.ufanet.ru PRIVMSG #esoteric :cpressey: hmm wait, how is equivalence defined there? < 1575478877 195833 :arseniiv!~arseniiv@95.105.12.206.dynamic.ufanet.ru PRIVMSG #esoteric :anyway interesting < 1575478947 348114 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I think you could say, if, by the rules of lambda calculus, you could reduce some term X to some other term Y, then HOAS treats them as effectively the same term. < 1575479005 523905 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I mean, that was my understanding of it, anyway. < 1575479463 51287 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1575479605 248301 :arseniiv!~arseniiv@95.105.12.206.dynamic.ufanet.ru PRIVMSG #esoteric :cpressey: do you mean, computationally? then it should be a broader equivalence, I think… < 1575479633 420047 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds < 1575479633 952249 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1575479932 617448 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :arseniiv: It may be that I fail to see all the implications, but I can't see how it could be anything other than computational, in this sense: there's nothing else in the lambda calculus besides α-, β-, and η- conversion, so if you permit all of those to happen when considering if two terms are equivalent, then... well, you allow arbitrary computations. < 1575480102 484583 :arseniiv!~arseniiv@95.105.12.206.dynamic.ufanet.ru PRIVMSG #esoteric :cpressey: I think I have seen two non-αβη-convertible combinators with the same behavior. Hm maybe two divergent ones, let’s say Ω and maybe YI? < 1575480171 195066 :zzo38!~zzo38@24-207-50-7.eastlink.ca PRIVMSG #esoteric :timofonic: What is the context of that? What is it about? < 1575480211 856851 :zzo38!~zzo38@24-207-50-7.eastlink.ca PRIVMSG #esoteric :O, I found your previous message too now < 1575480219 821594 :zzo38!~zzo38@24-207-50-7.eastlink.ca PRIVMSG #esoteric :OK I understand < 1575480222 308846 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :arseniiv: That seems likely. (It seems like it should be the implication of some famouse theorem maybe) But even when they are αβη-convertible, the problem of actually converting one into the other is undecidable in general. < 1575480228 534406 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :*famous < 1575480238 12721 :zzo38!~zzo38@24-207-50-7.eastlink.ca PRIVMSG #esoteric :The answer is I have lost the source code for Fweep and Aimfiz < 1575480294 989363 :zzo38!~zzo38@24-207-50-7.eastlink.ca PRIVMSG #esoteric :Does the gopher proxy break when there are NNTP links? If not, then the stuff other than the NNTP link should still work isn't it? < 1575480413 605654 :timofonic!~timofonic@unaffiliated/timofonic QUIT :Ping timeout: 250 seconds < 1575480426 538373 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1575480506 789257 :zzo38!~zzo38@24-207-50-7.eastlink.ca PRIVMSG #esoteric :The NNTP links are listed under the "ZZ Zero" menu; are you interested in ZZ Zero? < 1575480535 821508 :zzo38!~zzo38@24-207-50-7.eastlink.ca PRIVMSG #esoteric :(I should perhaps add some additional information there too; that menu does not describe much of what ZZ Zero is.) > 1575480646 423162 PRIVMSG #esoteric :14[[07User:Hex9614]]4 N10 02https://esolangs.org/w/index.php?oldid=67630 5* 03Hex96 5* (+106) 10Created page with "I have a challenge for you, I call it the r challenge, get input and print it backwards. Thats it" > 1575480955 875822 PRIVMSG #esoteric :14[[07Talk:Burn14]]4 M10 02https://esolangs.org/w/index.php?diff=67631&oldid=67629 5* 03Dart 5* (+42) 10 < 1575481478 682004 :Frater_EST!~adrianbib@172.242.0.73 JOIN :#esoteric < 1575481790 736106 :zzo38!~zzo38@24-207-50-7.eastlink.ca PRIVMSG #esoteric :(ZZ Zero is a ZZT-like game creation system. If you have used ZZT or MegaZeux or ZIG or other ZZT-likes then maybe you can understand what I mean by this) > 1575481892 930478 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67632&oldid=67630 5* 03Palaiologos 5* (+150) 10 < 1575481894 447540 :Frater_EST!~adrianbib@172.242.0.73 QUIT :Read error: Connection reset by peer < 1575481950 425179 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I felt like I have to complete this challenge < 1575481955 735483 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :just a random thought < 1575482037 807915 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: A la prochaine. < 1575482225 674489 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c QUIT :Remote host closed the connection < 1575482873 231603 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :what is HOAS? < 1575483168 344267 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1575483404 303269 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1575483783 440922 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"higher order abstract syntax" < 1575483894 820531 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1575484278 544928 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c JOIN :#esoteric < 1575484351 530929 :arseniiv!~arseniiv@95.105.12.206.dynamic.ufanet.ru PRIVMSG #esoteric :I thought that was an acronym of HOAS Often Are Serious < 1575484381 535416 :arseniiv!~arseniiv@95.105.12.206.dynamic.ufanet.ru PRIVMSG #esoteric :or maybe sentimental or serialized > 1575484514 660531 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67633&oldid=67632 5* 03Hex96 5* (+26) 10 < 1575484562 777664 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :thanks int-e < 1575484586 543045 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c QUIT :Ping timeout: 276 seconds > 1575484867 447922 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67634&oldid=67633 5* 03Hex96 5* (+104) 10 < 1575484920 920182 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c JOIN :#esoteric > 1575485003 321150 PRIVMSG #esoteric :14[[07User talk:Hex9614]]4 N10 02https://esolangs.org/w/index.php?oldid=67635 5* 03Hex96 5* (+77) 10Created page with "Hiya, I make "burn" theories. I also have a challenge. It is in my user page." > 1575485314 586912 PRIVMSG #esoteric :14[[07Burn14]]4 10 02https://esolangs.org/w/index.php?diff=67636&oldid=31184 5* 03Hex96 5* (+53) 10 > 1575485523 409844 PRIVMSG #esoteric :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=67637&oldid=67631 5* 03Hex96 5* (+137) 10/* Attempted programs */ > 1575485550 417243 PRIVMSG #esoteric :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=67638&oldid=67637 5* 03Hex96 5* (+5) 10 > 1575485573 651697 PRIVMSG #esoteric :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=67639&oldid=67638 5* 03Hex96 5* (+0) 10 < 1575485710 49590 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c QUIT :Remote host closed the connection > 1575485918 91874 PRIVMSG #esoteric :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=67640&oldid=67639 5* 03Hex96 5* (-6) 10/* Attempted programs */ < 1575486883 327596 :tromp!~tromp@2a02:a210:1585:3200:14e9:f35d:511:c20c JOIN :#esoteric < 1575486893 458153 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1575487241 954143 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving > 1575488804 574191 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67641&oldid=67634 5* 03Hex96 5* (+39) 10 > 1575488898 121008 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67642&oldid=67641 5* 03Hex96 5* (+481) 10 > 1575488951 604115 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67643&oldid=67642 5* 03Hex96 5* (+13) 10 > 1575488984 412478 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67644&oldid=67643 5* 03Hex96 5* (+0) 10 > 1575489067 604470 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67645&oldid=67644 5* 03Palaiologos 5* (+138) 10 > 1575489079 440201 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67646&oldid=67645 5* 03Palaiologos 5* (+104) 10Forgot to sign :p > 1575489462 427678 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67647&oldid=67646 5* 03Hex96 5* (+65) 10 > 1575489541 25884 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67648&oldid=67647 5* 03Hex96 5* (+24) 10 < 1575490441 719799 :Frater_EST!~adrianbib@172.242.0.73 JOIN :#esoteric < 1575490865 639517 :b_jonas!~x@catv-176-63-14-140.catv.broadband.hu JOIN :#esoteric < 1575490997 488 :b_jonas!~x@catv-176-63-14-140.catv.broadband.hu PRIVMSG #esoteric :kspalaiologos: how was the incineration? I hope you payed attention to safety. < 1575491055 277763 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I'm still working on it among other things < 1575491079 772929 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I've made a few decisions regarding the bot already so I might be able to rewrite it pretty quickly as I get to doing it lol < 1575491112 208417 :b_jonas!~x@catv-176-63-14-140.catv.broadband.hu PRIVMSG #esoteric :ok < 1575491282 736823 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving > 1575491572 346717 PRIVMSG #esoteric :14[[07User:Hex9614]]4 10 02https://esolangs.org/w/index.php?diff=67649&oldid=67648 5* 03JonoCode9374 5* (+219) 10 < 1575491849 679349 :b_jonas!~x@catv-176-63-14-140.catv.broadband.hu QUIT :Quit: Lost terminal < 1575492265 633878 :b_jonas!~x@catv-176-63-14-140.catv.broadband.hu JOIN :#esoteric < 1575492486 20441 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1575492770 12808 :Frater_EST!~adrianbib@172.242.0.73 PART :#esoteric < 1575492789 682790 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1575494305 349097 :FreeFull!~freefull@defocus/sausage-lover QUIT :Remote host closed the connection < 1575494580 523809 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1575494862 517944 :FraterEST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1575498193 331443 :moony!moony@hellomouse/dev/moony QUIT :Ping timeout: 245 seconds < 1575498197 537353 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Ping timeout: 276 seconds < 1575498197 545568 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Ping timeout: 276 seconds < 1575498236 564732 :iczero!iczero@hellomouse/dev/iczero QUIT :Ping timeout: 276 seconds < 1575498280 766612 :FraterEST!adrianbibl@172.242.0.73 PART :#esoteric < 1575498395 77911 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1575498413 202475 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric < 1575498437 770198 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric < 1575498444 469393 :iczero!iczero@hellomouse/dev/iczero JOIN :#esoteric < 1575500299 983396 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric < 1575500381 618687 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 250 seconds < 1575501142 912547 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :HackEso < 1575501158 190666 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :...whoop, keyboards are hard. < 1575501170 689361 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`5 botsnack < 1575501172 512305 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1:>:-D \ >:-D \ >:-D \ >:-D \ >:-D < 1575501186 813363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? 1 < 1575501188 21677 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :The 1 is just for disambiguation. < 1575501191 145378 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? `1 < 1575501192 369578 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​`1 is equivalent to `` , except that it splits the output into irc-sized pieces. The next pieces can be viewed with `spam. See also `2. Confusingly the obvious generalization of `4. < 1575501199 201373 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? `2 < 1575501200 473029 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​`2 is equivalent to `1 , except that it starts displaying the _second_ output piece. Useful when you've already run a command forgetting to use `1. < 1575501202 681372 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? `4 < 1575501204 73173 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​`4 is equivalent to `5 , except that it only repeats 4 times. Useful when you've already run a command forgetting to use `5. < 1575501209 469366 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? `5 < 1575501210 676229 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​`5 is equivalent to repeating `` 5 times, then splitting the output into irc-sized pieces. defaults to "quote". See `1, `4 and `spam. Confusingly _not_ the obvious generalization of `2. < 1575501221 741378 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`? `3 < 1575501222 968201 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​`3 is the obvious generalization of `2 or `4, trying too hard to confuse everyone. < 1575501287 359093 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Anyway, what I was going to do was comment on that thing from -blah. < 1575501288 355801 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :` < 1575501289 164215 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​? Permission denied < 1575501299 45354 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Which is an odd error. < 1575501300 985433 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :` < 1575501302 537542 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​? Permission denied < 1575501307 604578 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Presumably it's trying to execute the empty string. < 1575501308 895701 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it trying to execute a directory? < 1575501318 741923 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`/hackenv/bin < 1575501319 512305 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/bin? Permission denied < 1575501321 742561 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, I think that would follow. < 1575501354 513362 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`! c execve("", (char *[]){}, 0); < 1575501356 132663 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1575501366 523778 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Please don't make /hackenv/bin a file just to test that. < 1575501379 561364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`! c execve("", (char *[]){}, 0); printf("error: %s\n", strerror(errno)); < 1575501380 848296 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Does not compile. < 1575501390 589358 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`! c execve("", (char *[]){}, 0); printf("error: %d\n", errno); < 1575501391 780392 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Does not compile. < 1575501402 717354 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`! c printf("test\n"); < 1575501404 452237 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :test < 1575501420 785356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`! c (int)errno; < 1575501422 347311 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I remember at least one of these turned the \n into a newline even when inside a string literal. < 1575501424 596128 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Does not compile. < 1575501426 362699 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What an omission. < 1575501435 105430 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`! c perror("uh"); < 1575501436 596363 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :uh: Success < 1575501439 997766 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's that. < 1575501460 645393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat /hackenv/ibin/c < 1575501461 336446 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​#!/bin/sh \ . ${HACKENV-/hackenv}/lib/interp \ interp_file "${HACKENV-/hackenv}/interps/gcccomp/gcccomp c" < 1575501472 535272 :xkapastel!uid17782@gateway/web/irccloud.com/x-izfmpxbpfspqvbct JOIN :#esoteric < 1575501474 417371 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`! c execve("", (char *[]){}, 0); perror("execve"); < 1575501476 8302 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :execve: No such file or directory < 1575501484 393366 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat /hackenv/interps/gcccomp/gcccomp < 1575501487 302970 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​#!/bin/bash \ LANG="$1" \ echo >>"$2" \ \ case "$LANG" in \ c) \ HEAD='#include \n#include \n#include \n#include \n#include \nint main(int argc, char **argv) {' \ TAIL='; return 0; }' \ EXT='c' \ GCC='gcc' \ FLAGS='-lm -std=gnu99' \ ;; \ \ c++) \ HEAD='#include \n#include \n#include \n#include target)];` < 1575502107 727812 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wish the idiom of allocating your own arena was more common. < 1575502120 594110 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess glibc has obstack. < 1575502331 634435 :arseniiv!~arseniiv@95.105.12.206.dynamic.ufanet.ru QUIT :Ping timeout: 250 seconds