00:05:08 <boily> damned washing machine. end soon! I want my poutine!
00:30:25 <boily> POTATO DESECRATION!
00:30:32 -!- boily has quit (Quit: FÆRIE CHICKEN).
00:33:42 <\oren\> wait, unicode is allowed in qit messages
00:34:02 -!- Caesura has quit (Ping timeout: 244 seconds).
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 <FreeFull> \oren\: Yeah, I just have nothing where it's supposed to be, between the navigation bars
00:43:42 <FreeFull> \oren\: Seems to work in chromium
00:43:48 <\oren\> oh it's http: it doesn't work in https:
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 <HackEgo> [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:34:15 <hppavilion[1]> I have a renderer for my functional language working!
01:43:05 -!- tromp_ has joined.
01:43:11 <HackEgo> [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:13:18 <hppavilion[1]> 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:14:14 <hppavilion[1]> lifthrasiir: The graphics are just a frontend representation
02:14:28 <hppavilion[1]> lifthrasiir: The real thing is a much-less-entertaining JSON format
02:14:47 <hppavilion[1]> That you're not supposed to mess with, because there'll be a front-end editor to do that for you
02:17:54 <hppavilion[1]> lifthrasiir: A program is based on shuffling integers around through nodes
02:18:17 <hppavilion[1]> 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 <hppavilion[1]> lifthrasiir: One of the interesting things about this is that it's not so much functional as it is superfunctional
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:33:24 <HackEgo> D-modules are just modules over the ring of differential operators. Taneb invented them.
04:36:11 <hppavilion[1]> I'm kind of tempted to add that to https://en.wikipedia.org/wiki/Module_%28mathematics%29
05:10:56 <constant> is there any existing language that uses unicode homoglyphs
05:11:27 <constant> 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:50 <hppavilion[1]> A CISC that uses acronyms for real things as its ASM opcode names
07:16:13 <hppavilion[1]> And the behavior of commands humorously corresponds to the behavior of that thing
07:18:00 <hppavilion[1]> USSR 5, 6 can be read "In Soviet Russia, 5 is 6!!!!"
07:20:55 <zgrep> Argh. My brain doesn't want to let me work on things I need to do, thanks to #ircpuzzles. :(
07:31:11 <zgrep> Or, rather... EAOAIGORN
07:31:31 <hppavilion[1]> zgrep: Short ones that we can make fun of the owner of
07:31:33 <zgrep> Extreme Abuse Of Acronyms Is Going On Right Now
07:31:47 <hppavilion[1]> zgrep: NSA allows you to read memory that does not belong to this program
07:32:01 <zgrep> CIA should let you kill any process you want...
07:33:47 <hppavilion[1]> zgrep: DOD consumes massive amounts of resources for no good reason
07:33:49 <zgrep> FBI tells you whether or not a program is running, and how it's going to eventually arrest it if it is
07:35:42 <zgrep> NYSE -> Crashes the computer from time to time.
07:35:55 <zgrep> If you run it, it *might* crash the computer.
07:36:16 <zgrep> New York Stock Exchange
07:37:21 <zgrep> USD -> call it enough times and you can't call any other instructions unless you wait for a little bit
07:37:59 <zgrep> Well, I'm going to do stuff that I have to do now. :(
07:48:02 <b_jonas> 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 <b_jonas> This is very unusual. He's posted at least fillers every time so far I think.
07:50:08 <b_jonas> 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 <zgrep> 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 <oerjan> @tell boily <boily> damned washing machine. end soon! I want my poutine! <-- i recommend not putting poutine in your washing machine hth
11:33:44 -!- boily has joined.
11:36:01 <oerjan> going around, tempting people for poutine
11:40:46 <boily> I was spoken of at?
11:40:52 <boily> hellørjan, int-ello.
11:40:58 <lambdabot> oerjan said 7m 25s ago: <boily> damned washing machine. end soon! I want my poutine! <-- i recommend not putting poutine in your washing machine hth
11:41:25 <boily> I didn't even get poutine yesterday. I was tempted by pizza.
11:47:53 <boily> there were interesting videos yesterday night. https://www.youtube.com/watch?v=TGmHNVUn07c
11:54:52 <oerjan> boily: the end times. clearly.
12:09:06 -!- ais523 has quit.
12:09:31 <Taneb> 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 <boily> are there any Québécois expats in the UK?
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.
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 <int-e> hmm, xkcd... I wonder whether there's a special case for putting a tortoise on top of a cactus
14:34:03 <int-e> 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: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: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:06:57 -!- Taneb has left ("Leaving").
18:07:00 -!- Taneb has joined.
18:07:15 <Taneb> I need to be careful about which window is in focus when I apply a keyboard shortcut
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:23:11 <myname> it was in futurama once
18:25:12 -!- jaboja has quit (Ping timeout: 276 seconds).
18:30:09 <myname> > let x = [1,0,1,0,0,1,1,0,1,0] in x == reverse $ map (1-) x
18:30:11 <lambdabot> Couldn't match expected type ‘[Integer] -> t’
18:30:11 <lambdabot> The first argument of ($) takes one argument,
18:30:31 <myname> > let x = [1,0,1,0,0,1,1,0,1,0] in x == reverse (map (1-) x)
18:31:30 <myname> hppavilion[1]: lambdabot doesn't lie
18:32:46 <hppavilion[1]> myname: I want to make a ρ-calcular functional language
18:32:59 <hppavilion[1]> myname: The wiki suggests it, but I don't know of any having actually been made
18:38:33 <hppavilion[1]> myname: Would only supporting doubles be a bad idea?
18:39:25 <myname> with tuples you can basically do everything
18:41:06 <myname> i am not sure what your problem is
18:42:14 <Taneb> hppavilion[1], you lose canonical n-tuples
18:42:40 <Taneb> (a, b, c, d) = (((a, b), c), d) = ((a, b), (c, d)) = (a, (b, (c, d)))
18:42:46 -!- lambda-11235 has joined.
18:43:08 <Taneb> Don't know if it's a good one or not
18:44:54 -!- tromp_ has joined.
18:45:54 <hppavilion[1]> myname: You can emulate them, but it's a pain for large tuples
18:46:29 <hppavilion[1]> Are there any other significant models for functional programming besides the λ and ρ calculi?
18:48:52 -!- oerjan has joined.
18:49:54 -!- tromp_ has quit (Ping timeout: 276 seconds).
18:51:13 <hppavilion[1]> lambda-11235: Do you know of any models other than the λ and ρ calculi?
18:51:27 <hppavilion[1]> I'm thinking about throwing production rules in too
18:52:16 <lambda-11235> I didn't even know about ρ calculi before you mentioned it.
18:52:19 <oerjan> pretty sure there's a pi calculus (concurrent)
18:52:34 <myname> how is S -> PQ different than \s.pq?
18:53:03 <oerjan> iirc there's also a gamma calculus inspired by chemistry / biology
18:54:08 <oerjan> it may have been just in some papers
18:54:20 -!- Phantom_Hoover has joined.
18:54:38 <oerjan> no idea, but pi may be close
18:55:28 <hppavilion[1]> oerjan: Are there any functional languages based groups or rings or anything? Does that make any sense at all?
18:56:02 <oerjan> hppavilion[1]: perhaps you can count APL and J as such
18:56:16 <oerjan> they're based on arrays in a uniform way
18:56:43 <oerjan> and K. not that i know any of them enough to know the differences
18:57:13 <oerjan> hppavilion[1]: that term reminds me of the soviet language REFAL
18:57:24 <lambda-11235> hppavilion[1]: There's that calculus they're working on for Scala, called DOT calculus.
18:57:56 <myname> hppavilion[1]: where the hell do you get all your ideas from
18:58:20 <hppavilion[1]> myname: The big pool o' ideas. Where do YOU get your ideas from?
18:58:54 -!- mihow has joined.
18:59:25 <hppavilion[1]> So I think functional-grammar would allow you to formulate production rules and entire grammars at once...
18:59:57 <hppavilion[1]> Is it possible to efficiently "invert" an arbitrary grammar to produce a string in that grammar, given certain parameters?
19:01:13 <myname> why do you need to invert that
19:01:21 <myname> thst is basically what a grammar does
19:01:35 <oerjan> the refal website seems not very active, but maybe not dead either
19:02:27 -!- atrapado has joined.
19:03:34 -!- Kaynato has joined.
19:04:16 <oerjan> <int-e> 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:25 <myname> so, ypu want to produce a word
19:04:41 <myname> whatever you choose, you are finished
19:06:53 -!- mihow has quit (Ping timeout: 248 seconds).
19:07:34 <oerjan> <hppavilion[1]> 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:08:01 <hppavilion[1]> oerjan: I had the distinct feeling I was going to hit the halting problem there
19:08:12 <hppavilion[1]> myname: I'm going for a way to sort of /index/ a grammar
19:09:38 <hppavilion[1]> So if you have a grammar "fib2" representing the fibonacci sequence in binary, then fib~6 gets the string "1000"
19:09:57 <hppavilion[1]> ~ wouldn't have to have its left argument be an integer, of course, but you get the picture
19:11:23 <oerjan> hppavilion[1]: for context-sensitive, it's probably decidable but with some huge complexity.
19:11:23 <hppavilion[1]> oerjan: What's a simple example I could use to demonstrate functional-grammar?
19:11:49 <oerjan> i mean, _recognition_ is PSPACE-complete there.
19:12:54 <oerjan> 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 <oerjan> so, "huge" but not _that_ huge.
19:15:22 <oerjan> 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:16:30 <hppavilion[1]> 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:17:05 -!- lambda-11235 has quit (Quit: Bye).
19:18:19 <oerjan> <Taneb> 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 <oerjan> (see: my bitchings about tatham's puzzles)
19:18:41 <hppavilion[1]> So... I'm thinking that pure grammar programming takes input at startup, transforms it, then produces the new string on output...
19:20:31 <oerjan> sounds like you might want regular transducers
19:20:52 <oerjan> (preferably also something non-regular, except i don't know how that works)
19:27:01 <oerjan> apparently regular isn't the word https://en.wikipedia.org/wiki/Finite_state_transducer
19:27:33 <oerjan> (although i _think_ you can describe them with regular expressions over input+output alphabet)
19:34:52 <impomatic> Is anyone else playing with BOX-256? http://programminggames.org/BOX-256.ashx
19:35:49 <myname> someone port it to android, please
19:37:20 <impomatic> Doesn't the web version work on Android?
19:37:52 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
19:38:48 <myname> i get an empty gray box here
19:41:49 <izabera> challenge: compress a go game
19:42:52 <izabera> 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:46:00 <hppavilion[1]> \oren\_: I'm attempting to invent functional-grammar programming
19:46:23 <impomatic> 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:48:04 <hppavilion[1]> rdococ: I've decided that there are at least 4 atomic paradigms for programming
19:48:20 <hppavilion[1]> Imperative, Functional, Logic, Reactive, and Grammar
19:48:38 <hppavilion[1]> 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 <hppavilion[1]> Functional-Reactive. Functional-Logic. Functional-Grammar
19:49:54 <myname> functional-logic is actually a thing
19:50:11 <myname> what kind of paradigm is grammar?
19:50:58 <hppavilion[1]> myname: main ::= [Char : "."], [EOF], {Char=a -> .a}
19:51:47 <myname> how does it differ from... well... a grammar?
19:52:22 <hppavilion[1]> myname: That program is supposed to be a cat, but I think I did it wrong
19:52:59 <myname> i don't get what's unique about it to make it a paradigm
19:53:12 <myname> also, what different kind of implementations there are
19:53:16 <hppavilion[1]> myname: It's distinct from functional, logic, reactive, and imperative
19:53:56 <hppavilion[1]> myname: Grammar programming is based on recognizing input strings with side effects in the process
19:54:10 <hppavilion[1]> myname: Which is, I suppose, vague enough to describe anything
19:54:34 <myname> that sounded pretty much imperqtive
19:58:23 <hppavilion[1]> myname: I'm thinking something like http://pastebin.com/wJJFNUD6 would be a truth machine
19:59:42 <hppavilion[1]> myname: The syntax and design is evolving, so it's not very good yet
20:00:10 <myname> that looks an aweful lot like haskell
20:07:51 <myname> i donjt get what qualifies it for a new paradigm
20:08:08 <myname> basically you are using pattern matching
20:08:19 -!- lambda-11235 has joined.
20:08:22 <myname> together with unsafePerformIO
20:28:15 -!- ais523 has joined.
20:38:16 -!- Timzi has joined.
20:40:28 <HackEgo> Timzi: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
20:40:36 <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 Mexico!
20:40:51 <oerjan> i thought i might have added that.
20:41:01 <oerjan> 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 <Timzi> 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 <fizzie> 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:59 <HackEgo> [U+2115 DOUBLE-STRUCK CAPITAL N]
21:14:54 <HackEgo> U+0000 <control> \ UTF-8: 00 UTF-16BE: 0000 Decimal: � \ . \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0001 <control> \ UTF-8: 01 UTF-16BE: 0001 Decimal:  \ . \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0002 <control> \ UTF-8: 02 UTF-16BE: 0002 Decimal:  \ \ Category: Cc (Other, C
21:15:11 <HackEgo> 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: <font> 004E \ \ U+000F <control> \ 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 <ais523> fizzie: I've been indirectly involved in much of the TASbot stuff
22:05:37 <ais523> mostly throwing out ideas
22:05:41 <hppavilion[1]> λ-calcular Core War was proposed on this channel a few days ago
22:08:24 <hppavilion[1]> Reactive Esoteric Programming game And Interactive Reparation Simulator
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 <Vorpal> ais523: tasbot was/is the nethack one?
22:29:54 <ais523> Vorpal: it's a programmable controller for a range of consoles
22:30:00 <ais523> that memorizes a sequence of inputs and replays them
22:30:03 <Vorpal> didn't you do something to run nethack in a repeatable way, for speed run purposes? Is that unrelated?
22:30:12 <ais523> that's called nethack-tas-tools
22:30:19 <ais523> and only related inasmuch as they're both related to TASing
22:30:36 <Vorpal> ais523: what about the bot with a simple AI to play nethack, I remember that being a thing too?
22:30:59 <ais523> TAEB, that was ages ago
22:31:04 <ais523> I haven't been able to get it working recently
22:31:12 <ais523> one of the dependencies is broken on Ubuntu
22:31:22 <ais523> however, it works on Debian testing and Arch Linux
22:31:36 <ais523> 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 <ais523> (the dependency, that is)
22:31:46 <fizzie> Tactical Amulet Extraction Bot? It was a (b?)acronym for something like that, if memory serves.
22:32:11 <fizzie> fungot: Why can't you ever be at all tactical?
22:32:11 <fungot> 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 <fizzie> (At least it's not racist, like the recent Microsoft twitbot.)
22:32:36 <int-e> fungot: that's great but what about Britain...
22:32:36 <fungot> int-e: mr president, the european union
22:32:43 <fungot> 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 <fizzie> fungot doesn't support brexit.
22:32:50 <fungot> 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 <ais523> fizzie: forards acronym
22:34:44 <ais523> "tactical amulet extraction bot" wasn't chosen specifically to spell TAEB, it was chosen because it was funny
22:35:09 <ais523> hmm, I wonder if we can get fungot elected to the EU parliament
22:35:10 <fizzie> ais523: Yes, in retrospect "TAEB" seems an unlikely combination of letters to aim at.
22:35:10 <fungot> 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 <int-e> devising esoterically significant pronouncible acronyms is respectable
22:37:58 <int-e> `learn Despair is but the first step towards eternal damnation.
22:38:06 <HackEgo> 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 <Phantom_Hoover> 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 <ais523> 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 <ais523> and what amount of interaction their is is randomly targeted
22:46:14 <ais523> I guess you'd be going aroud leaving levels for other players which were helpful to humans but confused bots
22:46:16 <fizzie> Maybe some sort of a sidechannel thing. Like the rowhammer attack, but calculated to ruin TAEB's day.
22:46:38 <ais523> constructing doors in the Mines, that sort of thing
22:47:46 <ais523> now I have a weird urge to go to the Mines, dig doors everywhere, then suicide the character
22:47:55 <ais523> 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:18 <rdococ> why does everyone time out
23:24:42 -!- XorSwap has quit (Ping timeout: 244 seconds).
23:27:28 <int-e> 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 <Taneb> I've just encountered for the first time in a while the downside of a Terry Pratchett book
23:47:18 <Taneb> I've lost three hours
23:49:51 <Taneb> I haven't finished the book
23:50:27 <int-e> "lost" is a bit strong
23:51:09 <Taneb> Three hours spent whose passing I did not notice
23:51:21 <int-e> 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 <int-e> oh wow, that's big. http://www.conwaylife.com/wiki/Linear_propagator
23:58:13 -!- Guest772714 has joined.