←2016-04-04 2016-04-05 2016-04-06→ ↑2016 ↑all
00:00:37 <b_jonas> `? generic
00:00:45 <HackEgo> generic? ¯\(°​_o)/¯
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:41 <rdococ> ...
00:33:42 <\oren\> wait, unicode is allowed in qit messages
00:34:02 -!- Caesura has quit (Ping timeout: 244 seconds).
00:39:47 <FreeFull> \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 <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:44:56 <FreeFull> 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 <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:33:45 <hppavilion[1]> There!
01:34:15 <hppavilion[1]> I have a renderer for my functional language working!
01:34:33 <hppavilion[1]> (It's a bit like funciton, but graphical)
01:41:14 <lifthrasiir> so is it graphcial?
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:12:23 <hppavilion[1]> lifthrasiir: Yes
02:12:35 <lifthrasiir> wait, is it the official name?!
02:12:46 <hppavilion[1]> lifthrasiir: No
02:12:58 <hppavilion[1]> lifthrasiir: I call it Functia for now
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:13:48 <lifthrasiir> is the input SVG?
02:14:06 <hppavilion[1]> lifthrasiir: No, the input is JSON
02:14:11 <lifthrasiir> huh.
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:27:54 <hppavilion[1]> 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 <hppavilion[1]> `? d module
04:32:15 <hppavilion[1]> `? d-module
04:33:12 <hppavilion[1]> *sigh*
04:33:24 <HackEgo> D-modules are just modules over the ring of differential operators. Taneb invented them.
04:33:24 <HackEgo> d module? ¯\(°​_o)/¯
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:34 <hppavilion[1]> Here's an idea
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:16:31 <hppavilion[1]> USSR x, y is equivalent to SWP
07:17:30 <hppavilion[1]> (Russian reversal)
07:18:00 <hppavilion[1]> USSR 5, 6 can be read "In Soviet Russia, 5 is 6!!!!"
07:18:23 <zgrep> Heheh.
07:20:09 <hppavilion[1]> zgrep: USB has to be run 3 times before working
07:20:17 <zgrep> Heh.
07:20:55 <zgrep> Argh. My brain doesn't want to let me work on things I need to do, thanks to #ircpuzzles. :(
07:30:32 <hppavilion[1]> zgrep: What other acronyms are there?
07:30:54 <zgrep> EAAOOAIGORN
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:31:52 <zgrep> :D
07:31:56 <hppavilion[1]> >:)
07:32:01 <zgrep> CIA should let you kill any process you want...
07:32:07 <hppavilion[1]> zgrep: Yes, good idea
07:32:35 <hppavilion[1]> zgrep: FDA regulates food and pharmaceuticals
07:32:41 <hppavilion[1]> Wait, that's the actual definition...
07:32:43 <zgrep> Yeah...
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:33:53 <zgrep> :D
07:34:07 <hppavilion[1]> zgrep: I'm going to start writing these down
07:34:18 <hppavilion[1]> "Satiriproc"
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:35:59 <zgrep> s/run/use/
07:36:07 <hppavilion[1]> zgrep: NYSE?
07:36:16 <zgrep> New York Stock Exchange
07:36:30 <hppavilion[1]> Ah
07:36:32 <hppavilion[1]> :)
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:39:19 <hppavilion[1]> zgrep: USD as in US Dollar?
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:33 <lambdabot> Consider it noted.
11:33:44 -!- boily has joined.
11:34:03 <oerjan> speak of.
11:34:29 <oerjan> afternooily
11:34:49 <int-e> the doivyl?
11:35:08 <oerjan> int-e: thx
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 <boily> @massages-loud
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:45:09 <oerjan> shocking
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:12:47 <Taneb> 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 <b_jonas> `? zap
13:16:25 <HackEgo> zap? ¯\(°​_o)/¯
13:16:33 <b_jonas> `? unsafeCoerce
13:16:36 <HackEgo> 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 <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: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 <rdococ> :/
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 <hppavilion[1]> Ashes programming language
18:04:21 <hppavilion[1]> Ashes to Ashes, Rust to Rust
18:06:29 <coppro> rust and ruin!
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:18:49 <lifthrasiir> 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 <hppavilion[1]> 0b1010011010
18:22:58 <myname> 666 iirc
18:23:11 <myname> it was in futurama once
18:23:16 <hppavilion[1]> myname: Dammit xD
18:23:53 <myname> it's easy to remember
18:24:03 <myname> it is kinda mirrored
18:25:12 -!- jaboja has quit (Ping timeout: 276 seconds).
18:28:23 <hppavilion[1]> myname: Not at all
18:28:42 <hppavilion[1]> > "1010011010" == (reverse "1010011010")
18:28:44 <lambdabot> False
18:28:49 <hppavilion[1]> myname: lambdabot doesn't lie
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> with actual type ‘Bool’
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:30:33 <lambdabot> True
18:31:30 <myname> hppavilion[1]: lambdabot doesn't lie
18:32:07 <hppavilion[1]> myname: Whoa.
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:38:44 <hppavilion[1]> For n-tuples, you need to nest
18:38:54 <hppavilion[1]> (a, b, c, d) = (a, (b, (c, d)))
18:39:25 <myname> with tuples you can basically do everything
18:40:19 <hppavilion[1]> myname: Yes.
18:40:22 <hppavilion[1]> myname: And?
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:42:49 <hppavilion[1]> Taneb: Ah, good point
18:42:52 <hppavilion[1]> I assume
18:43:03 <Taneb> It's a point
18:43:08 <Taneb> Don't know if it's a good one or not
18:43:28 <myname> you can emulate them
18:44:54 -!- tromp_ has joined.
18:45:01 <hppavilion[1]> myname: But it grows exponentially
18:45:20 <myname> so what
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:29 <lambda-11235> ρ, ρ, your boat; Gently down the stream; ...
18:49:54 -!- tromp_ has quit (Ping timeout: 276 seconds).
18:50:37 <hppavilion[1]> lambda-11235: I hate you forever.
18:50:53 <lambda-11235> hppavilion[1]: :)
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:51:33 <hppavilion[1]> Functional-Grammar
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:33 <hppavilion[1]> lambda-11235: No, there's only one ρ calculus
18:52:34 <myname> how is S -> PQ different than \s.pq?
18:52:41 <hppavilion[1]> oerjan: Yes, I was thinking about that too
18:52:58 <hppavilion[1]> myname: That is probably monads or something
18:53:03 <oerjan> iirc there's also a gamma calculus inspired by chemistry / biology
18:53:46 <hppavilion[1]> oerjan: Wikipedia has nothing on it
18:54:08 <oerjan> it may have been just in some papers
18:54:20 -!- Phantom_Hoover has joined.
18:54:22 <hppavilion[1]> oerjan: Ah
18:54:27 <hppavilion[1]> oerjan: Is there a socket calculus?
18:54:38 <oerjan> no idea, but pi may be close
18:54:48 <hppavilion[1]> oerjan: That's what I was thinking
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:10 <hppavilion[1]> Ah, yes
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:56:47 <hppavilion[1]> oerjan: Is functional-grammar a workable idea?
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:36 <myname> i don't have any
18:58:54 <hppavilion[1]> myname: Weird. You should visit the BPOI
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:00:12 <hppavilion[1]> s/in that grammar/in that grammar's language/
19:01:01 <myname> huh?
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:06 <hppavilion[1]> myname: Ah. That's useful then
19:02:27 -!- atrapado has joined.
19:03:34 -!- Kaynato has joined.
19:03:35 <hppavilion[1]> myname: I thought a grammar was like a regex...
19:03:42 <hppavilion[1]> myname: You don't usually invert regexes
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:18 <myname> S -> a | b
19:04:25 <myname> so, ypu want to produce a word
19:04:30 <myname> choose: a or b
19:04:41 <myname> whatever you choose, you are finished
19:06:53 -!- mihow has quit (Ping timeout: 248 seconds).
19:06:57 <hppavilion[1]> myname: Yes...
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:07:48 <hppavilion[1]> oerjan: That's exactly what I thought
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:30 <hppavilion[1]> oerjan: Shit.
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:15:49 <hppavilion[1]> oerjan: It's a paradigm I'm attempting to invent
19:16:19 <oerjan> thought so.
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:16:46 <oerjan> good luck.
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:39 <hppavilion[1]> oerjan: Perhaps
19:20:52 <oerjan> (preferably also something non-regular, except i don't know how that works)
19:21:28 <hppavilion[1]> So cat is main ::= {a -> a} I think
19:22:50 <hppavilion[1]> main ::= ".", [EOF], {a -> .a, ""}
19:25:28 <hppavilion[1]> Hm...
19:26:35 <hppavilion[1]> main ::= {Char : "."}, [EOF], {Char=a -> .a}
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:40:00 <impomatic> Oh :-(
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:45:22 <hppavilion[1]> he\\oren\_
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:47:12 <hppavilion[1]> rdococ: Hi
19:47:35 <rdococ> hihi
19:47:38 <rdococ> hi hi hi hi hi
19:48:04 <hppavilion[1]> rdococ: I've decided that there are at least 4 atomic paradigms for programming
19:48:11 <hppavilion[1]> Wait, no, 5
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:13 <hppavilion[1]> Reactive-Grammar
19:49:54 <myname> functional-logic is actually a thing
19:50:11 <myname> what kind of paradigm is grammar?
19:50:26 <hppavilion[1]> myname: Yes, I know about functional-logic
19:50:30 <hppavilion[1]> myname: It's based on formal grammars
19:50:36 <hppavilion[1]> myname: I'm still formulating it
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:51:54 <myname> like, A -> .A
19:52:12 <hppavilion[1]> myname: It is a grammar. That's the point
19:52:22 <hppavilion[1]> myname: That program is supposed to be a cat, but I think I did it wrong
19:52:28 <hppavilion[1]> (.a prints the value in a)
19:52:33 <hppavilion[1]> (. is print)
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:25 <myname> how so
19:53:29 <hppavilion[1]> myname: And it's not a hybrid
19:53:56 <hppavilion[1]> myname: Grammar programming is based on recognizing input strings with side effects in the process
19:54:02 <myname> write a truth machine
19:54:10 <hppavilion[1]> myname: Which is, I suppose, vague enough to describe anything
19:54:11 <hppavilion[1]> OK
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:05:44 <hppavilion[1]> myname: It does
20:06:15 <b_jonas> evening
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:00 <oerjan> `relcome Timzi
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:33 <oerjan> `? HackEgo
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:58 <hppavilion[1]> `unidecode ℕ
21:13:59 <HackEgo> ​[U+2115 DOUBLE-STRUCK CAPITAL N]
21:14:48 <hppavilion[1]> `unicode [U+2115 DOUBLE-STRUCK CAPITAL N]
21:14:54 <HackEgo> U+0000 <control> \ UTF-8: 00 UTF-16BE: 0000 Decimal: &#0; \ . \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0001 <control> \ UTF-8: 01 UTF-16BE: 0001 Decimal: &#1; \ . \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0002 <control> \ UTF-8: 02 UTF-16BE: 0002 Decimal: &#2; \ \ Category: Cc (Other, C
21:15:06 <hppavilion[1]> `unicode ℕ
21:15:11 <HackEgo> U+2115 DOUBLE-STRUCK CAPITAL N \ UTF-8: e2 84 95 UTF-16BE: 2115 Decimal: &#8469; \ ℕ \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ Decomposition: <font> 004E \ \ U+000F <control> \ UTF-8: 0f UTF-16BE: 000f Decimal: &#15; \ \ 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:06:10 <hppavilion[1]> I think I'll make it
22:08:24 <hppavilion[1]> Reactive Esoteric Programming game And Interactive Reparation Simulator
22:08:29 <hppavilion[1]> 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 <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:05 <Vorpal> ah
22:31:12 <ais523> one of the dependencies is broken on Ubuntu
22:31:15 <ais523> and Debian stable
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 <int-e> fungot: yes?
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:10 <ais523> *there is
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:12 <rdococ> yay
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:48:23 <b_jonas> Taneb: wow, you read fast
23:48:29 <b_jonas> three hours only?
23:49:51 <Taneb> I haven't finished the book
23:50:27 <int-e> "lost" is a bit strong
23:50:36 <int-e> how about "spent"
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.
←2016-04-04 2016-04-05 2016-04-06→ ↑2016 ↑all