00:24:40 <ihope_> Can anyone else edit the Wiki?
00:25:36 -!- Razor-X has left (?).
00:25:41 -!- Razor-X has joined.
00:25:48 -!- ihope_ has changed nick to ihope.
01:21:08 -!- GregorR-W has quit ("Chatzilla 0.9.73 [Firefox 1.5.0.2/0000000000]").
01:27:43 -!- pikhq has changed nick to pikh1.
01:27:49 -!- pikh1 has changed nick to pikhq.
02:30:48 -!- Razor-X has quit (Read error: 110 (Connection timed out)).
02:30:50 -!- Razor-X` has joined.
03:33:49 -!- Razor-X` has changed nick to Razor-X.
05:08:22 -!- Arrogant has joined.
06:24:52 -!- Arrogant has quit ("Leaving").
07:14:38 -!- Arrogant has joined.
07:33:04 -!- RodgerTheGreat has joined.
07:35:50 <Razor-X> In what sense do you mean ``up'' ? ``up'' is a sensation created by gravity.
07:35:59 <Razor-X> If you mean in relation to Earth's gravity, the ceiling.
07:36:32 <RodgerTheGreat> I was using a colloquialism to inquire as to the current topic of discussion.
07:36:57 <Razor-X> Well, as I hope you can see, the current topic of discussion is `` ......... '' .
07:36:59 <Arrogant> I think Razor-X was proclaiming himself to be a ghost
07:37:09 <Razor-X> I hope you have some nice comments to add to the discussion.
07:37:15 <Arrogant> You know I am going to forget that every time
07:37:28 <Razor-X> It's FreeNode, it's alright.
07:41:26 <Arrogant> So do either of you write esoteric languages, or do you write IN esoteric languages?
07:41:57 <RodgerTheGreat> a little of both. I find them interesting and educational, and I've taken a stab at making one of my own.
07:42:44 <Razor-X> I haven't gotten a good idea for an Esolang meself.
07:42:57 <Razor-X> I write in Esolangs, and if an idea strikes me I patch Glass.
07:43:13 <RodgerTheGreat> my language was register-based. It was essentially a VM in which all instructions had to do with moving values between registers and adding registers together to perform operations.
07:43:26 <Razor-X> Have you seen the MOVE operations?
07:43:47 <Razor-X> I had an idea for an OISC processor, but the pipeline was the difficulty.
07:44:19 <Arrogant> I've written two languages based on stack operations and scope manipulation
07:44:25 <Razor-X> I saw a paper on an experimental Sun pipeline that looked interesting, but I need more Verilog examples to write something sufficient.
07:44:39 <Razor-X> RodgerTheGreat: Make one on an FPGA.
07:45:25 <Arrogant> http://www.iolanguage.com/paste/p/b5501b9d5.html
07:45:38 <RodgerTheGreat> I'm pretty interested in the C-one platform- it has two FPGA's in addition to a conventional CPU.
07:45:42 <Arrogant> You could implement object-orientation and a couple other things in it if you wanted to
07:45:49 <Arrogant> But I broke the interpreter I wrote :}
07:46:09 <Razor-X> I can understand the theory of the processor, but I need a few more Verilog examples before I can comfortably code a Verilog processor.
07:46:31 <Razor-X> If you want I can try and cobble a MOVE processor.
07:46:44 <Arrogant> RodgerTheGreat, started as a BF superset and evolved to a completely different thing
07:47:37 <RodgerTheGreat> I think DoubleF*ck is one of the most interesting BF variants I've seen.
07:48:03 <Razor-X> BF is the best it gets, IMO.
07:48:29 <Razor-X> BF is really a work of art. You can obfuscate it into the next dimension-and-a-half, but BF is art in and of itself.
07:48:58 <Razor-X> And EQBF (Extended Quantum BrainFsck) based on a discussion about Quantum-completeness.
07:49:22 <Razor-X> Apply a Hadamard gate on the qubit, or apply a Controlled-V gate on two qubits.
07:49:31 <Arrogant> http://www.iolanguage.com/paste/p/b9086aaa7.html
07:50:11 <Razor-X> Then you have > and < (forward and backward a qubit) and the loop constructors. By default qubits are 1, and loops terminate only if the qubit is 0.
07:51:05 <RodgerTheGreat> sounds a bit more like a turing machine than conventional BF.
07:51:24 <Razor-X> There's nothing Turing-like about a Hadamard gate :P.
07:53:26 <RodgerTheGreat> I've found that now that I know BF, writing an interpreter seems to be the first thing I attempt with any new language I learn.
07:54:42 <RodgerTheGreat> it frightens me a little that whenever I think about cryptography, it's in terms of BF.
07:54:58 <Razor-X> I need to write a BF interpreter in INTERCAL still.
07:55:32 <Razor-X> I've just been lazy is why I haven't done it.
07:55:47 <Razor-X> But I got the theory done, because I got it to detect `+'.
07:57:38 <Razor-X> There are very few languages as beautiful as BF.
07:57:47 -!- asiekierka has joined.
07:57:49 <RodgerTheGreat> since the cryptanalysis of malbolge and creation of a few nontrivial programs, I've toyed with the idea of a BF interpreter. I'm not sure how I'd go about synthesizing math, though.
07:57:52 <Razor-X> Glass is debatably better.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:00:30 <Razor-X> BF is an excellent exercise into programming for complete newcomers to programming, IMO.
08:01:15 <Arrogant> Especially if you want to scare them away.
08:01:29 <Razor-X> You're telling me C is easier?
08:01:58 <RodgerTheGreat> I think it does a good job of getting people to think about what the computer really has to do to preform mathematical operations.
08:02:30 <Razor-X> Many people who first start programming, especially those with HTML (ugggh) experience, expect some sort of GUI-cum-markup-language.
08:03:00 <RodgerTheGreat> it might be a bit traumatic for newbies, but I think after a bit of BASIC or the like, it'd be a great second language.
08:03:27 <RodgerTheGreat> It would be interesting to see how starting with BF affected people's learning experiences.
08:03:56 <asiekierka> RodgerTheGreat joined MakeASystemLikeWindoze team!
08:04:18 <Razor-X> What is MASLW's syntax even based on?
08:04:37 <asiekierka> i can send you LATEST architecture....
08:05:02 <Razor-X> But... what architecture is built using Pascal?
08:05:23 <Razor-X> What architecture... is built using a non-HDL language?
08:08:41 <RodgerTheGreat> what kinda localtimes do you people have? I'm battling insomnia here at 3am.
08:11:26 <RodgerTheGreat> I'd assume razor's is in the 5-9pm range if she's eating dinner.
08:17:51 <RodgerTheGreat> it occurs to me that I haven't properly introduced myself. I am RodgerTheGreat- pixel artist, Java coder, mac user and esoteric programming enthusiast. I can usually be found hanging out in the #Shadowarts think-tank.
08:19:29 <RodgerTheGreat> my website, incidentally, is at http://rodger.shadowarts.org
08:26:23 <asiekierka> created by 9-year old kid which dreams about own OS.
08:47:59 -!- thematrixeatsyou has joined.
09:08:45 -!- RodgerTheGreat has quit (Read error: 110 (Connection timed out)).
09:14:35 <Arrogant> I cannot wait to get my raptor bandito t-shirts
09:20:34 -!- asiekierka has quit ("Yourbot IRC Bot 4.5> You can get this bot at http://www.ybbot.com/.").
09:27:18 <Razor-X> I don't know the ops here, nor do I really care.
09:27:50 <Razor-X> If someone wants to op me, they'll magically drop +o over my head.
09:32:27 <fizzie> freenode doesn't seem to be very big on regular +o's either, what with that ChanServ thing sitting there.
09:58:16 -!- thematrixeatsyou has quit ("please porige hot or cold please porige hot is a pile of crap").
10:02:26 -!- asiekierka has joined.
10:37:24 -!- Arrogant has quit ("Leaving").
10:37:38 -!- Arrogant has joined.
10:38:19 -!- Arrogant has quit (Client Quit).
10:55:29 -!- bsmntbombdood has quit ("all your basment are belong to bsmntbombdood").
11:42:05 -!- asiekierka has quit ("Yourbot IRC Bot 4.5> You can get this bot at http://www.ybbot.com/.").
13:03:33 -!- Keymaker has joined.
13:04:39 <Keymaker> (referring to logs) yeah, brainfuck is definitely more than just an esolang. it's a perfect programming language in my opinion
13:09:34 <Keymaker> and great, i've forgot what my current bf program was..
14:52:01 <ihope> There's no "plain imperative language", eh?
14:52:27 <ihope> I mean, lambda calculus is a "plain functional language", so why no "plain imperative language"?
15:14:32 <Keymaker> any progress on the competition?
15:27:19 <Razor-X> We need more committee members.
15:29:22 <ihope> The first competition in the world where more people wanted to be in the competition than on the committee.
15:59:20 -!- kipple has joined.
16:06:52 -!- GregorR-W has joined.
16:21:51 <Keymaker> finally got around re-writing it (and making it actually work properly :D): http://koti.mbnet.fi/yiap/thue/kquine.t
16:22:55 <Keymaker> should that print something egobot help?
16:29:05 -!- EgoBot has joined.
16:29:10 <ihope> No vuelvan a rotarlo... something like that.
16:29:51 <EgoBot> help ps kill i eof flush show ls bf_txtgen usertrig daemon undaemon
16:29:53 <EgoBot> 1l 2l adjust axo bch bf{8,[16],32,64} funge93 fyb fybs glass glypho kipple lambda lazyk linguine malbolge pbrain qbf rail rhotor sadol sceql trigger udage01 unlambda whirl
16:30:42 <Keymaker> damn, it doesn't have a thue interpreter :}
16:38:34 -!- asiekierka has joined.
17:41:00 <lament> thue is kinda useless for irc
17:41:11 <lament> can't write smart one-liners in it
17:41:19 <ihope> Oh yeah, it'd have to be 3.
17:41:28 <ihope> So f(x) = 3^x mod 4.
17:45:56 <ihope> |0000> -> |0001>; |0100> -> |0111>; |1000> -> |1001>; |1100> -> |1111>. That means that we start with "%>%>>%!!%<<&%!!%&<", I think.
17:46:18 <ihope> !qbf %>%>>%!!%<<&%!!%&<.>.>.>.
17:46:21 <EgoBot> Traceback (most recent call last):
17:46:47 <lament> attock, I wonder how fast it digs...
17:46:48 <lament> 09:28 <lament> ruskie: fucking heavy though
17:46:48 <lament> 09:29 <lament> ruskie: did you ascend?
17:46:48 <lament> 09:29 <ruskie> lament, yest yup
17:47:03 <lament> i have no idea why that was in my paste buffer
17:47:06 <ihope> !qbf %>%>>%!!%<<&%!!%&<.>.>.>.
17:47:09 <EgoBot> Traceback (most recent call last):
17:47:10 <lament> i also had no idea that a right-click pastes
17:47:16 <lament> !qbf %>%>>%!!%<<&%!!%&<.>.>.>.
17:47:19 <EgoBot> Traceback (most recent call last):
17:47:53 <lament> ihope: you can't use ! before "creating" the next qubit by doing ><
17:47:59 <lament> unless it's already created
17:48:19 <ihope> !qbf %>%>>%><!!%<<&%!!%&<.>.>.>.
17:48:31 <lament> !qbf %>%>>%><!!%<<&%!!%&<.>.>.>.
17:48:59 <ihope> It should output 0001, 0111, 1001, or 1111.
17:49:17 <lament> !qbf %>%>>%><!!%<<&%!!%&<.>.>.>.
17:49:21 <lament> !qbf %>%>>%><!!%<<&%!!%&<.>.>.>.
17:49:22 <lament> !qbf %>%>>%><!!%<<&%!!%&<.>.>.>.
17:49:22 <lament> !qbf %>%>>%><!!%<<&%!!%&<.>.>.>.
17:49:51 <ihope> Apparently it's outputting 0010, 1010, 1100, or... something else?
17:49:56 <ihope> !qbf %>%>>%><!!%<<&%!!%&<.>.>.>.
17:49:57 <lament> the lats digit is always 0
17:50:04 <lament> the last digit is always 1 in your description
17:51:05 <ihope> It's ABCD, where A and B are random, C is B, and D is 1.
17:51:37 <ihope> Oh, right, they were initialized to 1.
17:58:23 <ihope> Well, so that's solving for r in a^r mod N = 1. Is that a discrete logarithm?
18:01:58 -!- RodgerTheGreat has joined.
18:02:16 -!- RodgerTheGreat has left (?).
18:22:49 -!- kipple has quit (Read error: 110 (Connection timed out)).
18:26:40 -!- ihope_ has joined.
18:29:51 -!- Keymaker has left (?).
18:44:28 -!- ihope has quit (Read error: 110 (Connection timed out)).
19:19:40 -!- kipple has joined.
19:24:43 <GregorR-W> Must ... kill ... people in cube next to mine ...
19:25:14 <pikhq> Poor guy. . . Intel's cube farm is where you reside. . .
19:25:47 * pikhq gives you a blast furnace powered by a couple of P4s
19:25:54 <lament> GregorR-W: tell them to stop having sex at work
19:26:30 <GregorR-W> pikhq: I don't want their death to be that quick.
19:26:44 <pikhq> The blast furnace is for heating up the branding irons.
19:26:56 <GregorR-W> I don't want to melt the branding irons :P
19:27:18 <pikhq> The chips are underclocked.
19:30:17 <pikhq> If you need to melt stuff, just hit the button labeled "Pi".
19:30:31 <pikhq> Starts a few threads calculating Pi. ;)
19:31:32 <GregorR-W> I hope this is all contained in depleted uranium 8-X
20:00:17 -!- asiekierka has quit ("Yourbot IRC Bot 4.5> You can get this bot at http://www.ybbot.com/.").
20:57:03 <GregorR-W> They're just idiots who talk incredibly loud about the stupidest subjects.
20:57:22 <GregorR-W> It's like being next to the girl's bathroom in a middle school.
21:18:50 -!- RodgerTheGreat has joined.
21:31:42 <lament> GregorR-W: i'm sure you know ALL about that.
21:40:39 <ihope_> RodgerTheGreat: you know that if you mention a language idea in here, I'll steal it and make it into my own language, right? ;-)
21:41:34 <RodgerTheGreat> here, let me show you something I just put together...
21:41:39 -!- BrainMachine has joined.
21:41:54 <GregorR-W> !glass {M[m(_o)O!"I'm better than BrainMachine."(_o)o.?]}
21:41:57 <EgoBot> I'm better than BrainMachine.
21:42:28 <RodgerTheGreat> well, your semantics may be more complex, but I can do multiline I/O
21:42:36 <pikhq> !daemon cat +[,.>+]
21:42:41 <pikhq> !daemon cat bf +[,.>+]
21:42:47 <GregorR-W> RodgerTheGreat: I can do multiline I/O
21:43:02 <RodgerTheGreat> the brainmachine properly handles newlines, and has an execution cutoff to halt after a specific number of cycles.
21:43:04 <ihope_> pikhq: why move right, instead of zeroing?
21:43:13 <pikhq> ihope_: In hopes of crashing it. :p
21:43:13 <EgoBot> 1 pikhq: daemon cat bf
21:43:24 <GregorR-W> RodgerTheGreat: EgoBot used to have a cutoff, I removed it when I added daemons :P
21:43:27 <pikhq> !in 1 This/n is/nmulti-line/ninput.
21:43:39 <pikhq> !i 1 This/n is/nmulti-line/ninput.
21:43:56 <pikhq> !i 1 This\n is\nmulti-line\ninput.\n
21:44:00 <EgoBot> This/n is/nmulti-line/ninput.This
21:44:18 <GregorR-W> (It didn't screw up, it just didn't flood)
21:44:37 <pikhq> !i 1 This is going straight to my private messages.\n
21:44:42 <EgoBot> This is going straight to my private messages.
21:44:42 <RodgerTheGreat> well, I didn't mean for my bot to be groundbreaking- I just thought it would be a fun way to code a frontend for my interpreter.
21:44:58 <pikhq> Call me up when you right it in Brainfuck.
21:45:08 <lament> RodgerTheGreat: you still haven't shown how it works.
21:45:53 <lament> BrainMachine: do some brainfuck
21:46:28 <RodgerTheGreat> if I specified a string afterwards, I could set a new program.
21:46:40 <pikhq> bfprog [<]++++++++++.
21:49:24 <lament> bfprog +++++++++++++++++++++++++++++++++++++++++++++++.
21:49:26 <RodgerTheGreat> not exactly nice, but this is why I set a cutoff in the first place.
21:49:33 <lament> bfprog +++++++++++++++++++++++++++++++++++++++++++++++[.]
21:49:36 <BrainMachine> ////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
21:49:38 <pikhq> Now, to compare with EgoBot.
21:49:53 <pikhq> !bf +++++++++++++++++++++++++++++++++++++++++++++++[.]
21:50:30 <pikhq> It will never quit.
21:50:36 <EgoBot> /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
21:50:55 <pikhq> It sent the other half to me. Why does it do that?!?
21:51:02 <pikhq> GregorR-W: I think your IRC handling code is broken.
21:51:14 <GregorR-W> That's not broken, it's called anti-flooding.
21:51:50 <RodgerTheGreat> I'm working on adding more languages to BrainMachine- I'll probably do mostly BF variants with it.
21:52:22 <RodgerTheGreat> as soon as I learn threads in Java, I'll take a crack at doing a daemon system like egobot has- quite an elegant solution.
21:52:48 <pikhq> GregorR-W: Then why does it send stuff to me, instead of just not sending everything?
21:52:59 <pikhq> RodgerTheGreat: Only if it's under a FSF-approved license.
21:53:09 <GregorR-W> pikhq: I don't care about flooding people, only flooding the chan :P
21:53:10 <pikhq> !cat Non-free software is bad for you.
21:53:14 <EgoBot> Non-free software is bad for you.
21:53:22 <GregorR-W> RodgerTheGreat: I was mildly interested right up until you said "Java"
21:53:30 <RodgerTheGreat> my source is under no license. I don't care what anyone does with it.
21:53:43 <GregorR-W> RodgerTheGreat: No license == nobody can do anything with it.
21:53:43 <pikhq> RodgerTheGreat: So, it's under the public domain?
21:54:06 <pikhq> Public domain == no copyright.
21:54:43 <pikhq> RodgerTheGreat: Then declare it to be under the public domain specifically. Otherwise, it will be interpreted as being under full copyright protection.
21:54:55 <pikhq> Which, of course, means that I can't do a damned thing to it.
21:59:14 <RodgerTheGreat> here's the IRC bot wrapper code: http://www.rafb.net./paste/results/AjlL8x14.html
21:59:24 <RodgerTheGreat> and this is the interpreter: http://www.rafb.net./paste/results/aA39oq19.html
22:00:46 <RodgerTheGreat> as you can see, I decided to go with the pretty much standard 30,000 cell model, 0-255 per cell.
22:01:16 <lament> what lanugage is that?
22:02:00 <lament> not esoteric enough :)
22:02:21 <RodgerTheGreat> I suppose if I coded it in LISP it would be acceptable...
22:02:47 <pikhq> Not until there is an esoteric Lisp.
22:04:13 <RodgerTheGreat> LISP itself is a pretty funky language, though. Have you ever played with it?
22:04:37 -!- bsmntbombdood has joined.
22:05:01 <RodgerTheGreat> I would honestly try coding this bot in BF if someone gave me a BF interpreter with network support.
22:05:21 <RodgerTheGreat> (piping standard I/o through netcat is NOT network support)
22:05:50 <ihope_> Why isn't it network support, eh?
22:06:33 <RodgerTheGreat> is there an interpreter for 1337 that really handles sockets? Last time I checked the reference interpreter left those out.
22:12:14 <EgoBot> help ps kill i eof flush show ls bf_txtgen usertrig daemon undaemon
22:12:16 <EgoBot> 1l 2l adjust axo bch bf{8,[16],32,64} funge93 fyb fybs glass glypho kipple lambda lazyk linguine malbolge pbrain qbf rail rhotor sadol sceql trigger udage01 unlambda whirl
22:12:29 <pikhq> We need a l33t implementation for EgoBot. :p
22:13:43 <GregorR-W> The core is C++, it can use an interpreter in any sane language.
22:14:42 <pikhq> !bf 7+ 3[ 2, 1. 7+ 4] 3[ A Brainfuck/l33t polyglot. 4]
22:14:57 <ihope_> Is Haskell considered sane?
22:15:11 <GregorR-W> ihope_: What's the compiler called? `which` will tell me whether it's sane :P
22:16:08 <pikhq> Argh. Mine is t3h borken. Whee.
22:17:23 <RodgerTheGreat> well, a 1337 interpreter sounds like it would be a useful addition, especially if it supported both self-modification and sockets.
22:18:25 <GregorR-W> No f***ing way I'm adding something to EgoBot with socket support.
22:19:01 <GregorR-W> All languages supported are capable of no I/O other than stdin/stdout.
22:19:31 <RodgerTheGreat> that neuters a great number of interesting capabilities.
22:21:19 <RodgerTheGreat> there's something attractive about a bot that you could conceivably use to write other bots...
22:21:45 <RodgerTheGreat> kinda like bootstrapping... I dub this concept "Botstrapping".
22:29:31 <GregorR-W> The problem with such bots: You can program them to help you DDoS.
22:29:37 <GregorR-W> And that's the least of your worries.
22:29:53 <RodgerTheGreat> well, naturally- this is 1337 we're talking about, here...
22:30:00 <pikhq> !cat This\nbot\nis\ngoing\nto\help
22:30:23 <pikhq> !daemon cat +[,.+]
22:30:27 <pikhq> !cat This\nbot\nis\ngoing\nto\help
22:30:36 <pikhq> !daemon cat bf+[,.+]
22:30:40 <pikhq> !daemon cat bf+[,.+]
22:30:43 <pikhq> !cat This\nbot\nis\ngoing\nto\help
22:31:03 * pikhq needs to discover this "brain" thing
22:35:20 <pikhq> !daemon remote bf +[,.+]
22:35:26 <pikhq> !remote This is *my* remote.
22:41:11 * pikhq got so bored that he wrote "99 bottles of beer" without a single while loop. . .
22:41:39 <pikhq> Wait. This is #esoteric.
22:41:52 <pikhq> Shit; I should have coded in an esoteric language instead.
22:42:05 <pikhq> Did it with a simple recursive algorithm.
22:42:19 <RodgerTheGreat> if you coded it in SMITH, I don't think you would've needed a loop in the first place.
22:45:01 <RodgerTheGreat> I made an attempt at making a "BF-controlled tank combat game" once- it was called "BotF*ck"
22:45:13 <GregorR-W> pikhq: Stack overthrow bottles on the wall, stack overflow bottles of beer ...
22:45:38 <pikhq> GregorR-W: It's only 99 calls. Tcl takes quite a bit more to overflow.
22:46:00 <RodgerTheGreat> .. take one down, pass it around, illegal exception of beer on the wall...
22:46:36 <pikhq> Meh. If I did it in Lisp, then I wouldn't have to worry.
22:47:35 <pikhq> Hell, maybe Tcl does that.
22:51:15 <pikhq> No, Tcl doesn't. :/
22:52:32 <pikhq> It ends up using the C stack. :/
22:53:47 <RodgerTheGreat> this is a pretty cool BF compiler I found a while ago: http://www.pouet.net/prod.php?which=5060
22:56:04 <RodgerTheGreat> it's kinda too bad it isn't an optimizing compiler, though- pretty much dooms it to being a curiosity rather than a powerful tool.
23:06:28 <pikhq> Mmm. Found a Tcl package which allows for, among other things, tail call optimisation.
23:29:08 -!- kipple has quit (Read error: 110 (Connection timed out)).
23:38:49 -!- AndrewNP has joined.
23:49:26 <AndrewNP> Hi guys. Um, I was out the past couple days and... I'm too lazy to review the logs. What's been up?
23:50:08 <lament> a bunch of people were killed
23:51:40 <AndrewNP> How unfortunate. So who inherits the wiki?
23:54:23 <AndrewNP> On the plus side, this probably reduces the pressure on you to finish implementing QBF. No one left to impress. ;)
23:54:58 <AndrewNP> Or... very few, anyway. How many survivors *are* there?
23:55:13 <EgoBot> |00> 0.00 |10> 0.00 |01> 1.00 |11> 0.00
23:55:53 <AndrewNP> Oh. Holy crap. Good for you! :)
23:56:17 <GregorR-W> And I made EQBF (a perhaps quantum-complete variant), but everybody hates it.
23:56:55 <lament> that's just cause we hate you
23:57:03 <AndrewNP> Eh, I think I saw some paper saying that ihope's QBF is complete -- though I don't know how one would prove it.
23:57:32 <GregorR-W> AndrewNP: It can't be used to produce any quantum state.
23:57:40 <GregorR-W> It's certainly Turing-complete, but it's not quantum-complete.
23:58:28 <AndrewNP> I know what I mean. I was looking up the "controlled-V," and I found some citation saying that and Hadamard are a q-complete set.
23:59:39 <lament> AndrewNP: But you cannot produce any quantum state using them
23:59:57 <lament> AndrewNP: perhaps i misunderstand what 'quantum-complete' means.