00:00:37 `? generic 00:00:45 generic? ¯\(°​_o)/¯ 00:05:08 damned washing machine. end soon! I want my poutine! 00:30:25 POTATO DESECRATION! 00:30:32 -!- boily has quit (Quit: FÆRIE CHICKEN). 00:33:41 ... 00:33:42 <\oren\> wait, unicode is allowed in qit messages 00:34:02 -!- Caesura has quit (Ping timeout: 244 seconds). 00:39:47 \oren\: Why wouldn't it be? 00:39:54 <\oren\> the xkcd isn't showing up for me btw 00:40:57 <\oren\> does it not work in firefox 00:43:23 \oren\: Yeah, I just have nothing where it's supposed to be, between the navigation bars 00:43:42 \oren\: Seems to work in chromium 00:43:48 <\oren\> oh it's http: it doesn't work in https: 00:44:56 Ah, weird 00:56:42 -!- tromp_ has joined. 01:10:54 -!- jaboja has joined. 01:11:37 -!- tromp_ has quit (Remote host closed the connection). 01:18:27 [wiki] [[Xihcute]] https://esolangs.org/w/index.php?diff=46744&oldid=41867 * Ds84182 * (+994) Update Xihcute Instruction specs to my latest local version. Some examples will have to be rewritten. 01:21:08 -!- Caesura has joined. 01:33:45 There! 01:34:15 I have a renderer for my functional language working! 01:34:33 (It's a bit like funciton, but graphical) 01:41:14 so is it graphcial? 01:43:05 -!- tromp_ has joined. 01:43:11 [wiki] [[Xihcute]] https://esolangs.org/w/index.php?diff=46745&oldid=46744 * Ds84182 * (-753) 01:46:52 -!- XorSwap has joined. 01:52:20 -!- lambda-11235 has joined. 01:55:06 -!- jaboja has quit (Ping timeout: 244 seconds). 02:07:50 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:12:23 lifthrasiir: Yes 02:12:35 wait, is it the official name?! 02:12:46 lifthrasiir: No 02:12:58 lifthrasiir: I call it Functia for now 02:13:18 lifthrasiir: I would show you a program, but I'm going to have to program in all the vector graphics for everything first xD 02:13:48 is the input SVG? 02:14:06 lifthrasiir: No, the input is JSON 02:14:11 huh. 02:14:14 lifthrasiir: The graphics are just a frontend representation 02:14:28 lifthrasiir: The real thing is a much-less-entertaining JSON format 02:14:47 That you're not supposed to mess with, because there'll be a front-end editor to do that for you 02:17:54 lifthrasiir: A program is based on shuffling integers around through nodes 02:18:17 lifthrasiir: In other news, I thought of something called a "Reduction Machine", which is a generalization of cellular automata 02:19:35 -!- jaboja has joined. 02:27:03 lifthrasiir: One of the interesting things about this is that it's not so much functional as it is superfunctional 02:27:54 The nodes can return multiple values 02:39:33 -!- XorSwap has quit (Ping timeout: 244 seconds). 02:40:05 -!- XorSwap has joined. 02:54:40 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 03:03:31 -!- impomatic_ has joined. 03:05:17 -!- impomatic has quit (Ping timeout: 248 seconds). 03:05:32 -!- impomatic_ has changed nick to impomatic. 03:07:44 -!- tromp_ has quit (Remote host closed the connection). 03:20:12 -!- hppavilion[1] has joined. 03:33:33 -!- jaboja has quit (Ping timeout: 240 seconds). 03:35:02 -!- tromp_ has joined. 03:47:07 -!- jaboja has joined. 03:48:01 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 03:50:25 -!- tromp_ has quit (Remote host closed the connection). 03:52:20 -!- lambda-11235 has quit (Read error: Connection reset by peer). 03:52:36 -!- lambda-11235 has joined. 04:01:32 -!- variable has joined. 04:02:44 -!- hppavilion[1] has joined. 04:08:24 -!- XorSwap has quit (Quit: Leaving). 04:12:35 -!- iconmaster has quit (Ping timeout: 244 seconds). 04:15:42 -!- tromp_ has joined. 04:23:13 -!- Reece` has quit (Quit: Leaving). 04:26:31 -!- variable has changed nick to constant. 04:32:12 `? d module 04:32:15 `? d-module 04:33:12 *sigh* 04:33:24 D-modules are just modules over the ring of differential operators. Taneb invented them. 04:33:24 d module? ¯\(°​_o)/¯ 04:36:11 I'm kind of tempted to add that to https://en.wikipedia.org/wiki/Module_%28mathematics%29 05:10:56 is there any existing language that uses unicode homoglyphs 05:11:27 i.e. & and & for binary vs logical and? 05:25:37 -!- constant has quit (Quit: 1 found in /dev/zero). 05:59:16 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 06:08:07 -!- hppavilion[1] has joined. 06:08:31 -!- Caesura has quit (Ping timeout: 268 seconds). 06:33:27 -!- jaboja has quit (Ping timeout: 264 seconds). 06:38:16 -!- earendel has quit (Ping timeout: 244 seconds). 06:38:23 -!- lambda-11235 has quit (Quit: Bye). 07:13:05 -!- lynn has quit (Quit: Connection closed for inactivity). 07:14:16 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 07:14:54 -!- hppavilion[1] has joined. 07:15:34 Here's an idea 07:15:50 A CISC that uses acronyms for real things as its ASM opcode names 07:16:13 And the behavior of commands humorously corresponds to the behavior of that thing 07:16:31 USSR x, y is equivalent to SWP 07:17:30 (Russian reversal) 07:18:00 USSR 5, 6 can be read "In Soviet Russia, 5 is 6!!!!" 07:18:23 Heheh. 07:20:09 zgrep: USB has to be run 3 times before working 07:20:17 Heh. 07:20:55 Argh. My brain doesn't want to let me work on things I need to do, thanks to #ircpuzzles. :( 07:30:32 zgrep: What other acronyms are there? 07:30:54 EAAOOAIGORN 07:31:11 Or, rather... EAOAIGORN 07:31:31 zgrep: Short ones that we can make fun of the owner of 07:31:33 Extreme Abuse Of Acronyms Is Going On Right Now 07:31:47 zgrep: NSA allows you to read memory that does not belong to this program 07:31:52 :D 07:31:56 >:) 07:32:01 CIA should let you kill any process you want... 07:32:07 zgrep: Yes, good idea 07:32:35 zgrep: FDA regulates food and pharmaceuticals 07:32:41 Wait, that's the actual definition... 07:32:43 Yeah... 07:33:47 zgrep: DOD consumes massive amounts of resources for no good reason 07:33:49 FBI tells you whether or not a program is running, and how it's going to eventually arrest it if it is 07:33:53 :D 07:34:07 zgrep: I'm going to start writing these down 07:34:18 "Satiriproc" 07:35:42 NYSE -> Crashes the computer from time to time. 07:35:55 If you run it, it *might* crash the computer. 07:35:59 s/run/use/ 07:36:07 zgrep: NYSE? 07:36:16 New York Stock Exchange 07:36:30 Ah 07:36:32 :) 07:37:21 USD -> call it enough times and you can't call any other instructions unless you wait for a little bit 07:37:59 Well, I'm going to do stuff that I have to do now. :( 07:39:19 zgrep: USD as in US Dollar? 07:48:02 Did Randall just skimp off a comic? He's posted the April's Fool comic on Monday morning, and didn't post anything on Monday evening 07:49:42 This is very unusual. He's posted at least fillers every time so far I think. 07:50:08 although I haven't checked 08:09:38 -!- tromp_ has quit (Remote host closed the connection). 08:10:10 -!- jaboja has joined. 08:11:08 -!- ais523 has quit. 08:39:33 -!- earendel has joined. 08:57:14 hppavilion[1]: Yeppers. 09:10:07 -!- tromp_ has joined. 09:15:57 -!- tromp_ has quit (Ping timeout: 276 seconds). 09:48:15 -!- AnotherTest has joined. 10:28:25 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 10:47:39 -!- Reece` has joined. 10:57:03 -!- jaboja has quit (Ping timeout: 240 seconds). 11:10:57 -!- oerjan has joined. 11:27:27 -!- ais523 has joined. 11:33:33 @tell boily damned washing machine. end soon! I want my poutine! <-- i recommend not putting poutine in your washing machine hth 11:33:33 Consider it noted. 11:33:44 -!- boily has joined. 11:34:03 speak of. 11:34:29 afternooily 11:34:49 the doivyl? 11:35:08 int-e: thx 11:36:01 going around, tempting people for poutine 11:40:46 I was spoken of at? 11:40:52 hellørjan, int-ello. 11:40:58 @massages-loud 11:40:58 oerjan said 7m 25s ago: damned washing machine. end soon! I want my poutine! <-- i recommend not putting poutine in your washing machine hth 11:41:25 I didn't even get poutine yesterday. I was tempted by pizza. 11:45:09 shocking 11:47:53 there were interesting videos yesterday night. https://www.youtube.com/watch?v=TGmHNVUn07c 11:54:52 boily: the end times. clearly. 12:09:06 -!- ais523 has quit. 12:09:31 I still need to find a place in York and/or Hexham where I can try poutine 12:11:28 -!- tromp_ has joined. 12:12:25 are there any Québécois expats in the UK? 12:12:47 I have no idea 12:15:47 -!- tromp_ has quit (Ping timeout: 248 seconds). 12:29:15 -!- lynn has joined. 12:29:38 -!- lynn has changed nick to Guest53293. 12:30:18 -!- boily has quit (Quit: CONTENT CHICKEN). 12:30:30 -!- Guest53293 has changed nick to Lynn. 12:30:38 -!- Lynn has quit (Changing host). 12:30:38 -!- Lynn has joined. 12:30:38 -!- Lynn has quit (Changing host). 12:30:38 -!- Lynn has joined. 13:03:51 -!- jaboja has joined. 13:15:56 `? zap 13:16:25 zap? ¯\(°​_o)/¯ 13:16:33 `? unsafeCoerce 13:16:36 unsafeCoerce? ¯\(°​_o)/¯ 14:00:23 -!- oerjan has quit (Quit: leaving). 14:12:58 -!- augur_ has joined. 14:13:02 -!- J_Arcane_ has joined. 14:15:14 -!- staffehn_ has joined. 14:17:10 -!- coppro has quit (K-Lined). 14:17:15 -!- Guest81305 has joined. 14:17:23 -!- \oren\_ has joined. 14:19:26 -!- bb010g_ has joined. 14:20:24 -!- Lymee has joined. 14:22:04 -!- J_Arcane has quit (*.net *.split). 14:22:04 -!- bb010g has quit (*.net *.split). 14:22:05 -!- augur has quit (*.net *.split). 14:22:05 -!- Lymia has quit (*.net *.split). 14:22:05 -!- carado has quit (*.net *.split). 14:22:05 -!- \oren\ has quit (*.net *.split). 14:22:05 -!- staffehn has quit (*.net *.split). 14:22:06 -!- Lynn has quit (*.net *.split). 14:22:06 -!- yorick has quit (*.net *.split). 14:22:06 -!- incomprehensibly has quit (*.net *.split). 14:22:06 -!- jameseb has quit (*.net *.split). 14:22:08 -!- Lymee has changed nick to Lymia. 14:24:05 -!- Lynn has joined. 14:24:05 -!- yorick has joined. 14:24:05 -!- incomprehensibly has joined. 14:24:05 -!- jameseb has joined. 14:29:04 -!- carado has joined. 14:32:51 hmm, xkcd... I wonder whether there's a special case for putting a tortoise on top of a cactus 14:34:03 left it over night and pruned a bit: http://int-e.eu/~bf3/tmp/cactus.png 14:35:10 -!- rdococ has quit (Ping timeout: 244 seconds). 14:35:16 -!- bb010g_ has changed nick to bb010g. 14:46:53 -!- lambda-11235 has joined. 14:48:54 -!- spiette has joined. 14:52:18 -!- spiette_ has joined. 14:52:34 -!- spiette has quit (Disconnected by services). 14:52:40 -!- spiette_ has changed nick to spiette. 14:58:18 -!- tromp_ has joined. 15:02:37 -!- tromp_ has quit (Ping timeout: 248 seconds). 15:03:06 -!- rdococ has joined. 15:13:22 -!- jaboja has quit (Ping timeout: 244 seconds). 15:21:22 <\oren\_> FDA controls i/o charset 15:34:03 -!- J_Arcane_ has quit (Ping timeout: 240 seconds). 15:52:37 -!- jaboja has joined. 15:53:43 -!- lambda-11235 has quit (Quit: Bye). 15:55:35 -!- coppro has joined. 16:15:49 :/ 16:27:41 -!- Kaynato has joined. 16:53:08 -!- Vorpal has joined. 17:12:01 -!- iconmaster has joined. 17:29:56 -!- p34k has joined. 17:36:27 -!- j-bot has quit (Ping timeout: 264 seconds). 17:46:26 -!- Lynn has changed nick to lynn. 17:47:59 -!- hppavilion[1] has joined. 17:51:34 -!- Guest772714 has joined. 18:04:17 Ashes programming language 18:04:21 Ashes to Ashes, Rust to Rust 18:06:29 rust and ruin! 18:06:57 -!- Taneb has left ("Leaving"). 18:07:00 -!- Taneb has joined. 18:07:15 I need to be careful about which window is in focus when I apply a keyboard shortcut 18:18:49 Dust for Dynamic Rust 18:20:19 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 18:21:07 -!- Kaynato has quit (Ping timeout: 268 seconds). 18:21:16 -!- hppavilion[1] has joined. 18:22:39 0b1010011010 18:22:58 666 iirc 18:23:11 it was in futurama once 18:23:16 myname: Dammit xD 18:23:53 it's easy to remember 18:24:03 it is kinda mirrored 18:25:12 -!- jaboja has quit (Ping timeout: 276 seconds). 18:28:23 myname: Not at all 18:28:42 > "1010011010" == (reverse "1010011010") 18:28:44 False 18:28:49 myname: lambdabot doesn't lie 18:30:09 > let x = [1,0,1,0,0,1,1,0,1,0] in x == reverse $ map (1-) x 18:30:11 Couldn't match expected type ‘[Integer] -> t’ 18:30:11 with actual type ‘Bool’ 18:30:11 The first argument of ($) takes one argument, 18:30:31 > let x = [1,0,1,0,0,1,1,0,1,0] in x == reverse (map (1-) x) 18:30:33 True 18:31:30 hppavilion[1]: lambdabot doesn't lie 18:32:07 myname: Whoa. 18:32:46 myname: I want to make a ρ-calcular functional language 18:32:59 myname: The wiki suggests it, but I don't know of any having actually been made 18:38:33 myname: Would only supporting doubles be a bad idea? 18:38:44 For n-tuples, you need to nest 18:38:54 (a, b, c, d) = (a, (b, (c, d))) 18:39:25 with tuples you can basically do everything 18:40:19 myname: Yes. 18:40:22 myname: And? 18:41:06 i am not sure what your problem is 18:42:14 hppavilion[1], you lose canonical n-tuples 18:42:40 (a, b, c, d) = (((a, b), c), d) = ((a, b), (c, d)) = (a, (b, (c, d))) 18:42:46 -!- lambda-11235 has joined. 18:42:49 Taneb: Ah, good point 18:42:52 I assume 18:43:03 It's a point 18:43:08 Don't know if it's a good one or not 18:43:28 you can emulate them 18:44:54 -!- tromp_ has joined. 18:45:01 myname: But it grows exponentially 18:45:20 so what 18:45:54 myname: You can emulate them, but it's a pain for large tuples 18:46:29 Are there any other significant models for functional programming besides the λ and ρ calculi? 18:48:52 -!- oerjan has joined. 18:49:29 ρ, ρ, your boat; Gently down the stream; ... 18:49:54 -!- tromp_ has quit (Ping timeout: 276 seconds). 18:50:37 lambda-11235: I hate you forever. 18:50:53 hppavilion[1]: :) 18:51:13 lambda-11235: Do you know of any models other than the λ and ρ calculi? 18:51:27 I'm thinking about throwing production rules in too 18:51:33 Functional-Grammar 18:52:16 I didn't even know about ρ calculi before you mentioned it. 18:52:19 pretty sure there's a pi calculus (concurrent) 18:52:33 lambda-11235: No, there's only one ρ calculus 18:52:34 how is S -> PQ different than \s.pq? 18:52:41 oerjan: Yes, I was thinking about that too 18:52:58 myname: That is probably monads or something 18:53:03 iirc there's also a gamma calculus inspired by chemistry / biology 18:53:46 oerjan: Wikipedia has nothing on it 18:54:08 it may have been just in some papers 18:54:20 -!- Phantom_Hoover has joined. 18:54:22 oerjan: Ah 18:54:27 oerjan: Is there a socket calculus? 18:54:38 no idea, but pi may be close 18:54:48 oerjan: That's what I was thinking 18:55:28 oerjan: Are there any functional languages based groups or rings or anything? Does that make any sense at all? 18:56:02 hppavilion[1]: perhaps you can count APL and J as such 18:56:10 Ah, yes 18:56:16 they're based on arrays in a uniform way 18:56:43 and K. not that i know any of them enough to know the differences 18:56:47 oerjan: Is functional-grammar a workable idea? 18:57:13 hppavilion[1]: that term reminds me of the soviet language REFAL 18:57:24 hppavilion[1]: There's that calculus they're working on for Scala, called DOT calculus. 18:57:56 hppavilion[1]: where the hell do you get all your ideas from 18:58:20 myname: The big pool o' ideas. Where do YOU get your ideas from? 18:58:36 i don't have any 18:58:54 myname: Weird. You should visit the BPOI 18:58:54 -!- mihow has joined. 18:59:25 So I think functional-grammar would allow you to formulate production rules and entire grammars at once... 18:59:57 Is it possible to efficiently "invert" an arbitrary grammar to produce a string in that grammar, given certain parameters? 19:00:12 s/in that grammar/in that grammar's language/ 19:01:01 huh? 19:01:13 why do you need to invert that 19:01:21 thst is basically what a grammar does 19:01:35 the refal website seems not very active, but maybe not dead either 19:02:06 myname: Ah. That's useful then 19:02:27 -!- atrapado has joined. 19:03:34 -!- Kaynato has joined. 19:03:35 myname: I thought a grammar was like a regex... 19:03:42 myname: You don't usually invert regexes 19:04:16 left it over night and pruned a bit: http://int-e.eu/~bf3/tmp/cactus.png <-- huh. i lost interest after it started resetting. 19:04:18 S -> a | b 19:04:25 so, ypu want to produce a word 19:04:30 choose: a or b 19:04:41 whatever you choose, you are finished 19:06:53 -!- mihow has quit (Ping timeout: 248 seconds). 19:06:57 myname: Yes... 19:07:34 So I think functional-grammar would allow you tohppavilion[1]> Is it possible to efficiently "invert" an arbitrary grammar to produce a string in that grammar, given certain parameters? <-- arbitrary? no. that's pretty obviously just as TC as recognition. but for context-free, yes. 19:07:48 oerjan: That's exactly what I thought 19:08:01 oerjan: I had the distinct feeling I was going to hit the halting problem there 19:08:12 myname: I'm going for a way to sort of /index/ a grammar 19:09:38 So if you have a grammar "fib2" representing the fibonacci sequence in binary, then fib~6 gets the string "1000" 19:09:57 ~ wouldn't have to have its left argument be an integer, of course, but you get the picture 19:11:23 hppavilion[1]: for context-sensitive, it's probably decidable but with some huge complexity. 19:11:23 oerjan: What's a simple example I could use to demonstrate functional-grammar? 19:11:30 oerjan: Shit. 19:11:49 i mean, _recognition_ is PSPACE-complete there. 19:12:54 hm, wait, maybe it's still PSPACE if you are trying to guess a legal input. PSPACE is resistant to nondeterminism after all. 19:13:08 so, "huge" but not _that_ huge. 19:15:22 hppavilion[1]: i'm not entirely sure what you mean by functional-grammar, unless it's simply tree-rewriting which ordinary functional languages do pretty well. 19:15:49 oerjan: It's a paradigm I'm attempting to invent 19:16:19 thought so. 19:16:30 oerjan: It's functional programming combined with grammar programming; sort of like functional-logic. I'm trying to figure out how grammar programming works. 19:16:36 -!- mihow has joined. 19:16:46 good luck. 19:17:05 -!- lambda-11235 has quit (Quit: Bye). 19:18:19 I need to be careful about which window is in focus when I apply a keyboard shortcut <-- just be glad if you don't have programs that exit on pressing "q" 19:18:37 (see: my bitchings about tatham's puzzles) 19:18:41 So... I'm thinking that pure grammar programming takes input at startup, transforms it, then produces the new string on output... 19:20:31 sounds like you might want regular transducers 19:20:39 oerjan: Perhaps 19:20:52 (preferably also something non-regular, except i don't know how that works) 19:21:28 So cat is main ::= {a -> a} I think 19:22:50 main ::= ".", [EOF], {a -> .a, ""} 19:25:28 Hm... 19:26:35 main ::= {Char : "."}, [EOF], {Char=a -> .a} 19:27:01 apparently regular isn't the word https://en.wikipedia.org/wiki/Finite_state_transducer 19:27:33 (although i _think_ you can describe them with regular expressions over input+output alphabet) 19:34:52 Is anyone else playing with BOX-256? http://programminggames.org/BOX-256.ashx 19:35:49 someone port it to android, please 19:37:20 Doesn't the web version work on Android? 19:37:52 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 19:38:48 i get an empty gray box here 19:40:00 Oh :-( 19:41:49 challenge: compress a go game 19:42:52 since you're filling the board, you don't need as many bits for the 100th move as for the first one 19:43:13 -!- hppavilion[1] has joined. 19:44:35 <\oren\_> the iceland...ic? ish? prime minister has risined becuz of the panama papers 19:45:22 he\\oren\_ 19:46:00 \oren\_: I'm attempting to invent functional-grammar programming 19:46:23 If I was in a position where I had to pay hundreds of thousands in tax of stash it away in a foreign country, I'd stash. 19:47:12 rdococ: Hi 19:47:35 hihi 19:47:38 hi hi hi hi hi 19:48:04 rdococ: I've decided that there are at least 4 atomic paradigms for programming 19:48:11 Wait, no, 5 19:48:20 Imperative, Functional, Logic, Reactive, and Grammar 19:48:38 And other paradigms can be made by joining them with hyphens 19:48:58 -!- mihow has quit (Quit: mihow). 19:49:09 -!- J_Arcane has joined. 19:49:09 Functional-Reactive. Functional-Logic. Functional-Grammar 19:49:13 Reactive-Grammar 19:49:54 functional-logic is actually a thing 19:50:11 what kind of paradigm is grammar? 19:50:26 myname: Yes, I know about functional-logic 19:50:30 myname: It's based on formal grammars 19:50:36 myname: I'm still formulating it 19:50:58 myname: main ::= [Char : "."], [EOF], {Char=a -> .a} 19:51:47 how does it differ from... well... a grammar? 19:51:54 like, A -> .A 19:52:12 myname: It is a grammar. That's the point 19:52:22 myname: That program is supposed to be a cat, but I think I did it wrong 19:52:28 (.a prints the value in a) 19:52:33 (. is print) 19:52:59 i don't get what's unique about it to make it a paradigm 19:53:12 also, what different kind of implementations there are 19:53:16 myname: It's distinct from functional, logic, reactive, and imperative 19:53:25 how so 19:53:29 myname: And it's not a hybrid 19:53:56 myname: Grammar programming is based on recognizing input strings with side effects in the process 19:54:02 write a truth machine 19:54:10 myname: Which is, I suppose, vague enough to describe anything 19:54:11 OK 19:54:34 that sounded pretty much imperqtive 19:58:23 myname: I'm thinking something like http://pastebin.com/wJJFNUD6 would be a truth machine 19:59:42 myname: The syntax and design is evolving, so it's not very good yet 20:00:10 that looks an aweful lot like haskell 20:05:44 myname: It does 20:06:15 evening 20:07:51 i donjt get what qualifies it for a new paradigm 20:08:08 basically you are using pattern matching 20:08:19 -!- lambda-11235 has joined. 20:08:22 together with unsafePerformIO 20:28:15 -!- ais523 has joined. 20:38:16 -!- Timzi has joined. 20:40:00 `relcome Timzi 20:40:28 ​Timzi: 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.) 20:40:33 `? HackEgo 20:40:36 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 Mexico! 20:40:51 i thought i might have added that. 20:41:01 Timzi: any relation to timwi? 20:43:57 -!- Reece` has quit (Quit: Leaving). 20:44:33 -!- Reece` has joined. 20:46:12 -!- Caesura has joined. 20:48:03 -!- Kaynato has quit (Ping timeout: 240 seconds). 21:00:31 oerjan: sorry nope, just a name 21:01:24 -!- lambda-11235 has quit (Quit: Gotta go). 21:02:32 -!- Timzi has left ("ERC (IRC client for Emacs 24.5.1)"). 21:13:20 I was randomly clicking on YouTube "recommended" videos, and ended up at "ADGQ 2014 Bonus Stream - More TASBot", where the presenter thanked people working on emulators, such as "ais523 from the UK". 21:13:58 `unidecode ℕ 21:13:59 ​[U+2115 DOUBLE-STRUCK CAPITAL N] 21:14:48 `unicode [U+2115 DOUBLE-STRUCK CAPITAL N] 21:14:54 U+0000 \ UTF-8: 00 UTF-16BE: 0000 Decimal: � \ . \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0001 \ UTF-8: 01 UTF-16BE: 0001 Decimal:  \ . \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0002 \ UTF-8: 02 UTF-16BE: 0002 Decimal:  \ \ Category: Cc (Other, C 21:15:06 `unicode ℕ 21:15:11 U+2115 DOUBLE-STRUCK CAPITAL N \ UTF-8: e2 84 95 UTF-16BE: 2115 Decimal: ℕ \ ℕ \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ Decomposition: 004E \ \ U+000F \ UTF-8: 0f UTF-16BE: 000f Decimal:  \ \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) 21:22:07 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 21:25:55 -!- Caesura has quit (Ping timeout: 244 seconds). 21:50:58 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 22:01:29 -!- hppavilion[1] has joined. 22:05:34 fizzie: I've been indirectly involved in much of the TASbot stuff 22:05:37 mostly throwing out ideas 22:05:41 λ-calcular Core War was proposed on this channel a few days ago 22:06:10 I think I'll make it 22:08:24 Reactive Esoteric Programming game And Interactive Reparation Simulator 22:08:29 REPAIRS 22:19:25 -!- Caesura has joined. 22:22:21 -!- ais523 has quit (Remote host closed the connection). 22:23:29 -!- ais523 has joined. 22:23:29 -!- ais523 has quit (Remote host closed the connection). 22:23:38 -!- ais523 has joined. 22:29:38 ais523: tasbot was/is the nethack one? 22:29:54 Vorpal: it's a programmable controller for a range of consoles 22:30:00 that memorizes a sequence of inputs and replays them 22:30:03 didn't you do something to run nethack in a repeatable way, for speed run purposes? Is that unrelated? 22:30:12 that's called nethack-tas-tools 22:30:19 and only related inasmuch as they're both related to TASing 22:30:36 ais523: what about the bot with a simple AI to play nethack, I remember that being a thing too? 22:30:59 TAEB, that was ages ago 22:31:04 I haven't been able to get it working recently 22:31:05 ah 22:31:12 one of the dependencies is broken on Ubuntu 22:31:15 and Debian stable 22:31:22 however, it works on Debian testing and Arch Linux 22:31:36 thus presumably something broke and has since been repaired 22:31:37 -!- Guest81305 has quit (Quit: This computer has gone to sleep). 22:31:38 (the dependency, that is) 22:31:46 Tactical Amulet Extraction Bot? It was a (b?)acronym for something like that, if memory serves. 22:32:11 fungot: Why can't you ever be at all tactical? 22:32:11 fizzie: mr president, for the moment regarding the problem of limiting output, and the enormous risks to consumer safety. the commission participates fully in the european union 22:32:30 (At least it's not racist, like the recent Microsoft twitbot.) 22:32:36 fungot: that's great but what about Britain... 22:32:36 int-e: mr president, the european union 22:32:43 fungot: yes? 22:32:43 int-e: mr president, it seems to me indispensable to the smooth functioning of financial markets, the most immediately available meps will also be holding an initial discussion between ministers for education agreed to implement the employment policy monitoring procedures, including in the financial area and exploit its opportunities more effectively, more democratically and with complete disregard for the state of israel and p 22:32:49 fungot doesn't support brexit. 22:32:50 fizzie: the council's bodies are well aware that you have launched a website. consequently, the prospect of peace, freedom and property. this is why it is that committee that was entirely different from those of the commission to include in the main, to the greatest extent procedurally possible. given the approximately 1% annual improvement in energy efficiency. 22:34:30 fizzie: forards acronym 22:34:44 "tactical amulet extraction bot" wasn't chosen specifically to spell TAEB, it was chosen because it was funny 22:35:09 hmm, I wonder if we can get fungot elected to the EU parliament 22:35:10 ais523: Yes, in retrospect "TAEB" seems an unlikely combination of letters to aim at. 22:35:10 ais523: mr president, we are increasingly concerned at the violence of deportation, and in any case, as the commission has failed with these proposals, however, a sound corporate governance practices. the aim of producing a foreign policy which it has submitted. we all agree how important this directive is implemented in the various decision-making structures and political and objective equality is a ' food authority' s managem 22:36:37 devising esoterically significant pronouncible acronyms is respectable 22:37:58 `learn Despair is but the first step towards eternal damnation. 22:38:06 Learned 'despair': Despair is but the first step towards eternal damnation. 22:40:56 -!- earendel has quit (Quit: earendel). 22:41:48 -!- me2 has quit (Read error: Connection reset by peer). 22:45:01 -!- me2 has joined. 22:45:23 ais523, if you wrote a bot to counter its effects -- a tactical amulet non-extraction bot, in other words -- would it be TANEB? 22:45:47 Phantom_Hoover: I'm not sure how you'd write a bot to counter another bot, NetHack has very little interaction between players 22:45:54 and what amount of interaction their is is randomly targeted 22:46:10 *there is 22:46:14 I guess you'd be going aroud leaving levels for other players which were helpful to humans but confused bots 22:46:16 Maybe some sort of a sidechannel thing. Like the rowhammer attack, but calculated to ruin TAEB's day. 22:46:38 constructing doors in the Mines, that sort of thing 22:47:46 now I have a weird urge to go to the Mines, dig doors everywhere, then suicide the character 22:47:55 but the chance that a bot would stumble across the level seems low 22:48:19 -!- MoALTz has quit (Ping timeout: 248 seconds). 22:48:51 -!- Melvar has quit (Ping timeout: 248 seconds). 22:52:45 -!- Melvar has joined. 22:56:28 -!- MDude has joined. 22:59:56 -!- acertain has joined. 23:01:02 -!- Guest772714 has quit (Ping timeout: 248 seconds). 23:05:13 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 23:13:52 -!- impomatic has quit (Ping timeout: 260 seconds). 23:20:04 -!- XorSwap has joined. 23:20:12 yay 23:20:18 why does everyone time out 23:24:42 -!- XorSwap has quit (Ping timeout: 244 seconds). 23:27:28 who comes up with things like this... (II) RADEON(0): RandR 1.2 enabled, ignore the following RandR disabled message. \ (--) RandR disabled 23:28:01 -!- XorSwap has joined. 23:29:46 -!- J_Arcane__ has joined. 23:32:43 -!- J_Arcane has quit (Ping timeout: 252 seconds). 23:32:55 -!- J_Arcane__ has changed nick to J_Arcane. 23:35:05 -!- spiette has quit (Ping timeout: 244 seconds). 23:38:46 -!- XorSwap has quit (Ping timeout: 252 seconds). 23:38:47 -!- atrapado has quit (Quit: Leaving). 23:44:40 -!- hppavilion[1] has joined. 23:47:15 I've just encountered for the first time in a while the downside of a Terry Pratchett book 23:47:18 I've lost three hours 23:48:23 Taneb: wow, you read fast 23:48:29 three hours only? 23:49:51 I haven't finished the book 23:50:27 "lost" is a bit strong 23:50:36 how about "spent" 23:51:09 Three hours spent whose passing I did not notice 23:51:21 sounds like a good book then 23:54:43 -!- ais523 has quit (Ping timeout: 244 seconds). 23:54:50 -!- oerjan has quit (Quit: Nite). 23:54:54 oh wow, that's big. http://www.conwaylife.com/wiki/Linear_propagator 23:58:13 -!- Guest772714 has joined.