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 not that either version is a good language. 02:45:10 but the original author should confirm if they agree to them. 02:47:01 Haddock is a language? 03:04:17 no, it's a fish 03:11:19 -!- sleffy has joined. 03:38:08 also a language. 03:38:15 or three 03:38:42 Four. 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. 11:41:30 @massages-loud 11:41:30 You don't have any messages 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 [[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 [[User:Singingbanana]] https://esolangs.org/w/index.php?diff=54105&oldid=54104 * Singingbanana * (-1) 13:30:24 [[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 [[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 . o O ( The Invisible Hand guides the monopolists towards maximizing their own profits. ) 18:32:13 `? gdp 18:32:29 oh. 18:32:38 fungot: what happened to HackEgo? 18:32:38 int-e: because it's pretty hard 18:32:52 fungot: oh, was it painful? 18:32:52 int-e: eval ' ( 0="foo" 0)) ( square b) ( something-else a ( blah b) blah))) 1) 18:33:13 fungot: I'll take that as a yes 18:33:14 int-e: wouldn't be surprised if there weren't a plt http client software related dos. 18:35:24 that wouldn't surprise me one bit, fungot 18:35:24 shachaf: i don't think the author has something to do 18:35:34 exactly 18:36:16 int-e: hint-e 18:36:51 Is there a standard notion of the inverse of a tensor of any type? How do you compute it? 18:36:52 shichif 18:37:34 . o O ( I know the answer for square matrices... ) 18:41:32 What about (2,0) tensors? 18:41:49 I think the inverse of a (2,0) tensor is a (0,2) tensor. 18:42:18 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 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 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 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 I think you should go for it! 20:09:57 I can guarantee there'll have been worse 20:10:25 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 num sums ? 1000 num = : 0 ? num 3 % ~ num 5 % ~ | : num num 1 + sums + ? num 1 + sums 20:11:13 i admit, its not really readable. But hey, its esoteric, it doesnt have to 20:11:26 Have you seen FALSE? 20:11:46 nope, gimme a sec 20:12:39 RusselsTeapot: I can't see you! 20:13:45 int-e, that doesn't necessarily mean he isn't there 20:13:46 hm, sounds interesting. It isnt as functional as my approach though and thus needs more syntax it seems 20:14:02 Yeah, you fall somewhere between it and Underload I think 20:14:12 @int-e: In the irc-channel? idk why 20:14:13 Unknown command, try @list 20:15:29 oh, sry. im not that used to irc. Answers go without @, i know 20:15:35 RusselsTeapot: I can believe that you're there. But my instruments aren't powerful enough to detect you. 20:15:40 :P 20:16:05 :) 20:16:58 -!- jaboja has joined. 20:19:20 Taneb: i didn't know underload either, seems like i have much to learn. 20:21:59 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 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 int-e: Hmm. No answer from CaC. 21:34:34 HackEgo is still running on CaC? 21:34:52 i,i well, not anymore 21:46:58 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 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 What are you applying Rice's theorem to? 21:51:27 A (1,1) tensor is e.g 21:51:30 I want undecidability of the halting problem for Minsky machines. I have it for computable functions. 21:51:33 Er 21:51:58 thanks to https://www.isa-afp.org/entries/Recursion-Theory-I.html 21:52:13 f : V -o ((V -o F) -o F) 21:52:48 I think you can turn that into a linear map pretty easily hth 21:53:15 ah 21:53:21 parentheses help 21:53:29 the lollypops don't :P 21:53:35 -!- sprocklem has quit (Ping timeout: 240 seconds). 21:53:36 lollipops 21:54:31 They just mean a linear map. 21:55:36 Wait, are you conflating "linear" and "linear"? Is that standard? 21:56:04 You mean linear logic and linear algebra? 21:56:05 fungot: please try to make sense! 21:56:06 int-e: for some of my contributions as well, 21:56:07 shachaf: yes 21:56:14 I didn't invent this usage. 21:58:11 Anyway, writing out V* that way helped, thanks. 21:58:53 I'm typing on a phone so this is pretty slow 21:59:41 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 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 I'd like to know more about the details of that 22:18:36 Is it just that they're both whatever monoidal categories? 22:18:42 Probably more than that. 22:19:24 Sadly I can't remember details 22:22:04 -!- wob_jonas has joined. 22:22:10 `ping hi 22:22:45 ☺ 22:37:02 is there a list of typical example programs like "hello world" or "99 Bottles" that show specific features of programming languages? 22:37:47 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 HackEgo: Oh, you're back. 23:39:02 -!- RusselsTeapot has quit (Ping timeout: 260 seconds). 23:40:21 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.