←2016-11-16 2016-11-17 2016-11-18→ ↑2016 ↑all
00:04:25 -!- boily has joined.
00:04:27 <boily> `wisdom
00:04:30 <HackEgo> oxford//Oxford is the home of English, woven shirts, and the serial comma.
00:05:38 -!- oerjan has joined.
00:07:04 <boily> hellørjan.
00:08:22 <oerjan> helloily.
00:08:25 <oerjan> @messages-
00:08:25 <lambdabot> fizzie said 6h 55m 54s ago: I don't know hth
00:09:53 -!- MoALTz has quit (Read error: Connection reset by peer).
00:10:45 -!- MoALTz has joined.
00:11:42 <boily> the teammates and I spent the whole day at the Agile Tour. the last keynote talk was given by a Swedish guy. some of his slides had Swedish stuff on it.
00:12:13 <boily> I learned that ”resdagar” is “voyage days”
00:13:15 -!- hydraz has changed nick to amused.
00:13:26 <oerjan> vad tur
00:13:36 <boily> fungot: vad tur?
00:13:37 <fungot> boily: declared it was very close now air foul with their hoarse fnord, and his memories of chantings in the great abyss. again mr. ward had been receiving brief and non-committal typed notes from his son, the father and the doctor went down the stairs.
00:14:29 <oerjan> *vilken tur
00:14:38 <boily> fungot: not vad, vilken hth
00:14:38 <fungot> boily: i was given charge of my funds, and spent them slowly and on the stairs. a wavering flicker of light shewed through my transom, and in
00:15:17 <fizzie> ^style
00:15:17 <fungot> 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
00:15:27 <fizzie> Should've known.
00:15:39 <fizzie> fungot: How did you manage to spend all your funds on the stairs?
00:15:39 <fungot> fizzie: dr. polidori developed his fnord idea as a long short story, the fnord of
00:15:47 <oerjan> why would you know, you'll just go insane tdnh
00:16:49 <oerjan> also what's transom, and should we keep you-know-who from finding out
00:16:50 -!- amused has changed nick to hydraz.
00:16:54 <boily> maybe it's fungot who's at the bottom of SCP-087?
00:16:55 <fungot> boily: in fnord derby was away for a week until he began stumbling and hurting himself, and at dusk i dreamed strange dreams under the fnord in pawtuxet were playing? that was the latin for " guards" in this matter which he had come at last upon one of the first revelation was a sultry one. i asked him if he would consent to do so.
00:17:21 <fizzie> @wn transom
00:17:22 <lambdabot> *** "transom" wn "WordNet (r) 3.0 (2006)"
00:17:22 <lambdabot> transom
00:17:22 <lambdabot> n 1: a window above a door that is usually hinged to a
00:17:22 <lambdabot> horizontal crosspiece over the door [syn: {transom},
00:17:22 <lambdabot> {transom window}, {fanlight}]
00:17:25 <lambdabot> 2: a horizontal crosspiece across a window or separating a door
00:17:26 <lambdabot> from a window over it [syn: {transom}, {traverse}]
00:17:57 <oerjan> that's disturbingly mundane
00:18:11 <fizzie> A transdimensional transom.
00:19:15 -!- xkapastel has quit (Quit: Connection closed for inactivity).
00:19:40 <boily> fungot: how many dimensions are you in with?
00:19:41 <fungot> boily: i looked about the immense attic room with the rag carpet and exposed beams and fnord, and over field and forest were scattered the bodies of others who had a room on the ground floor are many peculiar bottles, in each a small piece of lead suspended fnord from a fnord house we behold frightful presences summoned out of black space by a sorcerer, and the
00:22:20 -!- sewilton has quit (Quit: Connection closed for inactivity).
00:29:01 <boily> `wisdom
00:29:03 <HackEgo> welcome//Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
00:29:09 <boily> `wisdom
00:29:11 <boily> `wisdom
00:29:11 <HackEgo> welcome.bork//welcome.bork Velcume-a tu zee interneshunel hoob fur isutereec prugremmeeng lungooege-a deseegn und depluyment! Fur mure-a inffurmeshun, check oooot oooor veeki: http://isulungs.oorg/veeki/Meeen_Pege-a. (Fur zee oozeer keend ooff isutereeca, try #isutereec oon irc.del.net.)
00:29:12 <HackEgo> croissont supplier//See misspellings of croissant
00:29:13 <boily> `wisdom
00:29:14 <HackEgo> programmers knowing what they're doing//Programmers knowing what they're doing is a hypothetical alien race invoked to justify keeping horrendous traps in programming languages.
00:29:43 <shachaf> boily: what happened to `5 w thh
00:29:44 <shachaf> hth
00:29:48 <boily> I know what I'm doing. it's the machine who doesn't know me.
00:29:58 <boily> hellochaf. what's a `5?
00:30:01 <shachaf> `5 w
00:30:06 <HackEgo> 1/2:corium//Corium is the material that a nuclear reactor's core dump is made of. \ furryscript//FurryScript is the hairiest of all esoteric languages. \ esoteric//This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet. \ tanebventory//The Tanebventory is big. Really big. For one thing
00:30:08 <shachaf> `spam
00:30:09 <HackEgo> 2/2:, it contains a Hilbert hotel. \ fnord//? ¯\(°​_o)/¯
00:30:17 <boily> oooooh.
00:30:52 <shachaf> `? hilbert hotel
00:30:54 <HackEgo> hilbert hotel? ¯\(°​_o)/¯
00:31:16 <shachaf> a mathsematical tanebvention
00:34:38 <hppavilion[1]> The invention of the hilbert hotel would crash the economy as a resource that is in infinite supply (thus, almost no cost) without large demand is created that requires infinitely many people to maintain
00:35:03 <boily> the Taneb that can be tanebvented is not the True Taneb.
00:35:47 <hppavilion[1]> boily: Wouldn't a Taneb that could be invented be even greater though?
00:36:52 <boily> if you meet the Taneb on your way, untanebvent him.
00:36:54 -!- aucotsi has joined.
00:36:59 <boily> `relcome aucotsi
00:37:01 <HackEgo> aucotsi: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
00:39:06 -!- DHeadshot has joined.
00:42:29 <boily> hppavilion[1]: a monk asked 機器菌: "Does a Wisdom entry make sense?". The Master answered: "Three pounds of pineapple."
00:43:09 <hppavilion[1]> boily: Are you going to make me look up 機器菌?
00:44:04 <oerjan> i think it might mean "fungot"
00:44:04 <fungot> oerjan: in an instant was veritably awesome.
00:44:59 <boily> oerjan: *DINGOT* ♪
00:48:32 <fizzie> fungot: I like that, it was more positive than what you usually produce.
00:48:32 <fungot> fizzie: as he walked onward under the enchanted sun.
00:49:08 <fizzie> fungot: Keep going.
00:49:08 <fungot> fizzie: after that i went through the night, and gilman knew she was the only things they was fnord of. no tellin' what any o' them kanakys fnord never give away their secrets.
00:50:36 <DHeadshot> Didn't know fungot was a bot... Not listed as one...
00:50:36 <fungot> DHeadshot: and disinclined to accept new ideas. besides, they really knew little; for wide salt marshes, while the lights of oonai were not golden in the sun. it is this conviction, added to it an unwonted sparkle of eye and fnord of surprising folklore, lord dunsany stands fnord to a pedestal of lofty importance in literary history. what it was that of a king of lomar who had ruled that terrible polar land one hundred thousand
00:53:03 <oerjan> ^prefixes
00:53:03 <fungot> Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ .
00:53:11 <oerjan> sure it's listed hth
00:54:27 <boily> Dhellodshot. fungot is our mascot!
00:54:28 <fungot> boily: vi. the tomb-legions had not been able to give simple orders to zenas. the room was just as though he had walked out casually for a ramble in the hills and antique roofs and spires of kingsport gleamed in the ruddy blaze, he took highest fnord at oxford and seemed likely to redeem the intellectual fame of his family, and alone among the indifferent millions of london, so there were not many signs, but carter thought he s
01:01:10 <boily> ^botsnack
01:01:10 <fungot> Oh nom nom nom!
01:05:17 -!- Zarutian has quit (Quit: Zarutian).
01:07:25 <hppavilion[1]> ^botsmack
01:07:41 <hppavilion[1]> @botsnack
01:07:41 <lambdabot> :)
01:07:45 <hppavilion[1]> `botsnack
01:07:46 <HackEgo> ​>:-D
01:07:55 <hppavilion[1]> )botsnack
01:07:59 <hppavilion[1]> ]botsnack
01:08:01 <hppavilion[1]> ^prefixes
01:08:01 <fungot> Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ .
01:08:14 <hppavilion[1]> (botsnack
01:08:18 <hppavilion[1]> ( botsnack
01:08:18 <idris-bot> No such variable botsnack
01:08:25 <hppavilion[1]> ) botsnack
01:08:31 <hppavilion[1]> [ botsnack
01:08:32 <ffj-bot> hppavilion[1]: |value error: botsnack
01:12:29 -!- DHeadshot has quit (Ping timeout: 250 seconds).
01:17:06 <oerjan> [ 0
01:17:07 <ffj-bot> oerjan: 0
01:17:13 <oerjan> [ 1 2 3
01:17:14 <ffj-bot> oerjan: 1 2 3
01:20:25 -!- FireFly has quit (Quit: Goodbye).
01:20:36 -!- FireFly has joined.
01:22:26 <fizzie> "he took highest fnord at oxford and seemed likely to redeem the intellectual fame of his family"
01:23:13 <oerjan> great praise indeed
01:29:03 <fizzie> "Gifted and learned, he took highest honours at Oxford and seemed likely to redeem the intellectual fame of his family." From Facts Concerning the Late Arthur Jermyn and His Family.
01:29:08 <hppavilion[1]> fizzie: fñord
01:30:33 <fizzie> (Of course, it went rather badly.)
01:34:48 -!- ais523 has joined.
01:47:48 <boily> hppavilion[1]: fñord?
01:48:19 <hppavilion[1]> boily: fñord.
01:50:08 * boily mapoles some fnorthodoxy into hppavilion[1]. "fnord. ça se dit «fnord»."
01:51:00 <hppavilion[1]> boily: fñord is a fjord of fnords. obv.
01:51:16 <boily> it's a fnord. nothing more, nothing fnord.
01:55:26 <boily> fungot: fnord fnord fnord fnord ♪
01:55:26 <fungot> boily: just what the real situation was, i discovered, lay in reaching this goal before i was born and reared in haverhill at the old crowninshield driveway with asenath's powerful fnord, handling it like a loose, fnord wooden shoes were shambling and rattling about on the polished top were scratches showing where some heavy object had rested. the queer machine was gone, while on his chest or the pit on his forehead. the charle
01:58:01 <\oren\> 1qaz2wsx3edc4rfv5tgb6yhn7ujm8ik,9ol.0p;/-'=]\
02:00:20 <hppavilion[1]> \oren\: True, true.
02:00:25 <boily> he\\oren\. cleaning your keyboard?
02:00:39 <hppavilion[1]> Oh, it was patternic
02:00:46 <boily> 1qaz2wsx3edc4rfv5tgb6yhn7ujm8ik,9ol.0p;é-ề=çà
02:01:00 <hppavilion[1]> qazwsxedcrfvtgbyhnujmikolp
02:01:33 <boily> hppavilion[1]: you're missing your és and às.
02:01:49 <hppavilion[1]> boily: Nø.
02:02:12 <hppavilion[1]> Abusing ctcp is fun
02:02:43 <oerjan> 1qaz2wsx3edc4rfv5tgb6yhn7ujm8ik,9ol.0pø-+åæ\¨'
02:03:54 <\oren\> why was this suggested to me https://www.youtube.com/watch?v=49bg6h1RM20
02:04:47 <oerjan> seems fishy
02:05:00 <boily> \oren\: because you watched too much Girls und Panzer?
02:05:11 <\oren\> perhaps
02:06:20 <boily> that is one ugly fish.
02:08:26 <\oren\> "look I cut out the guts of the fish"
02:09:41 -!- boily has quit (Quit: LIKELIHOOD CHICKEN).
02:17:11 <hppavilion[1]> `? la;ksdjf
02:17:12 <HackEgo> la;ksdjf? ¯\(°​_o)/¯
02:17:17 <hppavilion[1]> Just needed the ¯\(°​_o)/¯
02:18:59 <shachaf> have you considered /msg hth
02:20:10 <oerjan> /msg #esoteric `? la;ksdjf
02:20:15 <izalove> fuck
02:20:21 <izalove> i was typing that
02:20:26 <oerjan> :P
02:20:58 <hppavilion[1]> la;ksdjf
02:21:03 <hppavilion[1]> xD
02:21:19 <hppavilion[1]> shachaf: I was in a hurry
02:21:38 <shachaf> good evenoerjan
02:22:03 <shachaf> or are you the oddoerjan
02:23:01 <\oren\> apparently I'm supposed to care about lennard coen
02:24:34 <\oren\> despite everythoing he made bing sad bastard music
02:24:46 <\oren\> s/bing/being
02:24:49 <shachaf> aren't canadians supposed to stick together hth
02:25:17 <\oren\> death to traitors who immigrate to usa
02:26:01 <\oren\> anyway his music sucked
02:26:49 <\oren\> songs about how he's supposedly poor and can't get girls despite being a popular and successful musician
02:28:14 <shachaf> I never heard of him before last week.
02:28:34 <shachaf> But I listened to a few songs and they seemed pretty good. For example more than one of them didn't have any drums.
02:29:49 <hppavilion[1]> shachaf: I assume you've heard Hallelujah?
02:29:59 <shachaf> Yes, last week.
02:30:28 <\oren\> I hate that song so much
02:30:39 <hppavilion[1]> \oren\: BLASPHEMER!
02:32:30 <hppavilion[1]> shachaf: Wooow.
02:32:33 <hppavilion[1]> shachaf: Which version
02:32:36 <hppavilion[1]> *+?
02:32:45 <shachaf> I think I heard more than one.
02:33:08 <hppavilion[1]> shachaf: So about ε% of all versions then
02:34:25 <oerjan> shachaf: i'm the perfectoerjan, of course
02:34:57 <hppavilion[1]> oerjan: so...?
02:35:42 <hppavilion[1]> oerjan: ¡QUICK! ⸘ARE YOU ODD‽
02:36:42 <shachaf> itym ⸘ hth
02:37:04 <hppavilion[1]> `unidecode ⸘⸘
02:37:05 <HackEgo> ​[U+2E18 INVERTED INTERROBANG] [U+2E18 INVERTED INTERROBANG]
02:37:22 <oerjan> hppavilion[1]: 'fraid not
02:37:32 <hppavilion[1]> shachaf: yidm ⸘ ais ⸘ tdnh
02:37:53 <shachaf> sorry, i don't have the font for whatever character that is
02:38:00 <shachaf> `icode m ais t
02:38:00 <HackEgo> ​[U+006D LATIN SMALL LETTER M] [U+0020 SPACE] [U+0020 SPACE] [U+0061 LATIN SMALL LETTER A] [U+0069 LATIN SMALL LETTER I] [U+0073 LATIN SMALL LETTER S] [U+0020 SPACE] [U+0020 SPACE] [U+0074 LATIN SMALL LETTER T]
02:38:02 <oerjan> me neither
02:38:08 <shachaf> it's not even getting delivered
02:38:08 <shachaf> tdnh
02:38:19 <hppavilion[1]> They're identical
02:38:25 <oerjan> shachaf: that's pretty broken
02:38:39 <oerjan> maybe you should get a new computer hth
02:38:46 <hppavilion[1]> I sent a U+2E18, you said that ytim ⸘, which is a U+2E18
02:39:35 <shachaf> Yes, but I didn't see the one I sent either.
02:39:41 <hppavilion[1]> Oh
02:39:43 <shachaf> oerjan: I did, but this is my work computer.
02:40:19 <oerjan> `echo *MWAHAHAHA*
02:40:20 <HackEgo> ​*MWAHAHAHA*
02:40:55 <oerjan> (i guess the [ above also triggers it...)
02:41:08 <shachaf> oerjan: yoerjan
02:41:15 <shachaf> do you have any good short poetry for me today
02:41:23 <shachaf> `? oerjan
02:41:24 <HackEgo> Your esteemologist sweet potatolord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
02:41:33 <oerjan> short poetry / is hard
02:41:38 <oerjan> hth
02:42:02 <ais523> I don't think my compose key has an upside-down interrobang
02:42:04 <ais523>
02:42:05 <ais523> wait, it does
02:42:12 <shachaf> Mine used to.
02:42:15 <ais523> just have to enter the code for an interrobang backwards
02:42:17 <shachaf> No compose key on this computer.
02:42:43 <hppavilion[1]> til 141310897947438348259849402738485523264343544818565120000 is the smallest k-perfect number
02:42:45 <shachaf> `mkx bin/slwrjan//slwd "oerjan//$1"
02:42:48 <HackEgo> bin/slwrjan
02:42:53 <hppavilion[1]> idnw il this
02:43:02 <shachaf> idnw?
02:43:08 <hppavilion[1]> *idnkw
02:43:15 <hppavilion[1]> I do not know why
02:43:26 <hppavilion[1]> (alt. iknw, I know not why)
02:43:32 <oerjan> shachaf: sometimes i wonder if you're a little bit obsessed with me
02:43:38 <shachaf> `slwrjan s/Pre-recombination //
02:43:40 <HackEgo> oerjan//Your esteemologist sweet potatolord oerjan is a lazy expert in suture complication. Also a Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
02:43:47 <shachaf> oerjan: It's just easier this way.
02:43:54 <shachaf> Since I edit your wisdom entry so much.
02:45:14 <oerjan> OKAY
02:45:38 <shachaf> `` ls bin/*rjan
02:45:41 <HackEgo> bin/oerjan \ bin/quoerjan \ bin/quørjan \ bin/slwrjan \ bin/translatetoerjan \ bin/zalgoerjan
02:45:57 <hppavilion[1]> `? ørjan
02:45:58 <HackEgo> Your pal Ørjan is oerjan's good twin. He's banned in the IRC RFC for being an invalid character. Sometimes he publishes papers without noticing it.
02:46:10 <shachaf> `cat bin/culprits
02:46:11 <HackEgo> hoag "$@" | awk '{print substr($1,2,length($1)-2)}' | xargs
02:46:47 <shachaf> `` cd bin; for f in *rjan; do hoat "$f" | awk '{print substr($1,2,length($1)-2)}'; done | xargs
02:46:55 <HackEgo> shachäf shachäf FreeFul̈l oerjän shachäf FreeFul̈l ellioẗt Bik̈e Bik̈e shachäf FreeFul̈l ellioẗt fizzïe shachäf shachäf FreeFul̈l ellioẗt shachäf shachäf shachäf FreeFul̈l ellioẗt
02:47:00 <shachaf> oops
02:47:06 <shachaf> `` cd bin; for f in *rjan; do hoat "$f" | head -n1 | awk '{print substr($1,2,length($1)-2)}'; done | xargs
02:47:14 <HackEgo> shachäf shachäf shachäf shachäf shachäf shachäf
02:47:17 <shachaf> interesting
02:47:21 <oerjan> MYTH CONFIRMED
02:47:26 <shachaf> `` ls bin/*chaf
02:47:27 <HackEgo> ls: cannot access bin/*chaf: No such file or directory
02:47:41 <shachaf> `cat bin/oerjan
02:47:42 <HackEgo> AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
02:47:47 * hppavilion[1] drinks some dechaf
02:47:49 <shachaf> `oerjan
02:47:50 <HackEgo> ​/hackenv/bin/oerjan: line 1: AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA:
02:47:57 <shachaf> `doat bin/oerjan
02:47:59 <HackEgo> 2013:2013-02-06 <shachäf> echo AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
02:48:07 <shachaf> `rm bin/oerjan
02:48:09 <HackEgo> No output.
02:48:57 <shachaf> `` dowt oerjan | awk '{print substr($1,2,length($1)-2)}' | grep shachaf | xargs
02:49:00 <HackEgo> No output.
02:49:09 <shachaf> `dowt oerjan
02:49:11 <HackEgo> 0:2012-02-16 Initïal import. \ 673:2012-08-27 <shachäf> run echo "Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian." >wisdom/oerjan \ 1000:2012-12-09 <FreeFul̈l> revert 0 \ 1001:2012-12-09 <oerjän> revert 999 \ 1493:2013-01-12 <FreeFul̈l> revert 4 \ 1497:2013-01-12 <ellioẗt> revert 1492 \ 2649:2013-
02:49:19 <shachaf> Ah, right.
02:49:48 <shachaf> `` dowt oerjan | awk '{print substr($1,2,length($1)-2)}' | sort | uniq -c | sort -n
02:49:50 <HackEgo> ​ 1 000:2012-12-0 \ 1 001:2012-12-0 \ 1 017:2016-09-0 \ 1 029:2016-05-1 \ 1 030:2016-05-1 \ 1 043:2016-09-1 \ 1 049:2016-09-1 \ 1 077:2016-09-2 \ 1 085:2016-05-1 \ 1 085:2016-09-2 \ 1 086:2016-05-1 \ 1 087:2016-05-1 \ 1 108:2016-09-2 \ 1 117:2016-09-2 \ 1 118
02:49:55 <shachaf> oops
02:50:01 <shachaf> `` hoat oerjan | awk '{print substr($1,2,length($1)-2)}' | sort | uniq -c | sort -n
02:50:06 <HackEgo> ​ 1 hppavilion[1̈] \ 1 izaber̈a \ 2 shachäf \ 5 oerjän \ 7 Rouj̈o
02:50:22 <shachaf> ugh
02:50:31 <shachaf> `` howt oerjan | awk '{print substr($1,2,length($1)-2)}' | sort | uniq -c | sort -n
02:50:33 <HackEgo> ​ 1 ellioẗt \ 1 int-̈e \ 1 nitïa \ 2 FreeFul̈l \ 5 boil̈y \ 5 noloveinwaikik̈i \ 28 oerjän \ 60 shachäf
02:50:40 <shachaf> wouldn't you know it
02:50:45 <shachaf> what's all this, then?
02:51:19 <shachaf> `` howt welcome | awk '{print substr($1,2,length($1)-2)}' | sort | uniq -c | sort -rn
02:51:21 <HackEgo> ​ 14 ellioẗt \ 11 shachäf \ 4 oerjän \ 3 Gregör \ 2 FreeFul̈l \ 2 Bik̈e \ 1 Sgëo \ 1 RocketJSquirrël \ 1 nitïa \ 1 ais52̈3
02:51:30 <shachaf> `` howt shachaf | awk '{print substr($1,2,length($1)-2)}' | sort | uniq -c | sort -rn | xargs
02:51:32 <HackEgo> 5 oerjän 3 shachäf 2 mrhmous̈e 2 FreeFul̈l 2 Elronn̈d 2 ellioẗt 1 nitïa 1 boil̈y
02:51:48 <shachaf> > (5/3, 60/28)
02:51:50 <lambdabot> (1.6666666666666667,2.142857142857143)
02:52:03 <shachaf> SEEMS LIKE THE OBSESSION IS REQUITED HTH
02:52:15 <oerjan> MAYBE SLIGHTLY
02:52:42 <shachaf> What are other files with long histories?
02:52:47 <oerjan> quotes
02:52:49 <shachaf> I wonder whether there's a straightforward efficient way to check.
02:53:02 <shachaf> `` hoat quotes | awk '{print substr($1,2,length($1)-2)}' | sort | uniq -c | sort -rn | xargs
02:53:04 <HackEgo> 354 oerjän 327 ellioẗt 80 shachäf 75 km̈c 54 ais52̈3 45 coppr̈o 26 monq̈y 20 boil̈y 14 Tanëb 14 Phantom_Hoovër 14 GreyKnigḧt 11 shubshüb 11 quintopïa 11 Gregör 9 fizzïe 9 FireFl̈y 8 mnoq̈y 8 Fior̈a 8 elliott__̈_ 7 Sgëo 7 iön 6 hagb4r̈d 5 tsweẗt 5 ranc 5 olsnër 5 Jafët 5 elliotẗ_ 4 RocketJSquirrël 4 int-̈
02:53:12 <shachaf> `` hoat bin | awk '{print substr($1,2,length($1)-2)}' | sort | uniq -c | sort -rn | xargs
02:53:14 <HackEgo> 514 oerjän 310 shachäf 132 fizzïe 110 Jafët 94 ellioẗt 91 hppavilion[1̈] 78 b_jonäs 77 zgrëp 61 Rouj̈o 58 tsweẗt 48 moon̈_ 44 ais52̈3 42 int-̈e 38 km̈c 38 izaber̈a 37 noood̈l 36 mromän 35 nortẗi 32 FireFl̈y 28 c00kiemon5tër 26 mrhmous̈e 26 iön 25 boil̈y 23 Tanëb 22 mroman̈_ 22 moon_̈_ 21 olsnër 20 GreyKnigh
02:53:21 <shachaf> `` hoat wisdom | awk '{print substr($1,2,length($1)-2)}' | sort | uniq -c | sort -rn | xargs
02:53:24 <HackEgo> 1186 oerjän 472 shachäf 261 b_jonäs 214 boil̈y 150 int-̈e 126 hppavilion[1̈] 94 tsweẗt 64 mromän 55 Tanëb 54 ellioẗt 38 GreyKnigḧt 34 Phantom_Hoovër 32 mroman̈_ 27 Rouj̈o 25 olsnër 24 Zarutiän 24 fizzïe 23 Jafët 20 FireFl̈y 17 ZombieChenëy 17 Bik̈e 16 oren̈ \ 14 quintopïa 14 FreeFul̈l 13 zzo3̈8 13 Elronn̈d
02:53:35 <shachaf> `` hoat . | awk '{print substr($1,2,length($1)-2)}' | sort | uniq -c | sort -rn | xargs
02:53:39 <HackEgo> 2585 oerjän 1047 shachäf 611 ellioẗt 372 b_jonäs 307 boil̈y 300 hppavilion[1̈] 265 fizzïe 239 int-̈e 217 tsweẗt 190 ais52̈3 187 Jafët 177 GreyKnigḧt 165 km̈c 142 Tanëb 138 Rouj̈o 117 zgrëp 107 moon̈_ 105 mromän 102 mroman̈_ 97 Phantom_Hoovër 97 Bik̈e 94 nortẗi 90 noood̈l 80 izaber̈a 79 FireFl̈y 74 coppr̈o 71 o
02:54:08 <shachaf> oerjan would appear to be a little obsessed with HackEgo
02:55:21 <shachaf> `cat bin/lastfiles
02:55:22 <HackEgo> hg log --removed -l 1 --template "{files}\n" -- "$@"
02:55:48 <shachaf> `` hg log --removed --template "{files}\n" .
02:55:51 <HackEgo> bin/oerjan \ wisdom/oerjan \ bin/slwrjan \ quotes \ wisdom/eridanipoid \ wisdom/parsley \ bin/5 \ wisdom/7 \ wisdom/21 \ wisdom/42 \ wisdom/thwackamacallit wisdom/þwackamacallit \ wisdom/thwackamacallit wisdom/þwackamacallit \ bin/hlnp \ bin/hlnp \ bin/hlnp \ bin/hlnp \ bin/hlnp \ wisdom/sugar \ wisdom/peer \ wisdom/oerjan \ wisdom/oasys \ wisdom
02:55:51 <oerjan> >_> <_<
02:56:55 <shachaf> `` hg log --removed --template "{files}\n" . | sed 's/ /\n/g' | sort | uniq -c | sort -rn
02:57:00 <HackEgo> ​ 1205 quotes \ 131 bin/list \ 115 wisdom/oerjan \ 90 test \ 65 wisdom/the \ 65 canary \ 62 bin/tomfoolery \ 61 bin/? \ 52 wisdom/tanebvention \ 50 wisdom/welcome \ 46 wisdom/⊥ \ 42 bin/learn \ 40 bin/learn_append \ 39 wisdom/#esoteric \ 38 bin/wisdom \ 38 bin/olist \
02:57:41 <shachaf> `` howt tanebvention | awk '{print substr($1,2,length($1)-2)}' | sort | uniq -c | sort -rn | xargs
02:57:43 <HackEgo> 22 shachäf 17 oerjän 3 boil̈y 1 Tanëb 1 hppavilion[1̈] 1 FireFl̈y 1 b_jonäs
02:58:01 <oerjan> i suspect wisdom/the is mostly from before `learn got improved
02:58:24 <shachaf> `` howg the | awk '{print substr($1,2,length($1)-2)}' | sort | uniq -c | sort -rn | xargs
02:58:26 <HackEgo> 2 oerjän 1 Rouj̈o 1 oren̈_ 1 hppavilion[1̈]
02:58:36 <shachaf> Oh, no.
02:58:39 <shachaf> I split on spaces.
02:58:47 <oerjan> ah
02:59:01 <oerjan> BAD MOVE
02:59:04 <shachaf> Otherwise it wouldn't count things that change more than one file.
02:59:15 <shachaf> Because hg prints out all the modified file names on one line, space-separated.
02:59:22 <shachaf> SHOULD'VE //-SEPARATED THEM
02:59:26 <shachaf> `` hg log --removed --template "{files}\n" . | sort | uniq -c | sort -rn | xargs
02:59:30 <HackEgo> xargs: unmatched double quote; by default quotes are special to xargs unless you use the -0 option \ 1176 quotes 105 bin/list 97 wisdom/oerjan 56 bin/tomfoolery 53 test 44 canary 43 wisdom/tanebvention 34 bin/wisdom 31 wisdom/welcome 31 wisdom/testing 31 wisdom/#esoteric 31 share/conscripts 30 bin/learn_append 29 bin/dontaskdonttelllist 28 bin/lear
02:59:38 <shachaf> `` hg log --removed --template "{files}\n" . | sort | uniq -c | sort -rn
02:59:41 <HackEgo> ​ 1176 quotes \ 105 bin/list \ 97 wisdom/oerjan \ 56 bin/tomfoolery \ 53 test \ 44 canary \ 43 wisdom/tanebvention \ 34 bin/wisdom \ 31 wisdom/welcome \ 31 wisdom/testing \ 31 wisdom/#esoteric \ 31 share/conscripts \ 30 bin/learn_append \ 29 bin/dontaskdonttelllist \ 28 bin/le
02:59:48 <oerjan> i tried using the features for treating {files} as a structured list, but they seemed not to be implemented in this hg version
03:00:24 <oerjan> (in theory, they would allow choosing the delimiter)
03:03:00 <\oren\> https://www.youtube.com/watch?v=unRldLdllZ8
03:06:54 <shachaf> not going to click on your leonard coen or leonard cohen links hth
03:11:06 <\oren\> shachaf: this isn;t lennard coen
03:11:41 <\oren\> shachaf: It's a much better artist who also makes whiny pathetic songs
03:11:49 <hppavilion[1]> Bad idea time!
03:11:56 <shachaf> why don't you like sad songs
03:12:41 <hppavilion[1]> Gødel number a string by converting it to ascii parts, converting those to binary, padding to 8 bits, joining, and converting back into a number.
03:12:53 <hppavilion[1]> Turn that number into a string. Repeat.
03:17:05 <\oren\> shachaf: I don't like sad songs made by people who have no legitiamte reason to be sad whining about problems thay demonstrably do not have
03:19:22 <shachaf> \oren\: do you think the proletariat should seize the means of production twh
03:20:29 <\oren\> they already have, hence the dwindling profits of record labels
03:21:10 <shachaf> aren't you the proletariat
03:21:40 <\oren\> not really, my income is a tad too high
03:22:54 <shachaf> Really? Where do you draw the line?
03:22:57 <\oren\> I'm in the top 10 percent of Canadians
03:23:52 <shachaf> So?
03:25:03 <\oren\> so I'm fairly certain that if the bolsheviks were around they would be seizing and nationalizing my assets
03:25:38 <\oren\> like they tried to do to my great grandmother
03:26:21 <shachaf> But you still sell your labor to capitalists?
03:27:14 <\oren\> yes, but I have stock as well
03:28:10 <shachaf> But if you stopped selling your labor, you'd starve to death or something?
03:28:21 <\oren\> probably not
03:29:07 <\oren\> i mean, maybe eventually, but at the rate I actually expend, I could support myself off savings for 10 yeards
03:30:21 <shachaf> look
03:30:26 <shachaf> the point is
03:30:40 <shachaf> capital for the capitalists
03:30:51 <shachaf> you should get a top hat
03:36:16 <oerjan> top hat and bell bottoms
03:36:29 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:40:01 -!- farrioth has joined.
03:58:14 -!- Sprocklem has joined.
04:49:17 <\oren\> ❄dvcalc 0.656 22.5 terrier
04:49:18 <\oren\> ☃ Δv = 1621.80155156057
04:49:27 <\oren\> nice
04:54:18 -!- oerjan has quit (Quit: Nite).
05:05:09 <hppavilion[1]> \oren\: wat
05:15:54 <zzo38> When making up my GURPS character I put in traits such as Increased Consumption log(4/3)/log(2) and other things with logarithms; the core rules sometimes are not flexible enough, so I have to use logarithms and trigonometry and other stuff to decide the traits.
05:16:27 <zzo38> \oren\: What calculation is that?
05:23:23 -!- pecan has quit (Ping timeout: 245 seconds).
05:27:08 -!- pecan has joined.
05:27:44 <\oren\> ❄dvcalc
05:27:44 <\oren\> ☃ Does math for Δv of a vessel. Usage: dvcalc <mass in tons> <fuel in units> <isp or engine name> [<fuel type>]; fuel types: lfo, olf, lf, xen, mono. If omitted, assumed to be lfo or the engine's type.
05:31:22 <zzo38> What is that, that you calculate, though? I don't even quite know what they are meaning but I would hope you would know
05:35:41 <\oren\> delta v. the amount of change in velocity a rocket powered spacecraft is capable of
05:36:00 <\oren\> ❄dvcalc 53.058 2880 skipper
05:36:00 <\oren\> ☃ Δv = 2896.18404411098
05:40:08 <\oren\> ❄dvcalc 144 6480 vector
05:40:08 <\oren\> ☃ Δv = 2138.84015405304
05:40:22 <hppavilion[1]> The set of all things contains itself
05:40:30 <hppavilion[1]> But the set of all exciting things does n't
05:40:32 <hppavilion[1]> *does not
05:40:39 <hppavilion[1]> It can't contain itself. It's too excited.
05:41:31 <zzo38> I know what delta v means, but I don't know much about spacecraft or what the fuel types means or other stuff like that
05:42:14 <hppavilion[1]> \oren\: OH! It's ksp
05:42:48 <hppavilion[1]> zzo38: hth
05:42:50 <farrioth> hppavilion[1]: Hehe.
05:45:36 <hppavilion[1]> Hm, in the 99 problems spanish translation, do they say "no problema"?
05:48:58 <\oren\> from my shitty knowledge of spanish: yo tengo nueventa nueve problemos, pero una puta no es una
05:49:12 <hppavilion[1]> \oren\: But -a would be feminine?
05:49:21 <hppavilion[1]> Oh, wait
05:49:39 <hppavilion[1]> The 'problems' isn't valent with the 'bitch', is it?
05:49:51 <\oren\> not really
05:51:26 <\oren\> problemo is masculine
05:53:11 <hppavilion[1]> \oren\: And problema is feminine
05:53:11 <\oren\> oh, apparently I'm worng and the correct word from problem is problema
05:53:29 <hppavilion[1]> Wooooooooooooooow spanish
05:54:01 <\oren\> oh and it's noventa y nueve
05:54:27 <\oren\> not nueventa, because fuck regularity of any kind
05:55:49 <hppavilion[1]> \oren\: Sorry, I'm not really into finite state automata
05:56:46 <\oren\> like srsly what is it with these indo european languages and their irregularity
05:57:10 <hppavilion[1]> \oren\: That would be a good question for the people in indo-europe
05:59:29 -!- MDead has joined.
06:02:59 -!- MDude has quit (Ping timeout: 252 seconds).
06:03:04 -!- MDead has changed nick to MDude.
06:18:25 -!- farrioth has quit (Quit: leaving).
06:26:35 <hppavilion[1]> Hm, would wise nomic be nomwc or nwmic?
06:28:05 <hppavilion[1]> Linguists would have a field day with IRC
06:28:40 <hppavilion[1]> Because things like "hth", "tdh", "tdnh", "twh", "twnh", etc. aren't really initialisms any more
06:28:52 <hppavilion[1]> And reading them as acronyms is impossible, but you see it as a word
06:29:03 <hppavilion[1]> They're practically... I want to say "punctuation"
06:34:46 -!- ais523 has quit.
06:36:03 <hppavilion[1]> What'd be really interesting would be writing a [descriptive-with-suggestions] handbook of usage. And using it for actual text.
06:36:04 <myname> they are acronyms
06:36:34 <hppavilion[1]> myname: They were, historically, initialisms.
06:36:57 <hppavilion[1]> But, at least for me, I don't read them so much as "h. t. h." as like the word "the" or "who"
06:37:25 <hppavilion[1]> A single, continuous word that *happens* to be unpronounceable
06:41:53 <hppavilion[1]> Writing entire essays in an IRC-like syntax *would* be an interesting exercise
06:43:18 <hppavilion[1]> [in futility, perhaps]
06:53:10 <myname> i don't
07:07:53 <zzo38> I wrote most of a OASYS->JavaScript compiler; here is a piece of the generated code for Escape From Planet Delta: case 11: g=40; if(!((((t)[0])||{})[18])) continue; g=40; if(!(AND(((((((t)[0])||{})[18])||{})[19])==(2),!((((((t)[0])||{})[18])||{})[1])))) continue; yield S[+(31)]; return;
07:08:20 <zzo38> (I didn't do a lot of optimizations in the code generator, as can be easily seen.)
07:13:13 <hppavilion[1]> http://thedoghousediaries.com/6014
07:13:25 <hppavilion[1]> Is doghouse diaries run by PRESCRIPTIVIST SCUM?
07:42:04 -!- testac3 has joined.
07:43:22 -!- testac3 has quit (Read error: Connection reset by peer).
07:47:29 -!- heroux has quit (Ping timeout: 252 seconds).
07:48:01 -!- testac3 has joined.
07:48:27 -!- heroux has joined.
07:49:19 -!- testac3 has quit (Remote host closed the connection).
07:59:15 <HackEgo> [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=50254&oldid=50253 * Slnetaiga * (+14)
08:13:48 -!- AnotherTest has joined.
08:17:45 <HackEgo> [wiki] [[OneFuck]] N https://esolangs.org/w/index.php?oldid=50255 * Slnetaiga * (+1481) Created page with "'''OneFuck''', is an esoteric programming language clones [[brainfuck]], buts here only one cell. == Examples == === Hello, world! === <pre> +++++++++++++++++++++++++++++++++..."
08:18:24 <myname> so bf but without being tc
08:18:36 <myname> just what the world needed
08:20:15 <HackEgo> [wiki] [[OneFuck]] https://esolangs.org/w/index.php?diff=50256&oldid=50255 * Slnetaiga * (+196)
08:20:39 <HackEgo> [wiki] [[User:Slnetaiga]] https://esolangs.org/w/index.php?diff=50257&oldid=50249 * Slnetaiga * (+14)
08:20:43 <myname> i don't get people thinking "oh, letvme make _another_ bf derivate worse than the others"
08:22:17 <hppavilion[1]> myname: Didn't I add a GIANT "Don't do this" thing?
08:22:33 <myname> where?
08:22:42 <hppavilion[1]> Yes, I fucking did
08:22:42 <hppavilion[1]> myname: http://esolangs.org/wiki/Brainfuck
08:22:46 <hppavilion[1]> ON THE FUCKING PAGE
08:23:25 <FireFly> Woah
08:23:34 <hppavilion[1]> FireFly: Ja?
08:23:58 <FireFly> quite the giant thing indeed
08:24:01 <hppavilion[1]> FireFly: Yes
08:24:10 <hppavilion[1]> FireFly: Leeeeaaveitt!
08:24:18 <HackEgo> [wiki] [[OneFuck]] https://esolangs.org/w/index.php?diff=50258&oldid=50256 * Slnetaiga * (+58)
08:25:49 <myname> it needs a red rectangle around it :D
08:25:56 <HackEgo> [wiki] [[Talk:OneFuck]] N https://esolangs.org/w/index.php?oldid=50259 * Hppavilion1 * (+40) f0x7u0xC
08:26:24 <hppavilion[1]> myname: Oh, and it's implemented in PHP
08:26:27 <myname> we need a plugin that adds this message to any page creation with the word brainfuck in it
08:26:28 <hppavilion[1]> Apparently
08:26:32 <hppavilion[1]> myname: Yes
08:26:39 <hppavilion[1]> myname: Or the talk page.
08:27:19 <hppavilion[1]> myname: Or maybe we should gerrymander- round up all the BF derivatives
08:27:27 <hppavilion[1]> And put them in /camps/ where they can't get out
08:27:39 <FireFly> the PHP implementation appears to only ignore whitespace, and adds instructions ` for printing the numeric value of the cell and ! to reset it to 0, but maybe those are undocumented things to aid debugging or something
08:27:39 <hppavilion[1]> HEIL THUE!
08:27:56 <FireFly> anyway point is it's not even just BF with one cell
08:27:56 <myname> i like efghijk
08:28:01 <hppavilion[1]> FireFly: Nope, they're added
08:28:09 <hppavilion[1]> FireFly: http://esolangs.org/wiki/OneFuck#Added_instructions
08:28:18 <FireFly> Oh
08:28:38 <myname> a new instruction for [-], awesome
08:28:57 <hppavilion[1]> myname: Yeah.
08:29:03 <hppavilion[1]> myname: I thought that the official symbol was _
08:29:13 <hppavilion[1]> myname: ...can I just get delete power?
08:29:19 <hppavilion[1]> Who does one ask for this?
08:30:15 <FireFly> You probably shouldn't delete others' esolang pages at random even if they're silly BF clones
08:30:18 <hppavilion[1]> myname: You know what? I'm just going to make a category and put any user who derives Brainfuck in it
08:30:30 <hppavilion[1]> myname: I think I need some consensus that it should be made.
08:30:58 <hppavilion[1]> FireFly: I think there should just be a big "BF Derivative" page where they're all put together in one big horrible thing that you never look at.
08:31:01 <FireFly> also please sign your comments
08:31:08 <hppavilion[1]> FireFly: It's from the wiki itself
08:31:18 <FireFly> wat
08:31:32 <FireFly> I meant the talk page, which lacks the customary --~~~~
08:31:34 <hppavilion[1]> AKA I forgot to when I posted and decided not to add a sig because it looks like it's just generic.
08:31:42 <hppavilion[1]> FireFly: I know
08:32:19 <hppavilion[1]> myname: Do you agree that a category should be made?
08:35:28 <HackEgo> [wiki] [[Talk:OneFuck]] M https://esolangs.org/w/index.php?diff=50260&oldid=50259 * FireFly * (+171) Sign unsigned musings
08:37:13 <hppavilion[1]> Apparently, det(AB) = det(A)det(B)
08:37:33 <hppavilion[1]> But det(A) isn't defined when A is j×k, j ≠ k
08:38:28 <hppavilion[1]> But it's possible to have two A, B where AB is square but A and B are both non-square- specifically when A is j×k, B is k×j
08:39:07 <hppavilion[1]> So in such a case, det(AB) is undefined, but det(A)det(B), which supposedly is the same, is defined
08:39:12 <hppavilion[1]> Halp
08:39:18 <hppavilion[1]> Wait, swap those last two
08:39:29 <hppavilion[1]> det(AB) is defined, det(A)det(B) is undefined
08:41:18 <hppavilion[1]> FireFly: Do you know? ;-;
08:41:43 <FireFly> No, not really
08:42:08 <hppavilion[1]> Hm.
08:42:10 <hppavilion[1]> to ##math1
08:42:12 <hppavilion[1]> *!
09:13:15 -!- DHeadshot has joined.
09:13:46 -!- testac3 has joined.
09:13:52 -!- testac3 has left.
09:43:24 -!- DHeadshot has quit (Ping timeout: 260 seconds).
09:59:22 <fizzie> hppavilion[1]: See https://en.wikipedia.org/wiki/Cauchy%E2%80%93Binet_formula of which det(AB) = det(A)det(B) is a special case for square A, B.
10:00:54 <fizzie> (In other news, "%E2%80%93" is really too much just to get a –.)
10:01:31 <hppavilion[1]> fizzie: ... I already weant to ##math1
10:01:32 <hppavilion[1]> *!
10:02:02 <hppavilion[1]> fizzie: No, it's a –
10:02:04 <hppavilion[1]> Oh, nvm
10:06:01 -!- aucotsi has quit (Remote host closed the connection).
10:07:06 <hppavilion[1]> test
10:07:42 <fizzie> Failed.
10:07:47 <hppavilion[1]> Huh, it works. I can message all channels at once with a single command
10:09:03 <fizzie> Sometimes it's more important to ask whether you *should* do something rather than whether you *can*.
10:11:01 <hppavilion[1]> fizzie: I needed to know
10:11:20 <hppavilion[1]> fizzie: It'll mostly just be used for going AFK
10:11:32 <hppavilion[1]> So I don't have to go to each one to say "afk"
10:11:34 <fizzie> Yes, that's exactly what I was afraid of.
10:12:20 <hppavilion[1]> fizzie: ...why??
10:12:28 <fizzie> http://bisqwit.iki.fi/jutut/away.html https://sackheads.org/~bnaylor/spew/away_msgs.html
10:12:47 <fizzie> (They're both mostly about the automated kind, but doing it by hand isn't any better.)
10:13:13 <int-e> hmm, is there a more direct way of doing git archive --format=tar --prefix=junk/ HEAD | (cd /var/tmp/ && tar xf -) ...
10:13:42 <fizzie> int-e: I've looked for one every now and then, but never found anything much more "direct" than that.
10:14:06 <int-e> okay
10:14:09 <fizzie> You can use tar -C to avoid the (cd .. && tar ..) part, that's about it.
10:15:22 <fizzie> (And "f -" is the default as well.)
10:17:05 <fizzie> Apparently you can also do git checkout-index -a --prefix=/var/tmp/junk but that seems like to much to remember.
10:17:19 <int-e> and I don't have an index.
10:17:48 <int-e> (or do I... it's a bare repo, it shouldn't have one really)
10:18:00 <fizzie> I don't know. I wouldn't expect it to have one.
10:18:45 <int-e> didn't think so: fatal: This operation must be run in a work tree
10:19:53 <int-e> git archive --format=tar HEAD:web | tar -xf - -C $HOME/public_html/something ... let's see if that works
10:23:30 <fizzie> I don't think tar -C makes up directories, so if 'something' doesn't exist, you might have to do that part via the prefix thing.
10:24:00 <int-e> something exists :)
10:25:16 <int-e> And the 'web' subdirectory is small so I'm not concerned about atomicity.
10:26:11 <int-e> (and needlessly replacing files that have not been changed)
10:26:19 <hppavilion[1]> int-e: Really?
10:26:29 <b_jonas> um, couldn't you just create a new checked out repository (either by (possibly shallow) cloning the repo or with git worktree add), then remove .git from that, then tar c the remaining stuff up?
10:26:50 <hppavilion[1]> ∃x
10:27:09 <b_jonas> int-e: ^
10:27:19 <int-e> b_jonas: I don't see how that is supposed to simplify things
10:27:34 <b_jonas> well, I guess it's not much simpler than git archive
10:27:45 <int-e> it's not simpler at all
10:27:47 <b_jonas> but it uses commands I already remember
10:27:52 <b_jonas> I didn't know about git archive
10:28:21 <b_jonas> I mean, a SANE interface for a vcs would have an svn export command...
10:29:24 <int-e> The perfectionist approach is this: Make a shallow clone of the repo with a detached GIT_DIR (I don't want a .git directory in public_html, though I guess I could use .htaccess magic to make it invisible and inaccessible), and pull that whenever the repo is updated.
10:29:47 <b_jonas> also, git archive could be more complicated if you wanted to make an archive in a format (or option for format) that git archive doesn't know about
10:30:19 <b_jonas> int-e: no, I think the perfectionist approach uses git worktree instead of a shallow clone
10:31:08 <b_jonas> I use worktree anyway, because it's useful
10:31:56 <fizzie> That does involve a .git symlink in there, doesn't it?
10:32:19 <fizzie> (I use worktree(ish thing) as well, and it is indeed useful.)
10:32:20 <int-e> fizzie: not if I use GIT_DIR, I think.
10:32:39 <int-e> oh, you mean worktree
10:32:54 <b_jonas> fizzie: a .git that might be a symlink... I'm not sure of the details of the impl
10:33:12 <fizzie> Yeah, I'm not sure either. At least it doesn't include all the content.
10:33:20 <fizzie> Maybe it was a real .git with some symlinks in there.
10:33:23 <int-e> so can one make a worktree for a subdirectory, like master:web ...
10:33:32 <b_jonas> so yes, you'd have to exclude that from the archive
10:33:44 <b_jonas> int-e: not in git I think
10:33:47 <int-e> I don't actually care about the archive.
10:33:57 <fizzie> Git isn't very good at "narrow" anything, I think.
10:33:58 <int-e> But I do care about not checking out all the rest.
10:34:22 -!- hppavilion[1] has quit (Quit: SLEEEEEEEEEEEEEEEEEEEEEEP).
10:34:41 <int-e> Anyway, I think I have something that works for me now, thanks :)
10:36:44 <b_jonas> basically, git is very bad at partial checkouts and partial clones. this means that
10:38:11 <b_jonas> if you want a clone such that certain files or certain versions of files are excluded (because they're big and you don't want to download them, or don't want to store a copy on your disk, or they have confidental data) or a partial checkout (a worktree with only a small section of files in it), then git is about the WORST vcs to use for that.
10:39:09 <b_jonas> almost every other vcs has better support for this (not that they support it perfectly, but better than git is easy).
10:39:24 <b_jonas> I THINK this isn't some theoretical format limitation of git, it's just something the commands currently don't do at all.
10:39:34 <fizzie> b_jonas: Sort of related, the other day I learned about https://git-scm.com/book/en/v2/Git-Tools-Replace which looks to me like a really manual way of supporting truncated-history clones.
10:41:38 <b_jonas> Subversion has moderately good support for this. you can check out any subset from a repo, the rest won't be stored or downloaded; or you can exclude any file from the repo after the fact, and then svn clean will free the space for its stored copy; or add any file you had excluded; or you can create a backup or read-only mirror of the history with the files and versions of them filtered arbitrarily.
10:41:47 <b_jonas> \ or you can create a backup or read-only mirror of the history with the files and versions of them filtered arbitrarily.
10:41:57 <b_jonas> But there are at least two problems in the interface:
10:42:09 <int-e> without looking at the link... isn't that essentially doing git clone --depth ?
10:43:32 <int-e> (The thing that is hard is narrowing the history to a subdirectory; that needs git-pack-objects support to be efficient, because you need to skip subpaths of the tree objects attached to a commit.)
10:44:16 <int-e> to the commits. (singular vs. plural mismatch)
10:45:22 <int-e> Oh and I suppose git-fsck would also have to know about this.
10:45:56 <int-e> So... lots of plumbing, but technically this should all be possible without touching the repo format in a significant way.
10:46:54 <fizzie> int-e: We made this for "the other DVCS": https://bitbucket.org/Google/narrowhg
10:47:05 <int-e> In any case, I want something simpler... just check out the latest version of a subdirectory on every push. It doesn't have to be a working directory; it's really a poor man's deployment mechanism.
10:47:53 <b_jonas> every directory in the checkout stores the setting of whether to download newly added files when you pull to the checkout, but you can't easily change this status with the interface without affecting the status of existing files in that dir, which may involve a lot of unnecessary downloading files; and if you exclude an external (submodule) from a partial checkout, I know of no way to later include it in that checkout so that svn knows about it without h
10:48:02 <b_jonas> \ and if you exclude an external (submodule) from a partial checkout, I know of no way to later include it in that checkout so that svn knows about it without having to recreate stuff unncessarily.
10:49:46 <b_jonas> I'm not very familiar with darcs and mercurial, luckily, but I think at least one of them has some support for partial clones too.
10:50:09 <int-e> fizzie: hg keeps rubbing me the wrong way... I can see that its foundations support what I need, but it's interface keeps working against my (git-influenced) intuition.
10:50:22 <int-e> s/it's/its/
10:50:28 <b_jonas> Obviously scapegoat is supposed to solve *all* the problems with dvcs, so as a special case it will support partial checkouts perfectly.
10:51:21 <int-e> darcs is *too* different... somehow, to me, software development produces a history, not a set of changes.
10:51:34 <b_jonas> I don't much like hg either, but I found that some of the bad things people used to say about it are either completely wrong or were true only in old versions, so I should perhaps give learning it another try later.
10:51:49 <b_jonas> I'll have to look at darcs too.
10:52:17 <b_jonas> I might have been wrong above though, because I think fossil has even less support for partial clones than git.
10:52:29 <int-e> (and of course I used darcs too early... it had some severe issues in its early versions)
10:53:23 <b_jonas> Currently I have darcs and mercurial and bazaar only because I wanted to download some software or other stuff that was on the net only as repositories.
10:53:42 <int-e> mostly performance issues, but once or twice it has messed up a repo so completely that I had to start over.
10:54:01 <b_jonas> int-e: yes, that's often the problem with some software. I think that's part of the reason why many people don't like svn: they used old versions of it back when it sucked.
10:54:43 <b_jonas> It's also why clang people don't like gcc, even though modern gcc is as good a compiler as clang is; and why tmux people don't like screen.
10:55:42 <b_jonas> int-e: if you have performance issues, then you probably need subversion, possibly git. I believe mercurial and darcs and fossil don't aim to provide much performance, either because it's not in their focus, or because they're young so it's not in their focus yet.
10:56:27 <b_jonas> Whereas the subversion guys have done a LOT for having great performance, provided you use recent enough versions of all of the client, the server, and the repository format (the latter two can be hard if you're not the sysadm who runs the server).
10:57:19 <b_jonas> Maybe in the future mercurial or darcs will have more performance, when they get as mature as subversion. I don't know.
10:57:57 <b_jonas> These are also things why you currently might want to use two different version control systems; one for the big stuff where you need performance, and one for the small stuff where you don't.
10:58:08 <b_jonas> It's not ideal, but we don't have the perfect vcs.
11:30:47 -!- Nithogg has quit (Ping timeout: 252 seconds).
11:32:46 <b_jonas> interesting
11:32:59 -!- boily has joined.
11:35:07 <b_jonas> John Baez defines Kolmogorov complexity in such a way that it differs only up to constant addition (not constant factor) depending on how you make arbitrary choices (like encoding programs): http://math.ucr.edu/home/baez/thermo/thermo_nopause.pdf (linked from https://johncarlosbaez.wordpress.com/2016/11/15/algorithmic-thermodynamics-part-3/ )
11:35:14 <ski> shachaf : the slides you mentioned (to Cale), <http://boole.stanford.edu/pub/PrattCDOOct2016.pdf>
11:35:14 <b_jonas> I didn't know people do that
12:20:39 -!- gniourf has quit (Ping timeout: 252 seconds).
12:21:02 -!- Phantom_Hoover has joined.
12:23:15 <boily> `wisdom
12:23:22 <HackEgo> theory//To be theory is to be like a theorem, but inferior.
12:23:42 -!- boily has quit (Quit: COAL CHICKEN).
12:31:42 <izalove> i need someone who can translate something from japanese for me https://imgur.com/gallery/xRGyC
12:33:51 -!- gniourf has joined.
13:39:52 -!- zgrep has joined.
13:42:35 -!- zgrep has left ("Meh. I'm in too many channels.").
13:43:17 -!- MoALTz has quit (Quit: Leaving).
13:43:17 -!- DHeadshot has joined.
13:59:45 -!- Nithogg has joined.
14:31:13 -!- Bowserinator has quit (Quit: Goodbye :().
14:31:26 -!- Bowserinator has joined.
14:38:52 -!- MoALTz has joined.
15:13:02 -!- LKoen has joined.
15:33:06 -!- oerjan has joined.
15:58:39 <HackEgo> [wiki] [[Special:Log/newusers]] create * Sygmei * New user account
16:01:44 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=50261&oldid=50217 * Sygmei * (+124)
16:01:56 <HackEgo> [wiki] [[Language list]] M https://esolangs.org/w/index.php?diff=50262&oldid=50254 * Sygmei * (+38)
16:02:01 -!- Bowserinator has quit (Changing host).
16:02:01 -!- Bowserinator has joined.
16:23:45 -!- Sprocklem has quit (Ping timeout: 252 seconds).
16:26:12 <oerjan> @tell hppavilion[1] <hppavilion[1]> So I don't have to go to each one to say "afk" <-- the only time i say "afk" is when i'm interrupting my ongoing conversation hth
16:26:12 <lambdabot> Consider it noted.
16:27:38 <b_jonas> `wisdom
16:27:39 <HackEgo> lie//Lies are even easier than monoids. They form groups, known as Lie groups.
16:27:44 <b_jonas> `wisdom
16:27:46 <HackEgo> ​`mk//Everything's better with `mk.
16:27:49 <b_jonas> `wisdom
16:27:50 <HackEgo> izabera//izabera is a bradyherpetologist. She is probably implemented in bash.
16:27:54 <b_jonas> `wisdom
16:27:56 <HackEgo> real fast nora's hair salon 3: shear disaster download//Real Fast Nora's Hair Salon 3: Shear Disaster Download is the most readable functional programming language out there.
16:28:04 <b_jonas> brady-herpetologist? what does brady mean?
16:28:06 <b_jonas> `? brady
16:28:07 <HackEgo> brady? ¯\(°​_o)/¯
16:28:21 <oerjan> slow, i think
16:28:30 <oerjan> @wn brady-
16:28:31 <lambdabot> No match for "brady-".
16:45:44 <b_jonas> um... does that mean he writes slow python scripts?
16:46:30 <izalove> she
16:47:13 <b_jonas> does that mean you write slow python scripts?
16:47:23 <izalove> there are no non slow python scripts
16:47:50 <oerjan> it is possible that was inspired by a particularly slow one.
16:48:46 <oerjan> `dowt izabera
16:48:49 <HackEgo> 6644:2016-02-08 <fizzïe> learn izabera is probably implemented in bash. \ 6645:2016-02-08 <boil̈y> learn izabera is a tachyherpetologist. They are probably implemented in bash. \ 6681:2016-02-09 <Elronn̈d> learn izabera izabera is a tachyherpetologist. They are probably implemented in zsh \ 6682:2016-02-09 <Elronn̈d> learn izabera is a tachyhe
16:49:38 <b_jonas> I think that's truncated
16:49:50 <izalove> what makes you think so
16:50:16 <HackEgo> [wiki] [[Kitanai]] N https://esolangs.org/w/index.php?oldid=50263 * Sygmei * (+863) Created page with "Kitanai is an interpreted esoteric language. The original interpreter is made with C++. (By the way, Kitanai means "dirty" in Japanese (Obviously refering to the language's s..."
16:50:23 <b_jonas> ``` dowt iza\bera | sed 1,3d
16:50:26 <HackEgo> 6682:2016-02-09 <Elronn̈d> learn izabera is a tachyherpetologist. They are probably implemented in zsh \ 6683:2016-02-09 <Elronn̈d> learn izabera is a tachyherpetologist. They are probably implemented in zsh. \ 6685:2016-02-10 <oerjän> ` sed -i \'s/zsh/bash/\' wisdom/izabera \ 6686:2016-02-10 <oerjän> ` sed -i \'s/They are/She is/\' wisdom/iz
16:50:49 <b_jonas> ``` dowt iza\bera | sed 1,6d
16:50:51 <HackEgo> 6686:2016-02-10 <oerjän> ` sed -i \'s/They are/She is/\' wisdom/izabera \ 6812:2016-02-10 <boil̈y> ` sed -i \'s/tachy/brady/\' wisdom/izabera
16:51:00 <oerjan> b_jonas: i was assuming the interesting edit was near the start anyway
16:51:16 <b_jonas> the brady one is right at the end
16:51:41 <oerjan> oh i didn't notice it was tachy
16:51:47 <b_jonas> `? calesyta
16:51:48 <HackEgo> calesyta? ¯\(°​_o)/¯
16:51:50 <oerjan> `dowg izabera
16:51:52 <HackEgo> 6812:2016-02-10 <boil̈y> ` sed -i \'s/tachy/brady/\' wisdom/izabera \ 6686:2016-02-10 <oerjän> ` sed -i \'s/They are/She is/\' wisdom/izabera \ 6685:2016-02-10 <oerjän> ` sed -i \'s/zsh/bash/\' wisdom/izabera \ 6683:2016-02-09 <Elronn̈d> learn izabera is a tachyherpetologist. They are probably implemented in zsh. \ 6682:2016-02-09 <Elronn̈d>
16:52:20 <oerjan> well, it was only two days later.
16:53:59 <oerjan> oh it was always meant to mean "slow"
16:54:19 <oerjan> but boily confused the prefixes
16:55:17 <b_jonas> https://en.wiktionary.org/wiki/brady-#English => seems right
17:02:25 <oerjan> `learn The hippothalamus is the brainiest animal.
17:02:28 <HackEgo> Learned 'hippothalamu': The hippothalamus is the brainiest animal.
17:03:04 <oerjan> oops
17:03:21 <oerjan> `` mv wisdom/hippothalamu{,s}
17:03:24 <HackEgo> No output.
17:03:40 <shachaf> `mkx bin/re-s//F="$(lastfiles)"; mv "${F}" "${F}s"
17:03:43 <HackEgo> bin/re-s
17:04:00 <oerjan> not only does shachaf obsess on me, he reads my mind too
17:04:58 <oerjan> i'm not sure that command name is memorable, though
17:05:21 <shachaf> agreed
17:05:24 <shachaf> feel free to rename it
17:05:26 <shachaf> and also test it
17:05:35 <shachaf> `re-s
17:05:37 <HackEgo> No output.
17:05:49 <oerjan> `cwlprits hippothalamus
17:05:50 <shachaf> hmm, it should also echo the name
17:05:51 <HackEgo> oerjän
17:06:09 <oerjan> i'm slightly worried about clobbering the original.
17:06:18 <oerjan> if it actually existed.
17:06:26 <shachaf> Right.
17:06:31 <shachaf> Should check for that.
17:06:48 <shachaf> `cat bin/re-ss
17:06:49 <HackEgo> F="$(lastfiles)"; mv "${F}" "${F}s"
17:07:02 <shachaf> `rm bin/re-ss
17:07:03 <HackEgo> No output.
17:08:55 <shachaf> OLD="$(lastfiles)"; NEW="${OLD}s"; if [ -f "$NEW" ]; then echo "«${NEW}» already exists"; exit 1; fi; mv "$OLD" "$NEW" && echo "«${OLD}» -> «${NEW}»"
17:09:07 <shachaf> Something like that?
17:09:57 <oerjan> yes, although maybe add an optional wisdom/"$1"
17:10:22 <oerjan> in case there are intervening edits
17:10:31 <shachaf> well, how about just adding "$1"
17:10:34 <shachaf> and then using rw-s
17:10:38 <shachaf> hth
17:10:51 <oerjan> but adding s only makes sense in wisdom.
17:11:27 <shachaf> imo that's a lack of creativity hth
17:12:11 <shachaf> Anyway, you should add that.
17:13:18 <shachaf> OLD="wisdom/$1"; [ -z "$1" ] && OLD="$(lastfiles)"; NEW="${OLD}s"; if [ -f "$NEW" ]; then echo "«${NEW}» already exists"; exit 1; fi; mv "$OLD" "$NEW" && echo "«${OLD}» -> «${NEW}»"
17:13:41 <shachaf> Then invent a good name for it, since you're possibly going to be the primary user.
17:18:03 <zzo38> Do you like "The next time a nontoken Aura dies this turn, you may cast it."?
17:18:06 <oerjan> actually i'm having trouble thinking of a better one.
17:19:09 <shachaf> Well, make sure it includes the letter w.
17:19:17 <oerjan> tru
17:19:30 <b_jonas> zzo38: definitely not. that lets you cast a card an opponent owns. that shouldn't normally happen.
17:19:57 <zzo38> You still have to pay the mana cost
17:19:59 <oerjan> `mkx bin/whoops//OLD="wisdom/$1"; [ -z "$1" ] && OLD="$(lastfiles)"; NEW="${OLD}s"; if [ -f "$NEW" ]; then echo "«${NEW}» already exists"; exit 1; fi; mv "$OLD" "$NEW" && echo "«${OLD}» -> «${NEW}»"
17:20:01 <HackEgo> bin/whoops
17:20:06 <zzo38> (and any other costs, if any)
17:20:15 <oerjan> a w, an s, that's the essentials, right
17:20:20 <b_jonas> zzo38: still
17:20:32 <oerjan> `culprits bin/whoops
17:20:34 <HackEgo> oerjän oerjän
17:20:36 <b_jonas> I don't think you should control cards on the stack that you don't own
17:20:41 <oerjan> `before
17:20:44 <HackEgo> bin/whoops//echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit \ we forgot to implement this command
17:21:04 <b_jonas> can that even happen currently?
17:21:08 <oerjan> what in the world was that
17:21:14 <b_jonas> I don't think it's an invariant I'd like to see broken
17:21:16 <oerjan> `doat bin/whoops
17:21:19 <HackEgo> 5338:2015-05-02 <oerjän> (cat bin/emptylist; echo \'we forgot to implement this command\') >bin/whoops; chmod +x bin/whoops \ 9708:2016-11-17 <oerjän> mkx bin/whoops//OLD="wisdom/$1"; [ -z "$1" ] && OLD="$(lastfiles)"; NEW="${OLD}s"; if [ -f "$NEW" ]; then echo "\xc2\xab${NEW}\xc2\xbb already exists"; exit 1; fi; mv "$OLD" "$NEW" && echo "\xc2\
17:21:39 <zzo38> I think there are some cards that can allow you to control objects on the stack that you do not own
17:21:43 <zzo38> Let me to check.
17:21:55 <oerjan> oh well, i don't think it was used much
17:22:02 <oerjan> `` rgrep whoops bin
17:22:10 <b_jonas> zzo38: objects, sure. I said card
17:22:11 <HackEgo> No output.
17:22:39 <zzo38> There are ones that do that to cards
17:22:47 <zzo38> For example, Aethersnatch
17:23:03 <shachaf> `` before bin/whoops | sed '1s#.*//##' | tee tmp/whoops; chmod +x tmp/whoops
17:23:06 <HackEgo> echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit \ we forgot to implement this command
17:23:12 <b_jonas> hmm
17:23:14 <shachaf> `tmp/whoops
17:23:15 <HackEgo> whoops: we forgot to implement this command
17:23:28 <shachaf> `tmp/whoops oerjan
17:23:30 <HackEgo> whoops oerjan: we forgot to implement this command
17:23:30 <b_jonas> you're right, they printed that recently
17:23:35 <shachaf> `rm tmp/whoops
17:23:36 <HackEgo> No output.
17:23:45 <b_jonas> maybe this break could be acceptible then
17:23:50 <b_jonas> though I still don't much like that effect
17:25:19 <oerjan> shachaf: it was only added because `whoops should exist, so it's probably okay to change it.
17:26:48 <oerjan> `whoops
17:26:51 <HackEgo> ​«bin/whoops» -> «bin/whoopss»
17:27:06 <oerjan> `` mv bin/whoops{s,}
17:27:09 <HackEgo> No output.
17:27:14 <oerjan> `whoops monad
17:27:14 <HackEgo> ​«wisdom/monads» already exists
17:27:21 <oerjan> `whoops testing
17:27:23 <HackEgo> ​«wisdom/testing» -> «wisdom/testings»
17:27:31 <oerjan> `revert
17:27:42 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
17:27:48 <oerjan> `before
17:27:51 <HackEgo> wisdom/testing wisdom/testings//wisdom/testing wisdom/testings: no such file in rev 620059368c7d
17:27:52 -!- Zarutian has joined.
17:28:04 <oerjan> VERY GOOD
17:28:11 <zzo38> Chancellor of the Spires allows you to cast cards owned by opponent (but you can avoid paying the mana cost).
17:29:20 <b_jonas> ok, so why doesn't http://magic.wizards.com/en/game-info/products/card-set-archive still not have the Conspiracy 2 set in it under "Casual Supplements"? Does that set not exist or something?
17:30:03 <b_jonas> its real name is probably "Conspiracy: Take the Crown"
17:30:39 <oerjan> `whoops arglebargle
17:30:40 <HackEgo> mv: cannot stat `wisdom/arglebargle': No such file or directory
17:32:10 <oerjan> . o O ( do conspiracy cards have misleadingly innocuous names )
17:36:13 <b_jonas> It also doesn't have "Welcome Decks 2016" but maybe that's just new
17:48:14 <b_jonas> correction: the page has Conspiracy 2 near the top under "Featured Releases". still doesn't have "Welcome Decks 2016", nor "Masterpiece Series: Kaladesh Inventions"
17:48:16 -!- DHeadshot has quit (Ping timeout: 260 seconds).
18:04:01 -!- hppavilion[1] has joined.
18:14:16 <hppavilion[1]> Existential Quantification: There exists some value x satisfying the predicate p- not that it matters in the grand scheme of things- which, when passed to the functio...
18:14:25 <hppavilion[1]> @messages-hubris
18:14:25 <lambdabot> Unknown command, try @list
18:14:29 <hppavilion[1]> @messages-proud
18:14:29 <lambdabot> oerjan said 1h 48m 16s ago: <hppavilion[1]> So I don't have to go to each one to say "afk" <-- the only time i say "afk" is when i'm interrupting my ongoing conversation hth
18:14:41 <hppavilion[1]> Ah
18:16:08 <oerjan> hppavilion[1]: but universal quantification is all that matters!
18:16:17 <hppavilion[1]> Sure.
18:18:31 -!- augur_ has joined.
18:21:12 -!- augur has quit (Ping timeout: 244 seconds).
18:22:03 <hppavilion[1]> oerjan: Given the immense size of the universe, it's reasonable to assume ¬∃!you
18:22:35 <oerjan> `unidecode ∃
18:22:41 <HackEgo> ​[U+2203 THERE EXISTS]
18:23:02 <shachaf> that's not how that quantifier works tdnh
18:23:13 -!- DHeadshot has joined.
18:23:43 <oerjan> surely there's only one way to interpret ∃!
18:23:55 <hppavilion[1]> shachaf: yes it is hth
18:24:32 <shachaf> `` mv bin/whoop{s,}
18:24:35 <HackEgo> No output.
18:24:55 -!- augur has joined.
18:25:05 <oerjan> `whoop
18:25:07 <HackEgo> mv: cannot stat `bin/whoop bin/whoops': No such file or directory
18:25:29 <oerjan> O_o
18:25:34 <oerjan> `cat bin/whoop
18:25:35 <HackEgo> OLD="wisdom/$1"; [ -z "$1" ] && OLD="$(lastfiles)"; NEW="${OLD}s"; if [ -f "$NEW" ]; then echo "«${NEW}» already exists"; exit 1; fi; mv "$OLD" "$NEW" && echo "«${OLD}» -> «${NEW}»"
18:25:46 <hppavilion[1]> Hm, ∃ quantifiers for "there exist finitely many", "there exist countably many", "forall but a finite number", "forall but countably many", "there exist uncountably many", "there exist infinitely many", etc.
18:25:51 <hppavilion[1]> I must see them.
18:26:00 <oerjan> `whoop ../bin/whoop
18:26:03 <HackEgo> ​«wisdom/../bin/whoop» -> «wisdom/../bin/whoops»
18:27:05 -!- augur_ has quit (Ping timeout: 265 seconds).
18:27:08 <oerjan> `? אrjan
18:27:10 <HackEgo> ​אrjan is oerjan's first uncountable twin. He's inconsistent with the ZFC axioms.
18:27:45 <hppavilion[1]> Nice
18:27:55 -!- LKoen has 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.”).
18:46:16 <alercah> overheard on wikipedia
18:46:23 <alercah> "L'Arc-en-Ciel" is a Japanese rock band
18:49:33 <shachaf> `5 w
18:49:41 <HackEgo> 1/3:o//o is a popular comedy adventure fantasy webcomic. It's about a group of adventurers, heroes or warriors (whatever you want to call them) called the Order of the Stick, as they go about their adventures with minimal competence or knowledge of what they are doing, and eventually sort of stumble into a plan by an undead sorcerer
18:49:54 <shachaf> `spam
18:49:55 <HackEgo> 2/3: to conquer the world, essentially, and they're out to stop him and conquer their personal problems at the same time. Hopefully not in that order, so they get their personal problems taken care of before the final battle. And it's a comedy. tmns//tmns makes no sense. \ olist//olist is update notification for the webcomic Order o
18:49:58 <shachaf> `spam
18:49:59 <HackEgo> 3/3:f the Stick. http://www.giantitp.com/comics/ootslatest.html \ kmc//kmc ran the International Devious Code Contest of 2013 \ cake//The Enrichment Center is required to remind you that you will be baked, and then there will be cake.
18:50:08 <shachaf> b_jonas: Is that description of "o" even accurate at this point?
18:50:13 <shachaf> `cwlprits o
18:50:15 <HackEgo> oerjän oerjän b_jonäs b_jonäs b_jonäs b_jonäs b_jonäs b_jonäs b_jonäs b_jonäs oerjan_nop̈e oerjan_nop̈e
18:50:18 <hppavilion[1]> Siddhartha is a pretty shitty book
18:50:19 <shachaf> whoa whoa whoa
18:50:23 <shachaf> `dowt o
18:50:25 <HackEgo> 5951:2015-08-31 <oerjan_nop̈e> learn_append os Also a municipality in Norway. \ 5952:2015-08-31 <oerjan_nop̈e> rm wisdom/o \ 7423:2016-04-17 <b_jonäs> learn o is a popular comedy adventure fantasy webcomic. It\'s about a group of adventurers, heroes or warriors (whatever you want to call them) called the Order of the Stick, as they go about the
18:50:49 <shachaf> Oh, it is b_jonas.
18:58:11 -!- Alcest has joined.
19:00:28 -!- wanderman has joined.
19:07:54 -!- DHeadshot has quit (Read error: Connection reset by peer).
19:08:21 -!- DHeadshot has joined.
19:14:49 -!- oerjan has quit (Quit: Later).
19:18:33 <hppavilion[1]> `? os
19:18:34 <HackEgo> Os is the accusative plural of us. Also a municipality in Norway.
19:19:06 <int-e> `grwp wizard
19:19:14 <HackEgo> Binary file reflection matches \ vampire:Vampires are a wizarding myth Professor Lupin invented to make students hate Professor Snape even more, after Professor Snape almost made the students realize he's a werewolf.
19:20:05 <shachaf> i,i mwnicipality
19:25:18 -!- otherbot has quit (Ping timeout: 246 seconds).
19:29:24 -!- otherbot has joined.
19:31:51 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
19:39:44 -!- Sprocklem has joined.
19:40:07 -!- otherbot has changed nick to OTHERBOT.
19:40:12 -!- wlp1s1 has changed nick to WLP1S1.
20:05:23 -!- WLP1S1 has changed nick to wlp1s1.
20:05:25 -!- OTHERBOT has changed nick to otherbot.
20:06:10 -!- wanderman has quit (Ping timeout: 265 seconds).
20:17:52 <zzo38> The ALT+ENTER to open in a new tab in Firefox becomes far more useful with the "relative location bar" feature that I have added in.
20:45:13 -!- hppavilion[1] has joined.
20:56:19 <HackEgo> [wiki] [[Shuffle]] https://esolangs.org/w/index.php?diff=50264&oldid=50241 * Enoua5 * (+90) Optimized loop. ADDED TRUTH MACHINE!
20:58:51 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
21:00:15 <shachaf> What is that feature?
21:01:26 <zzo38> That if something is typed into the location bar, it is treated as a relative URI (you can restore the old behaviour by prefixing it with a colon; this can be used to activate searches that are activated by keyword, for example).
21:02:42 <HackEgo> [wiki] [[Truth-machine]] M https://esolangs.org/w/index.php?diff=50265&oldid=50130 * Enoua5 * (+76) Added shuffle
21:02:59 -!- Zarutian has quit (Quit: Zarutian).
21:03:10 <zzo38> I have not seen any web browser with a "relative location bar" feature built-in, although I was able to add it to Firefox by using userChrome.js (there is no other extension that does this either).
21:06:04 <HackEgo> [wiki] [[Shuffle]] M https://esolangs.org/w/index.php?diff=50266&oldid=50264 * Enoua5 * (-85) finalized syntax
21:19:58 -!- hppavilion[1] has joined.
21:19:58 -!- harvey has joined.
21:24:01 -!- Zarutian has joined.
21:25:19 -!- DHeadshot has quit (Read error: Connection reset by peer).
21:25:24 -!- DHeadshot_ has joined.
21:35:37 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
21:46:35 <FireFly> zzo38: you can sorta do that with vimperator (and some other browsers with vim-like keybindings) where T opens the commandline with ":tabopen <current location>", so you can ^W the filename and write the name of another file in the same directory
21:51:35 <zzo38> That still isn't quite it; you will still need to erase part of the text and modify it. With what I did you can just push CTRL+L and then if you type something directly it will replace what is already there.
22:13:14 -!- sewilton has joined.
22:13:21 -!- The_Prospector|2 has quit (Quit: when in doubt, kernel panic).
22:16:50 <Zarutian> I have never understood this vim fetish
22:17:12 <izalove> ^ emacs user
22:24:22 <Phantom_Hoover> vim seems like it makes editing text very fun
22:24:35 <Phantom_Hoover> but objectively less efficient
22:25:45 <Phantom_Hoover> i mean it's not like you spend much time when programming being held up by the complexities of line editing
22:27:20 -!- Sprocklem has quit (Ping timeout: 260 seconds).
22:28:41 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:33:50 -!- augur_ has joined.
22:35:10 <Taneb> Phantom_Hoover, I've heard that vim is one of those things that's awful until you're suddenly amazing at it
22:35:23 <Taneb> Whereupon it is basically magic
22:35:48 <izalove> you can program with a keyboard with a different layout
22:36:06 <izalove> but you're much more proficient with your qwerty or dvorak or whatever you're used to
22:36:25 <Phantom_Hoover> Taneb, yes but i think that's just the fun of proficiency
22:36:32 -!- DHeadshot has joined.
22:37:06 -!- DHeadshot_ has quit (Ping timeout: 246 seconds).
22:37:14 -!- augur has quit (Ping timeout: 250 seconds).
22:37:16 <Taneb> I mean to say, its learning curve has a higher degree of polynomial than other text editors
22:37:42 <Taneb> (I use emacs, fwiw)
22:38:04 <Phantom_Hoover> at the end of the day i think the entire world except vim and emacs has converged on the same conventions for basic text editing conventions because they work, unobtrusively, and the alternatives have no objective advantage
22:38:12 <Phantom_Hoover> much like qwerty vs. dvorak
22:39:50 <Phantom_Hoover> there's the adage that code is read far, far more often than it's written, after all
22:40:12 <izalove> vim can read
22:40:34 <Phantom_Hoover> sure but it's not any better at it
22:40:49 <izalove> disagree
22:40:59 <Phantom_Hoover> arguably it's worse because its plugin/integrated IDE ecosystem is shit, from what i've heard
22:41:06 <izalove> what?
22:41:23 <Phantom_Hoover> well, i won't argue that point. i don't know that much about it
22:42:25 <Phantom_Hoover> what i do know is that apple did studies on user interface design in the 80s which found that mouse-based interfaces are objectively faster than keyboard-based ones, but users consistently report the opposite
22:42:48 <Phantom_Hoover> people are absolutely terrible at estimating how efficiently they use an interface
22:43:47 <Phantom_Hoover> and vim is the ultimate keyboard interface
22:43:51 <izalove> maybe apple is terrible at estimating efficiency
22:44:26 <Phantom_Hoover> you have any evidence otherwise?
22:48:56 <Zarutian> izalove: nope I use pico
22:49:59 <Zarutian> izalove: yep I usually use standard IS QWERTY and require 111 key (or more) keyboard.
22:51:56 <Zarutian> the only 'IDE' I found worth using is the one in SmallTalk80 or Squeak.
22:52:23 <Zarutian> otherwise I just use notepad++ or similiar syntax highlighting editor
22:52:52 <Phantom_Hoover> yeah i gave up on emacs and just went with kate a while ago
22:53:44 -!- The_Prospector has joined.
22:57:39 <zzo38> I use vim
22:57:51 <zzo38> (with syntax highlighting and some other features disabled, though)
22:59:26 <FreeFull> I use kakoune
22:59:34 <FreeFull> Which is like vim but better :)
23:00:30 <myname> lol.
23:04:50 <myname> omg, it has an old mso like helper? that's awesome
23:06:20 -!- boily has joined.
23:11:18 <boily> `wisdom
23:11:39 <HackEgo> ascii//ascii is the plural of ascius
23:12:50 <boily> I think amongst live languages Finnish has the weirdest plurals out there.
23:13:41 <Zarutian> boily: can you explain?
23:14:03 <sdhand> Taneb: I'm dreadful at vim and it's sort of *ok*
23:14:11 <sdhand> it hardly boosts my productivity though
23:14:26 <sdhand> learning vim is one of the things I should really sit down and do over a weekend, but I never do
23:15:02 <boily> Zarutian: Zarutellon. https://en.wikipedia.org/wiki/Partitive_plural
23:15:24 <Zarutian> and what is that?
23:15:24 <boily> sdhand: sdhellond. vim organically grows on you.
23:15:34 * Zarutian has seen too many wikisalted articles in his time
23:15:49 <boily> fungot: wikisalted?
23:15:49 <fungot> boily: as i thought! i knew his tale could be nothing else than the divine fnord, the ancient ones had aided his spell. still guided by instinct and blind determination, he floated forward and through the doorway and edging past the body, i loved the dead that gave me life!
23:15:54 <Zarutian> boily: vim: yeah like foot fungus.
23:16:08 <FreeFull> boily: Interesting
23:16:12 <boily> good tasting fungus. you can make a delicious broth with mushrooms!
23:16:24 <FreeFull> boily: Does it exist in any languages besides Finnish?
23:16:26 <myname> FreeFull: why does it break vims gj/gk?
23:16:32 <sdhand> boily: it appears to be growing quite slowly
23:16:41 <FreeFull> myname: What do those do in vim?
23:16:55 <Zarutian> boily: with that kind of broth you will see karmic accountants in tutus doing tensor calculations where they are the indexes.
23:16:56 <boily> sdhand: I once ate lichen in China at a restaurant. it was... interesting...
23:17:01 <FreeFull> Oh, moves the display without moving the cursor?
23:17:02 <myname> if you have wrapped lines, it will navigate through these wrapped lines
23:17:06 <FreeFull> Oh
23:17:18 <FreeFull> myname: Well, kakoune doesn't currently support soft wrapping anyway
23:17:26 <myname> ah
23:17:26 <boily> Zarutian: I haven't had to use tensors yet in anything.
23:17:35 * boily knocks on wood
23:17:35 <myname> that's kind of annoying tbh
23:17:46 <Zarutian> boily: was it served on a stone? so you ate an lichen stein dish?
23:18:10 <FreeFull> myname: I find gj/gk for go to start/end more intuitive than gg/G anyway
23:18:16 <sdhand> boily: is that cooked in any way?
23:18:20 <FreeFull> And it's not the only keybinding that differs
23:18:34 <boily> Zarutian: afair, it was sautéed with random stuff that Chinese dishes are sautéed with.
23:18:46 <myname> FreeFull: well yeah, but softwrapping is nice for stuff like latex imho
23:18:57 <FreeFull> Also gh/gl instead of ^$
23:18:59 <boily> sdhand: yup. there were pictures in the menu, and we were wondering if that was lichen. so we ordered it, and it was.
23:19:13 <Zarutian> boily: my rule of thumb: try to identify half of the stuff in the dishes you eat.
23:19:20 <myname> you could use 0 ubstead of ^
23:20:20 <boily> Zarutian: everything I ever ate in China eventually got identified. I can't say that for Japan.
23:20:30 <FreeFull> One thing that's missing that I do mind is the * and + registers
23:24:51 <Zarutian> isnt crazy always written with an z before the y?
23:25:14 <Zarutian> I am mainly wondering about it when I see compound words such as beurocrazy and such
23:32:01 <izalove> my father is dating the daughter of my high school french teacher
23:33:10 <izalove> she's 19 years younger than him
23:33:20 <izalove> this makes me feel unconfortable
23:33:31 <fizzie> A "beurocrazy" is a British person who's enthusiastic about the European Union, right?
23:34:07 <FreeFull> I can't think of any words that have a "yz" in them, besides "xyzzy"
23:34:22 <fizzie> FreeFull: syzygy.
23:34:28 <boily> a "bureaucrazy" is a psychotic American working at a federal agency.
23:34:30 <FreeFull> Ok, that's one
23:34:31 <Zarutian> izelove: is your father prone to go elaborate lengths to make you uncomfortable?
23:34:35 <FreeFull> Lemme grep /usr/share/dict/words
23:34:52 <fizzie> FreeFull: Turns out it's actually pretty common.
23:34:58 <Zarutian> fizzie: could be, now I see my misspelling
23:34:59 <fizzie> E.g. "analyze".
23:35:11 <Zarutian> fizzie: basically the antipode of brexiter
23:35:51 <Zarutian> fizze: what does the suffix -yza mean?
23:36:06 <Zarutian> -yze*
23:36:20 <FreeFull> fizzie: Oh, that's spelled "analyse" over here
23:36:39 <fizzie> FreeFull: Yeah, you have to be American for most of the 'yz' words in my /usr/share/dict/words.
23:37:15 <fizzie> Byzantine might count, unless it's too proper-nouny.
23:37:15 <FreeFull> "Breathalyzer", variations of "Byzantine" and "Kyrgyzstan" are the only results in mine
23:37:53 <fizzie> No syzygy either.
23:37:56 <fizzie> @wn syzygy
23:37:58 <lambdabot> *** "syzygy" wn "WordNet (r) 3.0 (2006)"
23:37:58 <lambdabot> syzygy
23:37:58 <lambdabot> n 1: the straight line configuration of 3 celestial bodies (as
23:37:58 <lambdabot> the sun and earth and moon) in a gravitational system
23:38:05 <fizzie> At least WordNet knows it.
23:38:22 <FreeFull> /usr/share/dict/words is the basic dictionary, maybe it's in an extended one
23:38:54 <fizzie> WordNet also knows of kok-saghyz, but...
23:39:04 <Zarutian> comceptualize should be the newest buzz word de jure, no?
23:39:12 <fizzie> @wn kok-saghyz
23:39:14 <lambdabot> *** "kok-saghyz" wn "WordNet (r) 3.0 (2006)"
23:39:14 <lambdabot> kok-saghyz
23:39:14 <lambdabot> n 1: perennial dandelion native to Kazakhstan cultivated for its
23:39:14 <lambdabot> fleshy roots that have high rubber content [syn: {Russian
23:39:14 <lambdabot> dandelion}, {kok-saghyz}, {kok-sagyz}, {Taraxacum kok-
23:39:16 <lambdabot> saghyz}]
23:39:43 <Zarutian> fizzie: is it used like an rubber too?
23:39:58 <fizzie> All I know is that entry.
23:40:26 <FreeFull> There definitely are a bunch of "uz" words, probably
23:40:27 <Zarutian> 'rubb'er'roo't'
23:40:43 <FreeFull> uzi, vuvuzela, buzz
23:41:01 <FreeFull> Definitely probably
23:41:22 <FreeFull> Yeah
23:41:43 <fizzie> And "scuzzy", which you always use as an example on how to pronounce SCSI.
23:41:57 <fizzie> ""Scuzzy" redirects here. For the historic sternwheeler known by that name, see Skuzzy (sternwheeler)."
23:42:04 <Zarutian> FreeFull: oh, I remember vuvuzelas and how their buzzing drone were so much delight to football haters everywhere.
23:42:13 <fizzie> FreeFull: Anyway, puzzle.
23:42:24 <Zarutian> SCSI is pronounced "Skussi" in Icelandic
23:42:26 <FreeFull> fizzie: "Anyway" doesn't contain "uz"
23:42:39 <Zarutian> which means someone who is a willfull dounce
23:43:35 <fizzie> In Finnish it's often /skɑsi/.
23:45:28 <Zarutian> fizzie: is it like skass? (Which is basically an uncouth (usually ugly) woman)?
23:45:46 -!- hppavilion[1] has joined.
23:46:29 <FreeFull> I'm Polish, but I'm not sure how SCSI would be pronounced
23:46:42 <fizzie> It doesn't really mean anything in Finnish, though if you say it fast, maybe people will parse it as a contraction of 'sekaisin' "in disorder, in confusion, upside down; baffled, bewildered, confused, perplexed; upset (of a stomach)". (Which turns into "sekasin" more often than not in colloquial speech anyway.)
23:46:53 <FreeFull> I don't think I've heard anyone say SCSI out loud
23:47:46 <fizzie> FreeFull: I think the idea is, if you spell it out you reveal yourself to be not savvy.
23:48:17 <hppavilion[1]> What would an ASCIUS be?
23:48:21 <fizzie> You're supposed to use something like scuzzy, to show that you're part of the cool kids.
23:48:33 <FreeFull> fizzie: Same with how SQL you're supposed to say sequel?
23:48:56 <FreeFull> But what is it a sequel to?!?!?
23:48:57 <fizzie> Yeah.
23:49:07 <fizzie> "Almost a full day was devoted to agreeing to name the standard "Small Computer System Interface", which Boucher intended to be pronounced "sexy", but ENDL's[6] Dal Allan pronounced the new acronym as "scuzzy" and that stuck.[4]"
23:49:07 -!- oerjan has joined.
23:49:18 <fizzie> I think that was for the best.
23:50:01 <Zarutian> FreeFull: exactly my first thought when I heard the name
23:50:16 <hppavilion[1]> fizzie: Yeah, only things related to the number 6 can be sexy
23:50:56 <hppavilion[1]> I don't even know what SCSI
23:50:58 <fizzie> FreeFull: To be fair, it was written "SEQUEL" originally.
23:50:59 <hppavilion[1]> is
23:51:06 <Zarutian> hppavilion[1]: like the number itself: sex (this is how it is written and said in Icelandic, kid you not)
23:51:06 <hppavilion[1]> *+"*+"
23:51:13 <fizzie> Or you could even say SQL is a sequel to SEQUEL.
23:51:14 <hppavilion[1]> Zarutian: Also german
23:51:20 <oerjan> also latin
23:51:37 <hppavilion[1]> fizzie: SQL comes after OGNL hth
23:51:49 <hppavilion[1]> Which is based on the superior language THBK
23:51:49 <oerjan> also swedish iirc
23:51:51 <FreeFull> fizzie: I didn't know that
23:52:06 <Zarutian> hppavilion[1]: an Icelandic example: Hversu mikið ætli mörgæsir á Suðurskautslandinu driti á ári hverju?
23:52:17 <oerjan> (but not norwegian, we use ks pretty consistently)
23:52:38 <hppavilion[1]> Zarutian: Mmmm, eð...
23:53:02 <Zarutian> oerjan: er dat satt hvad dem siger om de dansk?
23:53:34 <Zarutian> hppavilion[1]: a propper letter an not an currency symbol
23:53:40 <myname> hppavilion[1]: you are wrong
23:53:47 <myname> 6 in german is sechs
23:53:50 <hppavilion[1]> myname: About??
23:54:00 <hppavilion[1]> myname: Wait, is the "ch" a [x]?
23:54:19 <hppavilion[1]> myname: I know it isn't spelled the same, but it sounds the same from what I've heard
23:54:22 <Zarutian> myname: Oh, yeah that is true. One of Alitas battle bots is names Sechs.
23:54:24 <hppavilion[1]> myname: Which is what I was getting at
23:54:30 <myname> hppavilion[1]: yeah, but sechs is pronounced differently than sex
23:54:38 <myname> sex as a sharp s, sechs does not
23:54:41 <Zarutian> myname: primarly because it was the sixth to be made
23:54:48 <hppavilion[1]> myname: Is the difference just the [z] at the beginning or...
23:55:00 <hppavilion[1]> myname: OK, this would be a REALLY good time for you to know IPA
23:55:24 <oerjan> Zarutian: please be more specific, also i suspect you mean "sant"
23:55:49 <myname> hppavilion[1]: you may look it up somewhere
23:56:06 <Zarutian> oerjan: basically the norsk word for true
23:56:30 <hppavilion[1]> myname: Is your point that the initial sound in 'sechs' is a [z] rather than an [s]?
23:57:36 <myname> if [z] is the sound in bulldozer, yes
23:57:49 <hppavilion[1]> myname: OK
23:58:56 <FreeFull> Get this: In Polish, the letters u and ó are pronounced exactly the same
23:59:03 <FreeFull> They are distinct only for grammatical reasons
23:59:54 <FreeFull> Also "ch" and "h" are pronounced the same too
←2016-11-16 2016-11-17 2016-11-18→ ↑2016 ↑all