00:14:39 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hrlist: not found
00:17:37 -!- hppavilion[1] has joined.
00:25:22 <Sgeo> There needs to be an hsrlist
00:25:24 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hsrlist: not found
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 <HackEgo> [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 <HackEgo> [wiki] [[Talk:Maybe Later]] M https://esolangs.org/w/index.php?diff=52971&oldid=52970 * Enoua5 * (+0)
05:04:08 <HackEgo> [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: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 <shachaf> @@ Taneb: Good (@time Taneb)
07:53:34 <lambdabot> Local time for Taneb is Tue Aug 29 07:53:33
07:54:01 <Taneb> shachaf, good effort
07:55:08 <shachaf> Taneb: So now that you're working at your job, you'll have more opportunities to visit CA, right?
07:56:45 <Taneb> I'll have more ability to visit CA! But probably less opportunity
07:57:33 <shachaf> What is an opportunity, without ability?
07:57:41 <shachaf> Or: What is ability, without opportunity?
07:57:50 <shachaf> Maybe you can visit for a conference.
07:58:15 <Taneb> That would be nice!
07:58:26 <Taneb> I'm going to be at ICFP next week, that's a conference, but it's not in CA
07:58:40 <shachaf> international california of functional programming
08:01:46 <Taneb> It'll be harder for me to go next year probably
08:02:43 <Taneb> My cool idea for a text editor didn't work because of a bug in watch :(
08:02:46 <shachaf> Hmm, it'll be in Missouri.
08:03:10 <shachaf> Maybe you can get a job in Missouri between now and then.
08:03:25 <shachaf> Speaking of which, I saw a baseball game last week.
08:03:33 <Taneb> (it was ed in one window and watch -ctd "source-highlight-esc.sh $FILE | nl" in another)
08:03:41 <Taneb> shachaf, did they base the balls?
08:04:09 <shachaf> But I was very confused. I didn't know the rules.
08:04:27 <Taneb> Are you familiar with cricket?
08:04:43 <Taneb> It's kind of like cricket except completely different
08:04:53 <shachaf> Until recently I didn't realize cricket wasn't the same game as croquet.
08:05:22 <Taneb> I'm fairly sure croquet is a third sport entirely
08:05:56 <shachaf> Right, one which I'd played some variant of.
08:06:09 <shachaf> When people talked about cricket I thought that was the game they were referring to.
08:07:33 <shachaf> Oh, right, Alice played croquet.
08:08:10 <shachaf> "Each phase of play is called an innings"
08:08:20 <shachaf> the maths doesn't work out
08:09:20 <shachaf> The equivalent thing in baseball is called an "inning".
08:09:50 <Taneb> That's like how Americans call maths "math"
08:09:54 <Taneb> Exactly the same thing
08:10:04 <Taneb> It's short for inningematics
08:10:28 <shachaf> Toplogy, set theory, D-modules, each of them a math
08:10:38 <shachaf> If you learn several of them, you're studying maths
08:10:52 <Taneb> I can agree with that
08:11:12 <shachaf> In my alternate usage, a theorem is an example of a math
08:11:40 <Taneb> I can also agree with that
08:12:41 <shachaf> Can you agree to meet me in St. Louis?
08:13:10 <Taneb> I don't even know where St Louis is
08:13:37 <shachaf> So if you go, you can't miss it
08:13:57 <shachaf> Also there's a song called "Meet Me in St. Louis" which I'd never heard until just now.
08:14:00 <Taneb> 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 <shachaf> Remind me whether you read olist?
08:14:30 <Taneb> Tried a couple of times, couldn't get into it
08:14:43 <shachaf> 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: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:44:31 <kurolox> fizzie, I've found a weird bug in umlbox. I'm sure you'll have fun.
09:47:06 <mroman> so v is turned into a u when doing this
09:48:17 <mroman> unicode lacks voynich symbols.
09:57:37 -!- Sgeo_ has quit (Ping timeout: 248 seconds).
10:02:01 <fizzie> kurolox: What sort of?
10:04:19 -!- mroman has quit (Ping timeout: 260 seconds).
10:05:22 <kurolox> fizzie: Trying to run flask won't work, but only if you specify a timeout.
10:07:56 <kurolox> So, if you try to run this: umlbox -B elixir -e 'IO.puts("Hello World")'
10:08:05 <kurolox> it will work, but if you specify a timeout, even a dumb one, like this
10:08:20 <kurolox> umlbox -B -T 99999999 elixir -e 'IO.puts("Hello World")'
10:08:53 <kurolox> using the -v flag in both gives the same output
10:13:48 <fizzie> Odd. But maybe not odd enough to start installing things to try out.
10:13:52 <fizzie> 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:27 <HackEgo> 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:29 <HackEgo> 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 <mroman> Isn't there a brainfuck version where cells are 1bit?
16:17:26 <mroman> Is it turing complete?
16:19:38 <mroman> I don't think the size of the cells is relevant for turing-completeness
16:19:43 <mroman> as long as it's larger than zero bits
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 <PinealGlandOptic> 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:34 <HackEgo> 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 <mroman> 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 <PinealGlandOptic> 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 <mroman> 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:49:18 <rdococ> 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 <rdococ> 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 <rdococ> abc←↓def would have what we know as a newline
21:51:00 -!- tromp has joined.
21:53:35 <ais523> 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 <rdococ> 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 <Taneb> 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 <Taneb> Further things that annoy me: brushing my touchpad and parting an IRC channel
22:08:03 <rdococ> does carriage return in a terminal enable overlaying text?
22:20:55 -!- atslash has quit (Ping timeout: 246 seconds).
22:23:29 <fizzie> Only if it's a hardcopy terminal.
22:24:58 <fizzie> 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 <fizzie> Because that'd double-strike "foo".
22:26:24 <rdococ> an actual backspace character would be cool too
22:28:52 <fizzie> Doesn't the INTERCAL operator list include one character you'd type as V, backspace, -?
22:29:44 <rdococ> I guess that same formatting language would have "fB_oB_oB_" for backspace
22:29:50 <rdococ> s/backspace/underline/
22:30:01 -!- jaboja has joined.
22:33:09 <HackEgo> [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 <rdococ> 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 <FireFly> fizzie: GNU less(1) does that, and man(1) uses it for its formatting
22:45:39 <FireFly> try e.g. printf $'f\x08fo\x08oo\x08o foo' | less
22:46:09 <FireFly> it does underlining with _ as well, like what rdococ suggested
22:47:06 <FireFly> vim has a setting to make <BS> act as an infix compose in insert-mode
22:47:13 <rdococ> I tested the command, and that does work
22:48:07 <FireFly> 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 <FireFly> (because it was originally designed around the restrictions of an IBM Selectric typeball)
22:48:29 -!- boily has joined.
22:48:57 <FireFly> 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:05 <rdococ> oddly enough, the formatting above doesn't work with strikethrough using -
22:49:25 <FireFly> I only know of bold and underline being supported in less
22:49:55 <rdococ> the esoOS terminal should support any overlaying with that
22:49:57 <fizzie> I believe ALGOL variants used underline to distinguish between keywords (from symbols), and implemented that with overstrike.
22:50:02 <rdococ> so a with ^ would be aB^
22:50:31 -!- iovoid has quit (Ping timeout: 276 seconds).
22:50:36 <rdococ> 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 <FireFly> 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:55:28 <fizzie> 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 <FireFly> "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 <FireFly> (from https://en.wikipedia.org/wiki/Overstrike)
22:56:07 <FireFly> might've been where I read it
22:56:26 <FireFly> fizzie: it does, FWIW, at least for me
22:57:05 <fizzie> 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 <FireFly> 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 <FireFly> 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 <fizzie> Those tiles look sort-of-kind-of similar as how N-segment LED displays (where N > 7) do alphanumerics.
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:19 <rdococ> we were discussing ASCII and overstrike.
23:56:19 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
23:57:13 <rdococ> is there a language where inserting lists into lists is equivalent to inserting each element at the corresponding position?
23:57:21 <rdococ> e.g. (1, 2, (3, 4)) == (1, 2, 3, 4)
23:59:53 -!- iovoid has quit (Quit: *).