00:00:09 So an increase of 0.1 multiplies by 10**0.1 = 10th root 10 ≈ 1.2589254117941673 00:02:08 -!- zzo38 has joined. 00:05:33 I'm adding AIRPORT to my automated CTCP replies 00:06:04 Which means what? 00:06:31 zzo38: It tells you the airport (code) I use for METAR 00:06:56 OK 00:07:17 @metar EGLL 00:07:17 EGLL 212350Z AUTO 17008KT 130V200 9999 -RA BKN022/// //////TCU 11/08 Q0987 TEMPO SHRA 00:07:28 Feels colder. 00:08:48 @metar 00:08:51 Dammit 00:09:05 I'm adding a /metar command to my client 00:09:45 @metar pamr 00:09:46 PAMR 212353Z 04004KT 9SM CLR M03/M10 A2959 RMK SLP023 T10281100 11022 21044 50004 VIA AUTODIAL 00:09:49 :D 00:09:55 Whoa, -3 00:09:56 -!- Froox has joined. 00:10:12 /br/ 00:10:51 * hppavilion[1] feels proud of that pun 00:13:14 -!- Frooxius has quit (Ping timeout: 258 seconds). 00:18:05 @metar ENVA 00:18:05 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 [wiki] [[Talk:Nil]] https://esolangs.org/w/index.php?diff=50351&oldid=13373 * Ender scythe * (+400) Added suggestion. 01:46:55 [wiki] [[Talk:Nil]] M https://esolangs.org/w/index.php?diff=50352&oldid=50351 * Ender scythe * (+0) Fixed formatting. 01:58:47 [wiki] [[Talk:Nil]] https://esolangs.org/w/index.php?diff=50353&oldid=50352 * Ender scythe * (+52) Fixed code suggestion. 01:59:33 [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:41 `? metar 02:10:46 metar is a service Taneb invented that allows nerds to talk about the weather. 02:11:18 Oh, this is actually a thing 02:11:38 I somehow assumed it was a "fortune-teller" random string of sorts 02:18:01 Remind me: What are your approximate geographic coördinates and body weigh? 02:22:57 @metar KATL 02:22:58 KATL 220152Z 33008KT 10SM CLR 09/M13 A3018 RMK AO2 SLP224 T00891128 02:24:04 ouch that cannot be the correct low 02:26:16 what low 02:26:40 the part after the / is not the low temperature hth 02:27:30 although it does seem strange. is the weather really, really dry? 02:29:20 `icao KATL 02:29:21 Hartsfield Jackson Atlanta Intl (ATL, KATL) 02:32:45 -!- Sprocklem has joined. 02:34:47 oerjan: yes 02:35:37 then it might be right. 02:36:23 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 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 (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 Is there a HackEgo command to look up a rule? 02:59:21 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 What's wrong with that rule? 03:02:56 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 How would you implement it? 03:04:47 Simply delete it. If the ante zone is shared across subgames, that rule belongs under 718 instead. 03:05:37 (Deleting rule 800.4k also allows some new (but narrow) tactics.) 03:06:48 But then what happens to the owner of a card in the ante zone when they lose? 03:07:01 You could put the owner in the ante zone too. 03:07:52 `ls share 03:07:53 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:06 `doat share/tanebgrep 03:08:08 8589:2016-06-24 ` grep -l Taneb wisdom/* > share/tanebgrep \ 8590:2016-06-24 ` grep Taneb wisdom/* > share/tanebgrep \ 8591:2016-06-24 ` grep BBC wisdom/* >> share/tanebgrep 03:08:19 `rm share/tanebgrep 03:08:22 No output. 03:08:28 `complaints 03:08:29 23 share/Complaints.mp3 03:09:06 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 Why? Ante is part of the game. 03:09:38 `1 ls share 03:09:40 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:45 `spam 03:09:47 2/2: \ usercmds \ WordData 03:10:00 `cat bin/1 03:10:01 \` "$@" |& sport 03:10:11 `cat bin/sport 03:10:12 distort "${1:-/dev/stdin}" | spore 03:10:24 `cat bin/spore 03:10:25 echo 1 > /hackenv/tmp/spline; cat "${1-/dev/stdin}" > /hackenv/tmp/spout; spam 03:10:27 Yes, but legal ownership is and should be external to the game. 03:10:43 (You can make external rules about that stuff if you want to.) 03:12:04 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 if you don't require ante cards to alter legal ownership, prepare for a deluge of ante cards 03:13:44 `cat bin/spam 03:13:45 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 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 confusing name? / no comprehension? / must be a / burma shavention 03:19:09 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 `mkx bin/spore//echo "${2-1}" > /hackenv/tmp/spline; cat "${1:-/dev/stdin}" > /hackenv/tmp/spout; spam 03:22:29 bin/spore 03:23:10 -!- Sprocklem has joined. 03:23:25 You want to be able to `1ize the previous deterministic command without repeating the first line? 03:23:29 `mkx bin/sport//distort "${1:-/dev/stdin}" | spore '' "${2-1}" 03:23:31 bin/sport 03:23:53 `mkx bin/2//\` "$@" |& sport '' 2 03:23:56 bin/2 03:23:57 oerjan: I'm confused. 03:24:06 shachaf: yep 03:24:12 spore '' "${2-1}" ? 03:24:26 oerjan: I've wanted that feature before, but I didn't have a good name for it. 03:24:32 Even though `2 should have been very obvious. 03:24:51 `1 ls share 03:24:53 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:02 `2 ls share 03:25:03 2/2: \ usercmds \ WordData 03:25:09 `1 ls share 03:25:09 looks good 03:25:10 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:11 `spam 03:25:12 2/2: \ usercmds \ WordData 03:25:17 `` ls share 03:25:18 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:23 `spam 1 03:25:23 3/2: 03:25:29 oerjan: `speek hth 03:25:32 ah 03:25:36 Though maybe they should be combined. 03:25:38 `cat bin/spam 03:25:39 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:27:42 `culprits bin/2 03:27:44 oerjän 03:28:29 `cat bin/distort 03:28:30 #!/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 Maybe 330 was too conservative. 03:28:50 I remember that you said something about five digits being slightly excessive. 03:30:07 well that was before you told me about speek, i think 03:30:14 `cat bin/speek 03:30:15 echo "$1" > /hackenv/tmp/spline; spam 03:30:57 No real reason not to combine spam and speek, though. 03:31:01 indeed 03:31:27 and since you're already at it... 03:32:35 `sled bin/spam//1s,","${1-,;1s/[)]/)}/ 03:32:37 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:51 `spam 1 03:32:52 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:55 `spam 1 03:32:56 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:16 `` rgrep speek bin 03:33:21 No output. 03:33:25 `rm bin/speek 03:33:27 No output. 03:33:36 `spam 03:33:37 2/2: \ usercmds \ WordData 03:33:42 `spam -1 03:33:43 -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 `` sed -n -- "-1p" /hackenv/tmp/spout 03:34:14 /bin/sed: -e expression #1, char 1: unknown command: `-' 03:34:35 sed isn't a great way of printing the nth line. 03:34:43 It'll continue to process the whole file even after it's printed. 03:34:47 Which I guess isn't all that bad. 03:34:47 you think 03:34:57 Also it doesn't work for negative indices. 03:35:02 Many disadvantages. 03:35:28 -!- carado has quit (Ping timeout: 245 seconds). 03:37:37 `mkx bin/spore//cat "${1:-/dev/stdin}" > /hackenv/tmp/spout; spam "${2-1}" 03:37:39 bin/spore 03:38:12 `2 ls share 03:38:13 2/2: \ usercmds \ WordData 03:38:34 -!- carado has joined. 03:39:22 now moar modular 03:39:33 *noaw 03:39:46 whoa whoa whoa 03:39:53 how did hoag get into this 03:40:30 yo dowg 03:40:43 `le//rn jonathan hoag//Hoag is an art critic. 03:40:45 Learned 'jonathan hoag': Hoag is an art critic. 03:47:17 -!- hppavilion[1] has joined. 03:48:41 `` yes | nl | sed -n 3p 03:49:12 No output. 03:49:22 `` yes | nl | sed -n 3{p;q} 03:49:23 /bin/sed: -e expression #1, char 0: unmatched `{' \ /hackenv/bin/`: line 4: q}: command not found 03:49:36 `mkx bin/nth//head -n"$1" | tail -n1 03:49:38 bin/nth 03:49:43 `` yes | nl | nth 3 03:49:44 3y 03:49:56 `` yes | nl | sed -n "3{p\nq}" 03:49:58 /bin/sed: -e expression #1, char 4: extra characters after command 03:50:02 hmph 03:50:09 are you thinking of awk hth 03:50:21 can that do it easier? 03:50:38 `culprits bin/nth 03:50:40 shachäf 03:50:42 CALESYTA banned BF derivatives :D 03:50:46 `? nth 03:50:47 nth? ¯\(°_o)/¯ 03:50:56 `? `? 03:50:57 `? ¯\(°_o)/¯ 03:51:00 hppavilion[1]: old news 03:51:19 oerjan: Yes, well, I just found out 03:51:22 ;-; 03:51:43 -!- fungot has quit (Ping timeout: 245 seconds). 03:52:12 NOOOOGNUF 03:52:16 um 03:52:33 that no worked 03:53:02 oerjan: are you going to use nth twh 03:53:06 FNEINGOT! 03:53:20 `learn nth is not that helpful 03:53:24 Learned 'nth': nth is not that helpful 03:53:38 FNEINEINEINEINEINGOT! 03:53:39 I considered calling it !!, but it's 1-indexed. 03:54:08 'nthn' is 'not that helpful, n00b', and is my name written abjadily 03:54:19 (aka bjdly) 03:54:23 `? IPA 03:54:24 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 `` yes | nl | sed -n "3{pq} 04:05:07 /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 `` yes | nl | sed -n "3{pq}" 04:05:14 /bin/sed: -e expression #1, char 4: extra characters after command 04:06:10 `` yes | nl | sed -n "3{\np\nq}" 04:06:11 /bin/sed: -e expression #1, char 9: unterminated address regex 04:07:48 Is {} a sed thing? 04:08:04 are you sure you're not thinking of awk 04:08:44 shachaf: Bawk! I was not! 04:08:49 http://stackoverflow.com/questions/6022384/bash-tool-to-get-nth-line-from-a-file says that head and tail is slow 04:08:52 shachaf: I did not have textual relations with that command 04:09:28 ${n}q;d 04:09:36 makes sense 04:19:34 huh 04:19:59 `` yes | nl | sed -n '3{p;q}' 04:20:00 3y 04:20:02 I guess you were right. 04:20:10 I don't know sed. 04:20:16 sed = scow ed 04:21:04 `sled bin/spam//s,sed [^p]*p,sed "${line}q;d, 04:21:07 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 oerjan: no, ${line}q;d is confusing tdnh 04:21:41 you should use your original approach, ${line}{p;q} 04:21:47 um but the 3{p;q} wasn't working before 04:21:56 `` yes | nl | sed -n '3{p;q}' 04:21:56 3y 04:22:00 huh 04:22:05 you didn't try 3{p;q} hth 04:22:41 you tried 3{pq} and 3{\np\nq} 04:22:56 with literal \ n, not a newline 04:23:15 bah 04:24:01 `sled bin/spam//s,sed [^d]*d,sed -n "{${line}p;q}, 04:24:03 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:16 that doesn't work hth 04:24:29 {5p;q} means print line 5, and also quit on every line 04:24:37 oops 04:24:51 itim tdnw hth 04:25:06 `sled bin/spam//s,sed [^q]*q,sed -n "${line}{p;q, 04:25:09 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:26 `2 ls share 04:25:27 2/2: \ usercmds \ WordData 04:25:37 oerjan: what if there was a version of sled that worked on the before version instead of the current version wth 04:25:45 fancy 04:25:49 combination revert/sled 04:26:00 or even revert/sedlast 04:26:08 this sounds like a good oervention 04:26:10 well that wouldn't have helped with my several in a row 04:26:46 well, it would need to account for that, obviously 04:28:16 sounds hard 04:28:37 isn't that why we're here? 04:28:41 to solve the hard problem? 04:28:56 maybe you are 04:29:06 `? oerjan 04:29:07 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:13 see: lazy 04:29:13 `before oerjan 04:29:16 oerjan// 04:29:25 Oh, I was going to add "lazy". 04:29:28 But it's already there. 04:29:48 `dowt oerjan 04:29:50 0:2012-02-16 Initïal import. \ 673:2012-08-27 run echo "Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian." >wisdom/oerjan \ 1000:2012-12-09 revert 0 \ 1001:2012-12-09 revert 999 \ 1493:2013-01-12 revert 4 \ 1497:2013-01-12 revert 1492 \ 2649:2013- 04:29:57 itym dowg hth 04:30:05 no, i meant dowt 04:30:11 Oh, I see. 04:30:15 Why did I write that? 04:30:17 i wanted to see if it had been there from the start 04:30:25 Oh, I probably just added the last sentence. 04:30:41 blame nitia 04:30:46 clearly. 04:31:23 `` hg cat -r0 wisdom/oerjan 04:31:24 Your evil overlord oerjan is a lazy expert in future computation. 04:31:33 yay it worked 04:32:31 `slwrjan s#sweet#wise#;s#lord#lwrd# 04:32:34 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 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:58:29 To what end? 04:59:44 `` sed 's,e,w,g' wisdom/oerjan 04:59:45 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 I could possibly to add such card later, but right now I didn't. 05:00:56 Do you guess what subtype it is? 05:01:16 shachaf: Meh, you should have replaced all the first vowels in every word. 05:01:29 Though, "owrjan" is better than "werjan" 05:01:33 oerjwn? 05:01:52 . o O ( every full moon he turns into a jan ) 05:02:02 `slwd oerjan//s#mo#&o# 05:02:04 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:02:06 Yes, that is correct. 05:02:09 Oops, I forgot to slwrjan 05:13:34 `5 w 05:13:40 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:44 `spam 05:13:45 2/2:rug. \ stephen wolfram//Stephen Wolfram is an esolanger with too much money and power. Taneb invented him. 05:14:15 `dowt joke 05:14:18 7031:2016-02-27 learn Jokes are no drug. 05:14:41 int-e: Did you play _Spider and Web_? 05:25:57 seastika 05:27:25 i don't get it 05:30:04 shachaf: Me? 05:45:47 Is oerjan very gorfetful? 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 @tell \oren\ neoletters lacks a serif on 'r' and it's starting to bug me, especially due to the potential confusion with IPA ɾ. 06:58:48 Consider it noted. 07:02:02 `thank giving 07:02:07 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: thank: not found 07:02:12 D: 07:02:15 `thanks giving 07:02:17 Thanks, giving. Thiving. 07:02:21 :) 07:02:22 :] 07:23:19 I feel like there needs to be a Z with stroke. To indicate a voiced $ 07:23:45 ("gazh" [gæʒ], rather than "cash" [kæʃ]) 07:25:32 hey 07:26:07 think of a language where there's an if instruction 07:26:11 and a jump instruction 07:26:21 there are no loops but if+jump should be enough 07:26:31 but there's a caveat 07:26:41 izalove: ...wait, spoken or prog- OK, programming 07:26:42 jump can't jump infinitely far ahead or behind 07:26:46 yeah 07:26:55 izalove: It never can. Computers have finite memory. 07:26:58 ok 07:27:03 this is an ideal computer 07:27:04 Oh, I forgot to 07:27:07 07:27:24 but jumps are limited to +100 or -100 07:27:49 so a 386 without far jumps? 07:27:54 i guess 07:28:08 but with infinite memory 07:28:09 I think that's not hard to manage 07:33:30 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 if your language can also initialise memory using straight line code, then it's also turing-complete 07:34:59 what does that mean? 07:37:41 izalove: Couldn't you just implement arbitrary jumps with compound short jumps? 07:37:54 Like, to jump 256 you jump 100 to a jump 100 to a jump 56 07:38:06 sure 07:38:19 izalove: Seems a little boring 07:38:23 could you ask a more specific question 07:38:56 after the first jump is executed, the next jump must be the next instruction 07:39:16 so you have to scatter them all over the code 07:39:20 Jafet: Me? 07:39:37 Jafet: i mean using straight line code 07:39:42 what's that? 07:39:58 code without jumps, of course 07:42:23 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:16 `? english 08:11:17 English is an inherently ambiguous context-sensitive language that is too powerful to fully describe itself. 08:11:32 `? english alphabet 08:11:33 english alphabet? ¯\(°_o)/¯ 08:11:36 *sigh* 08:11:46 `grwp 'case' 08:11:53 Binary file reflection matches 08:12:06 ...? 08:12:09 `grwp case 08:12:10 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:21 `grwp upper case 08:12:22 Binary file reflection matches 08:12:27 Hm. Strange. 08:12:40 Wait, is grwp context-sensitive? 08:12:46 s/context/case/ 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 [wiki] [[Anemone]] https://esolangs.org/w/index.php?diff=50355&oldid=20301 * YSomebody * (+83) 09:12:57 `paste bin/grwp 09:12:58 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/grwp 09:34:13 "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 Is there no option for no wiggle at all? 09:34:53 Is wiggliness = wiggle? 10:05:31 -!- LKoen has joined. 11:33:50 -!- boily has joined. 11:40:04 `wisdom 11:40:14 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 @massages-loud 11:40:15 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 logic analogous enough to -> in simply typed lambda calculus. 11:41:16 @tell oerjan hellørjan. oh. that does strangely help. 11:41:16 Consider it noted. 11:42:54 -!- AnotherTest has joined. 11:53:02 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 how am I to read the license before downloading it? 11:53:47 b_jonas, you could get someone else to download it and read it on their computer 11:54:00 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 a paper copy is just a functor. you can OCR it back. 11:56:54 -!- Zarutian has quit (Client Quit). 11:58:33 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 (Or more likely just spread that news as a cover story in case someone tries a lawsuit.) 12:03:51 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 I haven't experienced it either. It's a legend. 12:05:42 Well, I have experienced debian having cryptographic-related packages in a separate archive, or something. 12:06:00 Taneb: for what n? 12:06:06 b_jonas, any n 12:06:22 I'm gonna through "4" out there 12:07:18 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 I don't think n=4 is possible. 12:08:10 -!- Jafet has joined. 12:11:46 b_jonas, the unitary group is not a finite group 12:12:29 So I am not sure I understand your argument 12:13:29 Taneb: the rubik's cube group is a group of permutations 12:13:40 Yes 12:13:41 let n = number of things to permutate 12:14:10 consider the set of perumtation matrices of size n 12:14:21 -!- boily has quit (Quit: RESONATING CHICKEN). 12:14:27 I understood where rubik's cube group => permutation came from 12:14:31 (inversible matrices that have exactly a 1 in every column and 0 everywhere else) 12:14:41 Oooh 12:14:54 right, permutation matrices 12:15:00 I do not 100% guarantee that works, but I think it might 12:15:25 anyway, I think you can go below 54 if you are more careful, but 4 is hard to imagine 12:15:31 I'm not sure permutation matrices are unitary 12:16:33 * LKoen looks up the definition for unitary matrices 12:16:35 oh 12:18:07 well, I think they are 12:19:00 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:09 LKoen: sure they are 12:19:23