00:00:53 -!- MDude has joined. 00:00:55 write in c, write in c, write in c, write in c, if you want it to make no sense, write in c 00:01:32 i think that's how the song goes 00:01:38 lol. 00:03:16 exitwhen from that article reminds me of algebraic effects: effect definition, a handler and its application to an effectful expression all bundled together. Or exceptions, but they already mention them and that’s not exotic enough 00:05:04 though this exitwhen is weaker than exceptions (and moreso effects) and on the other hand is beautifully local, that’s a plus I think 00:07:37 https://hastebin.com/dicapuzube.makefile 00:08:47 exitwhen looks frickin' awesome. 00:13:08 https://hastebin.com/dicapuzube.makefile => you made it readable! :o 00:13:30 okay bye all : 00:13:34 night. 00:13:59 the cool part is it's just trivial substitutions. 00:17:44 -!- arseniiv has quit (Ping timeout: 246 seconds). 01:17:19 -!- Lykaina has quit (Quit: leaving). 01:34:07 -!- Lykaina has joined. 01:41:16 -!- adu has joined. 01:44:12 -!- imode has quit (Remote host closed the connection). 01:44:37 -!- imode has joined. 02:00:11 -!- rodgort has quit (Quit: Leaving). 02:03:05 -!- imode has quit (Ping timeout: 246 seconds). 02:04:24 -!- rodgort has joined. 02:07:13 -!- Phantom_Hoover has joined. 02:16:02 -!- rodgort has quit (Ping timeout: 246 seconds). 02:23:28 -!- rodgort has joined. 02:39:30 -!- tromp has quit (Remote host closed the connection). 02:42:08 -!- MDude has quit (Ping timeout: 245 seconds). 02:45:59 -!- fungot has quit (Ping timeout: 252 seconds). 02:49:04 made an echidna program to output the ecact formula when, if piped into bc, gives the unix time 02:51:26 -!- fungot has joined. 02:51:38 i'd output it using echidna, but it's 32-bit and echidna is 16-bit 02:54:03 -!- ArthurStrong has quit (Remote host closed the connection). 03:00:07 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:01:11 how do i do base conversion math on two 16-bit numbers as though they were one 32-bit number? 03:10:08 -!- sprocklem has joined. 03:17:34 -!- tromp has joined. 03:22:44 -!- tromp has quit (Ping timeout: 276 seconds). 03:23:32 Lykaina: a*2^16 + b 03:26:52 -!- xkapastel has quit (Quit: Connection closed for inactivity). 03:33:30 -!- imode has joined. 03:52:34 -!- imode has quit (Read error: Connection reset by peer). 03:52:40 -!- imode2 has joined. 03:55:10 -!- imode2 has quit (Remote host closed the connection). 03:55:29 -!- imode2 has joined. 04:30:06 https://hastebin.com/begaliyeju.py a half-functional SPL-to-C compiler. pretty trivial. 04:44:13 -!- adu has quit (Quit: adu). 04:44:36 -!- adu has joined. 04:45:03 -!- adu has quit (Client Quit). 04:45:35 -!- adu has joined. 04:45:49 -!- adu has quit (Client Quit). 04:46:19 -!- adu has joined. 04:46:36 -!- adu has quit (Client Quit). 04:47:06 -!- adu has joined. 04:47:23 -!- adu has quit (Client Quit). 04:47:55 -!- adu has joined. 04:48:10 -!- adu has quit (Client Quit). 04:56:49 -!- imode2 has quit (Quit: Leaving). 04:57:06 -!- imode2 has joined. 04:57:16 -!- imode2 has quit (Remote host closed the connection). 04:57:38 -!- imode has joined. 05:08:20 -!- hppavilion[1] has joined. 05:26:30 brainfuck would be far more palettable if `[]` were substituted for `[?;]`. I imagine a command set of `[<>!?;]` would be turing-complete, with `!` acting as a bit-flip operator. 05:28:34 if equipped with a circular tape, the program [!?>] would write 1's to every memory cell. 05:29:01 make that [!?>]!, need to swap the last bit back. 05:31:05 with the use of a sentinel cell, you can reduce the instruction set to `[<>!?]` 05:32:20 imode: To be clear, what are `?` and `;`? 05:33:26 sorry. `[` and `]` are `while(1){` and `}`, while `?` and `;` are `if(cells[current]==0){break;}` and `break;` respectively. 05:33:39 was going off of an earlier discussion. 05:33:42 Ah 05:34:06 been working on a language called SPL that uses those commands + a stack. 05:34:45 https://hastebin.com/begaliyeju.py wrote a half-arsed C compiler for a subset of it. 05:35:51 brainfuck's [ and ] require you to duplicate code in order to write a trivial while loop. 05:41:20 -!- Sgeo has joined. 05:42:50 -!- Sgeo__ has quit (Ping timeout: 240 seconds). 06:08:59 -!- tromp has joined. 06:19:07 -!- tromp has quit (Remote host closed the connection). 06:21:29 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 06:27:25 -!- hppavilion[1] has joined. 06:33:34 wonder what a generic while loop would look like in FRACTRAN. 06:42:53 has anybody made a brainfuck interpreter in FRACTRAN? that would be impressive. I imagine the construction would involve building a tape using a single register. 06:59:11 -!- tromp has joined. 07:00:15 -!- tromp_ has joined. 07:01:31 -!- tromp__ has joined. 07:03:22 -!- tromp__ has quit (Read error: Connection reset by peer). 07:03:23 -!- tromp has quit (Ping timeout: 246 seconds). 07:03:44 -!- tromp has joined. 07:05:02 -!- tromp_ has quit (Ping timeout: 276 seconds). 07:35:38 -!- imode has quit (Ping timeout: 240 seconds). 07:58:00 -!- atslash has joined. 07:59:41 there are some very advacned fractran coders 08:11:18 -!- sftp has quit (Ping timeout: 245 seconds). 08:42:44 Hard part would be program input and IO 08:52:50 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 08:55:46 -!- Lord_of_Life has joined. 09:07:07 -!- atslash has quit (Ping timeout: 258 seconds). 09:07:45 -!- atslash has joined. 09:21:32 -!- atslash has quit (Ping timeout: 276 seconds). 09:21:40 [[Vafix]] M https://esolangs.org/w/index.php?diff=66077&oldid=66068 * A * (+649) /* Multiplication (idea; probably will be combined with Vafix in order to make reading source files harder) */ 09:22:03 -!- atslash has joined. 09:26:58 -!- xkapastel has joined. 09:33:55 [[Vafix]] M https://esolangs.org/w/index.php?diff=66078&oldid=66077 * A * (+1543) /* Matrix transposals */ 09:33:55 -!- cpressey has joined. 09:34:36 [[Vafix]] M https://esolangs.org/w/index.php?diff=66079&oldid=66078 * A * (+73) /* The Dyadic part */ 09:36:16 [[Vafix]] M https://esolangs.org/w/index.php?diff=66080&oldid=66079 * A * (+82) 09:38:08 adu: that's only if the system can store 32-bit numbers 09:39:39 echidna uses 16-bit math 09:46:08 i can concatenate thrm into a 32-bit, but that won't help with base conversion 09:58:23 -!- hppavilion[1] has quit (Ping timeout: 245 seconds). 09:59:45 -!- hppavilion[1] has joined. 10:03:27 [[User:CarlosLuna]] N https://esolangs.org/w/index.php?oldid=66081 * CarlosLuna * (+80) Initial one-liner bio. 10:04:55 [[User:CarlosLuna]] M https://esolangs.org/w/index.php?diff=66082&oldid=66081 * CarlosLuna * (-4) 10:06:01 [[User:CarlosLuna]] M https://esolangs.org/w/index.php?diff=66083&oldid=66082 * CarlosLuna * (+9) 10:08:32 [[User:CarlosLuna]] M https://esolangs.org/w/index.php?diff=66084&oldid=66083 * CarlosLuna * (+45) 10:08:34 -!- Frater_EST has joined. 11:12:57 -!- sftp has joined. 11:16:51 [[Factory]] https://esolangs.org/w/index.php?diff=66085&oldid=50795 * Unlimiter * (+0) /* Storage spaces 1-3 */ 11:21:07 [[Factory]] https://esolangs.org/w/index.php?diff=66086&oldid=66085 * Unlimiter * (-6) /* And */ 11:29:09 [[Factory]] https://esolangs.org/w/index.php?diff=66087&oldid=66086 * Unlimiter * (-4) /* eloop */ 11:35:47 -!- arseniiv has joined. 11:55:04 Lykaina: I don't know if there are any handy shortcuts for base conversion specifically, but you can always "just" implement 32-bit operations in terms of 16-bit ones based on the mentioned decomposition. 11:55:21 For example for 32x32->32 bit multiplication, x * y = (xh*2^16 + xl) * (yh*2^16 + yl) = (xh*yh)*2^32 + (xh*yl + yh*xl)*2^16 + xl*yl, and the *2^32 part doesn't matter, so you "only" need to compute 16x16->16-bit multiplications xh*yl and yh*xl, and one 16x16->32-bit multiplication xl*yl, and sum up the right parts of the results. 11:58:22 Division is much more disagreeable. Though with a constant divisor you could turn it into an (even wider) multiplication. 12:04:32 I know there's similar routines like this in, for example, SDCC; their 32-bit multiplication is at https://sourceforge.net/p/sdcc/code/HEAD/tree/trunk/sdcc/device/lib/_mullong.c (a pure C version, or actually two of them, at the bottom). 12:40:14 -!- Lord_of_Life has quit (Read error: Connection reset by peer). 12:44:04 -!- Lord_of_Life has joined. 12:47:50 -!- MDude has joined. 13:07:13 -!- Frater_EST has quit (Ping timeout: 246 seconds). 13:10:45 -!- Frater_EST has joined. 13:11:12 -!- Frater_EST has quit (Remote host closed the connection). 13:20:56 [[Vafix]] M https://esolangs.org/w/index.php?diff=66088&oldid=66080 * A * (+22) /* Implementations */ 13:22:08 [[Vafix]] https://esolangs.org/w/index.php?diff=66089&oldid=66088 * A * (-358) /* Multiplication (idea; probably will be combined with Vafix in order to make reading source files harder) */ Making this simple as well as hard to understand 13:28:08 [[Vafix]] M https://esolangs.org/w/index.php?diff=66090&oldid=66089 * A * (+275) 13:29:08 [[Vafix]] M https://esolangs.org/w/index.php?diff=66091&oldid=66090 * A * (+9) Fix some typos 13:33:15 [[Vafix]] M https://esolangs.org/w/index.php?diff=66092&oldid=66091 * A * (+130) /* Computational class */ 13:33:57 [[Vafix]] M https://esolangs.org/w/index.php?diff=66093&oldid=66092 * A * (-2265) /* Matrix transposals */ Nope, the core of Vafix is just 2 operators. 13:34:35 [[Vafix]] https://esolangs.org/w/index.php?diff=66094&oldid=66093 * A * (+25) /* Implementations */ 13:34:46 [[Vafix]] M https://esolangs.org/w/index.php?diff=66095&oldid=66094 * A * (+9) /* Implementations */ 13:46:45 Not wholly esoteric, but I mentioned it on here weeks ago, finally got around to packaging it up: https://github.com/catseye/Cardboard-Prolog 13:51:04 cpressey: omg you're catseye? 13:51:49 that is like so... 13:51:59 i'm just messing with you 14:04:34 Curses! My entirely-non-secret identity has been revealed! 14:04:42 [[Vafix]] M https://esolangs.org/w/index.php?diff=66096&oldid=66095 * A * (+19) /* Calculates 7+(-5) */ 14:11:34 https://twitter.com/x86instructions/status/1171468931241934853 14:16:44 -!- xkapastel has quit (Quit: Connection closed for inactivity). 14:20:11 crap, i have to sacrifice another command 14:21:56 https://github.com/lykaina/echidna 14:23:09 i need a second op like 'S' 14:23:45 S = special/secondary 14:30:58 probably move R to G and make the current G part of the new R as RD 14:31:12 i mean, RG 14:44:42 -!- MDude has quit (Ping timeout: 244 seconds). 15:23:47 I just heard about words like speako, writo, scanno, clicko, thinko. Just rofling now 15:24:26 a neat model but funny nonetheless 15:26:54 cpressey: maybe you've just been called old ;-) 15:29:07 I heard about cpressey but not once about catseye (before I saw some github links cpressey himself posted weeks ago), what did I do wrong 15:31:49 arseniiv: you've never encountered the now-dead link to Cat's Eye Technologies on http://www.muppetlabs.com/~breadbox/intercal/ :) 15:32:10 (I believe that's where I first found it.) 15:32:25 `grwp box 15:32:28 boxmodel:boxmodel is how we figure out how big Taneb's cage is going to be. \ hackego:HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. HackEgo is the slowest bot in all Mexico! \ match:Can a match box? No, but a tin can. \ paste:"Paste" is a short story by Henry James. Its contents have been cut in 15:37:31 this Cardboard Prolog challenges me to write something in another language but I’m lazy. I even hadn’t finished that metavariable proof checker yet, I’m not happy with a hacky β-reduction rule which would allow me to finish that thing and I don’t want to think how could I manage without that, and anyway no one wants that engine at all so what’s the use 15:47:15 int-e: ah. Yes maybe if I was more old and more appreciated INTERCAL… 15:48:48 `? cut elimination 15:48:49 The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator. 15:48:59 whoa I didn’t expect 15:49:12 and really funny 15:49:23 `? branch-cut elimination 15:49:24 branch-cut elimination? ¯\(°​_o)/¯ 15:49:29 `? branch cut 15:49:31 branch cut? ¯\(°​_o)/¯ 15:49:33 `? cut 15:49:34 cut? ¯\(°​_o)/¯ 15:49:39 `? cat 15:49:40 Cats are cool, but should be illegal. 15:49:52 ah I already knew that, it seems 15:49:58 fungot: is that true? 15:49:59 arseniiv: im coding enqueue to insert it into the kernel core, because well they are procedures no it's not. 15:50:28 fungot are you in a self-contradictory mood today, huh? 15:50:29 arseniiv: that sentence, either. :) difference is, dr. watson just sends an error report off to microsoft and objects, what would one gain from an idl separate from scheme code 15:51:42 I certainly didn’t know IDL could be made into scheme code 15:51:56 `? IDL 15:51:57 IDL? ¯\(°​_o)/¯ 15:52:01 thank gods 15:52:54 arseniiv: INTERCAL was the first or second esolang I've encountered (I don't know whether Brainfuck came first or second). So it made a lasting impression. 15:54:01 But there were also far fewer esolangs around to pick from. 15:54:21 And no esolangs.org :) 15:54:37 Fun fact: the first programming language I learnt was Piet 15:55:02 Which probably goes some way to explaining how I try and learn how a program works 15:55:05 Ook. 15:55:12 That was second 15:55:14 int-e: there was a time when I thought about conlangs and esolangs almost entirely on a basis of (Russian) Wikipedia pages on them, which were few (and still are; I don’t understand what criteria are there to include precisely that selection but it seems unchanged over the years) 15:55:33 (the first esolang I made, which I think might still exist as a word document on my parents' computer, is an extension to Ook) 15:56:25 It's funny that DMM basically inhabits two extremes in the originality spectrum for esolangs :) 15:57:03 -!- hakatashi has quit (Remote host closed the connection). 15:57:05 happily that wikipedia selection seemed to include FALSE, it gave me several ideas and that’s why each my concatenative language will have [...] lambda brackets 15:57:31 I also saw them in some forth variation but don’t know which first 15:58:22 -!- cpressey has quit (Quit: Old like a FOX). 15:58:47 (DMM?) 15:58:53 arseniiv: Oh technically I guess I learned about BlooP and FlooP before the other two, but I didn't consider them as esoteric languages. 15:58:53 -!- hakatashi has joined. 15:59:09 ah, GEB 15:59:15 arseniiv: The author of IWC. ;) 15:59:19 arseniiv: David Morgan-Mar, webcartoonist and esolang creator 15:59:48 I want to write a book like GEB, and also unlike it, so it should be more practical, but nonetheless eclectic and varied and crazy but I don’t have a chapter plan still 16:00:22 that sounds like a good place to start ;) 16:00:22 Taneb: thanks! Didn’t heard about him before 16:00:46 and what’s IWC? 16:00:48 :D 16:00:59 arseniiv: Tsk, you fell for it :) 16:01:05 http://www.irregularwebcomic.net/ 16:01:10 ah 16:01:39 why wouldn’t I fall for an unknown abbreviation, though 16:01:55 I only know AAAAA 16:02:03 arseniiv: I don't know, but it was all according to plan. 16:02:43 alliteration and abbreviation addicts anonymous 16:02:54 hm a chapter about steganograophy could be steganographed 16:03:20 no no no it was a-something association against abusing abbreviations 16:03:21 What about stenography 16:03:41 if I would write that book it may include a chapter on steganography 16:04:07 then it’s only logical to steganographize something in there 16:04:15 . o O ( People can't memorize computer industry acronyms. ) 16:05:18 ("PCMCIA", if you remember that. Of course it really stands for "PC Memory Card Industry Association".) 16:06:35 alliterations help illiterate to alternate leaping hopefully and laterally 16:07:23 didn’t know about PCMCIA, clever 16:10:23 gtg 16:10:26 -!- Lykaina has quit (Quit: leaving). 16:11:51 ah it seems I’m familiar with many of DMM’s esolangs 16:16:53 “Celestial Bureaucracy operates in the spiritual realm, unlike materialistic Western data structures.” => :D 16:18:56 [[Talk:Vafix]] N https://esolangs.org/w/index.php?oldid=66097 * Areallycoolusername * (+230) Created page with "The interpreter is good, but can you add file support so the extension you have provided for Vafix is useful? ~~~~" 16:19:52 [[Talk:Vafix]] https://esolangs.org/w/index.php?diff=66098&oldid=66097 * Areallycoolusername * (+97) 16:27:32 hm I hoped there would be examples of Haifu code 16:27:54 iirc Haifu doesn't have a way of doing loops :( 16:38:53 [[Talk:Vafix]] https://esolangs.org/w/index.php?diff=66099&oldid=66098 * Areallycoolusername * (+500) 16:39:04 [[Talk:Vafix]] https://esolangs.org/w/index.php?diff=66100&oldid=66099 * Areallycoolusername * (+1) 16:42:08 -!- craigo has quit (Ping timeout: 245 seconds). 16:53:01 [[User:Dtuser1337/Sandbox]] https://esolangs.org/w/index.php?diff=66101&oldid=66043 * Dtuser1337 * (-1998) Blanking because it now in maintenance. 17:14:27 -!- imode has joined. 17:30:29 -!- \emph{grumble} has quit (Quit: \end{document}). 17:34:16 -!- FreeFull has joined. 17:37:14 -!- grumble has joined. 17:54:24 -!- tromp has quit (Remote host closed the connection). 18:09:32 -!- tromp has joined. 18:13:38 -!- tromp has quit (Ping timeout: 246 seconds). 18:19:59 -!- tromp has joined. 18:22:35 -!- tromp has quit (Remote host closed the connection). 18:23:11 -!- tromp has joined. 18:27:17 -!- tromp has quit (Ping timeout: 246 seconds). 18:35:21 -!- xkapastel has joined. 18:36:38 -!- rodgort has quit (Ping timeout: 276 seconds). 18:42:42 -!- rodgort has joined. 18:56:48 -!- Lykaina has joined. 19:10:27 -!- MDude has joined. 19:13:53 -!- Sgeo has quit (Read error: Connection reset by peer). 19:14:21 -!- Sgeo has joined. 19:15:16 -!- tromp has joined. 19:16:41 -!- tromp_ has joined. 19:19:26 -!- tromp has quit (Ping timeout: 246 seconds). 19:20:50 -!- tromp_ has quit (Ping timeout: 246 seconds). 19:25:59 -!- tromp has joined. 19:26:21 -!- Phantom_Hoover has joined. 19:43:01 -!- b_jonas has joined. 20:03:18 `? ! 20:03:19 ​! is a syntax used in Haskell and Prolog for solving evaluation order problems. 20:05:05 arseniiv: there's even a wiki page: https://esolangs.org/wiki/David_Morgan-Mar 20:06:07 https://esolangs.org/wiki/DMM redirecys there 20:08:54 four of his esolangs are famous: HQ9++ (version of HQ9+ that also has an object-oriented abstraction but very different from Intercal classes), Chef (thematic language where programs look like cooking recipes), Piet (programs are paletted images), and Ook! (brainfuck dialect for apes) 20:13:18 huh, didn't realize that he was the same person behind the webcomics 20:14:43 -!- Cale has quit (Ping timeout: 276 seconds). 20:20:30 b_jonas: yeah, I went to that precise article today :D 20:26:52 -!- Cale has joined. 20:27:20 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 20:27:31 -!- Phantom_Hoover has joined. 20:32:10 `ehlist http://eheroes.smackjeeves.com/comics/2855868/terribly-meaninful-information/ 20:32:12 ehlist http://eheroes.smackjeeves.com/comics/2855868/terribly-meaninful-information/: b_jonas 20:33:31 [[Fungot]] https://esolangs.org/w/index.php?diff=66102&oldid=38954 * B jonas * (+21) 20:34:31 http://sif.lesidhetree.com/sara/echidna/Echidna%20v0_03a6.pdf 20:34:47 hmm, we should probably have at least short articles about HackEso and lambdabot 20:34:53 now, i will actually try an program in this 20:39:21 b_jonas: what do you think echidna, as it is now, would be good for? 20:40:13 Lykaina: I was busy today and tomorrow, so I didn't look at it 20:40:42 linked the up-to-date compiled documentation 20:41:07 in chat 20:41:46 wait, you were busy tomorrow? 20:41:58 not yet 20:42:00 but I will be 20:43:23 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 20:44:46 can you look at the pdf, or are you too busy? 20:44:54 it's too late in the evening 20:44:59 I can't think anymore 20:45:08 normally I could but I'm tired 20:45:17 so no 20:45:41 I'll have to get up tomorrow 20:47:34 anyone else wanna look at the pdf and see where the strengthes are? 20:52:03 -!- Lord_of_Life_ has joined. 20:54:39 -!- Lord_of_Life has quit (Ping timeout: 246 seconds). 20:54:39 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 21:11:25 i have to go lie down. brb. (i'm on a screen session) 21:16:05 is there any mathematical foundation to dataflow programming? 21:18:33 back 21:18:54 what's that? 21:20:05 stuff like flow-based programming. 21:20:13 https://en.wikipedia.org/wiki/Dataflow_programming 21:29:55 is mine dataflow programming? 21:30:08 or are you referring to another? 21:30:36 was just wondering in general, not directed towards you or your language. 21:31:55 phew 21:59:06 i made a clock 21:59:46 though, to be fair, i used 4 "special ops" to do it 22:00:56 like that i call the extended op set "special ops"? 22:02:47 -!- hppavilion[1] has joined. 22:08:09 -!- FreeFull has quit. 22:10:46 -!- b_jonas has quit (Remote host closed the connection). 22:31:19 I wonder if I can replace my stack with a queue. 22:43:44 what's the difference? 22:44:11 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 22:47:38 several things are different. RPN no longer works as you'd think. 22:56:38 1 2 3 4 + - * -> (1+2)*(3-4) for example. 22:57:17 -!- MrBismuth has quit (Ping timeout: 250 seconds). 22:57:17 -!- MrBusiness3 has joined. 22:57:18 control flow would be interesting. 22:58:32 evaluating conditions would be uh... hard? 23:00:04 you'd have to make copius use of rolling the queue to seek to parameters. 23:05:31 [[Talk:Vafix]] M https://esolangs.org/w/index.php?diff=66103&oldid=66100 * A * (+10) Split into bullet points 23:06:50 who's A? 23:07:04 [[Vafix]] M https://esolangs.org/w/index.php?diff=66104&oldid=66096 * A * (+2) /* Execution scheme */ 23:07:36 [[Talk:Vafix]] M https://esolangs.org/w/index.php?diff=66105&oldid=66103 * A * (+166) 23:10:07 * imode shrugs. 23:13:19 [[Talk:Vafix]] M https://esolangs.org/w/index.php?diff=66106&oldid=66105 * A * (+196) 23:18:43 ugh...have to be able to do 32-bit arithmetic in echidna, or add to it until i can 23:20:02 why? 23:20:25 it uses unsigned 16-bit integers 23:20:38 no carry 23:20:45 no borrow 23:21:53 why do you need 32 bit arithmetic. 23:22:04 i don't 23:22:15 you can still detect carry and borrows. 23:22:20 by virtue of wraparound. 23:22:51 given two numbers, a and b, if a + b < a || a + b < b, a carry occurred. 23:23:06 [[Talk:Vafix]] M https://esolangs.org/w/index.php?diff=66107&oldid=66106 * A * (+12) 23:23:30 [[Talk:Vafix]] M https://esolangs.org/w/index.php?diff=66108&oldid=66107 * A * (-14) 23:23:42 imode: can you add parentheses?/ 23:24:06 you can discard the latter part of that 'or' condition, so it's just `if(a + b < a){/*carry occurred*/}` 23:24:52 how do you add a to ( b < a )? 23:25:05 huh? precedence, dude. 23:25:12 (a + b) < a 23:25:24 i must be reallyy out of it 23:25:34 the sum of two numbers will always be greater than or equal to either number. 23:25:41 [[Talk:Vafix]] M https://esolangs.org/w/index.php?diff=66109&oldid=66108 * A * (+189) 23:25:46 provided those numbers are positive integers. 23:26:10 what's really going on behind the scenes is ((a + b) % INT_MAX) < a 23:29:26 t @r =a =b p @r =a I0 t @s @s =1 -I0 23:30:16 sorry, that's pseudo-echidna 23:32:04 T @0003 =0000 =0001 P @0003 @0000 I0 T @0004 @0004 =0001 -I0 23:32:13 that's echidna 23:35:05 in other words: r=a+b; if(r imode: you like? 23:38:18 looks neat. 23:38:34 http://sif.lesidhetree.com/sara/echidna/Echidna%20v0_03a6.pdf 23:39:10 "compiled documentation" 23:42:39 still working on R and S, the Special Ops.\ 23:47:30 at the moment: R-ops all have 1 mem out and 2 value ins, where S-Ops have 2 mem outs and 1 value in 23:48:17 i need to add another value to be supported by S 23:50:50 brb 23:58:03 @tell b_jonas hmm, we should probably have at least short articles about HackEso and lambdabot => seems reasonable! 23:58:04 Consider it noted.