00:00:59 <boily> \oren\: yup! anything that can haul ass into space is good.
00:01:10 <boily> and if it's reusable, then go for it!
00:01:22 -!- boily has quit (Quit: PLANTAR CHICKEN).
00:02:58 -!- ACTPic has quit (Quit: leaving).
00:18:23 -!- augur has joined.
00:20:11 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
00:30:23 -!- oerjan has joined.
01:15:54 -!- MrBusiness has joined.
01:23:21 -!- ACTPic has joined.
01:25:21 -!- ACTPic has quit (Client Quit).
01:25:35 -!- sleffy has quit (Ping timeout: 248 seconds).
01:26:09 -!- APic has joined.
02:15:13 -!- ais523 has quit (Ping timeout: 248 seconds).
02:30:33 -!- ais523 has joined.
03:03:09 -!- ATMunn has quit (Quit: sleep).
03:36:05 -!- jaboja has quit (Ping timeout: 240 seconds).
04:44:43 -!- Slereah__ has joined.
04:48:17 -!- Slereah has quit (Ping timeout: 248 seconds).
05:00:21 -!- oerjan has quit (Quit: Nite).
05:02:15 <HackEgo> Your omnidryad saddle principal swatty arrant "Darth Ept" oerjan the shifty flame is a hazy expert in minor compaction. Also a Groadep who misses Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His ark-nemesis is Noah. He twice punned without noticing it.
05:02:57 <HackEgo> oerjan//Your omnidryad saddle principal swatty arrant "Darth Ept" oerjan the shifty knite is a hazy expert in minor compaction. Also a Groadep who misses Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His ark-nemesis is Noah. He twice punned without noticing it.
05:22:35 -!- GeekDude has quit (Ping timeout: 240 seconds).
05:31:53 -!- ais523 has quit (Ping timeout: 258 seconds).
06:12:19 -!- sleffy has joined.
06:20:11 -!- GeekDude has joined.
06:56:29 -!- augur has quit (Quit: Leaving...).
07:13:05 -!- heroux has quit (Ping timeout: 240 seconds).
07:14:54 -!- heroux has joined.
07:35:41 -!- Cale has quit (Ping timeout: 255 seconds).
08:16:17 -!- sleffy has quit (Ping timeout: 248 seconds).
08:22:18 -!- doesthiswork has quit (Quit: Leaving.).
08:31:23 -!- imode has quit (Ping timeout: 246 seconds).
08:34:23 -!- joast has quit (Ping timeout: 248 seconds).
08:37:10 -!- Cale has joined.
08:41:48 -!- fungot has quit (Ping timeout: 240 seconds).
09:08:18 -!- fungot has joined.
09:28:18 -!- potato44 has joined.
10:23:35 -!- puckipedia has quit (Read error: error:1408F119:SSL routines:SSL3_GET_RECORD:decryption failed or bad record mac).
10:23:50 -!- puckipedia has joined.
11:35:58 -!- boily has joined.
11:44:04 -!- potato44 has quit (Ping timeout: 260 seconds).
11:58:10 -!- LKoen has joined.
12:09:36 -!- 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.”).
12:12:58 -!- fungot has quit (Ping timeout: 264 seconds).
12:24:11 -!- boily has quit (Quit: ICE CHICKEN).
12:30:43 -!- fungot has joined.
12:31:54 -!- jaboja has joined.
12:34:55 -!- AnotherTest has joined.
12:42:37 -!- jaboja has quit (Ping timeout: 260 seconds).
12:55:59 -!- AnotherTest has quit (Ping timeout: 246 seconds).
12:57:21 -!- potato44 has joined.
13:06:19 -!- jaboja has joined.
13:17:59 -!- potato44 has quit (Ping timeout: 260 seconds).
13:24:29 -!- LKoen has joined.
13:32:01 -!- jaboja has quit (Ping timeout: 248 seconds).
13:34:52 -!- ais523 has joined.
13:49:14 -!- potato44 has joined.
13:50:38 <potato44> does anyone know of any esolangs that use ascii control charactersas its commands?
13:51:32 <ais523> potato44: exclusively? or among other commands?
13:51:52 <ais523> gs2 tends to use a lot of characters in the 0-31 range, some of its most basic commands are there, but it has others out of the range
13:51:57 <potato44> ideally exclusively, but it depends on what other characters
13:53:09 <Taneb> Whitespace sort of almost counts
13:53:31 <ais523> Taneb: newline and tab are control characters, but space isn't
13:53:37 <potato44> I know of BENUL, but NUL is also a problomatic character
13:53:50 <Taneb> Hence "sort of almost"
13:54:02 <ais523> I can't think of a language that was specifically designed to use the control character range (there might be one that I don't know about), especially if you want the control characters to match the language semantics in some way
13:54:34 <ais523> there's a version of BF that uses character codes 1-8 as the commands, and is typically used internally in optimizing interpreters, but I don't really think that counts (especially as the number assignment is arbitrary)
13:55:24 <potato44> If there is an actual interpreter for that dialect of BF, that would be exactly what I want
13:55:48 <ais523> it's easy enough to write one
13:55:55 <potato44> as long as it also ignores the rest of ascii
13:56:02 <b_jonas> do you expect us to have interpreters for all trivial brainfuck substitutions? just take some reasonable brainfuck implementation and modify it.
13:56:33 <b_jonas> we have Brainfuck and Ook! interpreters, because Ook! is historically important, but the rest aren't important
13:56:41 <potato44> easy enough to write, but I'm not sure where the rules of PPCG fall on the allowability of it.
13:57:36 <ais523> potato44: I was suspecting this was related to the polyglot :-D
13:58:47 <ais523> that thing has somehow turned conventional #esoteric wisdom on its head by actually creating a market for a large quantity of trivial BF substitutions
13:59:49 <potato44> well, the other day I found some japanese guys github that had about a hlaf dozen each lazy substitutions for BF, Lazy K and a couple of other langs
14:00:43 -!- doesthiswork has joined.
14:03:48 -!- joast has joined.
14:06:20 -!- ais523 has quit (Quit: It seems most convenient to apologise for my connection in the quit message, given how often it comes up… If I immediately reconnect, it's probably because I could send but not receive.).
14:06:27 <potato44> found a lang that only recognises formfeed and vertical tab and then translates that to a javascript exec. Now to work out how exec works in javascript
14:06:29 -!- ais523 has joined.
14:07:05 -!- ATMunn has joined.
14:08:25 -!- jaboja has joined.
14:31:46 -!- `^_^v has joined.
14:43:54 <HackEgo> [wiki] [[Stape]] N https://esolangs.org/w/index.php?oldid=53160 * StellatedHexahedron * (+1227) Created page with "'''Stape''' is office-supplies-based programming language, designed to be difficult to program in in new and interesting ways. It was created in 2017 by User: stellatedHexah..."
14:47:44 -!- Hooloovo0 has quit (Quit: Temporarily refracted into a free-standing prism.).
14:47:55 -!- Hoolootwo has joined.
14:49:16 -!- Hoolootwo has changed nick to Hooloovo0.
15:07:14 -!- doesthiswork has quit (Quit: Leaving.).
15:12:58 -!- jaboja has quit (Ping timeout: 255 seconds).
15:24:26 -!- lezsakdomi has joined.
15:24:28 -!- danil_ has joined.
15:28:00 -!- danil_ has quit (Client Quit).
15:29:31 <ais523> danil was very upset at the topic not being 100% accurate, and thus maybe also takes sarcasm at face value?
15:34:32 <b_jonas> in case anyone cares, in Magic: the Gathering, https://magic.wizards.com/en/articles/archive/news/ixalan-update-bulletin-2017-09-28 Ixalan Update Bulletin (summary of rules changes)
15:35:34 <ais523> Hooloovo0: it wasn't until I fixed it
15:35:42 <ais523> it claimed the channel was a hypercube
15:35:49 <ais523> which is a fairly inconsequential inaccuracy, really
15:36:05 <Taneb> I'm not sure I can reasonably demonstrate the channel isn't a hypercube
15:36:32 -!- danil_ has joined.
15:36:43 -!- ais523 has quit (Quit: getting food).
15:37:36 <danil_> Why are people saying no? You are online yes?
15:38:49 <lambdabot> https://www.aviationweather.gov/adds/metars/
15:39:00 <lambdabot> https://www.vocabulary.com/dictionary/facetious
15:39:35 <lambdabot> http://dnr.wi.gov/topic/hunt/bearlic.html
15:39:35 <lambdabot> Title: Bear license - Wisconsin DNR
15:40:05 <danil_> Usefull, huh? calling google from IRC
15:40:30 <lambdabot> https://en.wikipedia.org/wiki/Danil
15:40:41 <Hooloovo0> I mean it's kind of annoying to us
15:42:03 -!- danil_ has quit (Quit: danil_).
15:46:42 -!- Cale has quit (Ping timeout: 246 seconds).
15:49:25 -!- impomatic has quit (Ping timeout: 255 seconds).
15:50:30 -!- dan_ has joined.
15:58:17 -!- Cale has joined.
16:02:29 -!- potato44 has quit (Ping timeout: 260 seconds).
16:07:18 -!- potato44 has joined.
16:11:49 -!- potato44 has quit (Ping timeout: 260 seconds).
16:23:53 -!- lezsakdomi has quit (Ping timeout: 246 seconds).
16:27:22 -!- lezsakdomi has joined.
16:33:20 -!- dan_ has quit (Quit: Page closed).
16:33:29 <HackEgo> 397) <fizzie> There's that saying that the definition of insanity is doing the same thing over and over again and expecting different results. [...] <Taneb> You've just gave me a different result [...] <fizzie> It's always insane to expect different results, even when it's likely to occur.
16:35:00 -!- hakatashi has quit (Read error: Connection reset by peer).
16:36:58 -!- hakatashi has joined.
16:41:58 -!- danil_ has joined.
16:43:18 <b_jonas> I still hate how airplane tickets only give the departure and arrival time in local time for the airports. They should give either the timezone offset of that time, or an UTC datetime.
16:43:32 <b_jonas> They do this even for tickets that go to a different timezone.
16:43:57 <b_jonas> I'm currently reading the *easy* case, when I'm just traveling to Sweden and back, so both departure and arrival are in the Paris timezone.
16:44:38 <danil_> Do you fly from Paris to Sweden
16:45:29 -!- sleffy has joined.
16:47:06 <b_jonas> no, from Hungary to Sweden
16:47:33 <b_jonas> Paris is just the name I use for the timezone in modern times, because it's clearly the biggest city in this timezone
16:49:02 <b_jonas> Well, technically that's no longer true. These days Berlin and Madrid and Rome are the biggest.
16:49:17 <b_jonas> Maybe I should call it the Berlin timezone instead.
16:50:37 <Hooloovo0> I have a clock set to berlin time and not paris time
16:51:14 <b_jonas> Paris is biggest if you count greater Paris, including agglomerations.
16:51:27 <b_jonas> Which is probably the right measure for figuring out which is the most significant city in this context
16:51:37 <b_jonas> so Paris is probably the right name.
16:51:49 <LKoen> paris is literally surrounded by a wall though, so while all metropolitans grow, "paris intramuros" doesn't
16:52:49 <b_jonas> LKoen: yes, basically the city proper area is defined by how the local governments work, which is irrelevant here
16:52:55 <b_jonas> Paris is the most significant city
16:53:08 <b_jonas> (also, Berlin had a sort of strange history)
16:59:22 -!- AnotherTest has joined.
17:11:29 <b_jonas> fungot, what's the biggest city in the Paris timezone?
17:11:29 <fungot> b_jonas: leprechauns are the most spectacular being _baluchitherium_ from the abyss before them, don't you see invisible things. you'll probably find one on the brilliant marble-sanded beaches of santraginus v, inhaling the heady sea vapors; you can read between it and forged odin's signature on the subject of towels. a world for himself a suit of oil-cloth or tarpaulin, and its transparent skin shows its face again.
17:11:59 <Taneb> b_jonas, I guess the answer is, unexpectedly, Dublin
17:12:09 <fungot> Selected style: europarl (European Parliament speeches during approx. 1996-2006)
17:12:13 <b_jonas> fungot, what's the biggest city in the Paris timezone?
17:12:14 <fungot> b_jonas: mr president, i will not go away unless we tackle them. i do not want these problems to spill over into other countries, thailand, from 2 to 14 october 2004? i am convinced that the foundation should be involved in discussions when there really is a scandal for any civilized country just to stand by and do nothing. one wonders where it finds the courage to resolve the problems suffered by citizens and their concerns ta
17:12:30 <Taneb> Or possibly Bangkok
17:12:36 <b_jonas> ok, that's avoiding this question more directly than the previous answer
17:22:12 -!- danil_ has quit (Quit: danil_).
17:26:18 -!- danil_ has joined.
17:32:01 -!- danil_ has quit (Ping timeout: 248 seconds).
17:37:45 -!- jaboja has joined.
17:48:01 -!- jaboja has quit (Ping timeout: 240 seconds).
17:53:49 <\oren\> The biggest city in the paris timezone would probaby be the rhineland urban aglomeration wouldn't it
17:54:51 <b_jonas> \oren\: not by population I think
17:55:42 <\oren\> Hmm, Rhine-Ruhr region has 11 million
17:55:49 -!- `^_^v has quit (Quit: This computer has gone to sleep).
17:56:04 <\oren\> ile-de-france has 12 million
17:58:46 <\oren\> seems like they're pretty close but the winner depends what data set you're looking at
17:59:00 <b_jonas> sure, at some point this gets a question of definition
18:04:04 <b_jonas> in any case, you can call the same timezone with multiple names
18:04:35 <b_jonas> so if you prefer to call it by some other big city within the timezone, feel free
18:04:55 -!- LKoen has quit (Remote host closed the connection).
18:05:22 <\oren\> hmm, maybe we can just wait until there is continuous development along the Paris-Ruhr train line
18:06:14 <\oren\> then give some fancy name to said urban aglomeration
18:09:41 <\oren\> Megacity E or some shit
18:12:14 <\oren\> altho, by that point it would include the entire country of belgium probaby
18:13:10 -!- impomatic has joined.
18:21:51 -!- ais523 has joined.
18:38:53 -!- ais523 has quit (Remote host closed the connection).
18:40:03 -!- ais523 has joined.
18:45:12 -!- jaboja has joined.
19:18:48 -!- danil_ has joined.
19:33:30 -!- LKoen has joined.
19:35:03 -!- contrapumpkin has joined.
19:37:51 -!- lezsakdomi has quit (Ping timeout: 248 seconds).
19:46:24 -!- danil_ has quit (Quit: danil_).
19:47:52 -!- jaboja has quit (Ping timeout: 260 seconds).
19:49:45 -!- imode has joined.
19:50:10 -!- imode has changed nick to Guest41646.
19:56:35 -!- sleffy has quit (Quit: Leaving).
19:56:56 -!- sleffy has joined.
19:58:00 <Taneb> Is it weird that I wind up writing things like "translating to a double de Bruijn stack context" when I'm doing something for fun
19:58:46 <ais523> Taneb: I had to read up on a few mathematical papers to be able to parse Incident efficiently
20:00:21 <Taneb> Although I'm making up terminology here
20:01:07 <Taneb> I'm not sure if de Bruijn stack is the word for what I'm doing, and honestly I'm not sure at all if I need the second one
20:03:32 <Taneb> What I'm doing is implementing System F in Agda
20:04:20 <ais523> with type annotations? or are you using some other method to make it theoretically possible?
20:05:20 -!- hakatashi has quit (Read error: Connection reset by peer).
20:05:36 <Taneb> I'm using something like De Bruijn indices, but because it's Agda I want to statically check that I'm not going to underflow the stack, and furthermore I want to carry the variable's types about too
20:05:42 <Taneb> So hence a De Bruijn stack
20:05:57 -!- hakatashi has joined.
20:06:36 <Taneb> I need something similar at the type level, but for that I think I just need to know how many type variables I have lying around
20:07:57 <Taneb> (if I was doing System Fω I'd need to know the kinds of the type variables as well)
20:10:55 -!- hakatashi has quit (Remote host closed the connection).
20:11:29 -!- Guest41646 has quit (Quit: WeeChat 1.9).
20:12:21 -!- hakatashi has joined.
20:12:37 <Taneb> I'd be very interested to know if what I'm calling the De Bruijn stack exists in the literature
20:12:42 <Taneb> (the the brown stack?)
20:20:55 -!- hakatashi has quit (Read error: Connection reset by peer).
20:22:00 -!- hakatashi has joined.
20:42:22 -!- AnotherTest has quit (Ping timeout: 264 seconds).
20:42:59 -!- AnotherTest has joined.
20:45:46 -!- jaboja has joined.
21:00:01 -!- AnotherTest has quit (Ping timeout: 248 seconds).
21:04:50 -!- hakatashi has quit (Read error: Connection reset by peer).
21:04:54 <\oren\> muhuhahahaha self-modifying C++
21:05:26 <\oren\> hmm, wait does it count if it has to be recompiled and rerun each time it modifies itself?
21:06:11 -!- hakatashi has joined.
21:06:35 <\oren\> i guess this isn't so self-modifying
21:42:30 -!- Bowserinator has quit (Quit: ZNC Sucks >_>).
21:42:39 -!- Bowserinator has joined.
21:42:43 -!- AnotherTest has joined.
21:43:02 -!- Bowserinator has changed nick to Guest57865.
21:43:41 -!- Guest57865 has changed nick to Bowserinator.
21:43:43 -!- Bowserinator has quit (Changing host).
21:43:43 -!- Bowserinator has joined.
21:50:45 -!- wob_jonas has joined.
21:50:50 <wob_jonas> \oren\: I think the word for that is "polymorphic"
22:12:04 -!- AnotherTest has quit (Ping timeout: 240 seconds).
22:44:30 -!- augur has joined.
22:58:14 -!- boily has joined.
23:02:30 <HackEgo> 1/2:context//context is a word with many meanings, depending on where it is used. \ fourth//Since Biblical times, Forth has been the go-to language for multiplication. \ atwp//According to Wikipedia, ATWP means "Air Transport White Paper". \ icfp//I see functorial people. \ brainf**k//There is no such thing as brainf**k. You may be thinki
23:02:46 <boily> no, I do not think about brainfuck.
23:11:59 -!- 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:12:03 <wob_jonas> oh no! they're falsifying the will
23:12:42 <wob_jonas> I'm listening to Gianni Schicci, the opera
23:55:28 -!- hppavilion[1] has joined.