←2017-12-19 2017-12-20 2017-12-21→ ↑2017 ↑all
00:01:57 -!- LKoen has joined.
00:10:32 -!- joast has joined.
00:16:38 -!- boily has joined.
00:20:43 <quintopia> helloily
00:22:09 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
00:23:51 <boily> QUINTHELLOPIA!
00:23:54 <boily> @metar CYUL
00:23:54 <lambdabot> CYUL 200000Z 26012G18KT 15SM FEW030 BKN042 03/00 A2952 RMK SC1SC6 SLP001
00:23:57 <boily> @metar KATL
00:23:57 <lambdabot> KATL 192352Z 29003KT 10SM -RA BKN020 BKN060 OVC110 16/14 A3014 RMK AO2 RAB51 SLP208 P0000 60000 T01560139 10172 20150 55002
00:24:07 <boily> 16!%!%??!?!???%&?&(%?&@???@@@@@!!!!!!!!
00:26:06 <fizzie> @metar EGLL
00:26:07 <lambdabot> EGLL 200020Z AUTO 28003KT 7000 BKN004 OVC010 07/06 Q1035 BECMG 4000 BR
00:26:11 <fizzie> Well, it's night now.
00:26:18 <fizzie> They're saying double digits for the holidays.
00:26:48 <boily> gnyeh :P
00:26:58 <fizzie> Ooh, it's cow weather back "home".
00:26:59 <fizzie> @metar EFHK
00:26:59 <lambdabot> EFHK 200020Z 22008KT 9000 -SG BKN003 M00/M00 Q1027 TEMPO 4000
00:27:10 <fizzie> The rare double cow.
00:28:18 <boily> it's a sign!
00:35:17 -!- MrBismuth has joined.
00:35:33 <boily> `relcome MrBismuth
00:35:34 <HackEgo> MrBismuth: 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.)
00:38:39 -!- MrBusiness has quit (Ping timeout: 265 seconds).
00:41:06 -!- sparr has quit (Changing host).
00:41:06 -!- sparr has joined.
00:45:05 -!- MrBismuth has quit (Quit: https://www.youtube.com/watch?v=xIIqYqtR1lY -- Suicide is Painless - Johnny Mandel).
00:51:17 <quintopia> it brings on many changes
00:51:32 <quintopia> and i can take or leave it if i choose
00:51:55 -!- 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.”).
01:04:32 -!- variable has joined.
01:24:04 <fizzie> A
01:24:17 <fizzie> Typing: it's hard.
01:24:50 <fizzie> I was going to say a "Vegi bot" from someone's SEO company is crawling the wiki and little confused about how URIs work.
01:25:13 <fizzie> It just tried to fetch "/irc://...", for example.
01:25:38 <wob_jonas> fizzie: that's not _too_ unreasonable actually
01:26:04 <wob_jonas> fizzie: given how often people put incorrect links in informal writings that require a bit of creativity to interpret
01:26:21 <wob_jonas> for a search engine it makes sense to speculatively try to modify a link in case a modified version works
01:26:35 <wob_jonas> like, you know, trying to remove some punctuation mark from the end
01:28:04 <fizzie> Actually, not quite sure where we even have an irc:// link, the one on [[Esolang:Community portal]] is a regular HTTP link to webchat.freenode.net.
01:30:09 <fizzie> There was an earlier crawler which crawled every non-main-namespace page something like 16 times if not more, because it was trying to access something like "/wiki/Esolangs%3AFoo", for which Mediawiki sends a 302 to "/wiki/Esolangs:Foo" (I guess to make the location bar look nicer), but then something inside the crawler re-encoded the : back to %3A before following it.
01:30:43 <wob_jonas> fizzie: yeah, I remember you said that.
01:31:21 <fizzie> Wonder what <firstname><lastname>seoagency.com even does with their own crawler.
01:32:03 <wob_jonas> can you tell a specific url with that irc thing in it?
01:32:47 -!- tromp has joined.
01:33:00 <fizzie> It tried three: /irc://irc.freenode.org/esoteric /irc://irc.afternet.org/linc /irc://freenode/DDR,isnick
01:33:42 <fizzie> (Also it used www.esolangs.org for every single request, which just redirect to the non-www. one.)
01:34:52 <fizzie> https://www.webmasterworld.com/search_engine_spiders/4817453.htm "Despite the proclamation "we follow your robots.txt before crawling" they did not even request robots.txt."
01:34:55 <fizzie> The Internet is a noisy place.
01:35:49 <wob_jonas> fizzie: that's hard to tell. they might have requested robots.txt from another host.
01:36:20 <fizzie> It's possible. They didn't include the user agent in the request, at least.
01:37:48 -!- tromp has quit (Ping timeout: 272 seconds).
01:43:38 -!- zemhill_ has joined.
01:45:12 -!- Sgeo_ has joined.
01:47:13 -!- Sgeo has quit (Ping timeout: 248 seconds).
01:48:22 -!- zemhill has quit (Ping timeout: 264 seconds).
01:49:37 -!- oerjan has quit (Quit: Nite).
01:51:01 -!- sebbu2 has joined.
01:52:22 -!- sebbu has quit (Ping timeout: 272 seconds).
02:14:47 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
02:17:05 -!- adu has joined.
02:37:34 -!- boily has quit (Quit: CONJOINED CHICKEN).
03:02:58 -!- adu has quit (Quit: adu).
03:15:43 -!- ais523 has joined.
03:19:39 -!- tromp has joined.
03:24:50 -!- tromp has quit (Ping timeout: 272 seconds).
03:27:43 -!- ais523 has quit (Remote host closed the connection).
03:28:56 -!- ais523 has joined.
03:32:19 -!- MrBusiness has joined.
03:32:57 -!- ais523 has quit (Remote host closed the connection).
03:34:10 -!- ais523 has joined.
03:34:31 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
03:37:48 -!- moony has quit (Remote host closed the connection).
03:38:17 -!- moony has joined.
03:52:57 -!- moony has quit (Ping timeout: 265 seconds).
03:55:59 -!- callforjudgement has joined.
03:56:15 -!- ais523 has quit (Ping timeout: 248 seconds).
03:56:20 -!- callforjudgement has changed nick to ais523.
04:30:32 * ais523 saw the typo "12nd" on a link (used as an ordinal number) and mentally corrected it to "tweldest"
04:30:47 <ais523> before I realised that that didn't make sense either, although I knew what it meant
04:30:53 <ais523> (presumably the correct correction was "12th")
04:33:03 -!- Melvar has quit (Ping timeout: 248 seconds).
04:34:39 -!- Melvar has joined.
04:38:07 -!- tromp has joined.
04:42:57 -!- tromp has quit (Ping timeout: 263 seconds).
05:13:14 -!- variable has quit (Quit: /dev/null is full).
05:24:10 -!- variable has joined.
05:44:49 -!- tromp has joined.
05:49:21 -!- tromp has quit (Ping timeout: 248 seconds).
05:52:16 -!- b_jonas has quit (Ping timeout: 260 seconds).
06:54:38 -!- augur has quit (Remote host closed the connection).
06:58:57 -!- tromp has joined.
07:03:27 -!- tromp has quit (Ping timeout: 240 seconds).
07:21:43 -!- sleffy has quit (Ping timeout: 256 seconds).
07:30:40 -!- tromp has joined.
07:35:37 -!- tromp has quit (Ping timeout: 255 seconds).
07:57:43 -!- tromp has joined.
08:02:05 -!- tromp has quit (Ping timeout: 240 seconds).
08:36:52 <\oren\_> In what era did anyone introduce themselves with "wa ga na wa"
08:37:19 <variable> I love VLC. Its icon changes to a a christmas hat during this time of year
08:37:50 <\oren\_> variable: wait what
08:38:07 <variable> https://www.dropbox.com/s/csikqo16g4pxp7r/Screenshot%202017-12-20%2000.38.04.png?dl=0
08:38:16 <\oren\_> holy shit you're right I just checked
08:38:32 <variable> its been doing this for years
08:38:34 <variable> still love it
08:46:24 -!- tromp has joined.
08:50:15 -!- Melvar has quit (Quit: upgrading).
08:50:39 -!- tromp has quit (Ping timeout: 248 seconds).
09:23:43 -!- Soni has quit (Ping timeout: 248 seconds).
09:26:32 <variable> silly Q: is it possible to non-deterministic but turing complete?
09:27:00 <variable> or is there some version of turing completeness defined for non-deterimistic processes
09:27:17 <variable> note: I'm not talking abut a NDTM
09:27:32 <Taneb> I... was just about to mention NDTMs
09:27:43 <Taneb> What precisely do you mean by non-deterministic?
09:28:01 <variable> a transition between states decided by a random value
09:28:25 <variable> or an action to the tape decided by a random value
09:28:42 <Taneb> Like Whenever, maybe?
09:28:55 <variable> oh https://en.wikipedia.org/wiki/Probabilistic_Turing_machine
09:29:01 <variable> that's exactly what I'm looking for
09:29:13 <variable> the transition table contains a propability function
09:29:33 <variable> I kind of guessed that
09:29:41 <variable> what I wasn't sure how we'd defined acceptance
09:31:14 -!- tromp has joined.
09:36:25 <variable> Taneb: unrelated - I forgot about whenever
09:36:25 <variable> but I really wanted to write a language like it
09:36:27 <variable> :(
09:36:57 <variable> may just fork it
09:39:20 <Taneb> Remember the two cakes rule
09:39:43 <Taneb> While you might see this amazing esolang that somebody else made that you think is way better than yours
09:40:03 <Taneb> An audience will look at your esolang, and look at the other esolang, and say "Wow! Two esolangs!"
09:41:31 <variable> lol
10:08:25 -!- variable has quit (Quit: Found 1 in /dev/zero).
10:14:32 -!- Warrigal has quit (Read error: Connection reset by peer).
10:15:32 -!- Warrigal has joined.
10:18:52 -!- tromp has quit (Remote host closed the connection).
10:28:04 -!- tromp has joined.
10:53:09 <Taneb> @djinn (((a -> b) -> v) -> v) -> ((a -> v) -> v) -> (b -> v) -> v
10:53:09 <lambdabot> f a b c = b (\ d -> a (\ e -> c (e d)))
10:55:42 <fizzie> @. pl djinn (((a -> b) -> v) -> v) -> ((a -> v) -> v) -> (b -> v) -> v
10:55:42 <lambdabot> f = flip (.) . (. ((. flip id) . (.))) . (.)
10:56:14 <Taneb> It's amazing how easy it is to make lambdabot flip out
11:04:22 -!- sprocklem has quit (Quit: brb).
11:04:41 -!- sprocklem has joined.
11:26:11 -!- b_jonas has joined.
11:27:19 <Taneb> :t flip id
11:27:20 <lambdabot> b -> (b -> c) -> c
11:27:41 <Taneb> :t (>>>) . (. ((. (&)) . (.))) . (.)
11:27:42 <lambdabot> (((a -> b) -> c1) -> c2) -> ((a -> c2) -> c3) -> (b -> c1) -> c3
11:28:18 <Taneb> Hmm, does this suggest a type-changing continuation indexed applicative?
11:35:41 <Taneb> @djinn (a -> (b -> j) -> k) -> ((a -> i) -> j) -> (b -> i) -> k
11:35:41 <lambdabot> -- f cannot be realized.
11:35:54 <Taneb> OK, so we can't make it into a monad quite
11:36:04 <Taneb> @djinn (a -> (b -> i) -> i) -> ((a -> i) -> i) -> (b -> i) -> i
11:36:04 <lambdabot> f a b c = b (\ d -> a d c)
11:36:12 -!- boily has joined.
11:36:15 <Taneb> @. type djinn (a -> (b -> i) -> i) -> ((a -> i) -> i) -> (b -> i) -> i
11:36:17 <lambdabot> error:
11:36:17 <lambdabot> parse error on input ‘=’
11:36:17 <lambdabot> Perhaps you need a 'let' in a 'do' block?
11:36:27 <Taneb> @type \a b c -> b (\d -> a d c)
11:36:28 -!- ais523 has quit (Quit: quit).
11:36:29 <lambdabot> (t1 -> t2 -> t3) -> ((t1 -> t3) -> t4) -> t2 -> t4
11:44:59 <boily> Tanelle.
11:45:26 <Taneb> bonjoily
11:45:47 <Taneb> So, conclusion: there is a continuation indexed applicative but not monad
11:51:53 <Taneb> Nezt question is, is such a thing useful?
11:52:39 <Taneb> Actually, https://gist.github.com/pthariensflame/5716594 has the monad instance I was looking for
11:52:43 <Taneb> Why didn't djinn find it?
11:59:22 -!- Melvar has joined.
11:59:40 -!- contrapumpkin has quit (Ping timeout: 265 seconds).
11:59:48 <b_jonas> hmm
12:09:37 -!- xkapastel has quit (Quit: Connection closed for inactivity).
12:21:03 -!- boily has quit (Quit: ALTERNATIVE CHICKEN).
12:51:44 -!- LKoen has joined.
13:00:54 -!- idris-bot has joined.
13:01:11 -!- idris-bot has quit (Client Quit).
13:01:57 -!- idris-bot has joined.
13:12:11 -!- contrapumpkin has joined.
13:26:04 -!- LKoen has quit (Remote host closed the connection).
13:38:15 <b_jonas> Hmm. I think I somehow got an error message in swedish from a program somehow. Strange bug.
13:38:43 <b_jonas> I closed the window too quickly so I'm not quite sure. I'm trying to reproduce it.
13:39:32 <b_jonas> (Also was encoded wrong for the terminal.)
13:40:22 -!- LKoen has joined.
13:50:21 -!- tromp has quit (Remote host closed the connection).
14:04:09 -!- LKoen has quit (Remote host closed the connection).
14:17:47 -!- LKoen has joined.
14:18:11 -!- tromp has joined.
14:30:19 -!- ais523 has joined.
14:33:46 -!- joast has quit (Quit: Leaving.).
14:41:27 -!- ais523 has quit (Quit: quit).
14:53:22 -!- tromp has quit (Remote host closed the connection).
14:53:33 -!- grumble has quit (Remote host closed the connection).
15:06:07 -!- grumble has joined.
15:09:05 -!- `^_^v has joined.
15:14:05 -!- LKoen has quit (Remote host closed the connection).
15:26:31 -!- grumble has quit (Quit: Every way you look at it, you lose.).
15:30:52 -!- ais523 has joined.
15:35:10 -!- grumble has joined.
15:49:25 -!- alercah has joined.
15:49:49 -!- grumble has quit (Quit: Every way you look at it, you lose.).
15:52:51 -!- grumble has joined.
15:54:37 -!- vertrex has joined.
16:01:29 -!- joast has joined.
16:04:43 -!- MDude has quit (Ping timeout: 265 seconds).
16:07:58 <b_jonas> ais523: ah you're back
16:10:04 <b_jonas> ais523: I've been thinking and reading a bit more about this cryptography thing, and it's even more complicated than I thought
16:11:30 -!- Slereah_ has joined.
16:12:57 -!- Guest6549 has quit (Ping timeout: 240 seconds).
16:20:56 -!- MDude has joined.
16:28:23 -!- ais523 has quit (Remote host closed the connection).
16:29:35 -!- ais523 has joined.
16:44:55 -!- LKoen has joined.
16:49:37 -!- LKoen has quit (Ping timeout: 248 seconds).
16:59:45 -!- propumpkin has joined.
17:01:05 -!- contrapumpkin has quit (Ping timeout: 240 seconds).
17:06:34 -!- propumpkin has changed nick to contrapumpkin.
17:27:01 -!- tromp has joined.
17:31:41 -!- tromp has quit (Ping timeout: 260 seconds).
17:50:08 -!- LKoen has joined.
17:54:28 -!- LKoen has quit (Ping timeout: 240 seconds).
17:58:15 -!- tromp has joined.
18:24:37 -!- Phantom_Hoover has joined.
18:24:37 -!- Phantom__Hoover has joined.
18:28:51 -!- tromp has quit (Remote host closed the connection).
18:33:55 -!- augur has joined.
18:53:25 -!- moony has joined.
18:54:41 -!- tromp has joined.
19:05:17 -!- tromp has quit (Remote host closed the connection).
19:06:27 -!- sleffy has joined.
19:19:10 -!- LKoen has joined.
19:23:14 -!- Phantom__Hoover has quit (Quit: Leaving).
19:24:12 -!- 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.”).
19:30:08 -!- brandonson has quit (Quit: leaving).
19:30:18 -!- brandonson has joined.
19:31:22 -!- brandonson has quit (Client Quit).
19:31:30 -!- brandonson has joined.
19:36:28 -!- tromp has joined.
19:40:47 -!- tromp has quit (Ping timeout: 248 seconds).
20:23:08 -!- augur has quit (Ping timeout: 240 seconds).
20:25:14 -!- tromp has joined.
20:29:45 -!- tromp has quit (Ping timeout: 265 seconds).
20:36:13 -!- ais523 has quit (Quit: quit).
20:41:44 -!- hkgit03 has joined.
20:54:46 -!- Herbstkind has joined.
20:54:46 -!- Herbstkind has changed nick to laerling.
20:54:51 -!- laerling has left.
20:57:17 -!- tromp has joined.
21:02:33 -!- tromp has quit (Ping timeout: 268 seconds).
21:02:59 -!- hkgit03 has quit (Quit: Leaving).
21:03:16 -!- laerling has joined.
21:27:23 -!- brandonson has quit (Quit: leaving).
21:27:57 -!- brandonson has joined.
21:36:19 -!- oerjan has joined.
21:36:35 <oerjan> int-e: ping
21:37:15 <oerjan> oh wait duh
21:37:17 <oerjan> hm...
21:39:45 -!- laerling has quit (Quit: Leaving).
21:40:29 * oerjan is trying to find a counterexample to int-e's conjecture that countercall functions are either clamped or total, but had a bit of a brain fart
21:42:39 <oerjan> i _do_ seem to find some functions that aren't clamped but don't grow uniformly
21:43:02 <oerjan> like f : -3 g 6; g : -6 f 3
21:43:40 -!- Remavas has joined.
21:45:47 <oerjan> seems like that works with multiplying it by a constant too
21:47:49 -!- jaboja has joined.
21:53:51 -!- wob_jonas has joined.
21:54:55 <wob_jonas> I just ran into the limitation of FAT32 that it doesn't store files larger than 4 gigabytes. I was trying to copy a large archive to an SD card. I'm recreating the archive split to one gigabyte sized volumes now. Good thing that option still exists, remaining from the days of floppy disks.
22:01:25 -!- sprocklem has quit (Ping timeout: 265 seconds).
22:03:09 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:03:56 <wob_jonas> Apparently Intercal is mainstream enough that even Donald Knuth has published a program written in it.
22:05:57 -!- tromp has joined.
22:07:11 -!- xkapastel has joined.
22:10:31 -!- tromp has quit (Ping timeout: 260 seconds).
22:12:09 <oerjan> wob_jonas: i vaguely recall knuth was somehow the impetus to ais523 and esr merging their c-intercal implementations.
22:12:51 <oerjan> or something like that. i said it was vague.
22:13:23 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
22:14:27 <Hooloovo0> that's awesome
22:19:31 -!- wob_jonas has joined.
22:19:44 <wob_jonas> oerjan: I see
22:24:15 -!- wob_jonas has quit (Client Quit).
22:24:39 -!- wob_jonas has joined.
22:24:54 <wob_jonas> And yes, Donald Knuth is awesome. His books are probably an important factor in why I like software stuff so much.
22:25:32 <wob_jonas> As in, when I was young, they were the most awesome books in the school library, so I tried to read them a lot. Obviously there's a lot that I didn't understand in them.
22:31:02 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
22:31:31 -!- variable has joined.
22:34:40 -!- wob_jonas has joined.
22:38:04 -!- wob_jonas has quit (Client Quit).
22:38:46 -!- moony has quit (Ping timeout: 272 seconds).
22:41:06 -!- variable has changed nick to constant.
22:44:30 -!- boily has joined.
22:48:22 <oerjan> bhelloily
22:48:42 <boily> bonsϿirjan!
22:50:32 -!- tromp has joined.
22:51:17 -!- tromp has quit (Remote host closed the connection).
22:51:59 -!- tromp has joined.
22:53:36 <boily> oerjan: how's life in northland?
22:53:39 * oerjan saw someone named "Kim Jong-hyun" in wikipedia's recent deaths list, and thought "so did he kill another family member?" but it turned out it was some completely unrelated south korean.
22:54:29 <oerjan> boily: i've bought my traditional nutella balls for christmas
22:55:31 <oerjan> also the snow has mostly rained away again
22:57:29 <boily> the infamous nutella balls strike again I see.
23:14:52 -!- augur has joined.
23:16:28 -!- Remavas has quit (Remote host closed the connection).
23:20:38 -!- erkin has joined.
23:21:45 -!- moony has joined.
←2017-12-19 2017-12-20 2017-12-21→ ↑2017 ↑all