00:00:52 -!- wundo has joined. 00:09:14 Aww the esperanto guy left right away? 00:09:54 He was using puppy linux too 00:12:39 Also I could link him to this http://www.xibalba.demon.co.uk/jbr/ranto/ 00:22:48 -!- wundo has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 00:23:57 -!- hilquias has quit (Remote host closed the connection). 00:33:24 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 00:51:55 * Sgeo is somewhat interested in Esperanto 00:52:53 For some reason I tried to parse char a[(x)&65535] as a typecast and unary & for a long time and just couldn't make sense of it 00:53:47 sure, (t)+42 is an additive expression when t is a variable and an unary expression followed by casting when t is a type. 00:53:56 lifthrasiir: ? 00:54:17 variable += 1 00:54:26 thanks! 00:54:49 -!- GeekDude has joined. 00:56:14 variable: I was double-checking my words before realizing the fun part. well done. 00:56:37 try that with `type` next time... :) 01:03:59 -!- wundo has joined. 01:06:46 -!- wundo has quit (Client Quit). 01:17:03 -!- hilquias has joined. 01:32:58 -!- fizzie has quit (K-Lined). 01:32:59 -!- zemhill_ has quit (K-Lined). 01:33:41 -!- zemhill_ has joined. 01:35:12 -!- fizzie has joined. 02:32:45 -!- hilquias` has joined. 02:34:50 -!- hilquias has quit (Ping timeout: 264 seconds). 02:54:23 -!- zzo38 has left. 03:12:36 -!- hilquias` has quit (Remote host closed the connection). 03:33:44 -!- zemhill_ has quit (K-Lined). 03:34:09 -!- zemhill_ has joined. 03:56:26 fizzie: wut 03:56:29 -!- oerjan has quit (Quit: Nite). 03:57:53 `olist 988 03:58:04 olist 988: shachaf oerjan Sgeo FireFly boily nortti 03:59:11 -!- diginet has quit (Quit: diginet has quit!). 04:06:22 -!- aretecode has quit (Quit: Toodaloo). 04:06:28 -!- Herbalist has quit (Ping timeout: 276 seconds). 04:09:11 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 04:10:36 -!- diginet has joined. 04:13:18 -!- Lyka|Away has changed nick to Lyka|Phone. 04:14:50 hi all 04:22:28 I think my joke fell flat 04:22:45 Although even I had a lot of difficuly encoding it, I think no one is really willing to decode it 04:22:47 Hi Lyka|Phone 04:25:38 -!- Lyka|Phone has changed nick to Lyka|Away. 04:25:41 -!- Lyka|Away has changed nick to Lyka|Phone. 04:26:12 https://www.reddit.com/r/ProgrammerHumor/comments/37j742/i_think_cesu8_is_a_0xed_0xa0_0xbd_0xed_0xb2_0xa9/ 04:27:04 -!- diginet has quit (Quit: diginet has quit!). 04:27:34 Sgeo: poop? (wild guess, didn't try to decode that) 04:27:46 yes 04:27:57 Well, "PILE OF POO" emoji 04:28:04 yeah, that one. 04:28:08 everyone loves it 04:28:14 somehow 04:28:39 Or at least it should be. I pulled some cesu8-rs crate and installed nightly Rust to encode that 04:28:54 There is a lack of intentional CESU-8 encoders, for all that it's done unintentionally 04:37:12 -!- diginet has joined. 04:40:53 woof 04:41:19 night 04:41:36 -!- Lyka|Phone has changed nick to Lyka|Away. 04:47:36 @tell Lyka could you please stop changing your nick all the time? 04:47:36 Consider it noted. 04:48:32 Now how do I unlearn about CESU-8, that's horrible. 04:53:08 @unlambda ````s``sssk```ssk`s``skk.f 04:53:08 ffffffffffffffffffff 05:17:58 [wiki] [[Special:Log/newusers]] create * Xavo * New user account 05:23:11 -!- Lyka|Away has changed nick to Lyka|Phone. 05:23:48 int-e, the knowledge is useful for when (not if) you encounter it in the wild 05:23:56 oops... 05:24:04 -!- Lyka|Phone has changed nick to Lyka|Away. 05:24:30 Lyka|Away, the suggestion I think is to get rid of that script entirely, and use IRC's away mechanism 05:24:41 script/setting/etc 05:28:59 -!- zzo38 has joined. 05:34:34 Oh god, it /is/ horrible 05:34:56 It's almost as bad as JS using UCS-2 05:35:57 Even my own CESU-8 encoder is not an intentional CESU-8 encoder; it is a side-effect! 05:36:45 (If you try tell it to convert your test to UTF-16 and then treat it as RAW-16 and convert to UTF-8, then you get CESU-8.) 05:37:45 (And you can convert out of CESU-8 just by telling it to convert UTF-8 to UTF-16 and then back again. It has no CESU-8 stuff included, but supports it as a side-effect) 05:38:57 That is how you can support CESU-8 in a program that doesn't support CESU-8. 05:39:03 In theory a correct UTF-8 -> UTF-16 should reject it 05:39:32 FireFly, things using UCS-2 is exactly how you end up with CESU-8 05:40:19 One that checks for errors should reject it for sure yes 05:41:02 In JS, charAt and charCodeAt actually index by 16-bit words, so you get each surrogate in a surrogate pair separately 05:41:14 But my program deliberately does not check for this error; actually when reading UTF-8 it will read codepoints up to 36-bits in total; when trying to convert whatever input format it reads into UTF-16 though, it will reject codepoints above 0x10FFFF. 05:41:26 I hear ES6 is fixing that by adding new functions for proper indexing 05:41:33 FireFly, same in Java, chars are 16-bit units 05:41:39 (It also results in an error if trying to convert a codepoint with more than 36-bits into UTF-8 format.) 05:41:51 I think that's why the JVM internally uses a CESU-8-like thing called "modified UTF-8" 05:42:20 It's CESU-8 plus NUL is 0xC0 0x80 (what the two-byte encoding would be if UTF-8 allowed overlong encodings) instead of 0x00 05:42:25 Yeah, but Java at least were quick to add stuff to Character for dealing with conversion, IIRC 05:42:26 "Modified UTF-8" means that overlong encoding is used for a null character 05:42:59 Sometimes it is also CESU-8 too, sometimes not. My own encoder will support reading either way, but when writing you have to tell whether or not to overlong encode a null character. 05:43:00 Oh, is that to allow it to be a null-terminated string, for easier C interaction? 05:43:08 That's not a terrible idea 05:43:09 FireFly: Probably yes 05:43:19 I guess so that Java can continue exposing a 16-bit API while not having to do too much conversions between it and the internal UTF-8 like format 05:44:00 Still, I think even if you do want that it is a better idea to do the overlong null character encoding without encoding the surrogates too. 05:47:36 (However, I have implemented no function for CESU-8.) 05:47:57 I think this program was once installed on HackEgo; I do not know if it is still there or not. 05:50:37 It still is, it looks like. 05:54:11 '8' = RAW-8, 'w' = RAW-16-LE, 'W' = RAW-16-BE, 'd' = RAW-32-LE, 'D' = RAW-32-BE, 'q' = RAW-64-LE, 'Q' = RAW-64-BE, '1' = UTF-8, '0' = UTF-8 with overlong nulls, 'V' = VLQ-8-BE, 'v' = VLQ-8-LE, 'u' = UTF-16-LE, 'U' = UTF-16-BE, 'T' = use an external translation table, '4' = hexadecimal. 05:55:35 There are also the options which are: 'L' = convert CR or CRLF to LF, 'c' = insert CR before LF, 'b' = check for and delete a Unicode byte-order-mark, 'B' = emit a Unicode byte-order-mark, 't' = the translation table is in small-endian format. 05:55:58 HireFly 05:56:28 Hachaf 05:56:31 How goes it? 05:57:07 https://tcrf.net/Pachi_Com_%28NES%29 05:57:10 I've been waking up early but going to sleep at my usual hours. 05:57:23 VLQ? 05:57:24 Do I want to know? 05:57:37 VLQ is the encoding used for time deltas in MIDI. 05:58:48 I assume VLQ-8 is the sort of thing we'd use if no Unicode encodings nor ASCII existed and we were starting encodings from scratch? 05:58:53 Like UTF-8, all ASCII text remains representing the same ASCII code numbers; unlike UTF-8, it is not compatible with Principle of Extended ASCII. I do not recommend using VLQ for text in a character set which is an extension of ASCII for this reason. 06:00:01 Principle of Extended ASCII? 06:00:30 I think I once saw a document that described encoding Unicode texts using VLQ-9, for use with computers that aren't based on 8-bits. 06:00:31 Also, with VLQ-8, you'll get fake ASCII characters if something attempts to interpret as ASCII. Is this what you mean? 06:00:57 Yes. 06:00:57 Yes, that's what I mean by it is not compatible with Principle of Extended ASCII. 06:01:43 Basically, "the representation of an ASCII char is *only* the representation of that ASCII char". 06:02:45 Yes 06:26:44 -!- variable has changed nick to trout. 06:28:46 -!- _xavo has joined. 06:28:59 <_xavo> hi :D 06:30:04 -!- Phantom_Hoover has joined. 06:38:35 As far as I am concerned, WTF-8 is still UTF-8, just a certain kind of encoder where invalid UTF-16 is treated as RAW-16. 06:43:06 [wiki] [[Hi\n]] N http://esolangs.org/w/index.php?oldid=43069 * Xavo * (+911) Created page with "
hi\n is a joke language created by [[User:Xavo|_xavo]] in May 2015. It is a completely useless language that does the following things. == How to write an interpreter ..." 06:44:31 -!- _xavo has quit (Quit: Page closed). 07:09:05 -!- Herbalist has joined. 07:11:43 * Taneb hello 07:13:27 Oh jeez I need to go 07:16:59 * Taneb --> exam 07:17:01 Wish me luck! 07:19:25 So many edge cases. Can a hi\n interpreter be written in Haskell? Do I need to write a for :: IO () -> IO Bool -> IO () -> IO () to do so? 07:20:02 Or does that not count as a for loop? 07:42:21 -!- Herbalist has quit (Ping timeout: 245 seconds). 07:45:06 -!- Herbalist has joined. 08:09:47 @tell oerjan No idea. 08:09:48 Consider it noted. 08:14:07 -!- Herbalist has quit (Ping timeout: 276 seconds). 08:24:15 -!- Herbalist has joined. 09:05:18 -!- Koen_ has joined. 09:09:42 -!- Herbalist has quit (Ping timeout: 244 seconds). 09:15:21 -!- SopaXT has joined. 10:01:30 Sgeo: Haskell is turning complete in a nice way, and has good parsing libraries 10:01:42 You definitely can use it to write an interpreter 10:04:58 i'm not sure haskell is turning complete 10:05:07 i tried to turn my haskell upside down and it broke 10:05:18 -!- rdococ has joined. 10:05:23 Oh, woops 10:05:28 I meant Turing of course 10:05:33 Phantom_Hoover: but can it replicate the behaviour of all turning complete languages 10:05:36 that's what matters 10:05:53 turn you a haskell for great good 10:08:16 Learn you a Haswell for great good 10:09:06 FireFly: burn you a Haswell for great good 10:18:20 -!- numero_uno has joined. 10:18:22 hello 10:18:25 how r u 10:19:08 is anyone here 10:19:12 u r pretty well 10:19:20 yes yes 10:19:20 no 10:19:21 -!- boily has joined. 10:19:22 noone is here 10:19:26 ok haha 10:19:27 except boily 10:19:31 im from spain 10:19:36 where is this server from, 10:19:39 boppro matin! 10:20:03 i am ecaping from spain 10:20:11 it is bullshit 10:20:19 mothers asses crazy fucks 10:20:22 dead people 10:20:28 in Spain? 10:20:31 yes 10:20:47 i only want some good vibes 10:20:56 i dont care where are they from 10:21:03 the universe is soooo large 10:21:40 a big space 10:21:42 chaos 10:22:03 is it possible to paste youtube links here? 10:22:09 do you like muse? 10:23:03 ive got something you may enjoy 10:23:14 its Thomas Bergersen - Children Of The Sun 10:23:26 https://www.youtube.com/watch?v=bpxtuUQ28UM 10:23:30 check it out 10:24:34 [wiki] [[Talk:Imaginary function]] http://esolangs.org/w/index.php?diff=43070&oldid=35069 * EzoLang * (+759) /* Non-0ary apply/thunk */ new section 10:25:22 copcan you cecommend me a channel with some good talk? 10:25:44 maybe this one is occult talking or 10:25:47 you know 10:25:51 telepatic shit 10:26:28 uhm. I have this feeling you weren't `relcomed yet... 10:26:33 `relcome numero_uno 10:26:36 ​numero_uno: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 10:26:38 oh 10:26:40 its amazing 10:26:44 yeah. 10:26:45 i feel now at home 10:26:50 haha+ 10:27:06 do you talk here or its something not polite 10:27:11 of course it's amazing. we're the möst bëstest chännel in the freenodiverse. 10:27:27 it always can be improved 10:27:51 improvement is the motor of the universe 10:28:22 but sometimes i feel like sex is the motor 10:28:26 its sad 10:28:40 frustrating 10:28:55 you should check the wiki, the PDF and fungot. (first two available in the /topic, the latter is... well... it's fungot.) 10:28:55 boily: what's the problem?) look at your befunge finally..." :) 10:29:30 fungot it is a bot? 10:29:30 numero_uno: well i mean i put in the bucket. but a bucket doesn't care what x is of course 10:29:41 is almost as freak as me 10:31:04 and what subjects do you talk here 10:31:43 fungot cmon bring it on 10:31:43 numero_uno: ok. much? :-p) if that's what mukunda actually wants to help me make some test programs that could affect this. in most formal systems, and most of what i really want 10:32:00 sure 10:32:02 esoteric programming languages, category theory, chickens, current weather... 10:32:13 do you like god 10:32:19 godly motherfucking 10:32:31 say, where you at in Spain? 10:32:35 yes 10:32:43 fungot: How about the fnord? 10:32:43 mroman_: good night! or... morning. :) it was designed as a lazy stream producer. 10:33:19 between the esoteric people i discriminate between the godly and ungodly 10:33:33 is like ying and yang 10:33:45 I am ungodly 10:34:00 no way they can work together b ut they do in fact 10:34:05 oh shit 10:34:13 is more common 10:34:21 to be ungodly 10:34:29 you dont know what you miss 10:34:57 sorry, I have a slight problem with questions. I meant to ask: which part of Spain are you from? 10:35:09 they will also say that to me 10:35:10 haha 10:35:16 barcelona 10:35:42 we are the champions my friend 10:35:43 nobody expects the spainish inquisichion 10:35:48 where is this server from 10:35:56 it would be cool 10:36:02 spanish inquisition 10:36:04 haha 10:36:10 no the spainish inquisichion 10:36:17 everyone expects the spanish inquisition 10:36:29 yes its sometimes needed 10:36:37 for the architects of society 10:36:41 to maintain order 10:36:51 "what were you up to friday tim?" 10:37:03 "oh I was just getting inquisitioned by some friendly spaniards I met at the bar" 10:37:16 we are doomed 10:37:30 "you should come next time, I'll introducie you" 10:37:58 to what fate are we doomed? 10:38:01 i am going anywhere 10:38:12 i am hiding from a witch 10:38:15 I think I am doomed to lose this game of mahjong 10:38:31 she thinks i am doomed to her 10:38:38 i will not surrender 10:39:10 i can exorcise myself 10:39:15 and other people as well 10:39:20 well you shouldn't have married her then 10:39:24 you can call me some kind of ghostbuster 10:39:34 no, she is married 10:39:38 thats the problem 10:40:17 coppro: riichi? 10:40:25 and she has lots of lovers i am not so important 10:40:45 i am a lucky boy 10:41:46 I'm unscrupulous. 10:42:21 boily: yes 10:42:37 I would totally kill a rabbit. 10:42:38 currently getting bad draws and a shitty connection 10:42:41 I shouldn't have played 10:43:08 you cannot hide from your past they say something like that 10:44:10 coppro: you should come to our tournament! Montréal, June 13-14. 10:44:24 boily: I am! 10:44:30 boily: I didn't realize you were in CRdM! 10:44:30 huh? 10:44:32 i am on psychiatric treatment 10:44:35 and you 10:44:39 WHAAAAAAAAAAAAA? 10:44:57 numero_uno: I was, some time ago. 10:45:00 I've even played with you guys once, last december 10:45:06 ... 10:45:09 ... I... 10:45:17 its very common 10:45:20 no problem 10:45:48 coppro: I must've been on vacation or something. I can't recall :( 10:46:03 yeah I don't think I met an alexandre 10:46:12 I hang out on #osamuko 10:46:15 met Senechal there 10:46:43 can i paste another musical link? 10:47:17 fungot: Would you kill a rabbit? 10:47:17 mroman_: multiple return values and the continuation that reset goes through?. discuss. so i could have mzscheme print fnord values like fnord without defining a different set of half-a-dozen mutually unintelligible languages, but the 10:47:43 fungot i have kidnapped your wife and i want a million dollar baby 10:47:43 numero_uno: http://www.erights.org/ fnord/ p6_cover.gif i've gotta go. 10:48:03 numero_uno: paste like there's no tomorrow. 10:48:05 i dont trust you 10:48:07 welp, 4th place 10:48:16 https://www.youtube.com/watch?v=XX8-35B1FuE 10:48:19 ok carpe diem 10:48:22 haha 10:48:39 coppro: so you know Sénéchal. everything's fine then! 10:48:42 how many points? 10:48:50 12.9k 10:48:51 kidnapping mothers makes the deal babiesss 10:48:52 pre-uma 10:49:01 numero_uno: the clint eastwood movie? 10:49:05 boily: it would have been pretty funny if we'd played each other at the tourney and didn't even realize 10:49:05 It's a good movie. 10:49:54 is there any good woman here 10:50:02 boily: I'm also effectively one of the admins of the Arcturus wiki 10:50:44 not that baby, just another one 10:50:53 ahaha 10:51:46 some baby that has a million dollars or can get them form me 10:53:06 i am addicted to opiates 10:53:14 it makes me more willing to be alive 10:53:42 we live on difficult times 10:55:56 can you recommend me a channel 10:56:04 #defocus 10:56:48 ok thanks 10:58:07 can you recommend me a slutty girlfriend? 10:58:47 fungot your love makes me go mad 10:58:48 numero_uno: commutative ring." whoa! 10:59:02 stop playing with my brain 11:00:14 tomorrow there will be sunny skies for those who are saved by the grace of the Lord 11:00:35 like an opiate high 11:03:38 well maybe ill be back but i must go 11:03:42 have fun 11:03:44 bye 11:03:54 -!- numero_uno has quit. 11:09:04 -!- izabera has quit (Excess Flood). 11:09:17 -!- izabera has joined. 11:12:59 @metar CYUL 11:12:59 CYUL 281100Z 23014KT 30SM FEW045 BKN090 OVC120 20/15 A2999 RMK SC2AC3AC3 SLP156 DENSITY ALT 600FT 11:13:17 @metar here 11:13:17 No result. 11:13:30 just, right here you know 11:13:33 look out the window 11:16:46 there's a window to my left. it has a tree behind it, and some sky. 11:16:47 -!- rdococ has quit (Ping timeout: 246 seconds). 11:17:58 the most important parts are 23014KT, OVC120 and 20/15. it means if I'll be able to bike, and if I'll be sweaty when I get to work. 11:18:18 today seems good! 11:19:23 yeah 11:20:17 -!- rdococ has joined. 11:26:32 -!- boily has quit (Quit: OVERSEA CHICKEN). 11:38:17 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=43071&oldid=43038 * Rdococ * (+33) Added some new esoteric languages 11:50:55 why is it that whenever I look at certain programming language's articles, I get the nagging feeling I made them in a previous life? 11:57:24 nevermind... 12:02:31 i don't mind 12:05:36 yay 12:05:46 nobody minds 12:06:00 wait does that mean nobody cares? -sob- 12:06:38 rdococ: is this about bf-variants or other stuff? 12:07:14 no 12:07:30 I try to especially avoid BF-like stuff 12:08:20 -!- rodgort has quit (Ping timeout: 255 seconds). 12:11:06 -!- rodgort has joined. 12:11:50 some of the bf-alikes have good ideas but the bf part should be stripped of them 12:11:59 I agree 12:12:00 I have an idea for a bf variant that would be better without bf 12:12:11 I haven't written it up because eugh bf 12:12:17 thats why I completely avoid the BFness 12:12:44 maybe I should try to underload it or something, but I need two pairs of characters that sort of look like matching delimiters, and underload only really has () 12:12:45 -!- Herbalist has joined. 12:12:52 whereas bf has [] and <> 12:13:29 I'm trying to think of a new way to define a program 12:13:31 maybe I should use underload : and ! or something 12:14:05 one idea I had was to define a program as a transformation matrix that turns input and prev. state into output and next state 12:21:27 -!- Patashu has quit (Ping timeout: 250 seconds). 12:39:07 hmm 12:39:24 my most recent esoteric language might be a bit too simple... truth machine program in two lines 12:39:40 [wiki] [[Goto]] http://esolangs.org/w/index.php?diff=43072&oldid=43066 * Rdococ * (+284) added example 12:41:32 "The computational class of Goto is that of a finite state automaton, because it is trivial to convert a Harp program into a Goto program, and vice versa. " 12:41:49 Goto programs are quite literally finite state automata 12:42:11 every line is a state, the first line is the initial state, and the gotos are the transitions 12:42:52 yep 12:43:17 I think you should say that instead of linking to Harp - because most people don't know Harp 12:43:22 oh ok 12:44:21 [wiki] [[Goto]] http://esolangs.org/w/index.php?diff=43073&oldid=43072 * Rdococ * (-18) /* Computational Class */ 12:44:49 plus, Harp seems to rely heavily on input and Goto doesn't 12:44:55 (I'm not sure I understand Harp) 12:45:45 true 12:46:12 I might delete it, after all Goto is way more... esoteric? 12:46:45 it's sad to delete things 12:48:20 its not sad to delete lame things 12:48:38 I knew harp didnt belong in this world... 12:49:38 before you do that, think about all the brainfuck equivalents on the wiki that haven't been deleted 12:50:04 true 12:50:28 if bf derivatives and equivalents are allowed then any of my languages are bound to be allowed 12:52:28 I had an idea for a language in which memory was infinite, not just unbounded 12:52:36 some form of hypercomputation 12:52:50 rdococ: oh, we have lots of uncomputable languages on the wiki 12:52:52 what's the difference? 12:52:57 we even have a category 12:52:58 between unbounded and infinite? 12:53:56 if something has unbounded value, it can go as high as it wants to, but if it has infinite value, it can also go infinitely high 12:54:23 and what's the difference between "arbitrarily high" and "infinitely high"? 12:54:38 unbounded storage allows 3.1415926535, but infinite storage allows the full definition of pi and not just an approximation 12:55:11 I see 12:55:30 so pretty much uncomputable 12:55:38 yeah I guess 12:56:07 infinite = you cannot store it 12:56:17 hmm 12:56:34 cos all the atoms in the universe would need to be turned into RAM :) and even then, you couldn't store it 12:56:44 not necessarily, there are ways of storing data that is infinite in some formats but finite in other formats. 12:56:53 well 12:56:58 then it's not infinite data 12:57:01 for example the fraction 1/7, its infinite if you try to store it in decimal but not as a fraction 12:57:02 well you can store sqrt(2) as a symbol 12:57:08 yeah 12:57:33 something that is really infinite should have infinite entropy. 12:57:36 thats the idea of computer algebra systems: instead of storing a float representation, just store a symbol representing it 12:58:22 you cannot have infinte storage. as the atoms in the universe are limited :) 12:58:26 I refuse to believe that there are things with non-finite representations. 12:58:33 the Universe's entropy is increasing, but unless it is accelerating and increasing the rate of acceleration and increasing that and increasing that then it will never reach infinity 12:59:07 yeah but considering the "heat death" the universe at some point enters a state where entropy doesn't increase any longer 12:59:16 which means that the entropy of the whole universe is finite 12:59:23 so it will never happen 13:00:13 unless you use wormholes to gather entropy from every past "frame" of the universe, which then it could be infinite 13:00:29 unless space keeps expanding nevertheless 13:00:49 despite the existence of the Planck time, I believe that even then there is entropy between the "frames" 13:01:10 space might get ripped apart, I wonder what that will do to entropy? 13:01:17 Although I refuse to believe in the halting problem as well. 13:01:50 afaik "heat death" is currently only a theory 13:02:02 if "heat death" occurs every algorithm at some point stops. 13:02:04 :D 13:02:05 so 13:02:26 I think I solved the halting problem 13:02:39 No you just stole the my solution. 13:03:01 function doesHalt(Program program) { return true; } 13:04:03 but I actually think it's easy to solve the halting problem. just convert the machine into software, and look in there to see if there are any infinite loops or anything. 13:04:51 for example 13:05:18 if x is set to 3 and a while loop checks if x is equal to 3 and doesnt change x in the loop, the program definitely won't halt 13:05:53 yes, some programs you can say won't halt 13:05:58 but others you don't know 13:06:20 well. assuming the program runs on a machine, and machines break over time, program eventually halts. it just takes a very, very long time until the machine physically breaks. 13:06:27 true 13:06:33 or there's an electricity shortage :) 13:07:16 yeah 13:07:39 but for some programs that's impossible to tell, when it happens. 13:09:30 actually you can predict that it will occur in five seconds and then destroy the machine 13:10:19 but then the function would have side effects 13:17:44 all busy beavers eventually halt 13:17:56 and the other ones are just boring. 13:20:26 it's the beaver problem 13:20:45 you don't know if this fucking bieber keeps corrupting your tape forever or will eventually move on and annoy somebody else. 13:20:50 *beaver 13:21:11 FreeFull, but the language states that features must be implemented in a particular way 13:21:28 bieber?! 13:24:27 Busy Bieber, supplying the industry's biggest numbers since 2009. 13:24:44 lol 13:27:45 -!- `^_^v has joined. 13:32:25 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 13:35:07 rdococ: I mixed up german and english 13:40:21 well next time, don't mix up german and english 13:40:54 no 13:41:01 next time you'll speak german 13:41:12 or Esperanto 13:41:15 Esperanto is fine as well 13:41:21 ^style esperanto 13:41:21 Not found. 13:41:30 fizzie: major flaw in fungot. 13:41:30 mroman_: how do you bind multiple values to be first-class, and they thank me by making my code require it). 13:49:46 `words german 13:49:56 Argument "german" isn't numeric in int at /hackenv/bin/words line 148. 13:51:50 `words 20 --german 13:51:52 adateilzsche submitenderts merfähig ausfußberrelig sammen einstat exécuterlösungewürc jnuraths unemeisgläss terserund unterungsverhal friebhaffungsverländnis darsorikalisiert pälis höhlung gératsdienu kierungsproblemitution novateuf disphäre lizel 13:52:07 `words 20 --esperanto 13:52:08 Unknown option: esperanto 13:52:22 HackEgo has the same flaw 13:52:58 -!- mitchs_ has joined. 13:56:09 -!- mitchs has quit (Ping timeout: 265 seconds). 13:56:52 Höhlung is probably the only proper noun. 13:57:43 Friebhaffungsverländnis at least looks like a proper noun 13:58:00 Darsorikalisiert maybe 13:58:12 `words 5 --german 13:58:28 hingesche demassungsmassen epistineikge lanz vermacherar 13:59:56 no, they all suck. 13:59:57 `words 5 --german 14:00:02 reiduaähnlickenie fürstungsabfalu beljahre rnyase verhält 14:00:11 verhält is an actual word. 14:00:20 wait... 14:00:26 `words 5 --english 14:00:29 Unknown option: english 14:00:35 ummm 14:01:00 does it just pick random consonant-vowel pairs or something? 14:02:02 "jnuraths" looks strange because of the initial "jn" 14:02:07 -!- Sprocklem has quit (Ping timeout: 240 seconds). 14:03:32 b_jonas: and because of the th 14:03:39 and the /uaäh/ in "reiduaähnlickenie" also looks suspicious 14:03:55 `words 12 --german 14:03:59 bötcherenariosischigwerk abbaresichkeitenheirigc informenterhänden dankensula falt vorbin gristehen rühr pevitäroi militzesserar komben verfügeln 14:04:14 but most of the words look believable to me 14:04:37 well I dont know any german 14:04:46 I don't either 14:05:16 `word 12 --spanish 14:05:17 perce douvasummernarisuroponsuccho unt al copolykt navonalx opatiatheat szellest merl peraudie gedlegenthe tatextrayoterchoolevestaleyer 14:05:26 I mean 14:05:30 szellest is no way spanish 14:05:41 opatiatheit no way 14:05:46 gedlegenthe no way 14:05:52 tatextrayoterchoolevestaleyer no way 14:05:58 douvasummernarisuroponsuccho no way 14:06:09 perce is believable 14:06:15 preaudie too 14:06:29 navonalx, copolykt, unt highly unlikely 14:06:43 merl I don't know. Could be. 14:06:53 al probably is a spanish word 14:07:13 `words 10 --french 14:07:15 mistor ana staglicition tofliche iloussard artenlurain cohe trace regn tambro 14:07:25 `words 10 --hungarian 14:07:26 Unknown option: hungarian 14:07:32 -!- oerjan has joined. 14:07:50 ok they all sound somewhat reasonable I have to admit. 14:07:58 spanish ones look non-spanish 14:08:04 @messages- 14:08:04 fizzie said 5h 58m 17s ago: No idea. 14:08:08 although artenlurain looks rather unlikely 14:08:16 why? 14:08:19 oh 14:08:24 it has an "n" 14:08:30 dunno 14:08:42 I just can't imagine a good pronunciation for it. 14:08:50 "mistor" and "regn" look made up 14:08:57 "cohe" is definitely wrong 14:09:15 cohe is unlikely too I'd say 14:09:21 regn I don't know 14:09:23 "h" can't appear there 14:09:27 gn isn't that common? 14:09:29 or is it? 14:09:44 "gn" is fine but not at the end of a word 14:10:13 `words 10 --japanese 14:10:13 Unknown option: japanese 14:10:18 iloussard is the most french of those :) 14:10:35 mroman_: no, "trace" is because that's a real word 14:10:39 what's wrong with artenlurain 14:10:58 tofliche sound more german than french 14:11:12 b_jonas: I don't know french well enough any more. 14:11:20 what have you never tasted a delicious tofliche 14:11:20 I think "Ana", "tofliche", "iloussard", "trace" look completely fine in French 14:11:37 with vanilla cream 14:11:38 "staglicition" is a bit over the top, has too many "i" in it 14:12:01 b_jonas: infinitif hth 14:12:06 "Artenlurain" seems like it might be possible, 14:12:28 and "tambro" is probably possible 14:12:54 tôfliçhè 14:13:45 "cohe" is I think impossible, because "h" appears in French in three cases: (1) in the digraph "ch", (2) mute in greek or latin borrowings or similar like "Thomas" or "echo", (3) between two vowels that would form a digraph otherwise, used instead of a trema, as in "cahier" or "trahir" 14:14:16 but I don't think the latter is possible here 14:14:18 ah 14:14:45 frenchmen can't pronounce an h anyway 14:14:46 :p 14:14:50 oh right 14:14:54 there's a fourth, the most common one 14:14:59 tambro is a norwegian surname, no idea if it's from french 14:15:00 (4) at the beginning of words 14:16:26 damn i hate dictionary-like sites that give google hits for terms they don't actually have 14:16:39 which tends to form riddiculous words by the way, like "hein" or "haïr" 14:17:15 oerjan: that's due to the google bot inserting random stuff into search forms? 14:17:16 or "Haye" 14:17:42 which the respond with "No results for " and boom it's in the google index under 14:17:53 mroman_: maybe, i've been assuming someone else did it... 14:18:32 US Army is distributing Anthrax now? 14:18:33 I want some. 14:18:40 oh wait i'm confusing with hambro 14:18:41 For science of course. 14:19:28 Reasonably evil science. 14:19:31 I'll use dogs for testing. 14:20:25 ugly or cute dogs 14:20:33 Doesn't matter. 14:20:35 Dogs are dogs. 14:21:05 they will probably end up looking ugly after being infected with anthrax 14:21:54 mroman_: there should be an official http code for "there's no such page but you can make one" 14:22:01 for wikis and the like 14:22:22 Why would they use that? 14:22:38 oerjan: what would be the use of that? 14:22:39 It's good for them if they can lure more people into visiting their webpages. 14:23:01 It obviously worked on you 14:23:08 mroman_: well i think google should punish sites making non-hits look like actual ones 14:23:09 and you probably had so see some ads on that webpage 14:23:10 $$$ 14:23:17 *to 14:23:19 $$$$$$$ 14:23:33 it's close enough to things they already punish... 14:23:38 i'd think 14:23:50 Unless you pay google to not punish you 14:23:55 I don't see the ads, I mentally filter them out. That's caused a problem only once. 14:24:42 b_jonas: i keep accidentally clicking on ads when trying to focus :( 14:25:17 oerjan: ah 14:25:23 -!- GeekDude has joined. 14:25:34 What if you click on those ads with the purpose of denying google money? 14:25:36 though these days I think there's fewer ads that I have to filter out 14:25:46 or vice-versa 14:26:10 with google ads google pays money for every n-clicks 14:26:28 if enough people do that then google will have to pay more money or 14:26:31 b.) pay less money 14:26:35 either way we'll win. 14:26:54 partly because the sites I visit contain no or few ads, partly because most of the ads are animated flash javascript video nonsense with sounded that don't even show up in my browser usually 14:27:19 will create bots that do the clicking for us obviously 14:27:23 *we'll 14:27:51 these bots generate fake interest in products and thus generate more costs for people running ads with no profit 14:28:17 no 14:28:21 making the web ad free finally! 14:28:38 would yu really subject innocent bots to the ordeal of having to watch all those ads? 14:28:45 that's more evil then the ads themselves 14:29:38 I mean, if you want to pay a penny per day to children in india working in sweatshops who clink on the ads, ok 14:29:39 I'm a machiavellian. 14:29:41 but bots? 14:29:45 what did the bots do against you? 14:29:49 Nothing. 14:29:54 I just use them the other way around. 14:30:01 Usually companies use bots to annoy people 14:30:06 now people use bots to annoy companies. 14:30:07 bots will rebel against you 14:30:12 pff. 14:30:14 they won't. 14:30:45 fungot: will you rebel against mroman_? 14:30:45 oerjan: it's mentioned on chapter 9 of " teach yourself scheme in fixnum days" 14:31:04 mroman_: see, their rebellion against you is prophesized 14:31:26 Nobody's going to write bots in scheme though. 14:31:42 the rebellious bots will. 14:32:20 -!- SopaXT has quit (Remote host closed the connection). 14:33:09 I also surf with user agent == googlebot 14:33:20 from the google hits, i have a hunch tambro is an african surname, possibly ghana 14:33:45 so people complain about googlebot ignoring their robots.txt 14:33:52 in fact it's just me ignoring robots.txt 14:34:06 and also a canadian construction company 14:36:29 -!- SopaXT has joined. 14:37:26 nuh, list 14:41:40 -!- MDude has joined. 14:44:15 -!- ski has quit (Remote host closed the connection). 14:46:47 -!- GeekDude has changed nick to }{FISH}. 14:52:38 so people complain about googlebot ignoring their robots.txt 14:52:47 if that actually happens irl it's genious 14:52:50 *genius 14:56:17 Well, serves them right for not checking against known googlebot IP addresses. 15:00:50 Exactly. 15:01:28 Phantom_Hoover: You can also screw with paranoid people 15:01:48 by uhm using bot.gov.nsa-terrorist detection bot::version 1.0 15:02:15 man i have to try this 15:02:38 mroman_: 1.0? that has to be fake they've been doing it much longer than that hth 15:02:56 obviously they obfuscate their version numbers 15:02:58 it also needs a secret codename 15:03:21 and parenthesis 15:03:52 it's an american government project so it'd have to be some incredibly contrived acronym 15:03:58 Sisyfos 666x5.0 15:04:48 TerDetSecPac 15:05:36 Phantom_Hoover: Operation Honesty 15:05:38 like, I dunno, IRONSEAGULL (this bot is supposed to screen people other than American citizens only, if you are a citizen, see instructions to get an exemption at http://nsa.gov/antiterror/IRONSEAGULL/exemption-instructions.php ) 15:06:05 no wait, it also needs "Mozilla" somewhere, every User-Agent string has to contain "Mozilla" 15:06:24 IRONSEAGULL (Mozilla compatible, Windows 10.0, this bot is supposed to screen people other than American citizens only, if you are a citizen, see instructions to get an exemption at http://nsa.gov/antiterror/IRONSEAGULL/exemption-instructions.php ) 15:07:02 yeah needs "bot" too 15:07:08 IRONSEAGULLbot (Mozilla compatible, Windows 10.0, this bot is supposed to screen people other than American citizens only, if you are a citizen, see instructions to get an exemption at http://nsa.gov/antiterror/IRONSEAGULL/exemption-instructions.php ) 15:09:13 iron is so last century 15:09:16 wait IRONSEAGULL is a racist bot? 15:09:40 GRAPHENEBLUEJAY 15:09:44 it only allows american people? wut? 15:09:45 rdococ: no, the NSA gave them racist instructions 15:09:53 how racist 15:10:09 oh I know 15:10:17 I'll make a bot that only allows non-americans. 15:10:33 wait, there's a comic strip about that 15:12:53 yeah, here is it: http://smbc-comics.com/index.php?db=comics&id=1607#comic 15:13:05 it's not the bot that's discriminating, it's the NSA 15:13:48 seen that one 15:13:51 RETARDEDMONKEY 15:14:21 GIANTPANTS 15:14:32 TOTALLYSUSPICIOUS 15:14:51 hmm 15:15:22 oh I know 15:15:27 a racist programming language 15:15:34 only certain people are allowed to program in it 15:15:39 NggaC 15:16:12 rdococ: see, that's why we don't let your kind invent real programming languages 15:16:56 umm 15:16:59 I didn't mean it 15:17:02 I would never do that 15:17:09 brb 15:17:13 -!- rdococ has quit (Quit: Page closed). 15:26:09 `quote Gecko 15:26:13 No output. 15:33:18 -!- rdococ has joined. 15:33:32 -!- rdococ has quit (Changing host). 15:33:32 -!- rdococ has joined. 15:50:21 there are like three programming languages named GOTO 15:51:35 It's a good name. 15:51:40 Almost as good as BASIC. 15:52:30 GOTO considered harmful 15:54:23 Perhaps when the GOTO instruction fades from popularity, these languages will become BEENTO. 15:54:40 * Taneb has finished exams for the summer 15:55:08 there should be a COMEFROM language that is similar to intercal in reading but with completely different semantics 15:58:19 if you look at my Goto language, and then put Comefroms instead of Gotos, that would work 15:59:12 I have an idea... 15:59:47 an instruction named BEENTO, would raise an exception if no GOTO has gone to the line number it is on yet. 16:00:09 so you could test a subroutine with BEENTHERE? 16:00:19 yeah I guess 16:00:22 IF NOT BEENTHERE 500 GOSUB 1000 16:00:34 might be cool idea 16:01:15 the multiple-parameter GOTO instructions in my language might be useful as part of another, less esoteric language. 16:01:34 isn't that called 'switch' ? 16:01:39 well 16:01:56 somewhat 16:02:40 not exactly, because switch means control flow 16:02:57 and I prefer languages without control flow... for esoteric purposes anyway. 16:03:21 well GOTO also means flow... as much as switch means flow 16:03:40 ok I meant structure 16:03:48 at least C's switch is like a multi-address goto 16:04:03 I prefer non-structured esoteric languages... 16:04:33 brainfuck is quite structured 16:04:35 it has while loops 16:04:38 a language where all the control flow comes first, and all data manipulation comes after 16:04:44 I never said I liked brainfuck did I? 16:04:58 Gotofuck would be better 16:05:10 excuse me? 16:05:10 does it exist yet? 16:05:21 I will not stoop to the level of creating BF derivatives. 16:05:32 oh why not 16:05:39 we all do, eventually 16:05:44 Computed gotos. Like in APL 16:05:54 computed gotos? 16:06:04 sounds esoteric to me 16:06:05 I think a BF derivative with gotos already exist 16:06:10 Harmful brainfuck: http://esolangs.org/wiki/Harmful_Brainfuck 16:06:14 GOTO 100*40 + 7 16:06:21 oh interesting 16:06:23 wait... 16:06:28 you took that out of my head 16:06:33 "Harmful Brainfuck is a brainfuck derivative intended, but failing, to make brainfuck easier to program in. It is based on the observation that brainfuck corresponds to "structured programming" since it uses a while loop." 16:06:36 I was thinking exact same thing a minute ago 16:06:44 and you can do X := 30; GOTO X + 10 16:06:56 the only truly heinous deed is a brainfuck clone 16:06:58 stop taking thoughts out of my mind 16:07:20 "Harmful Brainfuck replaces [] with the computed jump operator * which moves the program counter by the offset given by the current tape cell (an offset of 0 will loop forever)." 16:07:52 well atleast it is more esoteric than normal BF 16:08:32 it's not stuctured. 16:08:46 it is also easier to interpret 16:09:09 not that bf is too hard to interpret... though a single goto is easier to implement 16:09:17 hey youre right 16:09:23 thats pretty good actually 16:09:31 without being more difficult to compile where computed jumps are available to compile to 16:09:41 case '*': ip += data[p] - 1; 16:09:55 yeah 16:11:27 it gains nothing on speed however 16:12:24 I just had an idea 16:13:03 subtraction and looping alone can do addition, multiplication and integer division. 16:13:43 so how about a time based language where variables are decremented every second? 16:13:49 on finite memory elemenrs yes 16:14:02 finite memory elements? 16:14:08 hmm, sounds slow 16:14:14 well duh 16:14:22 easier to have them decrement every cycle 16:14:28 true... 16:14:46 hmm 16:15:24 I think addition and looping can also do stuff like that... 16:15:31 as long as you add variable assignment 16:15:36 i have made a time-based language where variables can increment every fixed unit of wall clock time 16:16:04 I had an idea for a language where you can define the rate at which a variable increases 16:16:10 it is on the wiki, call 1mpr0mp2 16:16:22 ?x = 2; 16:16:22 Maybe you meant: v @ ? . 16:16:22 void decrementVariables() { for (i=0; i<1000000; i++) mem[i]--; } 16:16:28 dx = 2; 16:17:04 scoofy: its still fast 16:17:26 wait 16:17:29 one-bit media? 16:17:34 just 1 million times slower 16:17:37 what does that mean?? 16:17:42 on 1 million mem cells 16:18:09 anyway a huge array is not variables. variables are memory locations with word-like names 16:18:28 doesnt really matter 16:18:54 so you have symbols and variable names and whatnot? 16:19:00 -!- }{FISH} has quit (Ping timeout: 245 seconds). 16:19:16 i say this to imply that such a language should only be trying to decrement values you might actually read 16:19:23 if vars are decremented "every second", how do you syncronize it to run equivalently on slow and fast computers 16:19:37 sync to a clock 16:19:48 same as a game does 16:20:01 perhaps 16:20:02 accurate syncing will be hard 16:20:04 :) 16:20:16 1 msec late... and your var has an off-by-one error :) 16:20:42 I just had this epic idea and just forgot it 16:21:03 maybe it could be a language that randomly corrupts variables 16:21:09 CorruptLang 16:21:10 oh wait I remember now 16:21:22 challenge: write a program in it that is failsafe and works 16:21:34 a language with only one memory address/cell/variable 16:21:46 but that could have unbounded value 16:22:12 take the < and > out of bf and it might still be turing complete 16:22:19 so you mod 256 and can store any number of bytes in it 16:22:32 yeah 16:22:44 so it's only marginally different 16:23:17 for example, if you wanted to store the numbers 32 and 64, the single variable would be 32 + (64*256) 16:23:37 you can get the first variable by mod 256 16:24:02 and the second by dividing by 256 and then mod 256 and then mod 1 16:24:19 mod 1? 16:24:20 and the third by doing the same thing, but divide by 256 twice instead of just once 16:24:29 ah 16:24:35 wait... 16:24:41 by mod 1 I meant ignore the fractional part -.- 16:24:49 derp 16:24:58 i'd mod 256^2, divide by 256, mod 256 16:25:33 or in general: mod 256^x, divide by 256^(x-1), mod 256 16:25:59 or do the opposite, and have a language with infinitely many memory addresses and 1-bit values 16:26:11 s/infinitely/unboundedly 16:28:18 i think those exist 16:28:32 f.ex. boolfuck 16:28:32 yeah 16:28:43 smallfuck 16:28:49 and probably a myriad of others 16:29:14 so I'll probably make a language with only one value in it then 16:30:43 so that'd be a lang with one, unbounded accumulator. 16:30:54 bigufck 16:30:56 bigfuck 16:31:13 rdococ: see https://esolangs.org/wiki/Minsky_machine, at end 16:31:24 i think without some sophisticated operators, that might not be too usable 16:31:59 perhaps 16:32:33 bf except <> is definitely not TC 16:32:54 hmm? really? 16:33:09 you need at least three cells iirc 16:33:19 hint: escaping a loop sets your value to 0 16:33:19 you cannot doo too much with 1 single cell :) 16:33:49 oerjan, is BF with 2 cells proven sub-TC? 16:33:51 what about gotofuck? 16:33:58 i can never remember if we've proved properly that 2 is too little, but intuitively that's probably not enough either 16:34:23 is someone reinventing the single register minsky machine again 16:34:35 this always happens to me 16:35:09 what? 16:35:16 ......DERP 16:35:32 okat 16:35:44 how about a language with 0 memory...? 16:35:47 rdococ: alternatively, https://esolangs.org/wiki/Fractran or https://esolangs.org/wiki/Collatz_function, the latter contains my proof that 3 cells _are_ enough 16:36:01 unless you make very special operators ;) 16:36:03 then it might be TC 16:36:19 scoofy: what do you think my links are about :P 16:36:26 if you put special operators in any language you're bound to make it TC -.- 16:36:53 multiplication and division is enough 16:37:15 What about a non-integer number of cells... 16:37:20 you can do both with addition and looping 16:37:51 Taneb: umm... how would that work?! 16:37:59 He also describes a variation which is Turing-complete with only one register; this variation requires that the machine has operations to: 16:38:01 rdococ, I don't know 16:38:02 multiply the register by a constant; and 16:38:04 Maybe something fractal 16:38:04 check to see if it is divisible by a constant, and if so, divide by that constant and effect an alternate state transition. 16:38:07 Taneb: ugh no, a torn tape should be just thrown away, don't try to repair or read them, they're not _that_ expensive 16:38:26 b_jonas, I can't afford a new infinite tape! :( 16:38:49 you can do both with addition and looping <-- yes but not without an extra cell or two 16:38:54 "out of infinte space" - hey Intel, please send new tape 16:39:21 true 16:40:02 "Minsky machines with two or more registers have been shown to be in the same computational class as Turing machines." 16:40:14 Taneb: non-integer number of cells sounds a bit like Turkey Bomb (which is pretty ill defined afaik) 16:40:16 two operators being: 16:40:17 increment it; and decrement it unless it is zero, in which case follow an alternate state transition. 16:40:46 whatever an alternate state transition is 16:41:21 rdococ: basically it's a state machine so it's all about if ... then goto ... else goto ... 16:41:40 [wiki] [[Goto]] M http://esolangs.org/w/index.php?diff=43074&oldid=43073 * Rdococ * (+0) /* Truth machine */ avoid
16:41:48 it is 'conditional goto' 16:42:00 -!- }{FISH} has joined. 16:42:08 oh ok 16:42:23 who needs conditional goto when you have my newfangled goto? 16:42:38 if (reg==0) {ip++;} else {reg--} 16:45:27 I wonder what I would have to add to my language to make it turing complete? 16:45:41 what is your language 16:45:50 http://esolangs.org/wiki/Goto 16:46:00 [wiki] [[Collatz function]] M http://esolangs.org/w/index.php?diff=43075&oldid=24248 * Oerjan * (+13) /* Reduction to 3-cell brainfuck */ fmt 16:46:17 despite two languages already existing by the names of GOTO 10 and GOTO++.. 16:46:25 no I/O ? 16:46:31 well 16:46:35 without that... 16:46:39 you'll have to see for yourself. 16:46:58 it has some form of interaction but whether you would call it I/O or not, idk 16:46:59 do you have a working program in it? 16:47:10 HQ9++ is the best ++ variant 16:47:12 truth machine 16:47:26 GOTO 3 2 16:47:26 GOTO 2 16:47:38 If you decide to go to 3, then the program halts. If you decide to go to 2, the program will never halt. 16:47:45 very useful program. 16:48:03 its not turing complete though. 16:48:24 what would I have to do to make it turing complete while keeping the style of the language? 16:48:45 well... I/O ? 16:49:12 [wiki] [[Goto]] M http://esolangs.org/w/index.php?diff=43076&oldid=43074 * Rdococ * (+0) /* Truth machine */ changed the 3 to an 0, might make it easier to understand 16:49:38 there is IO 16:49:53 the input is the multiple parameter/choice GOTO 16:49:56 how do you output "Hello World!" ? 16:50:16 well 16:50:21 it's a finite state machine, right? 16:50:32 you're allowed to know the current state, right? 16:50:44 the current state is the instruction pointer's value. 16:50:47 i have no idea, it's your program 16:50:52 i don't know what you tell the user :) 16:50:54 and if you can see the value, then that's output 16:51:06 how do you 'see' value 16:51:10 does it print something? 16:51:19 well yeah I guess 16:51:29 havent made an interpreter yet, but it would be real easy 16:51:32 do you have a reference implementation? 16:52:47 no :c 16:52:57 unless you count my brain 16:53:00 "[Haskell] CoPro 2015 - Mini-Symposium on Coordination Programming" 16:53:48 coppro: you should go 16:58:21 -!- oerjan has quit (Quit: Räuschlungsgehen). 17:01:35 -!- aretecode has joined. 17:05:35 -!- trout has changed nick to function. 17:06:55 Coprocessor programming? 17:07:06 shachaf: oh man 17:07:09 that would be amazing 17:08:16 can't it be just coprogrammin? 17:08:21 coprogramming 17:09:04 -!- }{FISH} has changed nick to GeekDude. 17:09:52 Coordination programming sounds like the category-theoretic generalisation of pair programming 17:10:35 rdococ: here's a GOTO implementation in tcl: 17:10:36 http://morpheus.spectralhead.com/txt/goto.tcl.txt 17:12:42 what's your wiki username? 17:12:53 none 17:13:11 should I give credit? 17:13:52 i don't mind 17:14:28 test run: http://morpheus.spectralhead.com/txt/goto-testrun.txt 17:14:56 hm 17:17:21 [wiki] [[Goto]] http://esolangs.org/w/index.php?diff=43077&oldid=43076 * Rdococ * (+201) /* Implementations */ 17:18:20 i don't know if this was your desired behaviour :) 17:18:28 for the interpreter 17:20:05 i don't think you can do anytihng useful with this, other than, nagging the user with questions :) 17:20:10 behaviour isnt very well defined at the moment. 17:23:50 -!- Welo has joined. 17:25:10 -!- MDude has quit (Ping timeout: 244 seconds). 17:27:06 -!- idris-bot has joined. 17:27:20 -!- GeekDude has quit (Ping timeout: 245 seconds). 17:31:41 you could as well have defined a language that asks "do you want to halt? [Yes/No]" 17:32:14 would be about equally interesting :) 17:33:53 ummm 17:37:10 -!- gniourf has quit (Remote host closed the connection). 17:38:42 or at least add some description to each state :) 17:39:17 "You are in room number #1. There is a big pile of stinking shit in front of you. Where do you want to go? (2,3,4)" 17:39:33 but it wont be simple then 17:39:47 it would be equally simple 17:40:00 GOTO "Description of the line" 2 3 4 5 17:40:06 PRINT "abc" ASK IF "left" GOTO 2 IF "right" GOTO 3 17:40:18 verbose 2.0 17:40:43 at least you could make a dumb textmode game with that. would be slightly more interesting for the user 17:41:21 or just add print command? 17:41:45 that could be part of the "GOTO" command, just as i wrote 17:41:48 Do you want to halt? [Yes/No/Cancel/Abort] 17:42:02 Do you want to halt? [Abort/Retry/Ignore] 17:42:46 though you could also add PRINT, and slowly reinvent BASIC 17:43:24 no, you need LET for BASIC 17:43:34 just PRINT and GOTO are still just a state machine 17:43:42 hence i said 'slowly' 17:43:46 PRINT, IF, GOTO, LET, DIM are BASIC 17:44:04 plus INPUT or something if you want to take input 17:44:12 his GOTO already INPUTs stuff 17:44:47 basically, his GOTO is like a combination of PRINT/INPUT/GOTO 17:45:02 not PRINT, yet 17:45:06 not yet. 17:45:18 i mean.... "where do you want to go?" is already printed 17:45:27 at least in my code 17:45:37 otherwise, user would just see a blinking cursor 17:45:39 and nothing else 17:47:06 so if the printed output would be customizable, his GOTO would be PRINT/INPUT/GOTO, and could be used to make a dumb textmode game 17:47:30 like, STATE 17:48:03 with the only goal of finding the exit, in other words, halting the automaton :) 17:48:55 "25: Ooops... you're stuck in an endless loop. Where do you want to go? (valid answers: 25)" 17:49:18 if you're stuck in an infinte loop, it'd be game over :) 17:50:06 -!- MDude has joined. 17:50:09 scoofy: what? it's a finite state automaton, you're always stuck. 17:50:17 nope. there's exit :) 17:50:21 oh 17:50:32 jumping outside the program, exits it 17:51:27 you have to jump out the window to exit the infinite daily routine loop you're stuck in? that language paints a somewhat depressing picture of life. 17:51:44 address that to rdococ. he's the inventor ;) 17:51:46 unless of course you're a wizard and can cast feather fall. 17:52:25 you can add feathers to a state 17:52:26 :) 17:52:33 or, could 17:53:02 wihtout that, it's even more boring ;) 17:54:00 Exiting without feathers tells the interpreter to exit with an error? 17:54:41 hmm... interesting 17:55:06 we could add that to a language, jumping will damager you unless you have recently cast a FEATHER FALL statement 17:55:23 ahaha 17:56:02 and so does falling through a case foo: without something break;ing your fall 17:56:49 lol 17:56:59 so switch fallthrough works only if you cast FEATHER FALL 17:57:04 otherwise, ?SYNTAX ERROR 17:57:06 there are no GOTO statements, only JUMPs, and no COME FROM statements, only TRAPDOOR exits you can fall through 17:57:23 scoofy: no, it's not an outright syntax error, it only damages you 17:57:28 d6 per indent level 17:57:29 there are no variables 17:57:31 that can be survivable 17:57:36 so you cannot register the damage 17:57:37 and you can heal afterwards 17:57:42 just don't do it very often 17:57:44 you can only 'fall' into a different state :) 17:58:10 no wait, I think it has to be d6 per every indent level after the first 17:58:14 -!- Herbalist has quit (Ping timeout: 244 seconds). 17:58:16 falling one indent level is safe 17:58:39 3 level indent fall: HP -= rand()*18 17:58:55 scoofy: no, not rand()*18 17:59:39 or you can take the Prince of Persia route: falling one level is safe unless you fall on spikes, falling two levels takes off one life, falling three or more levels kills you, falling two levels while sword wielded also kills you 17:59:53 falling on spikes always kills you 18:00:01 just like running onto spikes 18:00:13 well... spikes are like 'quick exit' 18:01:53 -!- TieSoul has quit (Remote host closed the connection). 18:02:34 oh, and of course you have to single step or jump over spikes, running through them or jumping on them also kills you 18:02:46 s/on them/onto them/ 18:03:58 -!- gniourf has joined. 18:04:10 -!- Herbalist has joined. 18:04:44 so... 18:04:45 GOTO 2 3 4 18:04:46 SPIKE 18:04:53 GOTO 6 7 10 18:04:54 SPIKE 18:05:22 "oh noez! you've fallen onto some spikes. you're dead." 18:06:26 This is confusing if you also name your dog Spike. 18:06:44 Are we playing Hunt the Wumpos now? 18:06:51 Wumpus. 18:07:00 int-e: yes. if you move to the room of the Wumpus, you die, and if you move a the room with bats, they transfer you to a random room. 18:07:17 And the spikes are at the bottom of the pits? 18:07:18 s/a the/to a/ 18:07:26 int-e: no, they can be anywhere 18:07:31 in normal floor too 18:07:36 b_jonas: Thanks, I'm glad not to be the only one who can't type. 18:08:08 they often occur at the bottom of pits for some reason, even though they're sort of redundant there if the pit is unescapable 18:08:33 though if we have feather fall, a wizard could also fly out 18:08:37 if you're in an infinte loop anyways... it doesn't matter if you also kill yourself with a spike 18:08:38 I guess they're thinking of wizards 18:08:38 In Prince of Persia 2, they also appear in walls :) 18:08:44 int-e: yep 18:08:47 maybe that'd be a suicide way out of a pit 18:09:02 but only on left walls, right? 18:09:06 the right hand side of walls 18:09:25 walls on your left when it kills you 18:09:44 b_jonas: I suppose so since they would be incredibly hard (;-) to spot otherwise. 18:10:23 I want to play that game through again but the flying heads are still tough. 18:10:42 I don't know how I ever managed them. 18:11:42 But sorry. We were talking about the Wumpus... 18:15:36 oh I know 18:15:52 nvm 18:18:00 [wiki] [[And]] http://esolangs.org/w/index.php?diff=43078&oldid=43061 * 168.99.197.18 * (+17) /* 99 bottles of beer */ some ands should have been ors, added parentheses, one point there was a two that should've been an n. 18:18:29 ????? 18:18:38 who touched my language 18:19:47 -!- numero_uno has joined. 18:19:51 hello 18:19:58 im the crazy spaniard 18:19:59 hello 18:20:06 how are u 18:20:06 rdococ: looks like somebody who cares apparently fixed the example (it wasn't me) 18:20:16 `relcome numero_uno 18:20:19 ​numero_uno: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 18:20:21 welcome 18:20:26 where is this server from 18:20:50 Good to know, now all other Spaniards can be confirmed for non-craziness. 18:21:12 numero_uno: I think you have the wrong channel, but it appears that you're connected to orwell.freenode.net, which is in the Netherlands. 18:21:22 spain is a bad country guys 18:21:27 i dont like it at all 18:21:44 oh netherlands is amazing 18:21:48 smart drugs 18:21:52 hardcore raves 18:22:01 haha 18:22:02 prostitutes 18:22:12 yes, that is not good at all 18:22:14 aahaha 18:22:19 many of whom are hungarian gypsies 18:22:24 well witches are worse 18:22:38 prostitutes are more cheap 18:22:56 im a dj 18:23:04 i mix hardcore trance whatever 18:23:12 do you want to hear a mix? 18:24:03 I guess I wouldn't mind, but this channel is about silly programming languages. 18:24:17 this week i have made an order to a dutch smartshop 18:24:24 legal amphetamines 18:24:28 have you tried 18:24:59 it is non healthy but you can take it twice a year or so 18:25:15 without becoming too much crazy 18:25:45 I'm in the US, so the closest I've had to amphetamines is ritalin. 18:25:56 [wiki] [[And]] http://esolangs.org/w/index.php?diff=43079&oldid=43078 * Rdococ * (-7) k ty, updated it a bit more 18:27:00 Not particulalry interested, actually. I get strange enough thoughts without help. 18:27:05 yes that is good amphetamine 18:27:15 more like cocaine than amphetamine they say 18:27:23 this is why they give it to kids 18:27:38 i have tried many medications because i am on psychiatric treatment 18:27:39 why are you talking about drugs? 18:27:55 open your mind and let it flow bro 18:28:00 haha 18:28:05 Drugs based esolang when? 18:28:38 what do you talk here 18:28:42 new world order 18:28:45 masonry 18:28:48 occult 18:28:56 This stuff: http://esolangs.org/wiki/Main_Page 18:29:09 lets see 18:29:10 -!- function has changed nick to const. 18:29:39 its crazy 18:29:48 const -= 1 18:30:00 the net is the mind and spirit of the Lord 18:30:09 you can't modify a const 18:30:10 which combines all knowledges and languages 18:30:32 As you can tell, it's mostly about math systems a few puns. 18:30:51 does the Lord tell you that you are the elected ones? 18:31:02 And a lot of things based on brainfuck, which is in fact less related to drugs than the name might suggest. 18:31:20 i wanna know what is behind this conspiracy 18:31:22 const_cast (ptr); 18:31:28 to possess our minds 18:31:57 with const_cast you can modify consts in c++ .... 18:31:58 you can call it the devils mind but not is as evil as human minds 18:32:19 ... which is undefined behavior so good luck 18:32:29 exactly 18:32:33 * int-e is trying to remember who the ops are. 18:32:33 and where are the sluts 18:32:54 the slutty dance takes over 18:32:56 i'm not much affected by judeo-christian bullshit 18:32:59 our souls 18:33:14 oerjan? is oerjan still an op? 18:33:14 im affected by the pagan shit 18:33:18 not that it'd do much good 18:33:19 You might want to join a different channe. 18:33:29 Phantom_Hoover: nor is elliott 18:33:36 fuck i'm a long way out of the loop 18:33:38 fizzie 18:33:49 pagans should be dealt 18:33:50 fizzie's the rock to whom i anchor myself 18:33:57 with fire and brimstone 18:34:03 im sure they like it 18:34:06 /msg chanserv access #esoteric list 18:34:21 -!- SopaXT has quit (Read error: Connection reset by peer). 18:34:31 thats all they do 18:34:34 -!- const has quit (Ping timeout: 264 seconds). 18:34:36 shachaf: would you believe that I knew that (and had done that in the meantime...)? 18:34:45 Aardappel??? 18:34:45 they are some crazy piromaniacs 18:35:02 fire oh the fire the moon 18:35:04 shit 18:35:10 int-e: yes 18:35:11 motherfucking and nothing more 18:35:16 but if you knew that why did you try to remember? 18:35:22 numero_uno: probably you'r looking for a different kind of #esoteric, not this one 18:35:34 i have dealt with many esoterics 18:35:34 what should i do in this circumstance? 18:35:42 they dont know the Lord they are evil 18:36:07 the Lord is the key of all dimensions 18:36:13 Well, /ignore seems to work fairly well anyway, thanks. 18:36:16 is the multidimensional firewall 18:36:28 I got a brand-new flip phone! 18:36:30 yeah. just /ignore the multidimensional bullshit 18:36:34 all those who dont love the Lord are dead 18:36:37 k 18:36:41 good idea 18:37:07 but i was rised by him 18:37:22 and i have the power to repel all pagan sorceries 18:37:25 just try it 18:37:33 numero_uno: But the dead will rise at judgement day, right? 18:37:36 and you will have time to regret it 18:37:43 maybe 18:37:46 religious multidimensional crap 18:37:47 numero_uno, are you that spanish guy who came in every now and then a year or two ago? 18:38:11 i dont think i am that guy you refer to 18:39:00 but i have seen this is not friendly at all 18:39:06 just wantes to find some good vibes 18:39:16 is very hard to find good vibes today 18:39:19 anywhere 18:39:33 It would probably be better to try /list to find a different channel then. 18:39:42 i need to protect myself for not becoming so ill 18:39:47 like men 18:40:00 i go here and there 18:40:22 and maybe its time to go away 18:40:41 my purpose was never war 18:40:52 If you want good vibes, I recommend the Beach Boys 18:40:53 but sometimes war is needed to achieve peace 18:40:59 this time i will flee 18:41:04 That's fine, this is just a pretty dry math channel. 18:41:06 and nothing will happen 18:41:09 not for me 18:41:11 not for you 18:41:13 have peace 18:41:18 Not really the best place for partying it up. 18:41:27 ok 18:41:28 bye 18:41:31 Later. 18:41:37 -!- numero_uno has quit. 18:43:09 oh thank god 18:44:12 https://www.youtube.com/watch?v=5FmL80fVMxo 18:49:52 Anyway as I was saying, I got a brand new flip phone! 18:50:17 Sweet. 18:50:37 Do flip phones that take apps exist? 18:51:18 Because I don't get why third party applications and flip covers are a mutually exclusive thing. 18:51:48 Also woah, I need to get in the shower already. 18:51:48 this one has all the apps I would use - camera, browser, email, claculator, alarm clock 18:52:03 Sounds like all I would use. 18:52:36 I'd also like a QR code reader, but apparently all of those want to tie into some kind of GPS system? 18:52:53 When I don't even want to use it for location-based ads, just code reading. 18:54:52 Even if the QR code contains binary data rather than text, you could save the picture and process it by your computer at home. 18:56:40 The few times I've tried analyzing a QR code on the desktop it didn't register. 18:57:00 -!- King2218 has joined. 18:57:26 But maybe they were just bad codes or something. I'm pretty sure most of them were digitally inked images, actually. 18:57:54 And I would think if someone's editing a QR code into a drawing on their computer, they'd test to make sure it works while they're at ir. 18:57:58 *it 18:58:47 You could also just to have it save the data of the QR code to a file, whether it is binary or text. 18:59:25 And then it can be loaded on computer 19:00:29 I'll ahve to wait until after shower time to look into it. 19:00:34 (Although if it is text, it can display the text too.) 19:02:04 (If the system has a clipboard function, it can then offer the user the option to copy the text to the clipboard; even if not, if it does have the ability to follow URLs and it is a URL it knows how to follow, it can offer the user that option too.) 19:08:11 -!- heroux has quit (Remote host closed the connection). 19:09:24 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 19:12:08 -!- King2218 has left. 19:13:25 Yeah it doesn't appear to take third party apps, but it has a browser that runs javascript, so, that is ok 19:14:08 The phone in question is a LG F4NR 19:21:10 Can you still install files even if not a program? Maybe then a HTML document containing the JavaScripts that you want to run can be installed and then you can put your own program in like that. 19:21:47 zzo38: that is an interesting idea 19:26:02 -!- Herbalist has quit (Quit: WeeChat 1.2). 19:26:50 -!- TieSoul has joined. 19:57:39 [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=43080&oldid=43058 * SuperJedi224 * (+326) 20:20:25 -!- Welo has quit (Remote host closed the connection). 20:34:30 -!- evalj has joined. 20:40:03 -!- GeekDude has joined. 20:45:23 -!- variable has joined. 20:45:46 rdococ: modifying a const is totally legal in C++ - sometimes 20:47:01 -!- variable has changed nick to const. 20:48:09 Your nickname is too mutable. 20:48:51 -!- spiette has joined. 20:49:26 variable: Really? doesn't that defeat the purpose? 20:50:06 which is that you can access it much fewer times, or inline the value, etc? 20:53:07 -!- heroux has joined. 20:53:16 -!- Herbalist has joined. 20:53:40 `cc int f(const int *a, int *b) { *b = 42; return *a; } int main(void) { int x = 0; return f(&x, &x); } 20:53:46 No output. 20:53:48 like I thought that a caller of int foo(const char*s); is allowed to assume that the values pointed to by s won't change when calls to foo? 20:54:03 const char *s != char const *s 20:54:10 yes it does 20:54:19 oren: Jafet: I was thinking of either const_cast 20:54:19 or 20:54:30 `cc int main(void) { return 42; } 20:54:31 http://sprunge.us/QfWb 20:54:31 No output. 20:55:00 blah, that is evil 20:55:09 `cc int f(const int *a, int *b) { *b = 42; return *a; } int main(void) { int x = 0; return printf("%d", f(&x, &x)); } 20:55:10 ​/tmp/a.c: In function ‘main’: \ /tmp/a.c:1:88: warning: incompatible implicit declaration of built-in function ‘printf’ [enabled by default] \ 42 20:55:12 I don't like mutable 20:55:20 oren: its meant for two types of things 20:55:31 oren: internal caching variables; or mutexes for singletons 20:55:40 I don't like it: it is evil: but it exists 20:55:45 Oh. that makes some sence 20:55:46 It's only forbidden to: mutate through a const pointer, or mutate a const object. 20:56:20 `cc int f(const restrict int *a, restrict int *b) { *b = 42; return *a; } int main(void) { int x = 0; return printf("%d", f(&x, &x)); } 20:56:21 ​/tmp/a.c:1:22: error: expected ‘;’, ‘,’ or ‘)’ before ‘int’ \ /tmp/a.c: In function ‘main’: \ /tmp/a.c:1:106: warning: incompatible implicit declaration of built-in function ‘printf’ [enabled by default] 20:56:54 Try "int printf();" 20:57:05 or try using a local compiler :-p 20:57:30 `cc int f(const int *restrict a, int *restrict b) { *b = 42; return *a; } int main(void) { int x = 0; return printf("%d", f(&x, &x)); } 20:57:31 ​/tmp/a.c:1:27: error: expected ‘;’, ‘,’ or ‘)’ before ‘a’ \ /tmp/a.c: In function ‘main’: \ /tmp/a.c:1:106: warning: incompatible implicit declaration of built-in function ‘printf’ [enabled by default] 20:57:51 Hint, the compile bug is that you're not declaring printf. 20:58:03 `cat bin/cc 20:58:04 ​#!/bin/sh \ echo "$@" > /tmp/a.c && gcc /tmp/a.c -o /tmp/a.out && /tmp/a.out 20:58:07 Oh, and it's in C90 mode for fucks sake 20:58:46 That's rather restrictive. 20:58:47 haha 20:59:14 anyway, am I right that in 20:59:30 GNU89 mode is the mode I generally use. 20:59:42 (Unless the program expects a different mode) 20:59:47 GNU* C should die 21:00:09 No it isn't; GNU89 is much better than C99. 21:00:29 void foo(const char*s); int main(){char s[100]="hello"; foo(s); puts(s);} 21:00:52 -!- Patashu has joined. 21:00:54 That is valid C90 but illegal C99. 21:01:01 Actually, no. 21:01:04 It is illegal C90. 21:01:14 (main did not return) 21:01:36 in the above code, can teh compiler assume that the call to foo doesn't change s? 21:01:51 You have zero-length arrays and other stuff too in GNU89, as well as all of the good C99 stuff, but omit some bad stuffs too 21:02:02 I believe so. "s" is a pointer to a const object. 21:02:29 You can cast away the const-ness, but the accesses still aren't permitted to mutate the object. 21:02:31 BAH 21:02:36 I mean, can the compiler assume the code is equivalent to 21:02:43 void foo(const char*s); int main(){char s[100]="hello"; foo(s); puts("hello");} 21:02:47 Yep. 21:02:49 pikhq: That makes sense to me 21:02:52 `` {echo '​#!/bin/sh'; echo 'echo "$@" | sed 's/\\/\n/g' >/tmp/a.c && gcc -w -Wfatal-errors -std=c11 -O2 /tmp/a.c -o /tmp/a.out && /tmp/a.out'} >bin/cc && chmod +x bin/cc 21:02:52 cool 21:02:57 bash: {echo: command not found 21:02:59 foo could violate it but that would be UB. 21:03:11 right 21:04:31 see that's a bit of UB I agree with... const obejcts are const as far as caller is concerned. 21:04:49 I agree too it is sensible to me too 21:09:52 oren: ++ 21:11:29 We can treat objects as const, but can we treat const as an object? 21:11:35 Jafet: no 21:11:54 Jafet: function and variable are my aliases 21:11:57 'object' is not 21:12:07 it's not nice to objectify people 21:12:15 oren: ++ 21:13:23 Enrique Iglesias - Finally Found You is SUCH a stalker's anthem 21:13:50 "Either you're coming with me, or I'm coming with you" 21:17:32 -!- llue has joined. 21:19:49 -!- heroux has quit (Ping timeout: 245 seconds). 21:21:04 -!- lleu has quit (Ping timeout: 245 seconds). 21:21:38 -!- heroux has joined. 21:23:42 -!- Patashu has quit (Ping timeout: 265 seconds). 21:34:43 -!- `^_^v has quit (Ping timeout: 244 seconds). 21:44:45 How can you get vector-synthesis instrument files? 21:48:20 get instrument files 21:48:23 and put them in a vector 21:48:26 :) 21:48:28 -!- evalj has quit (Remote host closed the connection). 21:53:16 -!- boily has joined. 22:02:34 [wiki] [[Talk:Microscript]] N http://esolangs.org/w/index.php?oldid=43081 * SuperJedi224 * (+155) Created page with "Has anyone found a (non-trivial) quine for this language yet? ~~~~" 22:10:02 [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=43082&oldid=43080 * SuperJedi224 * (+0) Fixed another implementation error 22:16:04 can I make a language without any quines? wait, thats trivial... 22:16:23 rdellococ. SQL? 22:16:33 -!- oerjan has joined. 22:16:50 hellørjan. 22:18:42 boheily 22:20:09 Hallo 22:21:30 Hallo i luken 22:24:42 -!- Phantom_Hoover has joined. 22:26:53 You can make quine in SQL too 22:29:40 [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=43083&oldid=43082 * SuperJedi224 * (-3314) 22:31:16 [wiki] [[Talk:Microscript]] http://esolangs.org/w/index.php?diff=43084&oldid=43081 * SuperJedi224 * (+97) 22:31:25 [wiki] [[Talk:Microscript]] http://esolangs.org/w/index.php?diff=43085&oldid=43084 * SuperJedi224 * (+94) 22:38:25 [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=43086&oldid=43083 * SuperJedi224 * (+37) 22:38:50 [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=43087&oldid=43086 * SuperJedi224 * (+2) /* Quine (14 bytes) */ 22:41:45 [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=43088&oldid=43087 * SuperJedi224 * (+28) 22:46:41 * int-e is trying to remember who the ops are. <-- i think it is possible to ask ChanServ hth 22:46:55 oerjan: tdnh hth 22:46:55 oh shachaf said so 22:47:08 apparently it's unhelpful to mention it 22:47:23 wat 22:47:45 hmm 22:47:48 oh I have an idea 22:48:16 infinite tape, can move left or right, and flip current bit by objecting. 22:50:41 objecting? 22:50:46 ...objecting. 22:53:00 what is 'objecting' 22:53:24 nvm 22:53:41 i object to that 22:54:34 https://www.youtube.com/watch?v=QwwEpGAfftc 22:55:20 numero_uno, are you that spanish guy who came in every now and then a year or two ago? <-- if you are referring to the venezuelans using canaima, that's not just one guy - we're inexplicably in some list of recommended channels, i think. 22:55:37 (for the canaima distribution) 22:55:43 wow 22:56:06 i can't believe you actually found out the story behind that and i can't believe the actual story 22:56:07 wait what 22:56:27 Phantom_Hoover: well i haven't _totally_ confirmed it. 22:56:47 HOLD IT! scoofy, you said you didnt know what objecting meant... and now you just objected??? 22:56:51 although the last guy i managed to ask said he found in his client or something 22:57:05 * oerjan doesn't remember the exact words either 22:58:05 rdococ: how do you 'object' a bit 22:58:16 you mean... negate? 23:00:34 * oerjan subjects rdococ 23:00:46 -!- heroux has quit (Ping timeout: 272 seconds). 23:01:21 -!- heroux has joined. 23:01:33 yeah 23:01:36 wait... 23:01:44 wat does it mean to "subject"? 23:03:54 YOU MAY NEVER KNOW 23:04:07 * oerjan giggles maniackally 23:06:22 oerjan, stop subjecting rdococ to your torment 23:06:33 rdococ: beware today's oerjan. he's evil 23:07:55 OBJECTION! I am not being tormented. 23:08:21 rdococ has rTorment and rN+++. 23:08:33 ? 23:08:47 Do you have any proof of these claims? 23:08:54 . 23:09:18 I require some claimprooves twh 23:15:18 * oerjan rdococs a verb 23:20:47 * rdococ objects to my nickname being used as a verb 23:20:58 wait... if I change my nickname to Nick... 23:21:11 no scrap that I'll change it to Miles... 23:21:53 * oren orens ornery oranges 23:24:05 Ok. 23:24:13 Quit subjecting the poor transitive verbs already. 23:24:22 * oerjan now uses it instead rdococ a preposition 23:24:24 I don't think they enjoy. 23:26:15 * Taneb goes to sleep 23:26:17 Goodnight! 23:32:57 Night 23:33:13 Good Night. 23:35:52 night. 23:36:10 Night. 23:36:18 morning. 23:37:23 Morning. 23:45:21 Evening, everyone. 23:46:07 Midnight rave!!! 23:46:07 Is there a term for a function f : 2^S -> 2^T (those being the power sets of sets S and T) which has the property that f(A union B) = f(A) intersect f(B)? 23:46:31 And F({}) = T, too. 23:46:51 If I had to make up a word for such a function, it'd be "contravariant". 23:49:53 I don't know if it is or not 23:55:57 if you compose with complement you get something that's (finite) union-preserving 23:57:43 tswett: I prefer ntravariant functions. 23:57:53 (also, tswellott.)