←2006-08-06 2006-08-07 2006-08-08→ ↑2006 ↑all
00:03:24 <RodgerTheGreat> Turing-complete means that a programming language is capable of simulating a universal turing machine, or in a more general sense performing any computable calculation.
00:04:20 <RodgerTheGreat> BF was formally proven by creating a UTM simulation, and thus any language that can calculate anything BF can is also turing-complete.
00:05:08 <RodgerTheGreat> Turing-Completeness gains it's name from Alan Turing, a mathematician who wrote founding works about computability, and is in effect the father of Computer Science.
00:05:34 <RodgerTheGreat> does my answer meet with your approval, Razor-X?
00:06:48 <RodgerTheGreat> http://en.wikipedia.org/wiki/Alan_Turing
00:07:59 <Razor-X> No it does not :P.
00:08:10 <Razor-X> Because you then follow the link on a Universal Turing Machine, and it's horrible.
00:09:52 <RodgerTheGreat> <:|
00:10:15 <RodgerTheGreat> it's not really any worse than coding in bitwise cyclic tag or the like...
00:15:36 <pikhq> The Universal Turing Machine was proven by Alan Turing to be capable of computing anything that can be expressed algorithmically. It's also the first Turing tarpit.
00:16:35 <RodgerTheGreat> the concept of a "Turing Tarpit" came from attempts to (mathematically) design UTM's that could operate within arbitrary memory or symbol limitations.
00:17:30 <Razor-X> Well...
00:17:34 <Razor-X> WHAT IS IT? :P.
00:17:54 <RodgerTheGreat> it's a theoretical, logical construct. An interpreter, of a kind.
00:18:24 <RodgerTheGreat> turing machines of lore operate with a tape containing symbols, and a read/write head.
00:18:53 <pikhq> The tape is infinite.
00:19:03 <RodgerTheGreat> in response to symbols, the head can perform changes upon symbols, move, or the machine can change modes, altering how it responds to symbols.
00:19:26 <Razor-X> So it's a lot like an FSM and a Datapath?
00:20:01 <RodgerTheGreat> these mappings of symbols to actions are analogous to an algorithm- a program.
00:20:34 <Razor-X> Aha. So it is like an FSM and a Datapath.
00:21:08 <RodgerTheGreat> somewhat
00:40:39 -!- pgimeno has joined.
00:41:07 -!- oerjanj has joined.
00:42:25 -!- oerjanj has quit (Client Quit).
02:51:56 -!- wooby has joined.
03:25:53 * pikhq is currently rather happy. . .
03:26:10 <pikhq> A friend of mine is currently writing a Dimensifuck implementation.
03:26:39 <RodgerTheGreat> what's to be unhappy about, then?
03:26:48 <pikhq> Nothing. :D
03:27:08 <RodgerTheGreat> oh, nvm- I read that as "rather unhappy".
03:27:09 <RodgerTheGreat> lol
03:43:42 <RodgerTheGreat> I'm going to get some sleep. G'night.
03:44:14 -!- RodgerTheGreat has quit.
04:15:58 -!- Arrogant has joined.
04:45:10 -!- calamari has quit ("Leaving").
05:53:05 -!- ChanServ has quit (Shutting Down).
05:53:56 -!- ChanServ has joined.
05:53:56 -!- irc.freenode.net has set channel mode: +o ChanServ.
07:21:28 -!- Razor-X has left (?).
07:21:35 -!- Razor-X has joined.
07:28:15 -!- wooby has quit ("Ex-Chat").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:10:01 -!- Arrogant has quit ("Leaving").
09:38:45 -!- nooga has joined.
09:39:05 <nooga> jeg snakker lit norsk
09:52:13 -!- thematrixeatsyou has joined.
09:52:39 <thematrixeatsyou> hi guys
10:10:56 <nooga> hi
10:11:06 <nooga> where's rune =.=
10:11:41 <thematrixeatsyou> idk
10:13:43 <thematrixeatsyou> Conventional wisdom says Linux is incredibly stable. Always skeptical, we decided to put that claim to the test over a 10-month period. In our test, we ran Caldera Systems OpenLinux, Red Hat Linux, and Windows NT Server 4.0 with Service Pack 3 on duplicate 100MHz Pentium systems with 64MB of memory. Ever since we first booted up our test systems in January, network requests have been sent to each server in parallel for standa
10:13:58 <thematrixeatsyou> - Steven J. Vaughan-Nichols' test
10:14:37 <nooga> bleh
10:14:44 <nooga> caldera and rad het
10:16:15 <thematrixeatsyou> rad het? thats a massive typo
10:16:23 <thematrixeatsyou> not as bad as:
10:17:56 <thematrixeatsyou> "Aoccdrnig to a rscheearch at an Elingsh uinervtisy, it deosn't mttaer in waht oredr the ltteers in a wrod are, the olny iprmoetnt tihng is taht frist and lsat ltteer is at the rghit pclae. The rset can be a toatl mses and you can sitll raed it wouthit porbelm. Tihs is bcuseae we do not raed ervey lteter by itslef but the wrod as a wlohe."
10:18:36 <nooga> it depends
10:18:54 <nooga> i knew ppl who were reading by letter
10:19:21 <nooga> i read something about 3 words at once ;d
10:23:08 <Razor-X> Nah. It's a similar process in more complex scripts.
10:23:20 <Razor-X> You just try and hold the ``shape'' of the word in your head.
10:24:52 <nooga> they experiment on kids
10:24:58 <thematrixeatsyou> ciao, ..zzZZ time
10:25:07 <nooga> and learn them whole words as symbols first
10:25:28 <Razor-X> The fastest way to read a script is to read it as a word or a letter group instead of symbol-by-symbol.
10:25:34 <nooga> theese kids in kindergarden can read faster than adults
10:26:02 <Razor-X> A lot of adults can't read at all.
10:26:03 <nooga> and then they learn letters to decipher unknown words
10:26:18 <Razor-X> The more you read, the more you hone your ability to read faster.
10:26:18 -!- thematrixeatsyou has quit ("Cmoe on ebdoveryy, it's hlaf psat nnie o'colck in the envenig!").
10:26:42 <Razor-X> Most adults read the newspaper, do their bills, et voila. That's their excursion with words done for life.
10:27:18 <nooga> i'm recognize words as symbols and i can read 3-4 at once there's no difference if it's Polish or English
10:27:39 <Razor-X> I recognize words and letter-groups as symbols too.
10:27:51 <Razor-X> It's fascinating to see if you're learning a whole new script, like Japanese.
10:28:07 <nooga> well
10:28:16 <nooga> i tried
10:28:37 <Razor-X> I still read more-or-less character-by-character, but I've been doing it for long enough to have already made some mental word assosciations.
10:29:01 <nooga> i don't get their scripts
10:29:13 <Razor-X> What don't you get?
10:29:23 <Razor-X> It's harder in Japanese because each script is used in different ways, so you develop different assosciations for different scripts.
10:29:49 <nooga> i guess i'm too lazy even to discover that
10:29:49 <Razor-X> After long enough, most people begin to like Kanji. I do for sure.
10:29:56 <Razor-X> Heh.
11:18:39 <nooga> duh
11:18:56 <nooga> goin' to play HL2:EO
11:20:14 -!- nooga has quit.
14:31:26 <pikhq> I read every waking hour of my life. . .
14:31:51 * pikhq reads word-by-word by now. . .
14:32:35 <GregorR> I read C, C++, D, PHP, Perl, Python, JavaScript, etc block-by-block.
14:32:43 <GregorR> But I read English letter-by-letter.
14:33:48 <pikhq> I read Tcl in roughly the same way it's parsed by tclsh.
14:34:20 <GregorR> That's probably fairly bad :-P
14:34:40 <GregorR> Unless your tokenization is more heady.
14:35:22 <pikhq> puts [set foo [lappend {What?} [set bar "It's not that bad!"]]]
15:35:42 -!- kipple has joined.
16:03:08 -!- RodgerTheGreat has joined.
16:03:32 <RodgerTheGreat> good morning.
16:03:47 <pikhq> Morning.
16:05:51 -!- GregorR-W has joined.
16:06:24 <RodgerTheGreat> hello, GregorR-W.
16:06:31 <GregorR-W> 'lo
16:10:19 <kipple> evenin'
16:11:52 <RodgerTheGreat> I'm examining "mechanique". It has a pretty unique model in some respects.
16:15:31 <RodgerTheGreat> hm. The simplicity of the model is perfect for text adventures, but would make conventional computation clumsy. With a few modifications and extensions, it could be a simple, useful language.
16:41:09 -!- CXI has quit ("If you're reading this, it's probably xchat's fault.").
17:10:44 -!- CXI has joined.
17:13:50 -!- ihope has joined.
17:14:26 <ihope> So Alice has qubits X and Y, and Bob has qubit Z, and we know that |YZ> = (|00> + |11>)/sqrt 2.
17:14:49 <fizzie> Mallory, a malicious adversary.
17:15:29 <ihope> Alice performs CNOT with X as control and Y as target, then performs Hadamard on X.
17:15:47 <ihope> She then measures X and Y, and sends the results to Bob, who does something.
17:34:35 <ihope> Anyway, the only thing actually sent between Alice and Bob is two classical bits, and I don't think Mallory can construct a qubit with those.
17:34:54 <ihope> Maybe the two bits are completely random, making them completely useless to Mallory.
17:36:43 <ihope> If quantum teleportation is secure like this, then surely this one quantum cryptography thing is useless...
17:37:24 <ihope> Quantum teleportation sends qubits by sending bits, and quantum cryptography sends bits by sending qubits and other bits.
18:25:47 -!- smokecfh has joined.
18:28:35 -!- CXI has quit ("If you're reading this, it's probably xchat's fault.").
18:29:04 -!- kipple has quit (Read error: 104 (Connection reset by peer)).
18:29:43 -!- kipple has joined.
18:30:58 <kipple> !help
18:31:31 <kipple> hmm. isn't that how you get EgoBot to list his languages?
18:31:44 <pikhq> !help
18:31:49 <pikhq> EgoBot must have died again.
18:34:31 <GregorR-W> Piffle
18:35:43 <ihope> Piffle?
18:35:50 <RodgerTheGreat> Piffle indeed.
18:36:04 -!- EgoBot has quit (Read error: 104 (Connection reset by peer)).
18:36:16 <GregorR> Weird, it just stopped getting any input ...
18:36:49 -!- EgoBot has joined.
18:36:56 <RodgerTheGreat> !help
18:36:59 <EgoBot> help ps kill i eof flush show ls bf_txtgen usertrig daemon undaemon
18:37:02 <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
18:37:07 <RodgerTheGreat> there we go.
18:45:23 <pikhq> EgoBot isn't very robust, is it?
18:45:43 <RodgerTheGreat> ooh.
18:45:59 * RodgerTheGreat hides from the ensuing retaliation
18:46:02 <GregorR-W> pikhq: Not even slightly :P
19:31:48 -!- CXI has joined.
20:44:28 -!- Keymaker has joined.
21:35:12 -!- Keymaker has left (?).
21:55:22 <pikhq> And Dimensifuck is now implemented.
21:56:57 <Razor-X> 黄薔薇革命!!!
21:57:02 <Razor-X> Errr, wrong channel.
22:13:03 -!- smokecfh has quit (Remote closed the connection).
22:25:37 <RodgerTheGreat> pikhq: nice!
22:54:45 <Razor-X> !ecin :qhkip
22:54:49 <EgoBot> Huh?
22:54:53 <Razor-X> ?huH
22:55:42 -!- ma82 has joined.
23:00:45 <RodgerTheGreat> ...yadot sdrawkcab tib a eb ot sraeppa ehS
23:00:55 <RodgerTheGreat> ...rE
23:01:00 <Razor-X> etiuQ
23:01:17 <RodgerTheGreat> .oot eM .toohs ,hA
23:01:56 <RodgerTheGreat> \:
23:02:23 <GregorR-W> I have a firey, burning hatred for both of you.
23:02:37 <RodgerTheGreat> (:
23:02:42 <fizzie> Is that not "fiery"?
23:02:52 <GregorR-W> fizzie: I think you're right :P
23:03:29 <Razor-X> Estas tre bona, ĉu ne?
23:03:58 * RodgerTheGreat "yerif" etalpmetnoc ot sredduhs
23:06:17 <ihope> Razor-X: I got the first half of that...
23:06:59 <Razor-X> 素晴しそう!
23:08:02 <RodgerTheGreat> bbl- dinner. I'm havin' catfish!
23:08:24 <ihope> I got the last character of that.
23:25:19 <pikhq> http://chztek.no-ip.com/hosted.php?dir=dimensifuck%2F The current Dimensifuck implementation.
23:30:35 * GregorR fails to make it work.
23:31:32 <ihope> You FAIL.
23:33:40 <pikhq> It works. Barely.
23:33:49 * pikhq is currently trying to fix some bugs
23:33:54 <GregorR> Does the included .dim program make any output?
23:33:59 <pikhq> GregorR-W: You need to install numarray. . .
23:34:04 <GregorR> I have.
23:34:07 <pikhq> The included .dim program is borken.
23:34:10 <GregorR> OK, I'm not a complete idiot, yeesh.
23:34:22 <GregorR> GEE, IT SAID UNABLE TO FIND MODULE NUMARRAY, WHATEVER SHALL I DO?!
23:34:52 <pikhq> http://nickv111.is-a-geek.com/~pikhq/Madness.dim
23:34:56 <pikhq> There. Fixed.
23:37:10 <GregorR-W> Can't connect.
23:37:18 <GregorR-W> (pikhq has *.intel.com blocked :P )
23:37:25 <pikhq> http://nickv111.is-a-geek.com:8080/~pikhq/Madness.dim
23:37:29 <pikhq> Sorry.
23:37:48 <GregorR-W> Still no output.
23:38:19 <GregorR-W> Oh wait.
23:38:21 <GregorR-W> I see.
23:38:38 <GregorR-W> OK, back to woyk.
23:52:48 -!- ma82 has left (?).
←2006-08-06 2006-08-07 2006-08-08→ ↑2006 ↑all