00:17:15 -!- sprocklem has joined.
00:18:39 -!- vertrex has joined.
00:18:39 -!- vertrex has quit (Changing host).
00:18:39 -!- vertrex has joined.
00:22:31 -!- tromp has quit (Remote host closed the connection).
00:26:17 -!- Phantom_Hoover has quit (Remote host closed the connection).
00:40:00 -!- oerjan has joined.
00:49:00 -!- optimus[m] has joined.
01:20:35 -!- sleffy has quit (Ping timeout: 240 seconds).
01:23:39 -!- dingbat has quit (Quit: Connection closed for inactivity).
01:43:35 -!- contrapumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
01:46:27 -!- contrapumpkin has joined.
01:55:56 -!- variable has joined.
01:59:27 -!- sprocklem has quit (Ping timeout: 240 seconds).
02:01:35 -!- sprocklem has joined.
02:11:22 -!- doesthiswork1 has joined.
02:11:22 -!- doesthiswork has quit (Read error: Connection reset by peer).
02:18:51 -!- rcm888 has left ("Leaving").
02:27:27 -!- variable has quit (Quit: /dev/null is full).
02:43:25 * oerjan is slightly disturbed by the edits completely changing Haddock
02:44:33 <oerjan> not that either version is a good language.
02:45:10 <oerjan> but the original author should confirm if they agree to them.
03:11:19 -!- sleffy has joined.
03:41:31 -!- tromp has joined.
03:46:20 -!- tromp has quit (Ping timeout: 256 seconds).
03:50:07 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
04:10:50 -!- xkapastel has quit (Quit: Connection closed for inactivity).
04:35:58 -!- tromp has joined.
04:39:57 -!- tromp has quit (Ping timeout: 240 seconds).
05:22:13 -!- doesthiswork1 has quit (Ping timeout: 256 seconds).
05:29:48 -!- danieljabailey has quit (Ping timeout: 252 seconds).
05:30:21 -!- danieljabailey has joined.
05:56:42 -!- oerjan has quit (Quit: Nite).
06:12:06 -!- tromp has joined.
06:13:57 -!- HackEgo has quit (Ping timeout: 240 seconds).
06:16:44 -!- tromp has quit (Ping timeout: 260 seconds).
06:53:14 -!- tromp has joined.
06:57:27 -!- tromp has quit (Ping timeout: 240 seconds).
07:14:01 -!- fractal- has quit (Ping timeout: 268 seconds).
07:16:17 -!- sleffy has quit (Ping timeout: 248 seconds).
07:21:32 -!- sleffy has joined.
07:22:35 -!- sprocklem has quit (Ping timeout: 240 seconds).
07:23:53 -!- sprocklem has joined.
07:48:25 -!- sleffy has quit (Ping timeout: 256 seconds).
08:00:24 -!- augur has quit (Remote host closed the connection).
08:06:02 -!- fractal- has joined.
08:07:39 -!- tromp has joined.
08:12:14 -!- tromp has quit (Ping timeout: 252 seconds).
08:13:47 -!- clog has quit (Ping timeout: 255 seconds).
08:13:55 -!- clog has joined.
08:16:42 -!- tromp has joined.
08:37:40 -!- variable has joined.
09:22:26 -!- augur has joined.
09:49:50 -!- AnotherTest has joined.
09:58:59 -!- augur has quit (Remote host closed the connection).
10:19:33 -!- sebbu has quit (Quit: reboot).
10:26:50 -!- sebbu has joined.
10:46:26 -!- variable has quit (Quit: Found 1 in /dev/zero).
10:55:46 -!- AnotherTest has quit (Ping timeout: 252 seconds).
11:21:40 -!- AnotherTest has joined.
11:39:20 -!- boily has joined.
12:18:26 -!- AnotherTest has quit (Ping timeout: 276 seconds).
12:21:56 -!- AnotherTest has joined.
12:25:43 -!- Melvar` has quit (Ping timeout: 256 seconds).
12:26:00 -!- boily has quit (Quit: CRANE CHICKEN).
12:39:09 -!- Melvar` has joined.
12:39:11 -!- LKoen has joined.
12:43:57 -!- LKoen has quit (Ping timeout: 260 seconds).
12:55:01 -!- LKoen has joined.
13:05:40 -!- LKoen has quit (Remote host closed the connection).
13:06:06 -!- Guest6549 has joined.
13:08:01 -!- Slereah has quit (Ping timeout: 256 seconds).
13:29:46 <esowiki> [[User:Singingbanana]] N https://esolangs.org/w/index.php?oldid=54104 * Singingbanana * (+265) Created page with "Singingbanana is an annoying programmer who no one talks to. He talks 24/7 about lambda calculus(that's why he wears the greek alphabet t-shirt!). He created the whole Hadoock..."
13:30:11 <esowiki> [[User:Singingbanana]] https://esolangs.org/w/index.php?diff=54105&oldid=54104 * Singingbanana * (-1)
13:30:24 <esowiki> [[User:Singingbanana]] https://esolangs.org/w/index.php?diff=54106&oldid=54105 * Singingbanana * (+1)
14:06:23 -!- Melvar` has quit (Ping timeout: 248 seconds).
14:06:48 -!- Melvar` has joined.
14:15:06 -!- doesthiswork has joined.
14:26:55 -!- ais523 has joined.
14:27:46 -!- LKoen has joined.
14:27:47 -!- LKoen has quit (Read error: Connection reset by peer).
14:28:17 -!- LKoen has joined.
14:42:20 -!- AnotherTest has quit (Ping timeout: 268 seconds).
15:04:44 -!- doesthiswork has quit (Quit: Leaving.).
15:07:36 -!- LKoen has quit (Remote host closed the connection).
15:13:11 -!- ^v has quit (Ping timeout: 255 seconds).
15:20:53 -!- ais523 has quit (Quit: sorry for my connection).
15:21:05 -!- ais523 has joined.
16:02:01 -!- LKoen has joined.
16:12:45 -!- sprocklem has quit (Ping timeout: 256 seconds).
16:48:12 -!- sprocklem has joined.
17:11:34 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=54107&oldid=54083 * Dehodson * (+13) Added TinCan, as I forgot to do so 7 years ago
17:21:35 -!- ais523 has quit (Ping timeout: 240 seconds).
17:40:16 -!- AnotherTest has joined.
17:55:53 -!- aeyxa has joined.
18:10:08 -!- Phantom_Hoover has joined.
18:10:08 -!- Phantom_Hoover has quit (Changing host).
18:10:08 -!- Phantom_Hoover has joined.
18:14:58 -!- Phantom_Hoover has quit (Remote host closed the connection).
18:30:24 <int-e> . o O ( The Invisible Hand guides the monopolists towards maximizing their own profits. )
18:32:38 <int-e> fungot: what happened to HackEgo?
18:32:38 <fungot> int-e: because it's pretty hard
18:32:52 <int-e> fungot: oh, was it painful?
18:32:52 <fungot> int-e: eval ' ( 0="foo" 0)) ( square b) ( something-else a ( blah b) blah))) 1)
18:33:13 <int-e> fungot: I'll take that as a yes
18:33:14 <fungot> int-e: wouldn't be surprised if there weren't a plt http client software related dos.
18:35:24 <shachaf> that wouldn't surprise me one bit, fungot
18:35:24 <fungot> shachaf: i don't think the author has something to do
18:36:51 <shachaf> Is there a standard notion of the inverse of a tensor of any type? How do you compute it?
18:37:34 <int-e> . o O ( I know the answer for square matrices... )
18:41:49 <shachaf> I think the inverse of a (2,0) tensor is a (0,2) tensor.
18:42:18 <shachaf> And maybe numerically it even has the same values as an inverse matrix.
18:43:14 -!- Phantom_Hoover has joined.
18:43:14 -!- Phantom_Hoover has quit (Changing host).
18:43:14 -!- Phantom_Hoover has joined.
18:52:01 -!- LKoen has quit (Remote host closed the connection).
18:53:29 -!- TakeYourFreedom has joined.
19:21:11 -!- erkin has joined.
19:30:41 -!- sprocklem has quit (Ping timeout: 276 seconds).
19:33:13 <int-e> fizzie: btw, HackEgo is absent.
19:38:10 -!- sprocklem has joined.
19:40:34 -!- Guest33746 has joined.
20:01:00 -!- RusselsTeapot has joined.
20:08:36 <RusselsTeapot> I'm working on a esoteric language named sofun for a project in university, which essentially is a stack based functional language in reverse polish notation. Functions take arguments and return a stack that is integrated in the main stack where the function and its argument got popped. Executing a program means evaluating a main stack and substituting all the functions and their arguments with their return stack: '2 3 +' is 5
20:08:36 <RusselsTeapot> because '+' takes 2 and 3 and returns 5. Because of Reverse polish notation all syntax symbols needed are ":" for assigning functions and "?" for Branches. Do you all think this idea has enough potential for me to try and write a esolangwiki article on it with my mediocre english skills?
20:09:46 <Taneb> I think you should go for it!
20:09:57 <Taneb> I can guarantee there'll have been worse
20:10:25 <RusselsTeapot> to get an idea of the syntax, this is the solution of the first taks of projecteuler.net, "Find the sum of all the multiples of 3 and 5 below 1000":
20:10:27 <RusselsTeapot> num sums ? 1000 num = : 0 ? num 3 % ~ num 5 % ~ | : num num 1 + sums + ? num 1 + sums
20:11:13 <RusselsTeapot> i admit, its not really readable. But hey, its esoteric, it doesnt have to
20:11:26 <Taneb> Have you seen FALSE?
20:12:39 <int-e> RusselsTeapot: I can't see you!
20:13:45 <Taneb> int-e, that doesn't necessarily mean he isn't there
20:13:46 <RusselsTeapot> hm, sounds interesting. It isnt as functional as my approach though and thus needs more syntax it seems
20:14:02 <Taneb> Yeah, you fall somewhere between it and Underload I think
20:15:29 <RusselsTeapot> oh, sry. im not that used to irc. Answers go without @, i know
20:15:35 <int-e> RusselsTeapot: I can believe that you're there. But my instruments aren't powerful enough to detect you.
20:16:58 -!- jaboja has joined.
20:19:20 <RusselsTeapot> Taneb: i didn't know underload either, seems like i have much to learn.
20:21:59 <RusselsTeapot> Designing languages, writing interpreters and finally seeing the first test programs work is really cool. Maybe I'll do some of the not yet implemented languages on esolangs next. I've got a lot to learn, I think
20:23:18 <RusselsTeapot> oh, by the way. My code is online. The basic functionality is mostly done, but all the comments and the specification is still in german :( https://github.com/Rieselhilfe/sofun
20:35:07 -!- Melvar` has quit (Ping timeout: 256 seconds).
20:39:30 -!- TakeYourFreedom has quit (Remote host closed the connection).
20:48:39 -!- Melvar` has joined.
20:59:19 -!- RusselsTeapot has quit (Ping timeout: 260 seconds).
21:00:28 -!- Guest33746 has quit (Remote host closed the connection).
21:05:44 -!- ais523 has joined.
21:06:57 -!- ais523 has quit (Client Quit).
21:12:56 <fizzie> int-e: Hmm. No answer from CaC.
21:34:34 <shachaf> HackEgo is still running on CaC?
21:46:58 <int-e> shachaf: anyway I don't really understand tensors, not even the (1,1) kind (they're bilinear functions. but that's also true for (2,0) and (0,2) tensors) I don't know how to turn the bilinear function of a (1,1) tensor into a linear map. So... meh.
21:48:28 <int-e> But I'm pretty sure that they also won't help me with applying Rice's theorem so I guess that's okay :P
21:48:57 -!- erkin has quit (Ping timeout: 264 seconds).
21:50:44 -!- RusselsTeapot has joined.
21:51:06 <shachaf> What are you applying Rice's theorem to?
21:51:30 <int-e> I want undecidability of the halting problem for Minsky machines. I have it for computable functions.
21:51:58 <int-e> thanks to https://www.isa-afp.org/entries/Recursion-Theory-I.html
21:52:48 <shachaf> I think you can turn that into a linear map pretty easily hth
21:53:29 <int-e> the lollypops don't :P
21:53:35 -!- sprocklem has quit (Ping timeout: 240 seconds).
21:54:31 <shachaf> They just mean a linear map.
21:55:36 <int-e> Wait, are you conflating "linear" and "linear"? Is that standard?
21:56:04 <shachaf> You mean linear logic and linear algebra?
21:56:05 <int-e> fungot: please try to make sense!
21:56:06 <fungot> int-e: for some of my contributions as well,
21:56:14 <shachaf> I didn't invent this usage.
21:58:11 <int-e> Anyway, writing out V* that way helped, thanks.
21:58:53 <shachaf> I'm typing on a phone so this is pretty slow
21:59:41 <shachaf> The point is, the "Hessian" is a (0,2) tensor, not a (1,1) tensor
22:04:12 -!- sleffy has joined.
22:11:55 -!- MDead has joined.
22:15:08 -!- MDude has quit (Ping timeout: 276 seconds).
22:15:10 -!- MDead has changed nick to MDude.
22:15:13 -!- augur has joined.
22:15:25 <Taneb> int-e, I think I remember reading that it works out there's some sort of correspondence between linear logic and linear algebra
22:18:16 <shachaf> I'd like to know more about the details of that
22:18:36 <shachaf> Is it just that they're both whatever monoidal categories?
22:19:24 <Taneb> Sadly I can't remember details
22:22:04 -!- wob_jonas has joined.
22:37:02 <RusselsTeapot> is there a list of typical example programs like "hello world" or "99 Bottles" that show specific features of programming languages?
22:37:47 <int-e> Meh, I want a stronger (and perhaps slightly nonstandard) version of Rice. Oh well, not today.
22:38:56 -!- jaboja has quit (Ping timeout: 265 seconds).
22:45:26 -!- sprocklem has joined.
22:49:18 -!- AnotherTest has quit (Ping timeout: 240 seconds).
22:51:37 -!- AnotherTest has joined.
22:56:06 -!- AnotherTest has quit (Ping timeout: 256 seconds).
22:56:21 -!- boily has joined.
23:14:33 -!- HackEgo has joined.
23:22:14 <fizzie> HackEgo: Oh, you're back.
23:39:02 -!- RusselsTeapot has quit (Ping timeout: 260 seconds).
23:40:21 <wob_jonas> RussellsTeapot: https://esolangs.org/wiki/Hello_world_program_in_esoteric_languages and see the links I put to the start
23:43:13 -!- RusselsTeapot has joined.
23:44:04 -!- jaboja has joined.
23:54:40 -!- jaboja has quit (Ping timeout: 248 seconds).
23:56:57 -!- jaboja has joined.