00:04:10 -!- augur has quit (Remote host closed the connection). 00:05:06 [[User talk:Oerjan]] https://esolangs.org/w/index.php?diff=54909&oldid=54899 * BradensEsolangs * (+16) /* Lutfig */ 00:19:21 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 00:20:11 -!- wob_jonas has joined. 00:21:44 -!- augur has joined. 00:23:05 -!- sleffy has joined. 00:26:09 -!- augur has quit (Ping timeout: 248 seconds). 00:32:45 zzo38: https://arin.ga/x5s6NH 00:34:04 that describes what I think is the correct semantics, although I have probably made some typos in there 00:35:07 Gimp 2.10's semantics is probably the best one, ff-composite should probably do something like that 00:37:45 -!- augur has joined. 00:40:06 Also, this changes my previous assessment: Gimp 2.10 actually provides you all the meaningful combinations. 00:41:06 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 00:45:13 -!- wob_jonas has joined. 00:46:31 More precisely, Gimp 2.10 provides all the meaningful combinations, and the meaningless one that clears everything as well; except that some combinations you can only get by swapping the source and destination, and you may have to make layer groups (parenthesis in the composition sequence) for that. 00:49:51 -!- wob_jonas has quit (Client Quit). 01:31:47 -!- brandonson has quit (Ping timeout: 256 seconds). 01:33:27 -!- brandonson has joined. 01:36:36 I am trying to fix it now based on the information you have given me, and then we can test it. 01:39:24 -!- Sgeo__ has joined. 01:41:47 -!- Sgeo_ has quit (Ping timeout: 256 seconds). 02:12:40 -!- wob_jonas has joined. 02:13:13 zzo38: also, in most of the places where ff-composite uses the / operator on integers, you should probably change it to a round-to-nearest division. 02:15:27 I should be able to test ff-composite by eyeball comparing the output to what I get from gimp, on some suitable test images I make. 02:19:29 Now I wrote: c=mode&1024?0:data[k].a*(65535LL-data2.a); e=mode&512?0:(65535LL-data[k].a)*data2.a; i=mode&256?0:data[k].a*(long long)data2.a; and the FF macro as: #define FF(A,z) s=data2.A; d=data[k].A; A=(long long)(z); A=A>65535?65535:A<0?0:A; A=(c*A+e*s+i*d)/65535; Does this look better now? I rewrote the logic for the alpha output although it looks like it will be the same as it was before anyways. 02:20:37 (I didn't compile or commit it yet) 02:21:39 And then I have: if(data[k].a=(c+e+i>4294836225?4294836225:c+e+i)/65535) r/=data[k].a,g/=data[k].a,b/=data[k].a; (And, I suppose, like you, there is possibility I made mistakes too) 02:23:05 Well, I just tried it and it doesn't work either. 02:25:12 (Or maybe I made a different mistake) 02:26:56 One thing I see is that in the equations you have, xF is ignored if C=1, but you mention that for I=1. 02:26:59 Hey shachaf, did you see the latest two supermega comix? 02:27:43 You also are inconsistent in what the most common composition function is. 02:28:03 I think those are mistakes you made which is what resulted in my mistakes and why it doesn't work. 02:31:14 wob_jonas: If you fix that document then I will fix my program too. 02:33:08 Cale: whoa, I didn't 02:40:00 `smlist 02:40:02 smlist: shachaf monqy elliott mnoqy Cale 03:03:08 [[Lost]] https://esolangs.org/w/index.php?diff=54910&oldid=54880 * Wheatwizard * (+373) /* Deterministic programming in Lost */ 03:05:05 [[Lost]] https://esolangs.org/w/index.php?diff=54911&oldid=54910 * Wheatwizard * (+151) /* Description */ Added description of wrapping 03:06:16 -!- whatwizard has joined. 03:27:45 [[Lost]] https://esolangs.org/w/index.php?diff=54912&oldid=54911 * Wheatwizard * (+444) /* Deterministic programming in Lost */ Added how one obtains the example program. 03:43:14 -!- whatwizard has quit (Ping timeout: 260 seconds). 03:43:19 -!- variable has quit (Quit: Found 1 in /dev/zero). 04:05:48 -!- variable has joined. 05:10:25 -!- brandonson has quit (Ping timeout: 248 seconds). 05:12:06 -!- brandonson has joined. 06:17:46 -!- sprocklem has quit (Ping timeout: 264 seconds). 06:27:00 -!- atslash has quit (Ping timeout: 246 seconds). 06:50:11 -!- olsner has joined. 07:02:27 -!- doesthiswork has quit (Quit: Leaving.). 07:05:51 -!- oerjan has joined. 07:06:58 -!- sleffy has quit (Ping timeout: 264 seconds). 07:12:01 -!- imode has quit (Ping timeout: 248 seconds). 08:32:17 -!- augur has quit (Remote host closed the connection). 08:45:06 [[User talk:Oerjan]] https://esolangs.org/w/index.php?diff=54913&oldid=54909 * Oerjan * (+193) /* Lutfig */ 2016-2017 08:47:51 -!- augur has joined. 08:49:50 -!- augur has quit (Read error: Connection reset by peer). 08:50:36 -!- danil has joined. 08:51:40 Is a language implemented in a unimplemented programming language implemented? 08:52:49 good question 08:54:03 From one side it is, from the other it isnt. 08:57:02 -!- erkin has joined. 09:01:04 `8ball 09:01:05 My sources say no. 09:01:22 fungot Is a language implemented in a unimplemented programming language implemented? 09:01:22 danil: sorry, i got the device btw, just need to dig up that quote, though for much of a human being, eating one shouldn't be a problem 09:02:57 ^ul (1)::~S 09:02:57 1 09:03:07 `addquote danil: sorry, i got the device btw, just need to dig up that quote, though for much of a human being, eating one shouldn't be a problem 09:03:07 shachaf: it's what i've been trying 09:03:09 1323) danil: sorry, i got the device btw, just need to dig up that quote, though for much of a human being, eating one shouldn't be a problem 09:03:47 fizzie: it may be time to add some safety features to fungot twh 09:03:47 shachaf: the forum was down ( unreachable; the url gave a 404 error, or not saying anything about ppc, didn't know there could be 09:04:12 ^ul (1)::(0)~ 09:04:29 ^ul (1)::(0)~S 09:04:29 1 09:06:14 shachaf: What sort of? 09:06:34 shachaf: By the way, just boarding a flight to MTV. 09:06:49 (Well, waiting to.) 09:07:18 Weren't you just here a month ago? 09:08:01 fizzie: I'm not sure but a lot of people seem to be making a lot of noise about AI safety nowadays. 09:08:11 I'm just worried about being eaten. 09:09:28 shachaf: I was, but that was just unfortunate scheduling. This time with more of the team. 09:10:16 Oh, that sort of safety. I thought botloop safety. 09:10:51 Had anyone implemented a refinement type esolang yet? 09:11:04 One channel I was in had a bot which ran brainfuck programs, and a bot which printed web page titles 09:11:19 One of my friends learnt brainfuck to get them to botloop 09:12:02 Did it just execute every line? 09:12:13 Taneb: hi did you see my fueue quines yet hth 09:12:40 what is a botloop? 09:13:02 danil: it's when two channel bots get into a loop responding to each other 09:13:12 or sometimes more than two 09:13:14 Ok. 09:13:15 oerjan: I did not! 09:13:40 is a botloop the least defined loop? what's a toploop? 09:14:44 shachaf: this is the webpage: https://runciman.hacksoc.org/~lordaro/bf.html 09:14:45 I guess a toploop is just a continuous function whose domain is a circle. 09:14:57 oerjan: that's really cool 09:15:10 -!- danil has quit (Quit: danil). 09:16:53 thanks 09:17:47 oerjan: itym fuines hth 09:17:53 OKAY 09:18:49 Taneb++ # Fueue 09:19:19 Also oerjan++ # fuines, I guess. 09:19:27 s/I guess// 09:19:34 I knew Fueue existed but I forgot about it. 09:20:33 shachaf: it comes with a ridiculously long explanation, if you click through to the PPCG post 09:26:26 fizzie: Hmm, was that actually a coincidence generated by fungot, or was that string lifted wholesale from the corpus? 09:26:26 shachaf: i couldn't find 09:27:37 I don't feel checking on the phone. But it quotes verbatim quite often. 09:27:57 I think they're starting boarding soon. -> 09:28:06 enjoy flight 09:28:14 `revert 09:28:16 Done. 09:30:05 -!- pikhq has quit (Ping timeout: 265 seconds). 09:33:50 oerjan: What do you think of adding all immediately-reverted edits to scowrevs? 09:34:26 sounds scow hth 09:34:50 (also your revert was based on flimsy evidence) 09:35:14 anyway, later 09:35:18 -!- oerjan has quit (Quit: leaving). 09:42:09 -!- pikhq has joined. 09:48:58 -!- atslash has joined. 09:57:22 -!- pikhq has quit (Ping timeout: 264 seconds). 10:09:14 -!- pikhq has joined. 10:09:51 -!- augur has joined. 10:10:09 -!- moei has quit (Quit: Leaving...). 10:14:25 -!- augur has quit (Ping timeout: 248 seconds). 10:20:08 -!- pikhq has quit (Ping timeout: 268 seconds). 10:25:33 -!- pikhq has joined. 10:31:17 -!- danil has joined. 10:32:34 -!- danil has quit (Client Quit). 11:13:05 -!- moei has joined. 12:00:19 -!- AnotherTest has joined. 12:05:00 -!- AnotherTest has quit (Ping timeout: 256 seconds). 12:08:26 -!- SopaXorzTaker has joined. 12:16:55 -!- danil has joined. 12:24:58 -!- augur has joined. 12:27:27 -!- danil has quit (Ping timeout: 240 seconds). 12:29:46 -!- augur has quit (Ping timeout: 264 seconds). 12:52:14 -!- augur has joined. 12:56:26 -!- augur has quit (Ping timeout: 256 seconds). 13:00:34 -!- doesthiswork has joined. 13:03:37 -!- xkapastel has quit (Quit: Connection closed for inactivity). 14:05:06 -!- Naergon has joined. 14:07:51 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 14:20:53 -!- AnotherTest has joined. 14:42:16 -!- sleffy has joined. 14:47:58 -!- erkin has joined. 15:00:26 -!- Sgeo_ has joined. 15:02:25 -!- Sgeo__ has quit (Ping timeout: 248 seconds). 15:08:18 -!- augur has joined. 15:12:33 -!- augur has quit (Ping timeout: 248 seconds). 15:57:59 -!- danil has joined. 15:59:51 fungot: When is your birthday? Do bots have birthdays? 15:59:51 danil: c/ fnord of facts! :p? 16:00:50 danil: it's Thursday 16:01:21 Was he released on Thursday? 16:01:47 Every Thursday? 16:02:41 2 more days till fungots weekly birthday! 16:02:42 danil: fnord/ extras/ stupidcovers/ fnord this algorithm on larger numbers still, if someone is crazy enough to ask for it as he did... 16:02:58 Fnord again? 16:03:11 s/2/3 16:08:19 -!- olsner has quit (Ping timeout: 260 seconds). 16:09:55 \quit 16:09:57 -!- danil has quit (Quit: danil). 16:12:39 -!- olsner has joined. 16:13:21 -!- sleffy has quit (Ping timeout: 248 seconds). 16:30:44 -!- LKoen has joined. 16:51:36 -!- sprocklem has joined. 16:57:28 -!- augur has joined. 17:01:41 -!- augur has quit (Ping timeout: 256 seconds). 17:24:40 -!- augur has joined. 17:28:57 -!- augur has quit (Ping timeout: 240 seconds). 17:42:52 -!- es111 has joined. 17:43:46 hi 17:44:01 السلام عليكم 17:46:11 -!- es111 has left. 17:46:48 Hm, and I was just checking to see if we have a wisdom.ar (but it seems not) 17:48:25 -!- xkapastel has joined. 17:52:00 -!- augur has joined. 17:56:17 -!- augur has quit (Ping timeout: 248 seconds). 17:58:11 -!- Phantom_Hoover has joined. 17:58:11 -!- Phantom_Hoover has quit (Changing host). 17:58:11 -!- Phantom_Hoover has joined. 18:01:23 -!- oerjan has joined. 18:05:43 -!- brandonson has quit (Ping timeout: 268 seconds). 18:06:08 -!- imode has joined. 18:06:51 -!- brandonson has joined. 18:19:11 -!- augur has joined. 18:22:37 -!- hppavilion[1] has joined. 18:23:45 -!- augur has quit (Ping timeout: 255 seconds). 18:49:51 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 18:52:52 -!- MDude has quit (Ping timeout: 256 seconds). 19:03:45 -!- augur has joined. 19:09:53 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 19:17:12 -!- SopaXorzTaker has quit (Remote host closed the connection). 19:30:49 -!- olsner has quit (Ping timeout: 268 seconds). 19:37:08 -!- olsner has joined. 19:39:13 `? tea 19:39:15 Tea is concentrated fuel made by distilling occult herbs in a silver alambic. Americans attempted to reduce its potency by dumping some in the Ocean. 19:39:16 `? coffee 19:39:17 Coffee is a strange brew. Enticing wisps of vapour catch the eye, the soul ensnared into dark vortices of flavour. Some minds mix in milk and sugar to counteract coffee's black magic. 19:42:18 ``` head wisdom/@(milk,cream,sugar,water,coke,drink,soda) 19:42:19 head: cannot open 'wisdom/@(milk,cream,sugar,water,coke,drink,soda)' for reading: No such file or directory 19:42:31 ``` head wisdom/@(milk|cream|sugar|water|coke|drink|soda) 19:42:32 ​==> wisdom/milk <== \ Milk is a squishy substance that creeps along the floor and can be extracted from cows. \ \ ==> wisdom/water <== \ Water is a squishy substance that creeps along the floor and can suddenly fall from the heavens. 19:48:12 -!- hppavilion[1] has joined. 19:57:29 ``` head wisdom/@(sun|moon|star) 19:57:30 ​==> wisdom/moon <== \ moon is often named the following: moonythedwarf moonythehuman moonheart08 moony moon__ computing and luxon, making porthellos and @tells a real pain \ \ ==> wisdom/sun <== \ The Sun *may* be retroreflectorey, it's hard to be sure. 20:07:42 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 20:08:55 `learn Cream is what milk turns into once you beat it into submission. 20:08:58 Learned 'cream': Cream is what milk turns into once you beat it into submission. 20:10:56 -!- Phantom_Hoover has joined. 20:10:56 -!- Phantom_Hoover has quit (Changing host). 20:10:56 -!- Phantom_Hoover has joined. 20:15:57 -!- arseniiv has joined. 20:16:06 hi all! 20:16:48 may I ask if the following language idea already has a name somewhere 20:18:54 in general on IRC, feel free to ask 20:23:04 idea: the source is a list of definitions; definition is of form `newName variables = applications of any of newName, variables and previous names to each other, or a single one of them`. And that's it, for each name is at most one definition, and there's no typing constraints or fancy pattern matching. (Details about IO and what name to evaluate at the program start are non-essential.) I feel this idea is so simple and elegant to be di 20:23:04 scovered long ago before me, but don’t know how to find how many times and by what people 20:23:27 thanks in advance) 20:24:57 arseniiv: yes, something like that can work. if you allow partial applications and parenthesis on the right hand side, then you can basically do anything in it that you could do in untyped lambda calculus 20:25:52 if you don't allow partial applications (ML/Haskell-style currying) then it gets easier to implement, but you need to add some data constructors and deconstructors or something to store information in 20:26:06 I think that can work well to make a simple interpreter 20:26:25 you need to allow at least one level of parenthesis in the rhs of the functions definition though 20:26:57 yeah, partial applications and parentheses are allowed! I have come to it thinking about unwieldiness of combinator calculus: expressions are too long 20:27:26 arseniiv: in that case it's basically as powerful as lambda calculus or combinator calculus 20:27:35 untyped 20:27:43 it's an equivalent syntax 20:27:49 yeah I know :D But had it been unthought off really? Can’t believe! 20:28:04 i'm pretty sure _i've_ thought of it before. 20:28:10 and also that i wasn't the first 20:28:21 but i don't remember on the spot what it's called. 20:28:45 it's like a very minimalist haskell. 20:29:01 I associate them too 20:29:17 oerjan: it's more powerful because it's untyped 20:30:28 but yeah 20:30:35 also possibly a minimalist ML 20:30:44 depending on whether you evaluate it lazy or strict 20:31:13 (I wanted to write something using this language and mention it somehow, but didn’t know how. At least you’ve loosen my concerns already, thanks) 20:31:54 wob_jonas: oh, right, laziness and call-by-need should be a must in this language too (at least, in my preferred variant!) 20:32:26 it will be more fun that way IMO 20:36:00 then it's sort of like untyped lambda calculus, with a syntax that's sometimes shorter and sometimes more verbose 20:36:12 arseniiv: you also want to allow circular references between the names, right? 20:36:20 that is, letrec semantics 20:38:00 I could live with self-calls (and calls to any name defined earlier, but not later). I could even without self-calls, but then we need to define `fix` and it has too cumbersome an expression 20:38:29 arseniiv: it's not that cumbersome, since this is an untyped language, but ok 20:39:29 so the user would need to pack letrec-related functions in a pair and define them in one sweep hahaha ]:) 20:39:50 -!- muxer has joined. 20:40:34 wob_jonas: I mean, it has a long expression in S K I combinators and it could have some smaller ones if we define more combinators, but I fear not much smaller overall 20:41:04 what? you're not restricted to S K I combinators here 20:41:10 and when one permits self-calls, it is suddenly just a `fix f = f (fix f)` 20:41:22 yeah I know, but we should define it through something anyway 20:41:59 oh wait 20:44:53 -!- muxer has left ("Leaving"). 20:45:16 yeah, it could definitely be quite small. Let’s take Y = λf.(λx.f(xx))(λx.f(xx)), then it’s definable in two lines! A f x = f (x x), fix f = (A f) (A f) 20:45:24 I take my words back 20:46:40 so one even doesn’t needs referencing the name in its defining expression to be sufficiently happy 20:49:27 arseniiv: basically if you have any expression in untyped lambda calculus, you can translate it to this language by turning each lambda into a new named function, where the first few parameters are the upvalues used in that lambda expression 20:49:42 s/used in/bound by/ 20:52:31 agree completely, I just for some reason have forgotten earlier about quite simple expressions for fixed-point combinators 20:52:56 `? y 20:52:57 Y is a commune in France. There's nothing funny about this. 20:54:01 oh, there is a bot here? Nice 20:54:33 most people here are bots 20:56:30 :o well, I just realised my client colors users differently, should all HackEso-colored be bots too? 20:57:00 -!- atslash has quit (Quit: Leaving). 20:57:06 yeah it seems right: lambdabot, variable etc., mamma mia 20:57:12 skin color is not a useful way to distinguish between people 20:57:23 :D 20:57:50 -!- wob_jonas has changed nick to lob_jonas. 20:57:54 now I'm green 20:58:09 <\oren\_> lob_jonas: no your're still orange 20:59:01 lob_jonas: you turned black as bot in my KvIrc :D 21:01:19 well, thank you all, it’s a very nice channel! I’ll go for now, and later look at the log, maybe someone names that thing in the meantime, it would be the icing on the cake! 21:02:40 -!- arseniiv has left ("gone"). 21:11:09 lob_jonas: you're still black hth 21:12:00 -!- oerjan has quit (Quit: Nite). 21:12:02 -!- sleffy has joined. 21:35:32 fungot, what shape are your ears? 21:35:32 lob_jonas: combinator theory: a function with the results 21:46:39 -!- olsner has quit (Ping timeout: 260 seconds). 22:01:59 `? cat 22:02:00 Cats are cool, but should be illegal. 22:02:01 `? dog 22:02:03 dog? ¯\(°​_o)/¯ 22:02:28 fungot, how many times a month do you go to real fast Nora's nailcare? 22:02:28 lob_jonas: " esszet" seems to be using units and signatures, sorry for using that mental image. :s 22:09:55 -!- lob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 22:09:59 -!- AnotherTest has quit (Ping timeout: 260 seconds). 22:11:54 -!- olsner has joined. 22:22:36 -!- Phantom_Hoover has quit (Remote host closed the connection). 22:24:32 -!- 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.”). 22:26:18 -!- olsner has quit (Ping timeout: 255 seconds). 22:34:56 -!- olsner has joined. 22:55:06 -!- sleffy has quit (Ping timeout: 255 seconds). 23:17:39 -!- brandonson has quit (Ping timeout: 260 seconds). 23:19:03 -!- brandonson has joined. 23:22:38 -!- sleffy has joined. 23:25:32 oerjan: Do you remember an example where turning off ScopedTypeVariables was tricky? 23:32:39 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 23:34:12 -!- wob_jonas has joined. 23:34:14 `aglist 586 23:34:14 aglist 586: b_jonas shachaf 23:36:03 ``` echo wisdom/*lon 23:36:04 wisdom/epsilon wisdom/luftballon wisdom/melon 23:36:09 `? melon 23:36:10 A melon is a lemon whose spelling is bad. 23:36:20 `? luftballon 23:36:21 A Luftballon is an experimental weapon first developed by the German military in 1983 designed to scramble fighter jets, causing chaos and starting wars between their enemies. 23:48:51 `? mouse 23:48:52 mouse? ¯\(°​_o)/¯ 23:59:35 ``` echo wisdom/*cha* 23:59:36 wisdom/4chan wisdom/chaos wisdom/char wisdom/character wisdom/diagram chasing wisdom/english channel wisdom/hexchat wisdom/hipchat wisdom/merchantable wisdom/schaf wisdom/shachaf wisdom/whatchamacallit 23:59:59 `? diagram chasing