00:00:09 <hppavilion[1]> So an increase of 0.1 multiplies by 10**0.1 = 10th root 10 ≈ 1.2589254117941673
00:02:08 -!- zzo38 has joined.
00:06:31 <hppavilion[1]> zzo38: It tells you the airport (code) I use for METAR
00:07:17 <lambdabot> EGLL 212350Z AUTO 17008KT 130V200 9999 -RA BKN022/// //////TCU 11/08 Q0987 TEMPO SHRA
00:09:46 <lambdabot> PAMR 212353Z 04004KT 9SM CLR M03/M10 A2959 RMK SLP023 T10281100 11022 21044 50004 VIA AUTODIAL
00:09:56 -!- Froox has joined.
00:13:14 -!- Frooxius has quit (Ping timeout: 258 seconds).
00:18:05 <lambdabot> ENVA 212350Z 10006KT 9999 SCT053 M01/M02 Q1011 RMK WIND 670FT 16009KT
00:22:46 -!- Phantom__Hoover has joined.
00:23:48 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
00:32:34 -!- Sprocklem has joined.
00:33:27 -!- DHeadshot has quit (Quit: IceChat - Keeping PC's cool since 2000).
00:45:03 -!- hppavilion[1] has quit (Ping timeout: 258 seconds).
01:46:26 <HackEgo> [wiki] [[Talk:Nil]] https://esolangs.org/w/index.php?diff=50351&oldid=13373 * Ender scythe * (+400) Added suggestion.
01:46:55 <HackEgo> [wiki] [[Talk:Nil]] M https://esolangs.org/w/index.php?diff=50352&oldid=50351 * Ender scythe * (+0) Fixed formatting.
01:58:47 <HackEgo> [wiki] [[Talk:Nil]] https://esolangs.org/w/index.php?diff=50353&oldid=50352 * Ender scythe * (+52) Fixed code suggestion.
01:59:33 <HackEgo> [wiki] [[Talk:Nil]] https://esolangs.org/w/index.php?diff=50354&oldid=50353 * Ender scythe * (-4) Fixed code, yet again.
02:05:44 -!- Sprocklem has quit (Ping timeout: 256 seconds).
02:10:46 <HackEgo> metar is a service Taneb invented that allows nerds to talk about the weather.
02:11:18 <ybden> Oh, this is actually a thing
02:11:38 <ybden> I somehow assumed it was a "fortune-teller" random string of sorts
02:18:01 <shachaf> Remind me: What are your approximate geographic coördinates and body weigh?
02:22:58 <lambdabot> KATL 220152Z 33008KT 10SM CLR 09/M13 A3018 RMK AO2 SLP224 T00891128
02:24:04 <quintopia> ouch that cannot be the correct low
02:26:40 <oerjan> the part after the / is not the low temperature hth
02:27:30 <oerjan> although it does seem strange. is the weather really, really dry?
02:29:21 <HackEgo> Hartsfield Jackson Atlanta Intl (ATL, KATL)
02:32:45 -!- Sprocklem has joined.
02:35:37 <oerjan> then it might be right.
02:36:23 <oerjan> the /M13 is the dew point, iiuc the temperature your air would need to be cooled to before it starts precipitating.
02:48:18 -!- zzo38 has quit (Disconnected by services).
02:48:21 -!- zzo38 has joined.
02:53:52 -!- Sprocklem has quit (Ping timeout: 260 seconds).
02:56:47 <zzo38> I have once seen a puzzle of Magic: the Gathering where one of the possible solutions mentioned that cards in ante zone are shared across subgames, but I think there is no such rule. Someone said it was an overly broad interpretation of rule 800.4k.
02:57:54 <zzo38> (I also think tat rule 800.4k is stupid, but this special case would help in a game that used teams, ante, and subgames, all together.)
02:58:14 <shachaf> Is there a HackEgo command to look up a rule?
02:59:21 <zzo38> I don't know? But, that rule is that in a multiplayer game, objects in the ante zone remain there even if their owner is out of the game.
03:00:46 <shachaf> What's wrong with that rule?
03:02:56 <zzo38> Now there are objects in the game with no owner that is also in the game. I also think this rule is klugy and unnecessary.
03:03:22 <shachaf> How would you implement it?
03:04:47 <zzo38> Simply delete it. If the ante zone is shared across subgames, that rule belongs under 718 instead.
03:05:37 <zzo38> (Deleting rule 800.4k also allows some new (but narrow) tactics.)
03:06:48 <shachaf> But then what happens to the owner of a card in the ante zone when they lose?
03:07:01 <shachaf> You could put the owner in the ante zone too.
03:07:53 <HackEgo> 8ballreplies \ airports.dat \ autowelcome_status \ awesome \ candide \ cat \ Complaints.mp3 \ conscripts \ construct_grams.pl \ delvs-master \ dict-words \ esolangs.txt \ esolangs.txt.sorted \ headers \ headers.gch \ hello \ lua \ maimer \ maimery \ maze \ mtg \ nothp \ recipe \ scapegoats \ sedtest \ tanebgrep \ UnicodeData.txt \ units.dat \ userc
03:08:08 <HackEgo> 8589:2016-06-24 <hppavilion[1̈]> ` grep -l Taneb wisdom/* > share/tanebgrep \ 8590:2016-06-24 <hppavilion[1̈]> ` grep Taneb wisdom/* > share/tanebgrep \ 8591:2016-06-24 <hppavilion[1̈]> ` grep BBC wisdom/* >> share/tanebgrep
03:09:06 <zzo38> The owner of the card has ceased to exist as far as the game is concerned, so nothing happens. If he wishes to bet that card on the outcome of the game, he can move it from the ante zone to outside of the game where the game doesn't know about it; the card will not necessarily be moved physically, and these considerations are in any case should be external to the game rules.
03:09:23 <shachaf> Why? Ante is part of the game.
03:09:40 <HackEgo> 1/2:8ballreplies \ airports.dat \ autowelcome_status \ awesome \ candide \ cat \ Complaints.mp3 \ conscripts \ construct_grams.pl \ delvs-master \ dict-words \ esolangs.txt \ esolangs.txt.sorted \ headers \ headers.gch \ hello \ lua \ maimer \ maimery \ maze \ mtg \ nothp \ recipe \ scapegoats \ sedtest \ UnicodeData.txt \ units.dat
03:09:47 <HackEgo> 2/2: \ usercmds \ WordData
03:10:12 <HackEgo> distort "${1:-/dev/stdin}" | spore
03:10:25 <HackEgo> echo 1 > /hackenv/tmp/spline; cat "${1-/dev/stdin}" > /hackenv/tmp/spout; spam
03:10:27 <zzo38> Yes, but legal ownership is and should be external to the game.
03:10:43 <zzo38> (You can make external rules about that stuff if you want to.)
03:12:04 <zzo38> Ante is simply a zone in the game then, that some old cards can affect. External rules may affect betting, scoring, and whatever else you may wish to do with them afterward; I have also seen external rules that are affected by the exile zone too, so it isn't only ante.
03:13:30 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
03:13:38 <shachaf> if you don't require ante cards to alter legal ownership, prepare for a deluge of ante cards
03:13:45 <HackEgo> line="$(cat /hackenv/tmp/spline)"; len="$(wc -l /hackenv/tmp/spout | awk '{print $1}')"; echo -n "$line/$len:"; sed -n "${line}p" /hackenv/tmp/spout; echo "$((line+1))" > /hackenv/tmp/spline
03:16:45 <zzo38> I only said that altering legal ownership is external to the game, not that it is impossible. Also, external rules could do other stuff with the ante zone too such as to affect scoring; other factors in the game could also affect scoring (such as life points or cards remaining in your library). And more can be done than that too; for example, an unofficial tournament where ownership changes persist only until the end of the tournament (this variant
03:18:18 <shachaf> confusing name? / no comprehension? / must be a / burma shavention
03:19:09 <zzo38> In addition to being (or should being) beyond the scope of the game rules, requiring altering legal ownership within the game rules itself also interferes with team games.
03:22:26 <oerjan> `mkx bin/spore//echo "${2-1}" > /hackenv/tmp/spline; cat "${1:-/dev/stdin}" > /hackenv/tmp/spout; spam
03:23:10 -!- Sprocklem has joined.
03:23:25 <shachaf> You want to be able to `1ize the previous deterministic command without repeating the first line?
03:23:29 <oerjan> `mkx bin/sport//distort "${1:-/dev/stdin}" | spore '' "${2-1}"
03:23:53 <oerjan> `mkx bin/2//\` "$@" |& sport '' 2
03:24:26 <shachaf> oerjan: I've wanted that feature before, but I didn't have a good name for it.
03:24:32 <shachaf> Even though `2 should have been very obvious.
03:24:53 <HackEgo> 1/2:8ballreplies \ airports.dat \ autowelcome_status \ awesome \ candide \ cat \ Complaints.mp3 \ conscripts \ construct_grams.pl \ delvs-master \ dict-words \ esolangs.txt \ esolangs.txt.sorted \ headers \ headers.gch \ hello \ lua \ maimer \ maimery \ maze \ mtg \ nothp \ recipe \ scapegoats \ sedtest \ UnicodeData.txt \ units.dat
03:25:03 <HackEgo> 2/2: \ usercmds \ WordData
03:25:10 <HackEgo> 1/2:8ballreplies \ airports.dat \ autowelcome_status \ awesome \ candide \ cat \ Complaints.mp3 \ conscripts \ construct_grams.pl \ delvs-master \ dict-words \ esolangs.txt \ esolangs.txt.sorted \ headers \ headers.gch \ hello \ lua \ maimer \ maimery \ maze \ mtg \ nothp \ recipe \ scapegoats \ sedtest \ UnicodeData.txt \ units.dat
03:25:12 <HackEgo> 2/2: \ usercmds \ WordData
03:25:18 <HackEgo> 8ballreplies \ airports.dat \ autowelcome_status \ awesome \ candide \ cat \ Complaints.mp3 \ conscripts \ construct_grams.pl \ delvs-master \ dict-words \ esolangs.txt \ esolangs.txt.sorted \ headers \ headers.gch \ hello \ lua \ maimer \ maimery \ maze \ mtg \ nothp \ recipe \ scapegoats \ sedtest \ UnicodeData.txt \ units.dat \ usercmds \ WordDa
03:25:36 <shachaf> Though maybe they should be combined.
03:25:39 <HackEgo> line="$(cat /hackenv/tmp/spline)"; len="$(wc -l /hackenv/tmp/spout | awk '{print $1}')"; echo -n "$line/$len:"; sed -n "${line}p" /hackenv/tmp/spout; echo "$((line+1))" > /hackenv/tmp/spline
03:28:30 <HackEgo> #!/usr/bin/env python \ import sys \ N=330 \ name = sys.argv[1] if len(sys.argv) > 1 else "/dev/stdin" \ with open(name, "r") as f: \ data = ' \\ '.join(f.read().splitlines()) \ for i in xrange(0, len(data), N): \ print data[i:i+N]
03:28:39 <shachaf> Maybe 330 was too conservative.
03:28:50 <shachaf> I remember that you said something about five digits being slightly excessive.
03:30:07 <oerjan> well that was before you told me about speek, i think
03:30:15 <HackEgo> echo "$1" > /hackenv/tmp/spline; spam
03:30:57 <shachaf> No real reason not to combine spam and speek, though.
03:31:27 <shachaf> and since you're already at it...
03:32:35 <oerjan> `sled bin/spam//1s,","${1-,;1s/[)]/)}/
03:32:37 <HackEgo> bin/spam//line="${1-$(cat /hackenv/tmp/spline)}"; len="$(wc -l /hackenv/tmp/spout | awk '{print $1}')"; echo -n "$line/$len:"; sed -n "${line}p" /hackenv/tmp/spout; echo "$((line+1))" > /hackenv/tmp/spline
03:32:52 <HackEgo> 1/2:8ballreplies \ airports.dat \ autowelcome_status \ awesome \ candide \ cat \ Complaints.mp3 \ conscripts \ construct_grams.pl \ delvs-master \ dict-words \ esolangs.txt \ esolangs.txt.sorted \ headers \ headers.gch \ hello \ lua \ maimer \ maimery \ maze \ mtg \ nothp \ recipe \ scapegoats \ sedtest \ UnicodeData.txt \ units.dat
03:32:56 <HackEgo> 1/2:8ballreplies \ airports.dat \ autowelcome_status \ awesome \ candide \ cat \ Complaints.mp3 \ conscripts \ construct_grams.pl \ delvs-master \ dict-words \ esolangs.txt \ esolangs.txt.sorted \ headers \ headers.gch \ hello \ lua \ maimer \ maimery \ maze \ mtg \ nothp \ recipe \ scapegoats \ sedtest \ UnicodeData.txt \ units.dat
03:33:37 <HackEgo> 2/2: \ usercmds \ WordData
03:33:43 <HackEgo> -1/2:/bin/sed: invalid option -- '1' \ Usage: /bin/sed [OPTION]... {script-only-if-no-other-script} [input-file]... \ \ -n, --quiet, --silent \ suppress automatic printing of pattern space \ -e script, --expression=script \ add the script to the commands to be executed \ -f script-file, --file=script-file
03:34:13 <shachaf> `` sed -n -- "-1p" /hackenv/tmp/spout
03:34:14 <HackEgo> /bin/sed: -e expression #1, char 1: unknown command: `-'
03:34:35 <shachaf> sed isn't a great way of printing the nth line.
03:34:43 <shachaf> It'll continue to process the whole file even after it's printed.
03:34:47 <shachaf> Which I guess isn't all that bad.
03:34:57 <shachaf> Also it doesn't work for negative indices.
03:35:28 -!- carado has quit (Ping timeout: 245 seconds).
03:37:37 <oerjan> `mkx bin/spore//cat "${1:-/dev/stdin}" > /hackenv/tmp/spout; spam "${2-1}"
03:38:13 <HackEgo> 2/2: \ usercmds \ WordData
03:38:34 -!- carado has joined.
03:39:53 <shachaf> how did hoag get into this
03:40:43 <shachaf> `le//rn jonathan hoag//Hoag is an art critic.
03:40:45 <HackEgo> Learned 'jonathan hoag': Hoag is an art critic.
03:47:17 -!- hppavilion[1] has joined.
03:48:41 <oerjan> `` yes | nl | sed -n 3p
03:49:22 <oerjan> `` yes | nl | sed -n 3{p;q}
03:49:23 <HackEgo> /bin/sed: -e expression #1, char 0: unmatched `{' \ /hackenv/bin/`: line 4: q}: command not found
03:49:36 <shachaf> `mkx bin/nth//head -n"$1" | tail -n1
03:49:56 <oerjan> `` yes | nl | sed -n "3{p\nq}"
03:49:58 <HackEgo> /bin/sed: -e expression #1, char 4: extra characters after command
03:50:09 <shachaf> are you thinking of awk hth
03:50:21 <oerjan> can that do it easier?
03:51:00 <oerjan> hppavilion[1]: old news
03:51:43 -!- fungot has quit (Ping timeout: 245 seconds).
03:53:02 <shachaf> oerjan: are you going to use nth twh
03:53:20 <shachaf> `learn nth is not that helpful
03:53:24 <HackEgo> Learned 'nth': nth is not that helpful
03:53:39 <shachaf> I considered calling it !!, but it's 1-indexed.
03:54:08 <hppavilion[1]> 'nthn' is 'not that helpful, n00b', and is my name written abjadily
03:54:24 <HackEgo> The IPA (short for International Phonetic Abjad) is an international standard encoding all non-vowel sounds in all spoken languages, and is used to indicate the pronunciation of words. It is incredibly useful, unless you need to pronounce a word.
04:05:06 <oerjan> `` yes | nl | sed -n "3{pq}
04:05:07 <HackEgo> /hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching `"' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file
04:05:13 <oerjan> `` yes | nl | sed -n "3{pq}"
04:05:14 <HackEgo> /bin/sed: -e expression #1, char 4: extra characters after command
04:06:10 <oerjan> `` yes | nl | sed -n "3{\np\nq}"
04:06:11 <HackEgo> /bin/sed: -e expression #1, char 9: unterminated address regex
04:08:04 <shachaf> are you sure you're not thinking of awk
04:08:49 <shachaf> http://stackoverflow.com/questions/6022384/bash-tool-to-get-nth-line-from-a-file says that head and tail is slow
04:08:52 <hppavilion[1]> shachaf: I did not have textual relations with that command
04:19:59 <shachaf> `` yes | nl | sed -n '3{p;q}'
04:21:04 <oerjan> `sled bin/spam//s,sed [^p]*p,sed "${line}q;d,
04:21:07 <HackEgo> bin/spam//line="${1-$(cat /hackenv/tmp/spline)}"; len="$(wc -l /hackenv/tmp/spout | awk '{print $1}')"; echo -n "$line/$len:"; sed "${line}q;d" /hackenv/tmp/spout; echo "$((line+1))" > /hackenv/tmp/spline
04:21:30 <shachaf> oerjan: no, ${line}q;d is confusing tdnh
04:21:41 <shachaf> you should use your original approach, ${line}{p;q}
04:21:47 <oerjan> um but the 3{p;q} wasn't working before
04:21:56 <oerjan> `` yes | nl | sed -n '3{p;q}'
04:22:41 <shachaf> you tried 3{pq} and 3{\np\nq}
04:22:56 <shachaf> with literal \ n, not a newline
04:24:01 <oerjan> `sled bin/spam//s,sed [^d]*d,sed -n "{${line}p;q},
04:24:03 <HackEgo> bin/spam//line="${1-$(cat /hackenv/tmp/spline)}"; len="$(wc -l /hackenv/tmp/spout | awk '{print $1}')"; echo -n "$line/$len:"; sed -n "{${line}p;q}" /hackenv/tmp/spout; echo "$((line+1))" > /hackenv/tmp/spline
04:24:29 <shachaf> {5p;q} means print line 5, and also quit on every line
04:25:06 <oerjan> `sled bin/spam//s,sed [^q]*q,sed -n "${line}{p;q,
04:25:09 <HackEgo> bin/spam//line="${1-$(cat /hackenv/tmp/spline)}"; len="$(wc -l /hackenv/tmp/spout | awk '{print $1}')"; echo -n "$line/$len:"; sed -n "${line}{p;q}" /hackenv/tmp/spout; echo "$((line+1))" > /hackenv/tmp/spline
04:25:27 <HackEgo> 2/2: \ usercmds \ WordData
04:25:37 <shachaf> oerjan: what if there was a version of sled that worked on the before version instead of the current version wth
04:26:08 <shachaf> this sounds like a good oervention
04:26:10 <oerjan> well that wouldn't have helped with my several in a row
04:26:46 <shachaf> well, it would need to account for that, obviously
04:28:37 <shachaf> isn't that why we're here?
04:28:41 <shachaf> to solve the hard problem?
04:29:07 <HackEgo> 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.
04:29:25 <shachaf> Oh, I was going to add "lazy".
04:29:50 <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-
04:30:17 <oerjan> i wanted to see if it had been there from the start
04:30:25 <shachaf> Oh, I probably just added the last sentence.
04:31:23 <oerjan> `` hg cat -r0 wisdom/oerjan
04:31:24 <HackEgo> Your evil overlord oerjan is a lazy expert in future computation.
04:32:31 <shachaf> `slwrjan s#sweet#wise#;s#lord#lwrd#
04:32:34 <HackEgo> oerjan//Your esteemologist wise potatolwrd 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.
04:58:05 <zzo38> In my unofficial Magic: the Gathering cards I have also added one new subtype which I have added no card that has that subtype or mentions that subtype in any way.
04:59:44 <shachaf> `` sed 's,e,w,g' wisdom/oerjan
04:59:45 <HackEgo> Your wstwwmologist wisw potatolwrd owrjan is a lazy wxpwrt in suturw complication. Also a Glaswwgian who passionfruitly dislikws Roald Dahl. Latwly whwn hw triws to rwmwmbwr a word, "amortizwd" pops up. His arch-nwmwsis is Bwtty Crockwr. Hw somwtimws puns without noticing it.
05:00:01 <zzo38> I could possibly to add such card later, but right now I didn't.
05:00:56 <zzo38> Do you guess what subtype it is?
05:01:16 <hppavilion[1]> shachaf: Meh, you should have replaced all the first vowels in every word.
05:01:52 <oerjan> . o O ( every full moon he turns into a jan )
05:02:04 <HackEgo> oerjan//Your esteemoologist wise potatolwrd 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.
05:13:40 <HackEgo> 1/2:molum//molum is the inverse function of ybden. \ ant//Ants are great architects. They are famous for their highways. \ roujo's relevant info//That information is stored in an unnamed metal cabinet in one of the top floors of an obscure administrative building with a number that you probably never heard of. \ joke//Jokes are no d
05:13:45 <HackEgo> 2/2:rug. \ stephen wolfram//Stephen Wolfram is an esolanger with too much money and power. Taneb invented him.
05:14:18 <HackEgo> 7031:2016-02-27 <quintopïa> learn Jokes are no drug.
05:14:41 <shachaf> int-e: Did you play _Spider and Web_?
05:51:40 -!- oerjan has quit (Quit: Nite).
06:08:04 -!- function has joined.
06:11:17 -!- Sprocklem has quit (Ping timeout: 248 seconds).
06:12:15 -!- Sprocklem has joined.
06:18:20 -!- function has quit (Quit: found 1 in /dev/zero).
06:51:22 -!- Ox0dea has quit (Quit: WeeChat 1.7-dev).
06:58:48 <hppavilion[1]> @tell \oren\ neoletters lacks a serif on 'r' and it's starting to bug me, especially due to the potential confusion with IPA ɾ.
07:02:07 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: thank: not found
07:23:19 <hppavilion[1]> I feel like there needs to be a Z with stroke. To indicate a voiced $
07:26:07 <izalove> think of a language where there's an if instruction
07:26:21 <izalove> there are no loops but if+jump should be enough
07:26:42 <izalove> jump can't jump infinitely far ahead or behind
07:26:55 <hppavilion[1]> izalove: It never can. Computers have finite memory.
07:27:24 <izalove> but jumps are limited to +100 or -100
07:27:49 <Jafet> so a 386 without far jumps?
07:28:09 <Jafet> I think that's not hard to manage
07:33:30 <Jafet> for a loop program, the percentage of instructions that you need to use for intermediate jumps depends only on the nested loop depth, and 100 should be enough to be curly-L-complete
07:33:55 <Jafet> if your language can also initialise memory using straight line code, then it's also turing-complete
07:37:41 <hppavilion[1]> izalove: Couldn't you just implement arbitrary jumps with compound short jumps?
07:37:54 <hppavilion[1]> Like, to jump 256 you jump 100 to a jump 100 to a jump 56
07:38:23 <Jafet> could you ask a more specific question
07:38:56 <izalove> after the first jump is executed, the next jump must be the next instruction
07:39:16 <izalove> so you have to scatter them all over the code
07:39:37 <izalove> Jafet: i mean using straight line code
07:39:58 <Jafet> code without jumps, of course
07:42:23 <Jafet> hmm, apparently “straight-line code” and “straight-line program” are entirely unrelated things
07:49:47 -!- scoofy has quit (Ping timeout: 258 seconds).
07:56:07 -!- scoofy has joined.
08:11:17 <HackEgo> English is an inherently ambiguous context-sensitive language that is too powerful to fully describe itself.
08:11:33 <HackEgo> english alphabet? ¯\(°_o)/¯
08:11:53 <HackEgo> Binary file reflection matches
08:12:10 <HackEgo> bezout's theorem:Bézout's theorem says that if a system of polynomial equations over the complexes has as many variables as equations, then in the general case the number of solutions it has is equal to the product of one less than the degrees of the polynomials. \ bézout's theorem:Bézout's theorem says that if a system of polynomial equations o
08:12:22 <HackEgo> Binary file reflection matches
08:19:44 -!- Sprocklem has quit (Ping timeout: 256 seconds).
08:36:19 -!- hppavilion[1] has left ("Leaving").
08:42:08 -!- scoofy has quit (Ping timeout: 245 seconds).
09:01:45 <HackEgo> [wiki] [[Anemone]] https://esolangs.org/w/index.php?diff=50355&oldid=20301 * YSomebody * (+83)
09:12:58 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/grwp
09:34:13 <fizzie> "The wiggliness of the line is controlled by the /span/ parameter, which ranges from 0 (exceedingly wiggly) to 1 (not so wiggly)." Very exact.
09:34:48 <shachaf> Is there no option for no wiggle at all?
10:05:31 -!- LKoen has joined.
11:33:50 -!- boily has joined.
11:40:14 <HackEgo> semmelweis//Semmelweis saves the life of a hundred thousand birthgiving mothers by popularising This One Simple Trick. Doctors hate him for it.
11:40:15 <lambdabot> oerjan said 17h 54m 17s ago: i think heyting algebras being cartesian closed categories is related to the curry-howard-lambek isomorphism hth. basically it's what makes implication in intuitionistic
11:40:15 <lambdabot> logic analogous enough to -> in simply typed lambda calculus.
11:41:16 <boily> @tell oerjan hellørjan. oh. that does strangely help.
11:42:54 -!- AnotherTest has joined.
11:53:02 <b_jonas> why does a license comment in source files in the opencv package say "IMPORTANT: READ BEFORE DOWNLOADING, COPYING, INSTALLING OR USING. By downloading, copying, installing or using the software you agree to this license. If you do not agree to this license, do not download, install, copy or use the software."?
11:53:13 <b_jonas> how am I to read the license before downloading it?
11:53:47 <Taneb> b_jonas, you could get someone else to download it and read it on their computer
11:54:00 <Taneb> b_jonas, or write them a letter asking for a paper copy
11:54:44 -!- Jafet has quit (Ping timeout: 258 seconds).
11:55:36 -!- Zarutian has joined.
11:55:48 <boily> a paper copy is just a functor. you can OCR it back.
11:56:54 -!- Zarutian has quit (Client Quit).
11:58:33 <b_jonas> boily: that reminds me to back when the USA export rules were more unreasonable, and people exported crypto software source code in dead-tree form then retyped it on the other side of the ocean.
11:59:12 <b_jonas> (Or more likely just spread that news as a cover story in case someone tries a lawsuit.)
12:03:51 <Taneb> I wonder if there is an injective homomorphism from the rubik's cube group to the group of unitary matrices of size n
12:04:32 * boily is too young for having experienced paper-based countercryptography :(
12:05:13 <b_jonas> I haven't experienced it either. It's a legend.
12:05:42 <b_jonas> Well, I have experienced debian having cryptographic-related packages in a separate archive, or something.
12:06:22 <Taneb> I'm gonna through "4" out there
12:07:18 <b_jonas> Taneb: any finite group is isomorphic to some permutation group, so for a large enough n that's obvious. In fact, for the rubik's cube group a permutation group over 54 elements is already enough, so n=54 works too.
12:07:23 <b_jonas> I don't think n=4 is possible.
12:08:10 -!- Jafet has joined.
12:11:46 <Taneb> b_jonas, the unitary group is not a finite group
12:12:29 <Taneb> So I am not sure I understand your argument
12:13:29 <LKoen> Taneb: the rubik's cube group is a group of permutations
12:13:41 <LKoen> let n = number of things to permutate
12:14:10 <LKoen> consider the set of perumtation matrices of size n
12:14:21 -!- boily has quit (Quit: RESONATING CHICKEN).
12:14:27 <Taneb> I understood where rubik's cube group => permutation came from
12:14:31 <LKoen> (inversible matrices that have exactly a 1 in every column and 0 everywhere else)
12:14:54 <b_jonas> right, permutation matrices
12:15:00 <LKoen> I do not 100% guarantee that works, but I think it might
12:15:25 <b_jonas> anyway, I think you can go below 54 if you are more careful, but 4 is hard to imagine
12:15:31 <Taneb> I'm not sure permutation matrices are unitary
12:16:33 * LKoen looks up the definition for unitary matrices
12:18:07 <LKoen> well, I think they are
12:19:00 <LKoen> if a permutation matrix M sends the i-th vector of the basis to the j-th vector, then it's conjugate transpose is also a permutation matrix and sends the j-th vector the the i-th
12:19:23 <alercah> they're definitely unitary
12:24:58 <HackEgo> permutation group? ¯\(°_o)/¯
12:38:15 -!- 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.”).
13:06:01 -!- carado has quit (Ping timeout: 256 seconds).
13:10:05 -!- Phantom_Hoover has joined.
14:04:56 -!- ybden has quit (Quit: Fing).
14:11:04 -!- ybden has joined.
14:24:42 <b_jonas> In MS SQL syntax, how do I put a LIMIT clause to a SELECT ... ORDER BY statement?
14:25:26 <myname> that's way to esoteric for me
14:28:36 <b_jonas> possible answer => http://stackoverflow.com/q/971964/2200827
14:36:22 <b_jonas> the answer is, instead of " LIMIT 20" near the end of the query, add " TOP 20 " between the SELECT and the fields to be selected. crazy.
14:42:00 -!- puckipedia has quit (Quit: fix hostname).
14:43:15 -!- puckipedia has joined.
14:59:55 -!- AnotherTest has quit (Ping timeout: 256 seconds).
15:14:06 -!- AnotherTest has joined.
16:24:19 -!- oerjan has joined.
16:28:44 <lambdabot> boily said 4h 47m 28s ago: hellørjan. oh. that does strangely help.
16:29:56 -!- Lord_of_Life has quit (Excess Flood).
16:30:12 -!- Lord_of_Life has joined.
16:39:09 -!- simpleirc has joined.
16:39:35 <HackEgo> simpleirc: 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.)
16:40:23 <oerjan> it's a bit quiet this time of day
17:04:43 -!- simpleirc has quit (Remote host closed the connection).
17:05:17 * int-e is formalizing knight tours
17:38:58 -!- AnotherTest has quit (Ping timeout: 258 seconds).
18:02:29 -!- Zarutian has joined.
18:09:37 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
18:13:25 -!- augur_ has joined.
18:15:12 -!- Lord_of_Life has joined.
18:15:21 -!- augur has quit (Ping timeout: 260 seconds).
18:23:33 -!- AnotherTest has joined.
18:42:18 -!- Bowserinator has quit (Quit: Goodbye :().
19:04:29 -!- Bowserinator has joined.
19:04:51 -!- carado has joined.
19:05:35 -!- alercah has quit (Quit: leaving).
19:06:39 -!- alercah has joined.
19:10:26 -!- oerjan has quit (Quit: Later).
19:11:42 <\oren\> TIL huygens is pronounced hoihens
19:18:30 -!- Bowserinator has quit (Changing host).
19:18:30 -!- Bowserinator has joined.
19:39:44 -!- hppavilion[1] has joined.
20:00:26 -!- augur_ has quit (Remote host closed the connection).
20:01:07 -!- augur has joined.
20:02:31 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
20:04:51 -!- DHeadshot has joined.
20:45:09 -!- heroux has quit (Ping timeout: 260 seconds).
20:45:21 -!- heroux has joined.
21:14:33 <HackEgo> [wiki] [[Talk:Incident]] https://esolangs.org/w/index.php?diff=50356&oldid=50337 * Ais523 * (+497) /* Inverse lexing construction */ thanks for the construction
21:20:36 -!- moonheart08 has joined.
21:20:59 -!- hppavilion[1] has joined.
21:25:28 <HackEgo> [wiki] [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=50357&oldid=50131 * Ais523 * (+2132) /* Incident */ new section, giving the example in a new language
21:26:45 -!- LKoen has joined.
21:34:48 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
22:05:56 -!- PinealGlandOptic has joined.
22:20:33 -!- moony has joined.
22:21:25 -!- moonheart08 has quit (Ping timeout: 248 seconds).
22:48:02 -!- Zarutian has quit (Quit: Zarutian).
22:53:42 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
23:06:39 -!- augur has quit (Read error: Connection reset by peer).
23:10:01 -!- augur has joined.
23:16:21 -!- augur has quit (Ping timeout: 248 seconds).
23:18:41 -!- augur has joined.
23:20:37 -!- DHeadshot has quit (Ping timeout: 240 seconds).
23:21:59 -!- Sprocklem has joined.
23:24:55 -!- DHeadshot has joined.
23:26:29 -!- 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.”).
23:27:32 -!- MoALTz has quit (Quit: Leaving).
23:45:56 -!- DHeadshot has quit (Ping timeout: 244 seconds).
23:48:54 -!- hppavilion[1] has joined.
23:51:10 -!- moony has quit (Ping timeout: 250 seconds).