00:04:35 -!- oerjan has joined.
00:08:11 <HackEgo> #!/bin/bash \ tr A-Z a-z | LANG=en_NZ.UTF-8 sed 'y/ØÅÆŒÞÐÄÖÜÁÉÍÓÚÝ/øåæœþðäöüáéíóúý/'
00:08:36 <oerjan> hppavilion[1]: i think you are misinterpreting why it's slow hth
00:09:14 <shachaf> i,i lowercase2 = 2 . lowercase
00:09:22 <oerjan> `sled bin/lowercase2//s,tr,print_args_or_input "$@" | tr/
00:09:23 <HackEgo> /bin/sed: -e expression #1, char 35: unterminated `s' command
00:09:29 <oerjan> `sled bin/lowercase2//s,tr,print_args_or_input "$@" | tr,
00:09:31 <HackEgo> bin/lowercase2//#!/bin/bash \ print_args_or_input "$@" | tr A-Z a-z | LANG=en_NZ.UTF-8 sed 'y/ØÅÆŒÞÐÄÖÜÁÉÍÓÚÝ/øåæœþðäöüáéíóúý/'
00:10:23 <oerjan> hppavilion[1]: it was slow because it was trying to read from HackEgo's stdin, which never gets anything and causes a slow timeout.
00:10:27 -!- tromp has joined.
00:11:12 <oerjan> basically, unless you use the print_arges_or_input trick, command line arguments don't get passed into stdin of the command.
00:11:42 <HackEgo> oerjän oerjän hppavilion̈1 hppavilion̈1 hppavilion̈1 hppavilion̈1 hppavilion̈1 hppavilion̈1 hppavilion̈1 hppavilion̈1 hppavilion̈1
00:12:00 <shachaf> Imagine if all shaventions disappeared from bin/
00:12:19 <oerjan> fizzie: i've been wondering if it'd be a good idea to replace that top HackEgo stdin with /dev/null to avoid those timeouts.
00:14:42 <oerjan> (when people accidentally give HackEgo a command that reads from its stdin)
00:15:18 <shachaf> everyone's shannovating now
00:16:12 <oerjan> hppavilion[1]: also, tr doesn't understand unicode, that's why we use sed y///
00:17:01 -!- Lord_of_Life has quit (Excess Flood).
00:17:01 <shachaf> I'm not sure why the #esoteric encoding is en_NZ.UTF-8
00:17:05 <hppavilion[1]> oerjan: Technically, you used sed s/// in classical ‹lowercase›
00:17:06 <shachaf> Isn't UTF-8 a little mainstream?
00:17:38 <oerjan> shachaf: because people were complaining that HackEgo used LANG=C and then Gregor was being funny when fixing it hth
00:18:26 <hppavilion[1]> Hm, what do you call an intentional typo? "typo" is short for "typographical error"
00:18:28 <oerjan> hppavilion[1]: yeah for original lowercase i still didn't know that sed y/// understood unicode
00:18:38 <shachaf> oerjan: But why not use UCS-2.625?
00:18:46 <HackEgo> #!/bin/bash \ print_args_or_input "$@" | tr A-Z a-z | LANG=en_NZ.UTF-8 sed 'y/ØÅÆŒÞÐÄÖÜÁÉÍÓÚÝ/øåæœþðäöüáéíóúý/'
00:18:50 <oerjan> i have no idea what that is.
00:19:17 <HackEgo> bin/print_args_or_input \ bin/shebang_args_or_input
00:19:25 <shachaf> The thing where you put three 21-bit code points into a 64-bit word.
00:19:29 -!- Lord_of_Life has joined.
00:19:29 <shachaf> With one extra bit left over.
00:19:33 <oerjan> the shebang version is useful for perl and python scripts
00:24:01 <oerjan> i didn't add those to original lowercase because it's meant only for internal use in other commands.
00:24:40 <oerjan> (wait, maybe HackEgo's stdin should run print_args_or_input :P)
00:24:52 -!- shachaf has set topic: Wanted: long-lived topic | The short exact geometry channel | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | For extensive phở testing, use #esoteric-blah.
00:26:11 <oerjan> shachaf: an epic topic
00:26:57 <shachaf> oerjan: there's a kernel of truth to that
00:28:45 <shachaf> What do you think of image, kernel, coimage, cokernel?
00:28:53 <shachaf> I always forget which is which.
00:28:57 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
00:29:25 <oerjan> i have not dealed much with the co- versions.
00:29:41 <shachaf> I guess the coimage is isomorphic to the image?
00:30:15 <shachaf> i,i http://slbkbs.org/out.svg
00:30:55 <shachaf> That thing is the first isomorphism theorem for functions, I guess.
00:30:58 <oerjan> is that real category theory or a mensa test
00:31:12 <shachaf> I don't think there's much category theory there.
00:31:19 <shachaf> The thing at the top is a function.
00:32:01 <shachaf> But you can decompose it into three steps -- identify, rename, adjoin
00:32:20 <shachaf> Which are a surjection, a bijection, and an injection, respectively.
00:32:58 <shachaf> The second set on the second row is the coimage, which is isomorphic to the image (the third set).
00:33:07 <oerjan> was just going to ask that
00:33:46 <shachaf> The last two rows are about antifunctions, which are arrows in Set^op
00:34:28 <shachaf> An antifunction can be factored into three steps too -- Pratt calls them delete, rename, copy
00:34:49 <oerjan> ok so the kernel is the element of the coimage that contains 0, i guess.
00:35:08 <oerjan> (thinking about modules)
00:35:32 <oerjan> but i still don't know what a cokernel is.
00:35:45 <shachaf> I guess in the context of sets you have https://en.wikipedia.org/wiki/Kernel_(set_theory)
00:36:22 <oerjan> oh right, that applies to universal algebras iirc
00:36:24 <shachaf> Which says that the kernel is an equivalence relation, and the coimage is what you get by quotienting by that relation?
00:37:28 <oerjan> and only for thinks including a group (or possibly something more general) can you identify the kernel with the class of a particular element
00:38:27 <shachaf> anyway this all ties into chu spaces hth
00:41:53 <shachaf> you don't like the stone gamut?
00:43:08 <oerjan> well, mostly i've forgotten it, although the name rings a bell.
00:43:38 <shachaf> http://boole.stanford.edu/pub/gamut.pdf
00:44:04 <oerjan> i got away with a vague feeling its importance was overblown.
00:45:27 <shachaf> how about the stoned gamut
00:46:23 <oerjan> i can't remember that at all, so i must have been really stoned hth
00:46:49 * oerjan has never been stoned that he can recall.
00:52:09 <oerjan> <Zarutian> one question I have and I do not know where else to ask <-- you should look up total programming and corecursion, that's almost what you ask except with "structural" recursion instead of primitive.
00:53:49 <oerjan> (primitive recursion is basically structural recursion applied only to natural numbers)
00:56:38 -!- dingbat has left.
00:56:42 -!- dingbat has joined.
01:10:20 <hppavilion[1]> I may have gone overboard designing the new y-replacement for lowercase2
01:10:32 <hppavilion[1]> ...I have this: y/ÁĂǍÂÄÀȀȂĀĄÅÃǞǺǠÆǼǢĆČĈÇƇĊĎĐÐÉĔĚÊËÈȄȆĒĘĖƑǴĞǦĢĜĠǤĤĦÍĬǏÎÏÌȈȊĪĮĨIJĴǨĶƘĹĽĻĿŁŃŇŅǸÑŊÓŐŎǑÔÖÒȌƠȎŌǪØÕǬǾŒƤŔŘŖȐȒŚŠŞŜŤƬŢŦÞÚŰŬǓÛÜÙƯŪŲŮŨǗǙǕǛŴÝŶŸƳŹŽŻƵƸǮƧƼƄ/áăâǎäàȁȃāąåãǟǻǡæǽǣćčĉçƈċďđðéĕěêëèȅȇēėęƒǵğǧģĝġǥĥħíĭǐîïìȉȋīįĩijĵǩķƙĺľļŀłńňņǹñ
01:10:32 <hppavilion[1]> ŋóőŏǒôöòȍơȏōǫøõǭǿœƥŕřŗȑȓśšşŝťƭţŧþúűŭǔûüùưūųůũǘǚǖǜŵýŷÿƴźžżƶƹǯƨƽƅ/
01:11:08 <hppavilion[1]> Unicode aims to have all characters from all languages. Turns out there are a *lot* of languages.
01:11:56 <shachaf> and people here claim sed supports unicode?
01:12:02 <shachaf> p. sure it only supports regular languages hth
01:26:58 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
01:27:51 <oerjan> i claimed tr _doesn't_.
01:28:00 <oerjan> even more so than sed.
01:31:19 <oerjan> hm at some point the esolang wiki seems to have started adding pages i edit to my watchlist by default. which means my watchlist is now even more meaningless than it used to be.
01:33:20 <HackEgo> [wiki] [[Tag]] https://esolangs.org/w/index.php?diff=51383&oldid=41457 * Oerjan * (+27) /* External resources */ Update link. Alas the link to the Haskell impl wasn't updated in the new site, and has not been archived.
01:33:44 -!- boily has joined.
01:34:21 -!- MDude has joined.
01:37:09 * oerjan fixes his preferences, clears the watchlist and adds back a handful
01:37:24 <oerjan> not that i ever look at it, but it's the principle of the thing...
01:37:36 <HackEgo> Your omnipotent local tyrant oerjan the excessive is a lazy expert in mercury computation. Also a Glaswede who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
01:37:54 <shachaf> `slwrjan s.local.principled.
01:37:54 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: slwrjan: not found
01:37:59 <shachaf> I thought I renamed it back.
01:38:03 <shachaf> `swrjan s.local.principled.
01:38:05 <HackEgo> oerjan//Your omnipotent principled tyrant oerjan the excessive is a lazy expert in mercury computation. Also a Glaswede who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
01:38:50 <boily> bonshachafoir. do you keep track how many times you've oerjanned?
01:39:56 <shachaf> `` cwlprits oerjan | sed 'sg g\ngg' | sort | uniq -c | sort -rn
01:40:05 <HackEgo> 85 shachäf \ 34 oerjän \ 8 boil̈y \ 5 noloveinwaikik̈i \ 1 nitïa \ 1 int-̈e \ 1 hppavilion[1̈]
01:40:43 <shachaf> `` cwlprits shachaf | sed sg\ g\ngg | sort | uniq -c | sort -rn
01:40:51 <HackEgo> 1 boil̈ynoerjännshachäfnboil̈ynshachäfnElronn̈dnElronn̈dnshachäfnoerjännoerjännmrhmous̈enmrhmous̈enoerjännoerjännellioẗtnnitïa
01:41:08 <shachaf> `` cwlprits shachaf | sed sg\ g\\ngg | sort | uniq -c | sort -rn
01:41:16 <HackEgo> 5 oerjän \ 3 shachäf \ 2 mrhmous̈e \ 2 Elronn̈d \ 2 boil̈y \ 1 nitïa \ 1 ellioẗt
01:41:38 <shachaf> `` cwlprits | sed sg\ g\\ngg | sort | uniq -c | sort -rn
01:41:45 <HackEgo> 1373 oerjän \ 541 shachäf \ 266 b_jonäs \ 261 boil̈y \ 161 int-̈e \ 134 hppavilion[1̈] \ 96 tsweẗt \ 64 mromän \ 57 Tanëb \ 52 ellioẗt \ 47 Zarutiän \ 38 GreyKnigḧt \ 34 Phantom_Hoovër \ 32 mroman̈_ \ 30 Jafët \ 28 fizzïe \ 27 Rouj̈o \
01:42:09 <shachaf> `` culprits | sed sg\ g\\ngg | sort | uniq -c | sort -rn
01:42:13 <HackEgo> 2920 oerjän \ 1171 shachäf \ 609 ellioẗt \ 384 b_jonäs \ 357 boil̈y \ 341 hppavilion[1̈] \ 281 fizzïe \ 251 int-̈e \ 220 tsweẗt \ 197 Jafët \ 197 ais52̈3 \ 177 GreyKnigḧt \ 165 km̈c \ 144 zgrëp \ 144 Tanëb \ 138 Rouj̈o \ 107 moon̈_ \ 105 mromän \
01:42:55 <HackEgo> 1/5:dark water:Dark water is an instadeath terrain type in Game Boy games that would represent lava if you had lots of imagination. \ hackego:HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no
01:43:17 <boily> what was the command for continuation again?
01:43:33 <int-e> `cwlprits dark water
01:45:28 <boily> b_jonas has the informativest wisdoms.
01:45:53 <HackEgo> `spam <n> prints the nth output piece of the previous `1, `2, `5, sport or spore command. n defaults to the next piece to display. Abbreviation: `n.
01:49:05 <HackEgo> αλτγρ+γ//αλτγρ+γ is the national dead pastry of Greece. Goes great with a glass of ouzo!
01:49:41 <HackEgo> cmd="${1-quote}"; for i in {1..5}; do \` "$cmd"; done | sport
01:49:53 <boily> had handmade soviet donuts yesterday morning. they were good, but overhyped.
01:51:20 -!- boily has quit (Quit: FIREBALL CHICKEN).
01:53:23 <shachaf> `mkx bin/`^//[[ $# == 2 ]] || { echo "Usage: `^ n cmd" >&2; exit 2; }; for ((i=0; i <= $1; i++)); do \` "$2"; done
01:53:40 <HackEgo> /hackenv/bin/`^: line 1: unexpected EOF while looking for matching ``' \ /hackenv/bin/`^: line 2: syntax error: unexpected end of file
01:53:57 <shachaf> `mkx bin/`^//[[ $# == 2 ]] || { echo "Usage: $0 n cmd" >&2; exit 2; }; for ((i=0; i <= $1; i++)); do \` "$2"; done
01:54:13 <shachaf> `mkx bin/`^//[[ $# == 2 ]] || { echo "Usage: $0 n cmd" >&2; exit 2; }; for ((i=0; i < $1; i++)); do \` "$2"; done
01:54:48 <shachaf> `mkx bin/5//cmd="${1-quote}"; \`^ 5 "$cmd"
01:54:59 <shachaf> `mkx bin/4//cmd="${1-quote}"; \`^ 5 "$cmd"
01:55:06 <shachaf> `mkx bin/4//cmd="${1-quote}"; \`^ 4 "$cmd"
01:55:11 <shachaf> Making a bit of a mess today.
01:55:13 <HackEgo> 679) <shachaf> elliott: Anyway, if you wrote a Haskell book, I would read it and possibly provide classical criticism. <shachaf> That is to say, non-constructive. \ 48) <Madelon> both of you, quit it with the f-bombs. <Madelon> kaelis: what's the matter? something censoring stuff you're interested in? \ 1024) <Bike> i think we need more clever we
01:55:38 <shachaf> `mkx bin/`^//[[ $# == 2 ]] || { echo "Usage: $0 n cmd" >&2; exit 2; }; for ((i=0; i < $1; i++)); do \` "$2"; done | sport
01:55:45 <shachaf> Maybe I should call it 1^ but that would be too confusing.
01:55:50 <HackEgo> 1/2:hacker//Jim Hacker is a former British prime minister. \ gotton//gotton is a quantum of attention. Solain drives the packet. \ taiwan//Taiwan is a country of which the United Nations denies the existence, just like Macedonia is. \ pcp//PCP refers to probably cyclidine proofs. It is precipitously illogical in many places, but research
01:55:54 <HackEgo> 2/2:has shown that PCP is, surprisingly, No Problem.
02:00:42 <oerjan> `^ is a pretty scow name
02:00:43 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^: not found
02:01:24 <oerjan> especially for a command that doesn't work as a HackEgo top command
02:01:39 <shachaf> It's just ` to the power of n
02:01:45 <shachaf> feel free to rename it hth
02:10:35 -!- Zarutian has quit (Quit: Zarutian).
02:49:35 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
03:02:19 -!- hppavilion[1] has joined.
03:03:51 -!- xkapastel has quit (Quit: Connection closed for inactivity).
03:25:09 <hppavilion[1]> The "A Man's Right to Know Act" initially sounds terrible, but on examination, is not entirely so.
03:39:57 -!- tromp has quit (Remote host closed the connection).
03:40:13 * pikhq is very opiate today
03:43:09 -!- tromp has joined.
04:19:41 -!- oerjan has quit (Quit: Nite).
04:31:53 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
05:17:04 -!- hppavilion[1] has joined.
05:32:44 -!- tromp has quit (Remote host closed the connection).
05:58:48 -!- ahmedsfhtagn has joined.
06:09:31 <shachaf> int-e: Would you like to add http://hackage.haskell.org/package/nonfree to lambdabot?
06:33:47 -!- tromp has joined.
06:38:20 -!- tromp has quit (Ping timeout: 246 seconds).
07:22:57 -!- martinhez has joined.
07:27:37 <fizzie> @tell oerjan I could replace HackEgo
07:27:54 <fizzie> @tell oerjan 's stdin with the output from 'fortune', that's what one other bot does.
07:28:17 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
07:33:31 <zzo38> I think it would mess up the existing program
07:56:28 -!- sebbu2 has joined.
07:59:32 -!- sebbu has quit (Ping timeout: 246 seconds).
08:03:30 -!- sebbu2 has quit (Ping timeout: 268 seconds).
08:25:49 <HackEgo> BOFH excuse #270: \ \ Someone has messed up the kernel pointers
08:26:39 <rdococ> is that fortunate or unfortunate?
08:28:09 -!- augur has quit (Remote host closed the connection).
08:48:00 -!- MoALTz has joined.
08:52:32 -!- augur has joined.
09:19:41 -!- ahmeds42 has joined.
09:23:14 -!- ahmedsfhtagn has quit (Ping timeout: 260 seconds).
09:34:11 -!- tromp has joined.
09:39:23 -!- tromp has quit (Ping timeout: 264 seconds).
09:49:17 -!- LKoen has joined.
10:00:38 -!- ahmedsfhtagn has joined.
10:02:40 -!- ahmedsfhtagn has quit (Max SendQ exceeded).
10:03:05 -!- ahmeds42 has quit (Ping timeout: 246 seconds).
10:03:10 -!- ahmedsfhtagn has joined.
10:34:49 -!- boily has joined.
10:39:14 -!- boily has set topic: This Topic Shall Be The Longest Lived Into | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | For extensive phở testing, use #esoteric-blah.
10:47:28 <boily> winter is not coming. winter is here, with a sprinkle of more winter and a side of winter.
10:53:08 <b_jonas> I'm back from skiing holiday, and it was great. Any news with you all?
11:00:10 <boily> b_jellonas! the usual, the usual.
11:00:23 <boily> hellochaf. anything new in your corner of the world?
11:11:07 <boily> rdochelloc. playing it?
11:15:24 <int-e> . o O ( Bitcoin unchained )
11:26:39 <boily> ° · · ( What's an unchained bitcoin? )
11:28:26 <rdococ> something I know nothing about
11:28:35 <int-e> boily: I was alluding to the fact that Bitcoin is a bit unstable because enough people expect a hard fork, basically over the endless block size dispute.
11:28:56 <int-e> boily: then it got twisted in my head and it came up with that phrease
11:29:10 <int-e> or phrase as it's ordinarily spelt.
11:29:18 <boily> they're still going at it? it'll all crumble down soon in a cloud of silicon dust...
11:30:05 -!- boily has quit (Quit: BUILDING CHICKEN).
11:31:47 <int-e> I'm finding some great quotes around bitcoin... this is the funniest so far: "Bitcoin has become a multi-billion industry, with great financial investment and societal responsibility."
11:35:46 -!- tromp has joined.
11:40:02 -!- tromp has quit (Ping timeout: 246 seconds).
11:46:35 <int-e> It's just a flipped coin. The bit tells us whether it shows heads or tails.
11:46:47 -!- AnotherTest has joined.
11:48:07 <HackEgo> farcoin dageunsulecoin uestcoin notatacoin 2-illcoin silacoin itmcoin quothcoin marcoin flagcoin pathis=thacoin solatocoin rumcoin brainstonedinacoin unmcoin resecoin sotcoin numertacoin ballcoin waincoin
11:50:39 -!- ahmeds42 has joined.
11:51:50 -!- ahmeds42 has quit (Max SendQ exceeded).
11:52:20 -!- ahmeds42 has joined.
11:53:39 -!- ahmeds42 has quit (Max SendQ exceeded).
11:53:49 -!- ahmedsfhtagn has quit (Ping timeout: 260 seconds).
11:54:10 -!- ahmeds42 has joined.
11:56:13 -!- ahmeds42 has quit (Max SendQ exceeded).
11:56:43 -!- ahmeds42 has joined.
11:58:49 -!- ahmeds42 has quit (Max SendQ exceeded).
11:59:21 -!- ahmeds42 has joined.
12:01:30 -!- ahmeds42 has quit (Max SendQ exceeded).
12:02:09 -!- ahmeds42 has joined.
12:04:12 -!- ahmeds42 has quit (Max SendQ exceeded).
12:06:59 <Jafet> `learn bitcoins are coins that have been drilled through with a bit, and can be strung together in long chains. This practice dates to ancient China, and the Chinese remain experts in bitcoin manufacturing. A chain can support up to 21 million coins before breaking.
12:07:02 <HackEgo> Learned 'bitcoin': bitcoins are coins that have been drilled through with a bit, and can be strung together in long chains. This practice dates to ancient China, and the Chinese remain experts in bitcoin manufacturing. A chain can support up to 21 million coins before breaking.
12:36:22 -!- tromp has joined.
12:36:45 -!- martinhez has quit (Ping timeout: 260 seconds).
12:39:50 -!- martinhez has joined.
12:41:11 -!- tromp has quit (Ping timeout: 264 seconds).
12:58:22 -!- augur has quit (Remote host closed the connection).
13:03:09 -!- AnotherTest has quit (Ping timeout: 240 seconds).
13:09:30 -!- vifino has quit (Quit: Who turned this off?! D:<).
13:42:10 -!- Lord_of_Life has quit (Excess Flood).
13:42:59 -!- Lord_of_Life has joined.
14:06:23 -!- `^_^v has joined.
14:21:39 -!- vifino has joined.
14:27:10 -!- sebbu has joined.
14:40:29 -!- LKoen has quit (Remote host closed the connection).
14:48:52 -!- AnotherTest has joined.
14:51:02 -!- LKoen has joined.
14:55:49 -!- AnotherTest has quit (Ping timeout: 260 seconds).
15:27:24 -!- oerjan has joined.
15:30:25 <lambdabot> fizzie said 8h 2m 47s ago: I could replace HackEgo
15:30:25 <lambdabot> fizzie said 8h 2m 30s ago: 's stdin with the output from 'fortune', that's what one other bot does.
15:31:48 <HackEgo> Children begin by loving their parents. After a time they judge them. Rarely, \ if ever, do they forgive them. \ -- Oscar Wilde
15:33:05 <HackEgo> circumstantial evidence <--> can ruin a selected victim \ -- anagrama
15:49:29 -!- martinhez has quit (Ping timeout: 260 seconds).
16:03:58 <rdococ> Cogood comorning to coeveryone cohere.
16:19:48 <fizzie> `` rm x # int-e: there's a non-versioned tmp/ for this kind of stuff.
16:19:58 -!- `^_^v has quit (Read error: Connection reset by peer).
16:20:26 -!- `^_^v has joined.
16:21:02 <int-e> fizzie: it was not versioned anyway.
16:21:18 <int-e> fizzie: that's what I checked :-P
16:21:48 <fizzie> I'm not sure what that means.
16:21:53 <fizzie> Your 'x' was definitely versioned.
16:22:17 <fizzie> https://hackego.esolangs.org/fshg/index.cgi/rev/d8ef71647558
16:22:31 <int-e> yes, I see what went wrong there
16:23:37 <int-e> (I ended up at http://codu.org/projects/hackbot/fshg/index.cgi/shortlog/a891e848f215 ... why is there a revision specific shortlog anyway... don't answer that, but that's what confused me.)
16:26:02 <fizzie> I may have ranted here already about how I dislike fshg's way of putting the fixed revision in the URL whenever you follow a link.
16:27:12 <fizzie> I'm sure it makes sense, but I'd prefer to keep it as 'tip', which is what I usually end up manually editing it to anywya.
16:28:28 <int-e> It makes sense for browsing the repo contents... but for the shortlog I find it surprising... I would rather restrict this to named branches (which hackego doesn't use).
16:46:31 -!- hppavilion[1] has joined.
16:47:17 -!- Phantom_Hoover has joined.
16:53:26 <\oren\> I like how kOS doesn't have a = operator, it instead has a SET X TO Y. statement
16:53:58 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
16:56:43 <\oren\> tbut it has some interesting syntax sugars
16:57:10 <\oren\> like instead of SET SOMEVAR TO TRUE. you can instead write SOMEVAR ON.
16:58:11 <\oren\> and you can do SET SOMEVAR TO NOT SOMEVAR. by writing TOGGLE SOMEVAR.
16:58:59 -!- `^_^v has quit (Quit: Leaving).
16:59:08 -!- `^_^v has joined.
17:11:20 <shapr> rdococ: write more Joy?
17:11:48 <shapr> https://en.wikipedia.org/wiki/Joy_(programming_language)
17:12:37 <rdococ> I tried to design a version of that but with tape instead
17:15:05 -!- 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.”).
17:15:31 <shapr> rdococ: sounds interesting, where is it?
17:15:54 <rdococ> I didn't really come up with one concise idea :/
17:16:09 <rdococ> as in, one that someone could interpret with certainty
17:17:54 <b_jonas> \oren\: that reminds me to \newif in TeX, which works in such a way that \newif\iffoo will define three control sequences: \footrue, \foofalse, and \iffoo, where the first two set a boolean, the last one you can use as a conditional with \else and \fi
17:18:07 <b_jonas> it's a pretty strange interface, though there's a reason why it's done that way
17:22:56 <b_jonas> basically, in the skipped part of a conditional, the TeX core won't expand macros, it only scans for tokens (without expanding anything) that are \if*-like, \else-like, and \fi-like to find the matching \else or \fi that ends the skipped branch.
17:23:49 <b_jonas> thus, for any conditional to work at top level, it has to have a syntax where the branches are ended in \else and \fi, and for it to work even when nested inside a skipped branch, the head must have exactly one token that's \if*-like without expanding macros.
17:24:57 <b_jonas> so if you want to define a custom conditional, there are two ways. \newif uses the simple way, which is \let-ing a token in the head (eg. \iffoo) be a synonym for \iftrue or \iffalse. this doesn't let the conditional evaluate anything, but it works for \newif.
17:25:58 <b_jonas> the second way is to have a syntax where the head has at least two important tokens, one being \if or some other \if* builtin or a synonym for that, and one being your custom macro.
17:26:54 <b_jonas> that explains the \iffoo part
17:28:10 <b_jonas> as for the \footrue, you can't just use a syntax like \settrue\iffoo because then that wouldn't work inside a skipped branch. you could use something like \settrue{foo} or \settrue\boolfoo or something, but that isn't really easier than creating two more control sequences \footrue and \foofalse.
17:30:10 -!- Zarutian has joined.
17:35:59 <b_jonas> rdococ: that works well only in a pure functional language like haskell, not in a language where expressions will typically have side effects
17:36:33 <rdococ> I prefer front effects, or back effects
17:36:48 <b_jonas> also for nontrivial stuff, it probably needs lexically scoped variables, which TeX doesn't have
17:44:07 <zzo38> What kind of nontrivial stuff you would have expected lexically scoped variables?
17:44:38 <b_jonas> zzo38: closure functions (whether named or unnamed)
17:46:13 -!- Mayoi has joined.
17:48:16 -!- oerjan has quit (Quit: Later).
17:48:32 -!- Mayoi has changed nick to erkin.
17:49:05 <HackEgo> lie//Lies are even easier than monoids. They form groups, known as Lie groups.
17:49:10 <HackEgo> 1/1:nortti//nortti is a very nortti boy. He yielded to shikhin's promises, and now is his High Priest. \ chthonic//Chthonic lithping can be vethy dithturbing to lithten to. \ ?//? is wisdom \ yeeeesh//See yeeesh.
17:50:13 <HackEgo> .hg_archival.txt//repo: 91b847686710739546584c6316a0fb109ba2095c \ node: fc8e6b56392fc6ba11e3fab6ea8b4d96ad8bff2d \ branch: default \ latesttag: null \ latesttagdistance: 1602 \ .hgignore//^tmp/ \ ^wisdom/testing \ wisdom/testing \ bin///bin/: no such file in rev 560a73f4f0a4 \ bin///bin/: no such file in rev 560a73f4f0a4 \ bin///
17:50:31 <b_jonas> yeah, that's not an answer. sorry.
17:50:46 <shachaf> oerjan: what happened to `before :'(
17:50:56 <HackEgo> shachäf shachäf shachäf shachäf shachäf shachäf
17:51:08 <HackEgo> 6627:2016-01-30 <boil̈y> learn nortti is a very nortti boy. He yielded to shikhin\'s promises, and now is his High Priest. \ 661:2012-08-17 <atrïq> learn nortti boy. very nortti boy.
17:51:57 <shachaf> @ask boily what's that edit to wisdom/nortti about? twh
17:52:07 <HackEgo> lastfiles "$@" | while read f; do echo -n "$f//"; hg cat -r "$(hg log --removed --template '{rev}\n' "$f" | tail -n+2 | head -n1)" "$f"; done
17:54:05 <shachaf> Wasn't oerjan editing these at one point?
18:08:24 <int-e> "At Cloud At Cost we're always striving to deliver the best customer support in the industry. You have recently closed a support ticket (#nnnnnnn - Cancellation of account), and we would like to know about your experience." <-- last thing I'll ever see from them, I hope :-P
18:10:37 <Zarutian> int-e: really shitty cloud provider?
18:11:34 <int-e> Zarutian: Yes. They had one thing going for them: pay-once-and-forget VPSs. Apparently they have regrets so they added a yearly fee.
18:12:03 <int-e> shachaf: industrialised vaporware
18:12:41 <Zarutian> int-e: let me guess and their infrastructure was hopelessly underprovisioned?
18:12:53 <HackEgo> bin \ canary \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ karma \ le \ lib \ misle \ paste \ ply-3.8 \ quines \ quotes \ share \ src \ test \ test2 \ tmflry \ tmp \ wisdom
18:13:02 -!- AnotherTest has joined.
18:13:16 <int-e> fairly overcommitted, yes...
18:13:51 <int-e> (Take HackEgo, HackEgo is still on one of those VPSs I think; HackEgo tends to be slow.)
18:14:01 -!- LKoen has joined.
18:14:56 <shachaf> You should just use Google Cloud.
18:15:07 <shachaf> You might have to move to North America first.
18:15:17 <int-e> Why would I do that.
18:15:24 -!- hppavilion[1] has joined.
18:15:48 <hppavilion[1]> OK, I'm reading The Alchemist for school, and this shit don't add up.
18:15:50 <int-e> Because of separation of concerns.
18:17:18 <hppavilion[1]> The book seems to take place in the past; the book was published in 1988 (translation published in 1993), and seems to take place in the distant past- no mention of cars, trains, aeroplanes, or anything
18:17:20 <Zarutian> hppavilion[1]: I know at least two diffrent books with that title. Is it the more recent part of a series one or the earlier one where the name of the protagonist isnt revieled until on the nearly the last page?
18:17:21 <int-e> Basically I'm trying to limit the extent to which I depend on Google. It's bad enough as it is, no need to add a VPS to the mix.
18:18:13 <hppavilion[1]> Zarutian: I'm a bit over a third of the way in, but there's no serious revieling OR reviling thus far
18:18:27 <hppavilion[1]> The main character is a shepherd who is mentioned to have studied at a monastery
18:18:48 <Zarutian> hppavilion[1]: and is his name at all mentioned yet?
18:19:52 <int-e> btw CaC says, this may be true, that they've always reserved the right to change the ToS without notice, and just do notifications (at control panel login time) as a matter of courtesy. (amazingly I got a reply to my complaint about how they handled the ToS change. They did not react to the complaint about the fee being buried though.)
18:20:19 <int-e> This may be the best support I've ever gotten from them ;-)
18:20:23 <hppavilion[1]> "But he had to move on. He believed in omens. All his life and all his studies were aimed at finding the one true language of the universe. First he had studied Esperanto, then the world's religions, and now it was alchemy"
18:20:29 <shachaf> So what do you think about Data.Monoid.Nonfree?
18:20:35 <int-e> AAA+, would cancel again.
18:20:36 <hppavilion[1]> "...the one true language of the universe. First he had studied Esperanto..."
18:21:16 <Zarutian> hppavilion[1]: Then I am not sure if it is a much earlier book or not. The one I read talked about a sheperd that sold his flock and tried his luck in North Africa.
18:21:22 <hppavilion[1]> The book *must* take place after (or, in the extreme case, in) 1887
18:21:52 <Zarutian> hppavilion[1]: I see. Esperanto wasnt invented until right before 1900 iirc
18:22:25 <Zarutian> hppavilion[1]: the translation I read (it was translated into Icelandic) has no mention of esperanto
18:23:53 <hppavilion[1]> Maybe it's http://tvtropes.org/pmwiki/pmwiki.php/Main/AfterTheEnd
18:24:09 <shapr> xu do tavla mi bau la lojban
18:24:20 <hppavilion[1]> Zarutian: Yeah, I figured it might just be a translator's joke, but it's bugging me
18:25:10 <Zarutian> hppavilion[1]: also the name of the protagonist is never mentioned until nearly at the end. He is always refered to as the boy, young man, etc
18:25:34 <hppavilion[1]> Zarutian: It's mentioned in literally the first sentence of this one
18:25:43 <hppavilion[1]> Zarutian: Is he going to the pyramids in the one you read?
18:26:08 <hppavilion[1]> Does he meet a biblical figure who gives him a pair of magic rocks?
18:26:14 <Zarutian> hppavilion[1]: nope. and nope.
18:26:23 <Zarutian> hppavilion[1]: this must be a third book then.
18:26:29 <hppavilion[1]> Zarutian: Either we're reading different books or there's something weird
18:26:46 <hppavilion[1]> Zarutian: This one is originally written by Paulo Coelho
18:26:59 <shapr> Are you reading in the original Portugues?
18:27:07 <Zarutian> hppavilion[1]: or pretty much a 'rewrite' by a lazy translator.
18:27:18 <Zarutian> shapr: go'i .i but only a little.
18:27:29 <hppavilion[1]> Zarutian: https://en.wikipedia.org/wiki/The_Alchemist_(novel)
18:27:41 <rdococ> I found out how to create a real philosopher's stone.
18:28:01 <rdococ> Legally change your name to Philosopher, then claim a stone.
18:28:39 <hppavilion[1]> "Paulo Coelho is a strong advocate of spreading his books through peer-to-peer file sharing networks."
18:29:09 <Zarutian> hppavilion[1]: pretty much the same story but the last name of the author was Gioani and he was Spanish iirc.
18:29:33 <rdococ> Create a universe in which the philosopher's stone has been discovered, and then modify Lego Dimensions to include a level pack for that game?
18:29:42 <hppavilion[1]> Zarutian: Sounds like it's either based on the same original tale (I don't know whether this is based on something classic) or one person write a ripoff of the other
18:30:00 <Zarutian> and I think that book was written earlier than the Brazilian one.
18:31:01 <rdococ> hppavilion[1]: Therefore, the philosopher's stone exists.
18:31:07 -!- DHeadshot has joined.
18:31:19 <rdococ> Well, if you have to place it on the stand thingy to, er, use it ingame.
18:31:31 <rdococ> If not, someone has to create another franchise.
18:32:40 <Zarutian> hppavilion[1]: I think it is based on something classic but the boy was never at a seminary though he could read
18:34:11 <Zarutian> hppavilion[1]: mind if I possibly spoil the ending?
18:34:51 <Zarutian> hppavilion[1]: then I wont tell you then.
18:35:57 <Zarutian> he was halluciating the whole time because he used a strange herb to spice his evening meal <- not the ending ;-)
18:36:30 <hppavilion[1]> Zarutian: That's technically still a (mild) spoiler.
18:36:51 <hppavilion[1]> Saying what the ending isn't constrains the field of possible endings, which is a type of spoiler
18:37:46 <hppavilion[1]> Saying "Bob doesn't die at the end" doesn't tell you the ending, and doesn't feel as bad as "Bob dies at the end" spoilerwise, but it still constrains the possible ending tree to prune branches in which Bob dies
18:38:09 <hppavilion[1]> And if there's ever a point where you think he DOES die, or aren't sure, it dulls the suspense significantly
18:39:36 <Zarutian> welp go yourself in a hole there I think. But for what kind of reading assignment is this book?
18:41:30 -!- pledis has quit (Ping timeout: 252 seconds).
18:44:46 <quintopia> it's john that dies at the end hth
18:45:24 <rdococ> You're all filthy spoilers.
18:45:43 <shapr> oh hi quintopia, did you send me a resume?
18:46:33 * shapr tries to hire quintopia
18:46:34 <quintopia> shapr: no but i invited you to lunch! i did not know where you would like to receive such a document
18:46:46 <shapr> oh, I must have missed that invite
18:48:23 -!- pledis has joined.
18:48:47 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
18:50:47 <shapr> shachaf: I am in Atlanta, Georgia
18:51:00 <shapr> shachaf: do you ever end up in the southeast USA?
18:51:52 <shachaf> Well, I've been to Hartsfield-Jackson Atlanta International Airport.
18:52:21 <quintopia> shapr: i invited you here in this channel while you were lurking but i should have used @ask
18:52:47 <quintopia> shapr: because you said you would be willing to talk my ear off about testing strategy and methods
18:52:59 <quintopia> shapr: if you're available some weekend
18:53:14 <shapr> oh yeah, I get all kinds of exciting about software testing.
18:53:15 <shachaf> Don't you ever end up in the southwest USA?
18:53:26 <shapr> shachaf: not in the past ten or twenty years.
18:53:34 <quintopia> welp time to go to work. l8r folks
18:55:33 <FireFly> shapr: when were you last scanned whilst transiting by airplane?
18:59:43 <shapr> um, a few months back when flying to Denver
18:59:57 <shapr> FireFly: are you alluding to Scanned In Avian?
19:00:19 <\oren\> Volapuk is better than esperanto
19:04:00 <erkin> Eurocentric IALs are boring
19:04:11 <\oren\> because it doesn't try to have a verb for every noun
19:05:01 <\oren\> volapuk isn't very eurocentric either
19:07:23 <\oren\> the inventor took words from european languages but deformed them in order to make them less recognizable
19:08:38 <\oren\> like, the lord's prayer in volapuk looks a lot less like mangled latin and more just completely foreign to my eye
19:08:51 <zzo38> If "Bob doesn't die at the end" or "Bob dies at the end", then, the other possibility also, maybe there is someone else named Bob too, you don't know who is meant, or maybe at first you thought you do but later there is someone else with same name, and people in the story confuse them for each other too
19:10:49 <zzo38> Or, in some story, there may be the possibility someone is dead but they will recover, perhaps in the sequel
19:10:59 -!- Phantom_Hoover has quit (Quit: Leaving).
19:11:19 <\oren\> O Fat obas, kel binol in süls! Nem olik pasalüdükonöd! Regän ola kömonöd! Vil olik jenonöd, äsä in sül, i su tal!
19:11:22 <\oren\> Givolös obes adelo bodi aldelik obsik! E pardolös obes döbotis obsik, äsä i obs pardobs utanes, kels edöbons kol obs.
19:11:25 <\oren\> E no obis nindukolös in tendadi; E no blufodolös obis, ab livükolös obis de bad! So binosös!
19:12:47 <\oren\> the main thing eurocentric about this is the fact that things are pronounced pretty much like German
19:23:05 -!- DHeadshot has quit (Ping timeout: 246 seconds).
19:23:13 <\oren\> "According to the research, one out of ten Belarusians does not understand Belarusian."
19:24:30 <\oren\> 72% of Belarusians speak Russian at home, while Belarusian is used by only 11.9% of Belarusians.
19:44:23 -!- hppavilion[1] has joined.
19:44:55 <lambdabot> PAMR 201853Z 27003KT 10SM FEW065 M07/M09 A2991 RMK AO2 SLP132 T10671094 $
19:49:42 -!- augur has joined.
19:58:20 <\oren\> "When war broke out and American troops were sent overseas, the Coca-Cola company vowed that any American in uniform should be able to get a Coke for five cents wherever they were.[10] As a result, the company built bottling stations in the Pacific and on the Western front."
20:05:05 -!- Akaibu has quit.
20:08:37 -!- Mayoi has joined.
20:11:06 -!- erkin has quit (Ping timeout: 240 seconds).
20:15:16 -!- erkin__ has joined.
20:15:28 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
20:16:33 -!- L3viathan has joined.
20:16:57 -!- L3viathan has changed nick to Guest53868.
20:18:25 -!- heroux_ has joined.
20:19:19 -!- LKoen has quit (Remote host closed the connection).
20:20:20 -!- [io] has joined.
20:20:20 -!- [io] has quit (Changing host).
20:20:20 -!- [io] has joined.
20:20:20 -!- [io] has quit (Changing host).
20:20:20 -!- [io] has joined.
20:21:30 -!- erkin__ has changed nick to erkin.
20:22:03 -!- pikhq_ has joined.
20:22:24 -!- ski_ has joined.
20:24:36 -!- Deewiant_ has joined.
20:24:42 -!- Lymee has joined.
20:29:11 -!- Mayoi has quit (*.net *.split).
20:29:13 -!- zgrepc has quit (*.net *.split).
20:29:13 -!- Guest79171 has quit (*.net *.split).
20:29:14 -!- heroux has quit (*.net *.split).
20:29:14 -!- Lymia has quit (*.net *.split).
20:29:14 -!- pikhq has quit (*.net *.split).
20:29:15 -!- iovoid has quit (*.net *.split).
20:29:16 -!- ski has quit (*.net *.split).
20:29:16 -!- Deewiant has quit (*.net *.split).
20:29:17 -!- bibibi has quit (*.net *.split).
20:29:17 -!- heroux_ has changed nick to heroux.
20:29:20 -!- Lymee has changed nick to Lymia.
20:29:38 -!- zgrepc_ has joined.
20:36:52 -!- ski_ has changed nick to ski.
21:07:11 <zzo38> Do you know if there is program compiling WebAssembly program into a C code?
21:13:31 <zzo38> I think there can be use for both ways converting
21:19:13 -!- zzo38 has quit (Remote host closed the connection).
21:21:22 -!- erkin has quit (Quit: Leaving).
21:26:47 -!- Guest53868 has changed nick to L3viathan.
21:55:22 -!- Lord_of_Life has quit (Excess Flood).
21:59:59 -!- Lord_of_Life has joined.
22:02:09 -!- LKoen has joined.
22:10:28 -!- Melvar has quit (Ping timeout: 240 seconds).
22:11:04 -!- Melvar has joined.
22:11:25 -!- `^_^v has quit (Ping timeout: 268 seconds).
22:16:29 <HackEgo> [wiki] [[Special:Log/newusers]] create * Josh * New user account
22:29:19 -!- Zarutian has quit (Quit: Zarutian).
22:30:39 -!- boily has joined.
22:32:01 -!- MoALTz has quit (Quit: Leaving).
22:35:04 <HackEgo> ronald reagan//Ronald Reagan was an actor so great that he managed to convince the US that he was the President. Then he created the Star Wars project to destroy the Soviet Union.
22:35:14 <lambdabot> shachaf asked 4h 43m 16s ago: what's that edit to wisdom/nortti about? twh
22:35:14 <lambdabot> In a flat choice between smoke and jobs, we're for jobs...But just keep me out of trouble on environmental issues.
22:35:34 <lambdabot> Sure there are dishonest men in local government. But there are dishonest men in national government too.
22:35:42 <lambdabot> I played by the rules of politics as I found them.
22:35:45 <HackEgo> nortti is a very nortti boy. He yielded to shikhin's promises, and now is his High Priest.
22:36:08 <HackEgo> 661:2012-08-17 <atrïq> learn nortti boy. very nortti boy. \ 6627:2016-01-30 <boil̈y> learn nortti is a very nortti boy. He yielded to shikhin\'s promises, and now is his High Priest.
22:36:18 <boily> there was something about shikhin being some kind of malevolent demigod and/or something to that effect.
22:36:51 * boily handwaves the details under a conspicuous lampshade
22:36:58 <HackEgo> nortti:nortti is a very nortti boy. He yielded to shikhin's promises, and now is his High Priest. \ Binary file reflection matches \ shikhin:shikhin is a Malevolent God, who will promise you stuff tomorrow.
22:37:12 <boily> seems I remembered the malevolent part.
22:37:28 <int-e> the evil bits are the most memorable
22:37:41 <boily> there's a RFC for that.
22:37:44 <HackEgo> oerjan//Your omnipotent principled tyrant oerjan the excessive is a lazy expert in mercury computation. Also a Glaswede who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
22:38:26 <boily> `slwd oerjan//s/'/’/
22:38:28 <HackEgo> oerjan//Your omnipotent principled tyrant oerjan the excessive is a lazy expert in mercury computation. Also a Glaswede who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it’s the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing i
22:38:42 -!- [io] has changed nick to iovoid.
22:39:24 <shachaf> atriq's entry was kind of a classic, is all.
22:44:16 -!- boily has quit (Quit: ABNORMAL CHICKEN).
22:50:28 <int-e> shachaf: congratulations, now oerjan's entry gets cut off
22:54:46 <HackEgo> Your omnipotent principled tyrant oerjan the excessive is a lazy expert in mercury computation. Also a Glaswede who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
22:56:35 -!- zgrepc_ has changed nick to zgrepc.
23:00:47 -!- Lord_of_Life has quit (Changing host).
23:00:47 -!- Lord_of_Life has joined.
23:05:10 <shachaf> int-e: Anyway why are you congratulating me?
23:07:44 <int-e> shachaf: good question
23:08:17 -!- DHeadshot has joined.
23:08:47 <shachaf> It's not as if I'm responsible for oerjan's wisdom entry.
23:08:53 <shachaf> `` cwlprits oerjan | sed sg\ g\\ngg | sort | uniq -c | sort -rn
23:09:01 <HackEgo> 86 shachäf \ 34 oerjän \ 9 boil̈y \ 5 noloveinwaikik̈i \ 1 nitïa \ 1 int-̈e \ 1 hppavilion[1̈]
23:09:10 <shachaf> `` cwlprits int-e | sed sg\ g\\ngg | sort | uniq -c | sort -rn
23:09:33 <int-e> it says <boily> up there but I thought I saw <shachaf>
23:17:44 -!- krok_ has joined.
23:20:29 -!- DHeadshot has quit (Ping timeout: 268 seconds).
23:29:49 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
23:34:51 -!- oerjan has joined.
23:42:36 <quintopia> zzo38: Dresden dies at the end of "Changes" hth