00:14:38 `hrlist 00:14:39 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hrlist: not found 00:17:37 -!- hppavilion[1] has joined. 00:25:22 There needs to be an hsrlist 00:25:23 `hsrlist 00:25:24 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hsrlist: not found 00:25:28 :/ 00:28:44 -!- kurolox has quit (Ping timeout: 246 seconds). 00:36:44 -!- MDude has quit (Read error: Connection reset by peer). 00:41:59 -!- iovoid has quit (Quit: *). 00:42:48 -!- iovoid has joined. 00:48:44 -!- augur has joined. 00:50:07 -!- jaboja has quit (Remote host closed the connection). 01:00:00 -!- alercah has quit (Remote host closed the connection). 01:05:54 -!- sebbu has quit (Ping timeout: 252 seconds). 01:15:00 -!- Sgeo_ has joined. 01:16:44 -!- Sgeo has quit (Ping timeout: 240 seconds). 01:25:55 -!- sebbu has joined. 01:26:43 -!- alercah has joined. 01:33:24 -!- sleffy has quit (Ping timeout: 252 seconds). 03:02:35 -!- ATMunn has quit (Quit: See ya! o/). 03:53:41 [wiki] [[Talk:Maybe Later]] N https://esolangs.org/w/index.php?oldid=52970 * Enoua5 * (+910) Created page with "Hey, this is a very nice language. I actually had a very similar idea quite awhile ago and never perused it. Glad to see that someone has made this. Poking around with the lan..." 03:54:32 [wiki] [[Talk:Maybe Later]] M https://esolangs.org/w/index.php?diff=52971&oldid=52970 * Enoua5 * (+0) 05:04:08 [wiki] [[Ly]] https://esolangs.org/w/index.php?diff=52972&oldid=52950 * LyricLy * (+111) 05:42:27 -!- sleffy has joined. 06:11:59 -!- sleffy has quit (Ping timeout: 248 seconds). 06:12:46 -!- sleffy has joined. 07:04:12 -!- FreeFull has quit. 07:39:05 <* Taneb> good morning 07:44:08 -!- sleffy has quit (Ping timeout: 246 seconds). 07:50:47 -!- tromp has quit (Remote host closed the connection). 07:53:03 -!- tromp has joined. 07:53:03 -!- tromp has quit (Remote host closed the connection). 07:53:16 -!- tromp has joined. 07:53:33 @@ Taneb: Good (@time Taneb) 07:53:33 Taneb: Good 07:53:34 Local time for Taneb is Tue Aug 29 07:53:33 07:53:37 Bah. 07:54:01 shachaf, good effort 07:55:08 Taneb: So now that you're working at your job, you'll have more opportunities to visit CA, right? 07:56:45 I'll have more ability to visit CA! But probably less opportunity 07:57:33 What is an opportunity, without ability? 07:57:41 Or: What is ability, without opportunity? 07:57:50 Maybe you can visit for a conference. 07:58:15 That would be nice! 07:58:26 I'm going to be at ICFP next week, that's a conference, but it's not in CA 07:58:40 international california of functional programming 08:00:18 I should go to ICFP. 08:01:46 It'll be harder for me to go next year probably 08:02:43 My cool idea for a text editor didn't work because of a bug in watch :( 08:02:46 Hmm, it'll be in Missouri. 08:03:10 Maybe you can get a job in Missouri between now and then. 08:03:13 Then it'll be easy. 08:03:25 Speaking of which, I saw a baseball game last week. 08:03:33 (it was ed in one window and watch -ctd "source-highlight-esc.sh $FILE | nl" in another) 08:03:41 shachaf, did they base the balls? 08:04:03 I believe so. 08:04:09 But I was very confused. I didn't know the rules. 08:04:27 Are you familiar with cricket? 08:04:43 It's kind of like cricket except completely different 08:04:53 Until recently I didn't realize cricket wasn't the same game as croquet. 08:05:22 I'm fairly sure croquet is a third sport entirely 08:05:56 Right, one which I'd played some variant of. 08:06:09 When people talked about cricket I thought that was the game they were referring to. 08:07:33 Oh, right, Alice played croquet. 08:08:10 "Each phase of play is called an innings" 08:08:13 is this some sort of joke 08:08:20 the maths doesn't work out 08:09:02 How so? 08:09:20 The equivalent thing in baseball is called an "inning". 08:09:50 That's like how Americans call maths "math" 08:09:54 Exactly the same thing 08:10:03 I call each math a math. 08:10:04 It's short for inningematics 08:10:28 Toplogy, set theory, D-modules, each of them a math 08:10:38 If you learn several of them, you're studying maths 08:10:52 I can agree with that 08:11:12 In my alternate usage, a theorem is an example of a math 08:11:40 I can also agree with that 08:11:44 <* Taneb> is in an agreeable mood 08:12:41 Can you agree to meet me in St. Louis? 08:13:02 I cannot 08:13:10 I don't even know where St Louis is 08:13:14 Lousiana? 08:13:26 It's around ICFP 2018 08:13:37 So if you go, you can't miss it 08:13:37 Ah, I see! 08:13:57 Also there's a song called "Meet Me in St. Louis" which I'd never heard until just now. 08:14:00 I don't know if I'll have enough money then for trips, I'm planning to go to Japan in April 08:14:10 Remind me whether you read olist? 08:14:20 I do not 08:14:30 Tried a couple of times, couldn't get into it 08:14:43 I learned of the song from http://www.giantitp.com/comics/oots0383.html 08:19:41 -!- tromp has quit (Remote host closed the connection). 08:20:24 -!- ais523 has quit (Ping timeout: 252 seconds). 08:24:53 -!- AnotherTest has joined. 08:26:54 -!- mroman has joined. 08:27:01 re 08:31:17 -!- augur has quit (Remote host closed the connection). 08:31:53 -!- augur has joined. 08:36:17 -!- augur has quit (Ping timeout: 246 seconds). 08:36:44 -!- AnotherTest has quit (Ping timeout: 240 seconds). 08:42:23 -!- AnotherTest has joined. 08:52:27 -!- kurolox has joined. 09:00:56 -!- tromp has joined. 09:01:39 -!- imode has quit (Ping timeout: 252 seconds). 09:05:19 -!- tromp has quit (Ping timeout: 255 seconds). 09:31:13 -!- augur has joined. 09:37:10 -!- augur has quit (Ping timeout: 240 seconds). 09:40:46 \o/ 09:44:13 ^\o_O/^ 09:44:29 "\o_O/ " 09:44:31 fizzie, I've found a weird bug in umlbox. I'm sure you'll have fun. 09:44:33 `? hutnuhtnaeu 09:44:36 hutnuhtnaeu? ¯\(°​_o)/¯ 09:44:54 `\o_O/` 09:44:57 hm. 09:45:17 ^döts mroman 09:45:21 `döts mroman 09:45:22 mrömän 09:45:46 ň 09:46:34 ǎčďěǧȟǐǰǩľňǒřšťǔǚž 09:46:59 ǚü 09:47:00 hm. 09:47:06 so v is turned into a u when doing this 09:47:43 ãẽĩ 09:48:17 unicode lacks voynich symbols. 09:57:37 -!- Sgeo_ has quit (Ping timeout: 248 seconds). 10:02:01 kurolox: What sort of? 10:04:19 -!- mroman has quit (Ping timeout: 260 seconds). 10:05:22 fizzie: Trying to run flask won't work, but only if you specify a timeout. 10:06:00 sorry, not flask 10:06:01 elixir 10:07:56 So, if you try to run this: umlbox -B elixir -e 'IO.puts("Hello World")' 10:08:05 it will work, but if you specify a timeout, even a dumb one, like this 10:08:20 umlbox -B -T 99999999 elixir -e 'IO.puts("Hello World")' 10:08:22 it won't work 10:08:53 using the -v flag in both gives the same output 10:13:48 Odd. But maybe not odd enough to start installing things to try out. 10:13:52 Looking at what setting a timeout does, probably something about init's process manipulations. 10:24:34 -!- Sgeo has joined. 10:29:21 -!- AnotherTest has quit (Ping timeout: 240 seconds). 10:48:59 -!- tromp has joined. 10:49:38 -!- AnotherTest has joined. 10:53:37 -!- tromp has quit (Ping timeout: 248 seconds). 11:11:27 -!- clog has quit (Ping timeout: 252 seconds). 11:31:50 -!- hppavilion[0] has joined. 11:34:09 -!- hppavilion[1] has quit (Ping timeout: 248 seconds). 11:36:28 -!- boily has joined. 11:47:26 -!- clog has joined. 12:02:22 `5 w 12:02:27 1/2:hagb4rd//hagb4rd is one spacey fellow. Spaaaaaaaaaaaaaaace. \ covfefe//Covfefe is how you speak when you've had *way* too much coffee. \ cello//The high level structure of Cello projects is inspired by /Haskell/, while the syntax and semantics are inspired by /Python/ and /Obj-C/. \ mirth/ 12:02:28 `n 12:02:29 2/2:/Mirths are juvenile moths. They giggle a lot. \ oklopol//oklopol "so i hear these blogs are getting popular, people like writing about their lives and shit. on this thing called the internet which is like a neural network only really stupid." 12:14:31 -!- tromp has joined. 12:17:42 -!- erkin has joined. 12:19:16 -!- tromp has quit (Ping timeout: 246 seconds). 12:23:14 -!- boily has quit (Quit: CENTAUR CHICKEN). 12:31:50 -!- LKoen has joined. 12:38:43 -!- zseri has joined. 12:42:59 -!- zseri has quit (Ping timeout: 260 seconds). 13:09:11 -!- tromp has joined. 13:13:51 -!- tromp has quit (Ping timeout: 248 seconds). 14:03:11 -!- martinhez has joined. 14:03:26 -!- tromp has joined. 14:05:53 -!- martinhez has quit (Client Quit). 14:06:10 -!- martinhez has joined. 14:08:00 -!- tromp has quit (Ping timeout: 252 seconds). 14:23:14 -!- ATMunn has joined. 14:32:40 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 14:45:57 -!- martinhez has quit (Read error: Connection reset by peer). 14:58:18 -!- zseri has joined. 15:01:41 -!- sebbu has quit (Ping timeout: 240 seconds). 15:05:18 -!- LKoen has quit (Remote host closed the connection). 15:15:09 -!- mig22 has joined. 15:15:20 -!- sebbu has joined. 15:15:24 -!- mig22 has quit (Client Quit). 15:16:30 -!- sebbu2 has joined. 15:20:10 -!- sebbu has quit (Ping timeout: 255 seconds). 15:41:40 -!- jaboja has joined. 15:41:57 -!- joast has quit (Quit: Leaving.). 15:45:01 -!- sebbu has joined. 15:46:55 -!- PinealGlandOptic has joined. 15:48:31 -!- sebbu2 has quit (Ping timeout: 255 seconds). 15:51:39 -!- tromp has joined. 15:56:01 -!- tromp has quit (Ping timeout: 248 seconds). 15:58:39 -!- AnotherTest has quit (Ping timeout: 248 seconds). 16:00:58 -!- AnotherTest has joined. 16:05:01 -!- AnotherTest has quit (Ping timeout: 240 seconds). 16:10:12 -!- AnotherTest has joined. 16:15:58 -!- hppavilion[0] has quit (Ping timeout: 264 seconds). 16:16:19 -!- mroman has joined. 16:17:20 Isn't there a brainfuck version where cells are 1bit? 16:17:26 Is it turing complete? 16:17:29 (I'd suspect so) 16:19:38 I don't think the size of the cells is relevant for turing-completeness 16:19:43 as long as it's larger than zero bits 17:38:13 boolfuck 17:38:35 mroman: ^ 17:40:09 -!- tromp has joined. 17:44:35 -!- tromp has quit (Ping timeout: 240 seconds). 17:49:02 -!- augur has joined. 17:52:37 -!- FreeFull has joined. 17:53:46 -!- augur has quit (Ping timeout: 264 seconds). 17:58:12 are there compiler people? is SIMD SSEx instructions should be scheduled correctly? does modern CPUs has several ports to execute them? 17:59:57 -!- AnotherTest has quit (Ping timeout: 260 seconds). 18:00:01 -!- sleffy has joined. 18:00:33 `olist 1095 18:00:34 olist 1095: shachaf oerjan Sgeo FireFly boily nortti b_jonas 18:02:31 -!- tromp has joined. 18:15:20 -!- tromp has quit (Remote host closed the connection). 18:16:35 -!- imode has joined. 18:21:02 -!- Phantom_Hoover has joined. 18:25:03 -!- sebbu2 has joined. 18:28:42 -!- sebbu has quit (Ping timeout: 252 seconds). 18:34:46 -!- erkin has joined. 18:40:15 -!- AnotherTest has joined. 18:58:35 -!- imode has quit (Ping timeout: 246 seconds). 18:58:45 -!- sebbu has joined. 18:59:03 -!- imode has joined. 18:59:13 PinealGlandOptic: I think you need to rephrase that question. 19:01:48 -!- sebbu2 has quit (Ping timeout: 240 seconds). 19:02:48 -!- sleffy has quit (Ping timeout: 252 seconds). 19:04:33 -!- tromp has joined. 19:09:22 -!- tromp has quit (Ping timeout: 260 seconds). 19:11:03 -!- AnotherTest has quit (Read error: Connection reset by peer). 19:12:13 -!- jaboja has quit (Remote host closed the connection). 19:12:21 <\oren\> With tropical storm harvey, Has anyone made a Houston we have a problem joke yet? 19:18:27 mroman: OK, common x86 instructions need to be reordered for better scheduling. does the same applied to SIMD instructions? 19:19:55 -!- augur has joined. 19:21:40 -!- jaboja has joined. 19:24:31 -!- augur has quit (Ping timeout: 255 seconds). 19:28:47 -!- tromp has joined. 19:38:45 -!- ais523 has joined. 19:59:57 -!- rodgort has quit (Quit: Leaving). 20:03:58 -!- rodgort has joined. 20:08:48 -!- deltab has quit (Ping timeout: 240 seconds). 20:09:31 PinealGlandOptic: I don't know. 20:22:26 -!- Phantom__Hoover has joined. 20:26:32 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 20:39:29 -!- ais523 has quit. 20:39:39 -!- ais523 has joined. 20:54:11 -!- tromp has quit (Remote host closed the connection). 21:06:14 -!- augur has joined. 21:09:12 -!- tromp has joined. 21:10:41 -!- augur has quit (Ping timeout: 248 seconds). 21:11:09 -!- augur has joined. 21:39:01 -!- tromp has quit (Remote host closed the connection). 21:46:39 -!- rdococ has joined. 21:48:42 hm 21:49:18 an esoOS could handle newlines weirdly: carriage return would reset the cursor to the beginning of the line without moving it down; while the newline character would just move it down 21:49:34 -!- mroman has quit (Ping timeout: 260 seconds). 21:50:26 so e.g. using arrows to demonstrate CR and LF, abc←def would show up as abc and def overlayed, but abc↓def would show up as abc followed by def shifted down 21:50:54 abc←↓def would have what we know as a newline 21:51:00 -!- tromp has joined. 21:53:35 rdococ: actually terminals handle CR and LF like that already; Linux has a translation layer inside the kernel that translates newline to CRLF so that it will work with terminals, but you can turn it off or reconfigure it 21:53:56 ais523: esoOS shouldn't have such a translation layer, then 21:56:01 -!- jaboja has quit (Ping timeout: 248 seconds). 21:57:33 -!- ais523 has quit (Remote host closed the connection). 22:04:26 Things that annoy me: "int main() {return false;}" is a valid implementation of true 22:04:30 -!- Taneb has left ("Leaving"). 22:04:35 -!- Taneb has joined. 22:04:44 -!- zseri has quit (Ping timeout: 260 seconds). 22:04:47 Further things that annoy me: brushing my touchpad and parting an IRC channel 22:04:59 lol 22:07:55 hm 22:08:03 does carriage return in a terminal enable overlaying text? 22:20:55 -!- atslash has quit (Ping timeout: 246 seconds). 22:23:29 Only if it's a hardcopy terminal. 22:24:58 I vaguely remember some formatting language (maybe something-roff) having a syntax for bold that's, for bold "foo", "fBfoBooBo" where B is the backspace character. 22:25:13 Because that'd double-strike "foo". 22:26:11 lol 22:26:24 an actual backspace character would be cool too 22:28:52 Doesn't the INTERCAL operator list include one character you'd type as V, backspace, -? 22:29:44 I guess that same formatting language would have "fB_oB_oB_" for backspace 22:29:50 s/backspace/underline/ 22:30:01 -!- jaboja has joined. 22:33:09 [wiki] [[Ly]] https://esolangs.org/w/index.php?diff=52973&oldid=52972 * LyricLy * (-4) 22:38:14 -!- tromp has quit (Remote host closed the connection). 22:39:58 -!- tromp has joined. 22:42:47 fizzie: a backspace character escape sequence that could do that might be cool in an esolang 22:44:46 -!- Sgeo has quit (Read error: Connection reset by peer). 22:45:32 fizzie: GNU less(1) does that, and man(1) uses it for its formatting 22:45:39 try e.g. printf $'f\x08fo\x08oo\x08o foo' | less 22:46:09 it does underlining with _ as well, like what rdococ suggested 22:47:06 vim has a setting to make act as an infix compose in insert-mode 22:47:13 I tested the command, and that does work 22:47:21 (same as i_^K) 22:48:07 I know that there's also old APL charsets relying on backspace characters for overstriking (the APL charset is heavily oriented around overstriking) 22:48:27 (because it was originally designed around the restrictions of an IBM Selectric typeball) 22:48:29 -!- boily has joined. 22:48:57 Well, the first programming-language/digital version was. it was a mathematical notation before that, for paper/blackboard use, obviously not constrainted by typeballs) 22:49:00 -) 22:49:05 oddly enough, the formatting above doesn't work with strikethrough using - 22:49:25 I only know of bold and underline being supported in less 22:49:43 odd 22:49:55 the esoOS terminal should support any overlaying with that 22:49:57 I believe ALGOL variants used underline to distinguish between keywords (from symbols), and implemented that with overstrike. 22:50:02 so a with ^ would be aB^ 22:50:31 -!- iovoid has quit (Ping timeout: 276 seconds). 22:50:36 strikethrough would be fB-oB-oB- 22:51:01 -!- iovoid has joined. 22:51:01 -!- iovoid has quit (Changing host). 22:51:01 -!- iovoid has joined. 22:51:39 I read at some point that a lot of the punctuation of ASCII was intentionally designed to facilitate overstriking to produce diacritics… some of them are obvious (like c^ for ĉ), but other less so (like c, for ç) 22:51:53 and o" for ö 22:52:50 ah 22:53:17 I think it's neat/cute :P 22:53:30 ...yay 22:55:28 I was going to test whether compose-c-, still results by default in ç, but for some reason my compose key now just produces a ~. 22:55:44 "The ASCII code supports six different diacritics. These are: grave accent, tilde, acute accent (approximated by the apostrophe), diaeresis (double quote), cedilla (comma), and circumflex accent. Each is typed by typing the preceding character, then backspace, and then the 'related character', which is `, ~, ', ", , or ^, respectively for the above-mentioned accents." 22:56:01 (from https://en.wikipedia.org/wiki/Overstrike) 22:56:07 might've been where I read it 22:56:26 fizzie: it does, FWIW, at least for me 22:57:01 counterstrike 22:57:03 Hmm 22:57:05 Wonder if compose key stopping working is synergy's fault. It seems to be doing something a little weird about caps lock as well. 22:57:58 https://twitter.com/FireyFly/status/899965577481129984 ← this might be interesting to this channel, since bitmap fonts have been a topic before, and it's kind of in the spirit of esolangs/eso-computing (well, inasmuch as codegolf/demoscene/such stuff is) 22:58:29 well, the idea is just based on https://hackaday.com/2016/12/15/character-generation-in-144-bytes/ (which I credit in the twitter thread) 23:00:12 Those tiles look sort-of-kind-of similar as how N-segment LED displays (where N > 7) do alphanumerics. 23:00:29 Heh 23:00:54 Makes sense 23:04:49 -!- kurolox has quit (Ping timeout: 248 seconds). 23:12:18 -!- tromp has quit (Remote host closed the connection). 23:19:46 -!- Sgeo has joined. 23:19:56 -!- deltab has joined. 23:24:08 -!- deltab has quit (Client Quit). 23:24:26 -!- deltab has joined. 23:44:40 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 23:48:20 -!- hppavilion[1] has joined. 23:49:13 hi hppavilion[1]. 23:49:19 we were discussing ASCII and overstrike. 23:56:19 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 23:57:13 is there a language where inserting lists into lists is equivalent to inserting each element at the corresponding position? 23:57:21 e.g. (1, 2, (3, 4)) == (1, 2, 3, 4) 23:59:53 -!- iovoid has quit (Quit: *).