00:13:01 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:19:27 -!- Essadon has quit (Quit: Qutting). 00:25:34 -!- user24 has joined. 00:31:53 maybe i should enter the IOCCC this year and get my mojo back 00:32:12 `welcome kmc 00:32:14 kmc: 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.) 00:32:22 i feel like the bar is pretty high for an impressive IOCCC submission these days 00:32:27 on the other hand, I am also pretty high 00:32:34 Did you see that one recent IOCCC winner? 00:32:37 which 00:32:49 The PDP-7 thing 00:33:04 https://www.ioccc.org/2018/mills/hint.html 00:33:08 every now and then I google some random phrase (like "oh god the horping balls") and the #esoteric logs come up and it makes me smile 00:39:24 this is safe chat for pedestrians? 00:40:06 shachaf: that is pretty impressive 00:44:46 because my best language is english 00:49:26 -!- user24 has quit (Ping timeout: 240 seconds). 00:55:15 kmc: Also did you see that 256 byte demo? 01:02:33 -!- user24 has joined. 01:03:58 -!- b_jonas has quit (Quit: leaving). 01:06:59 yeah 01:28:10 -!- xkapastel has quit (Quit: Connection closed for inactivity). 01:36:12 -!- user24 has quit (Quit: Leaving). 02:07:45 -!- FreeFull has quit. 02:11:47 -!- sebbu has quit (Ping timeout: 246 seconds). 02:12:29 -!- Sgeo has quit (Quit: Leaving). 02:12:46 -!- Sgeo has joined. 02:16:02 -!- sebbu has joined. 02:35:00 -!- ynoom has changed nick to moony. 02:46:11 -!- Lord_of_Life_ has joined. 02:49:07 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 02:49:10 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 04:49:15 -!- imode has joined. 05:47:00 There are animes about people who make anime, but what if the anime they are making is the anime they are in[A 05:49:40 -!- Lykaina has joined. 05:50:02 https://paste.ee/p/L907w 05:50:35 programming language i'm working on 05:53:08 i would appreciate comments 06:04:52 hello? 06:42:31 looks like a virtual machine/assembly language. 07:39:31 -!- ski has joined. 08:41:42 -!- imode has quit (Ping timeout: 250 seconds). 09:15:27 -!- AnotherTest has joined. 10:12:07 `' 10:12:08 1269) (make is an esoteric language) b_jonas: Most esolangs I've seen have more comprehensive docs than make 10:13:47 :D 10:41:11 https://paste.ee/p/L907w is this actually esoteric, and, if not, should i rant about it elsewhere? 10:45:07 pretty sure it'd be on-topic enough! 10:46:00 is it a fantasy machine kinda thing? 10:48:07 pseudo-asm 10:48:56 interpreted in c 10:49:27 Lykaina: unless I'm missing something it doesn't *seem* particularly esoteric 10:51:19 even if it has it's roots in fourfuck (a brainfuck variant i made)? 10:52:59 i know, it no longer resembles fourfuck at all 10:54:12 tbh, i don't know where else to talk about it 10:58:32 do you have anybparticular goal? 10:58:43 It's A-OK to talk about it here but not necessarily to make a wiki article about it? 10:59:02 It's more on topic for the IRC than what we talk about most of the time, anyway 10:59:11 Luciole: waste time? 10:59:24 works for me :p 10:59:34 Taneb: that was my thought too 11:02:15 I may have initially misinterpreted Lykaina 11:04:32 huh? 11:04:51 Lykaina: I thought you were talking about making an article about it on the wiki 11:05:07 Taneb: Is it fully faithful to the IRC channel, though? 11:05:26 shachaf: I think we both know I'm not the best at working that sort of thing out 11:06:05 Hmm, that wasn't even in this channel 11:06:19 GADR @0004 CIN @0000 COUT @0000 JIE +00 +00 @0004 STOP 11:08:23 don't worry, i'm not gonna paste the hello world program into chat 11:12:44 the code i typed here creates an infinite loop where it will forever read a char from input and then write it to output 11:14:34 "JIE +00 +00 @0004" would be equal to "JUMP @0004" if I had a JUMP op 11:21:45 though, if i had remembered to implement LJUMP, i could have just done: CIN @0000 COUT @0000 LJUMP x00 x00 x00 x00 STOP 11:26:15 does this make sense? 11:58:09 [[User talk:BMO]] M https://esolangs.org/w/index.php?diff=59409&oldid=59406 * Oerjan * (+43) unsigned 11:58:44 [[User talk:BMO]] M https://esolangs.org/w/index.php?diff=59410&oldid=59409 * Oerjan * (+0) oops 12:37:20 -!- xkapastel has joined. 13:21:03 -!- arseniiv has joined. 13:44:47 -!- AnotherTest has quit (Ping timeout: 252 seconds). 14:48:01 -!- Lord_of_Life has quit (Excess Flood). 14:49:24 -!- Lord_of_Life has joined. 14:59:43 [[User:Bigmac]] https://esolangs.org/w/index.php?diff=59411&oldid=59348 * Bigmac * (+80) 15:00:12 [[User:Bigmac]] https://esolangs.org/w/index.php?diff=59412&oldid=59411 * Bigmac * (+44) 15:00:55 [[User:Bigmac]] https://esolangs.org/w/index.php?diff=59413&oldid=59412 * Bigmac * (+0) 15:10:30 -!- AnotherTest has joined. 15:17:36 [[Mom please get me so me zucchini from sho p]] https://esolangs.org/w/index.php?diff=59414&oldid=59407 * Bigmac * (+138) 15:18:23 -!- Lykaina has quit (Quit: leaving). 16:02:37 [[Esolang:Sandbox]] M https://esolangs.org/w/index.php?diff=59415&oldid=58527 * Galaxtone * (+14529) 16:02:46 [[Esolang:Sandbox]] M https://esolangs.org/w/index.php?diff=59416&oldid=59415 * Galaxtone * (-14529) Blanked the page 16:04:15 [[Esolang:Sandbox]] M https://esolangs.org/w/index.php?diff=59417&oldid=59416 * Galaxtone * (+14532) 16:04:24 [[Esolang:Sandbox]] https://esolangs.org/w/index.php?diff=59418&oldid=59417 * Galaxtone * (-14532) Blanked the page 16:07:41 -!- imode has joined. 16:16:56 -!- imode has quit (Ping timeout: 240 seconds). 16:26:36 -!- Essadon has joined. 16:27:01 -!- Essadon has quit (Max SendQ exceeded). 16:56:33 https://en.wikipedia.org/wiki/Golomb_ruler 17:53:52 -!- b_jonas has joined. 17:58:27 -!- oerjan has joined. 18:13:26 -!- Phantom_Hoover has joined. 18:13:26 -!- Phantom_Hoover has quit (Changing host). 18:13:26 -!- Phantom_Hoover has joined. 18:15:29 ``` wisdom;wisdom 18:15:30 ​it//It would have been certainly so, but `8ball refused to coöperate. \ farbfeld//zzo38's Farbfeld utilities is a package of command-line programs (with rather strange command-line syntax) for manipulating images in a specific raw format called farbfeld. It's somewhat underdocumented. http://zzo38computer.org/fossil/farbfeld.ui/home 18:15:32 ``` quote;quote 18:15:33 721) ais523: well, Dylan said "hahaha, Lawlabee is running windows", and then Lawlabee said "'cuz it's pretty awesome." Except that by "it", Lawlabee was referring to something entirely different. So when I added that quote, Lawlabee emotifrowned. \ 456) like i could ask how many "petals" are there on each of the "flowers" on this coffee mug i just made a drink with but that would be NP hard I think 18:23:22 oh man itidus20 18:23:25 now there was a dude 18:26:52 -!- FreeFull has joined. 18:29:43 hello PH 18:40:52 Phantom_Hoover: there certainly was 18:52:22 kmchi 18:53:31 hello 18:54:00 oerjan: kmχ? 18:54:56 hello kmc 18:57:08 -!- b_jonas has quit (Read error: Connection reset by peer). 19:03:30 what's new? 19:10:53 -!- b_jonas has joined. 19:10:56 . o O ( that's a pretty wide question ) 19:11:15 indeed 19:11:23 i haven't been here forever 19:11:28 in forever* 19:11:54 well fizzie runs the wiki now 19:12:21 and i just featured the first new language in 5 years. 19:12:35 did we even have featured languages last you were here 19:12:46 do there exist double credit cards, where two credit cards are put on the same credit-card sized physical card, and you choose from them by rotating it 180 degrees? 19:13:10 I think so 19:13:14 oerjan: 19:13:16 also, ais523 and i proved brainfuck is TC with only four brackets in the whole program, that's pretty new 19:13:36 two pairs of brackets, yeah 19:14:22 (there have been some other similar proofs not that long ago, like nesting depth of 2) 19:15:13 the four brackets require bignums, the nesting depth doesn't (and perhaps requires infinite tape, i don't quite remember) 19:15:56 if it doesn't require bignums then it must require infinite tape I think 19:16:09 oerjan: nice 19:16:21 how's the construction work? 19:16:23 also there are a heap of new wiki users, a lot coming from PPCG on stackexchange (and most of them don't come here) 19:17:17 yeah, the wiki is used as a buffer for a lot of useless nonsense cwritten now, so it's harder to find interesting pages 19:17:34 best to listen here for what's mentioned 19:17:39 b_jonas: hm right. i just remember vaguely that i wanted a version that used bignums but finite tape, which i guess the most recent result provides 19:18:05 there were also some reversible brainfuck stuffs 19:18:45 kmc: the four bracket thing uses ais523's The Waterfall Model language and compiles it into bf 19:19:01 wow, Trajedy is almost 2 years old. 19:19:14 we haven't written up the most simplified version anywhere yet, unless you read irc logs 19:19:54 but my PPCG post is https://cs.stackexchange.com/questions/102363/how-many-pairs-of-brackets-are-sufficient-to-make-brainfuck-turing-complete/102500#102500 19:20:46 the non-written up thing makes away with all the fallback cells except two 19:21:01 and also the modulus requirements 19:21:22 (although we can add _new_ modulus requirements to ensure cells stay non-negative) 19:24:10 oh wait that's not actually PPCG. 19:24:45 it was a cs.SE question that came about because people in PPCG chat wondered if esolangs would be on-topic there 19:24:54 PPCG? 19:25:19 programming puzzles and code golf, codegolf.stackexchange.com 19:25:51 a lot of recent code golf related esolangs come from there 19:26:01 (well, that community) 19:26:06 cool 19:26:51 they actually have a community ad for the esolang wiki 19:27:09 nice 19:28:12 oerjan: oh? so it was posted by PPCG on CS, as a sort of scope expanding experiment or invasion? nice 19:28:24 b_jonas: pretty much 19:31:10 trajedy was nice too, a geometric esolang that turned out to be TC in an unexpected (or at least unexpectedly complicated) way 19:32:49 oh? 19:33:17 I think that one of the things that made Trajedy great is that Jafet's interpreter could produce pretty diagrams. 19:34:05 the depth two nesting proof is at https://esolangs.org/wiki/Brainfuck_minus_-#Depth_two_nesting 19:34:20 (it also uses no - commands) 19:38:13 it came about almost as a corollary of me proving Home Row TC, that's a language that's a bit brainfuck-derivative-like but manages to hit a sweet spot of being awkward in just the right way 19:39:28 hm wait, that's not a very new language, although i guess we rediscovered it 19:40:01 oh right it was because of User:A 19:40:22 accidentally causing something worthwhile 19:40:25 heh 19:40:48 (e's responsible for most of the crap pages b_jonas complains about) 19:41:39 in this case, e made a wrong TC proof (one of several), ais523 reverted it, and i then got to thinking about how to do a proper one. 19:43:14 oerjan: no 19:43:29 crap pages startes before A 19:43:35 A is just a small poaryt 19:43:48 wat 19:45:04 well 19:45:13 technically it depends on how many users are A's aliases 19:45:25 A and Iamcalledbob are notorious because he alone has posted many 19:45:25 (the wat was for that misspelling) 19:45:42 but there have been a lot of users creating just one or two bad pages 19:45:47 wandering here 19:45:52 s/poaryt/part 19:45:52 true 19:47:10 and it's usually people who don't seem to know much about non-esotertic programming 19:49:16 i suppose. i don't actually bother to look at many pages that are edited by just one user. 19:49:30 oerjan: what? not even if that one user is ais? 19:49:45 i said _many_, not _any_ 19:49:56 make that "one new user" 19:50:03 [[Mom please get me so me zucchini from sho p]] https://esolangs.org/w/index.php?diff=59419&oldid=59414 * Bigmac * (-3) 19:50:32 . o O ( slightly tempted by that one ) 19:51:14 yeah, it was right on cue 19:51:44 oh right, i already saw it but it's just a stub 19:52:27 disclosure: sometimes i don't read ais523's pages either because his prose is too dense for my brain 19:53:14 you may have noticed i like to use bullet points when i write myself. 19:53:34 which is somewhat ironic since i've never actually used powerpoint 19:53:40 Hmm, is that covered under "minor compaction"? 19:53:42 `? oerjan 19:53:43 Your omnidryad saddle principal ideal golfing toe-obsessed "Darth Ook" oerjan the shifty evil grinch is a punctual expert in minor compaction. Also a Groadep who minces Roald Dahl. He could never remember the word "amortized" so he put it here for convenience. His ark-nemesis is Noah. He twice punned without noticing it. 19:54:23 also who needs powerpoint when there's \begin{itemize}? 19:54:32 ++ 19:54:36 beamer mode 4 lyfe 19:56:05 regarding that, that cs.SE post was the first time i've written significant tex in years 19:56:34 although only for the actual math 20:22:09 whoa, new featured language 20:22:31 You gotta feature it in the topic so people will see. 20:33:18 lol 20:37:59 I do like Trajedy. 20:48:34 * oerjan notes arseniiv in the logs pondering some particle stuff in a way that sounds suspiciously like trajedy 20:52:03 Beamer + TikZ is tg 20:52:32 I did all my slides with that when I was TAing some machine learning stuff at university. 20:58:46 oerjan: no no it was a dynamic system linked by xkapastel, search for “We discovered a simple motion law” a bit earlier 21:24:44 -!- LKoen has joined. 21:25:37 -!- b_jonas has quit (Quit: leaving). 21:31:12 arseniiv: i know it wasn't trajedy, but your ponderings sounded similar to how trajedy is TC 21:33:53 oerjan: I figured you didn’t think it wasn’t trajedy, but it seemed to be useful to point out what exactly it was and why these questions. :) Actually, it was imode who asked about TCness :D I still doubt it, albeit I didn’t put new thought into that 21:34:33 s/it wasn’t/it was 21:35:56 ah darn I missed the original context of why you mentioned that thing at all :D 21:36:18 hm 21:40:30 -!- LKoen has quit (Remote host closed the connection). 22:01:57 -!- LKoen has joined. 22:44:35 -!- 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:50:30 -!- Vorpal has joined. 22:59:20 -!- oerjan has quit (Quit: Nite). 23:13:45 -!- Lord_of_Life has quit (Ping timeout: 244 seconds). 23:14:29 [[11CORTLANG]] https://esolangs.org/w/index.php?diff=59420&oldid=59358 * Cortex * (+135) 23:16:40 -!- Lord_of_Life has joined. 23:27:58 -!- Lord_of_Life has quit (Ping timeout: 245 seconds). 23:33:48 -!- Lord_of_Life has joined. 23:34:56 -!- AnotherTest has quit (Ping timeout: 240 seconds).