←2007-02-09 2007-02-10 2007-02-11→ ↑2007 ↑all
00:05:25 -!- ihope_ has joined.
00:14:09 -!- ShadowHntr has joined.
00:20:25 -!- Sgeo has joined.
00:23:21 -!- ihope has quit (Read error: 110 (Connection timed out)).
01:24:28 -!- oerjan has quit ("leaving").
01:26:27 -!- ihope_ has quit (Read error: 54 (Connection reset by peer)).
01:31:15 -!- sebbu2 has joined.
01:47:20 -!- oklofok has quit (Connection timed out).
01:50:09 -!- sebbu has quit (Read error: 110 (Connection timed out)).
01:56:35 -!- sebbu2 has quit (Client Quit).
02:04:19 -!- oklopol has joined.
02:28:49 -!- oklofok has joined.
02:29:06 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
02:29:46 -!- kxspxr has quit.
03:05:27 -!- oklofok has quit (Read error: 104 (Connection reset by peer)).
03:05:40 -!- oklopol has joined.
03:28:49 * SimonRC goes to bed
03:49:48 -!- oklopol has quit (Read error: 110 (Connection timed out)).
03:50:46 -!- oklopol has joined.
04:36:53 -!- SevenInchBread has joined.
04:47:03 -!- crathman has joined.
05:29:44 <Sgeo> G'night all
05:44:36 -!- oklofok has joined.
05:44:48 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
06:03:49 -!- oklofok has quit (Read error: 110 (Connection timed out)).
06:13:24 -!- Sgeo has quit ("Leaving").
06:22:54 -!- oklopol has joined.
06:51:19 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
06:51:34 -!- oklofok has joined.
07:10:37 -!- ShadowHntr has quit ("End of line.").
07:16:25 -!- RodgerTheGreat has quit (Remote closed the connection).
07:17:08 -!- RodgerTheGreat has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:06:12 -!- RodgerTheGreat has quit.
08:25:11 -!- oklopol has joined.
08:25:45 -!- oklofok has quit (Read error: 104 (Connection reset by peer)).
09:21:22 -!- nazgjunk has joined.
10:01:48 -!- RodgerTheGreat has joined.
10:02:47 -!- RodgerTheGreat_ has joined.
10:06:11 -!- sebbu has joined.
10:20:03 -!- RodgerTheGreat has quit (Read error: 110 (Connection timed out)).
10:20:47 -!- jix__ has joined.
10:58:06 -!- sebbu2 has joined.
11:06:29 -!- sebbu has quit (Read error: 145 (Connection timed out)).
11:20:23 -!- tgwizard has joined.
11:57:54 -!- nazgjunk has quit ("Bi-la Kaifa").
12:09:38 -!- sebbu2 has changed nick to sebbu.
13:42:22 -!- SevenInchBread has quit (Read error: 104 (Connection reset by peer)).
13:42:38 -!- SevenInchBread has joined.
13:59:13 -!- Sgeo has joined.
16:55:35 -!- nazgjunk has joined.
17:29:56 -!- crathman_ has joined.
17:35:40 -!- crathman__ has joined.
17:36:22 -!- crathman__ has quit (Remote closed the connection).
17:46:02 -!- crathman has quit (Read error: 110 (Connection timed out)).
17:49:41 -!- crathman has joined.
17:52:44 -!- crathman_ has quit (Connection timed out).
18:29:12 -!- crathman has quit (Read error: 104 (Connection reset by peer)).
18:29:46 -!- crathman has joined.
18:50:23 -!- ihope has joined.
19:23:52 -!- RodgerTheGreat_ has changed nick to RodgerTheGreat.
19:41:59 -!- calamari has joined.
19:43:54 * ihope types "one plus one" into Google and ends up with "two"
19:44:21 <ihope> Aww, but "two divided by four" gives "0.5".
19:44:45 <ihope> Hmm. "one plus 1" and "one + 1" both also give "two"/
19:45:05 <ihope> But "1 plus 1" and "1 + 1" give "2".
19:45:40 <ihope> By the way, this was all sparked by my typing "6 billion * 15" into Google and getting "ninety billion".
19:46:38 * ihope types in "three million nine hundred fifty-four thousand two hundred sixteen plus one"
19:56:09 <oklopol> i seldom use any other calculator than google
19:56:48 <oklopol> i don't have to strip off units and it even translates them to a composite unit if necessary
20:14:35 -!- nazgjunk has quit (Read error: 54 (Connection reset by peer)).
20:16:50 -!- nazgjunk has joined.
21:27:35 -!- Arrogant has joined.
21:41:13 -!- digital_me has joined.
21:48:59 -!- Arrogant has quit ("Leaving").
22:43:15 <SimonRC> h
22:45:27 <bsmntbombdood> j
22:55:20 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
22:55:41 -!- oerjan has joined.
22:56:47 -!- nazgjunk has changed nick to nazgyunk.
22:57:23 -!- nazgyunk has changed nick to nazgjunk.
23:02:08 <SimonRC> klyubn?
23:05:59 <ihope> Yay, NetHack!
23:06:07 <ihope> Also, it's yulkjhnb.
23:07:20 <SimonRC> ITYM hykulnjb
23:09:56 <ihope> Let's say it's both.
23:10:37 <ihope> Hey, hykulnjb goes clockwise...
23:11:01 <SimonRC> what about it?
23:13:58 <ihope> It goes clockwise.
23:20:57 -!- RodgerTheGreat has quit.
23:25:23 -!- RodgerTheGreat has joined.
23:26:22 -!- pgimeno has quit (Read error: 104 (Connection reset by peer)).
23:33:42 -!- tgwizard has quit (Remote closed the connection).
23:41:10 -!- cmeme has quit (Read error: 131 (Connection reset by peer)).
23:42:56 -!- pgimeno has joined.
23:43:37 -!- crathman has quit (Read error: 104 (Connection reset by peer)).
23:43:38 -!- cmeme has joined.
23:43:43 -!- crathman_ has joined.
23:43:45 -!- crathman_ has changed nick to crathman.
23:46:21 -!- crathman has quit (Client Quit).
23:52:21 <bsmntbombdood> barg
23:52:33 <bsmntbombdood> seems like the halting problem should be possible
23:53:22 <ihope> Hmm?
23:53:29 <oerjan> ahem?
23:53:32 <ihope> Despite a proof of the contrary?
23:53:43 <bsmntbombdood> yeah
23:53:51 <ihope> Why?
23:53:54 <bsmntbombdood> i dunno
23:54:10 * oerjan readies his gun to shoot holes in bsmntbombdood's arguments
23:54:23 <bsmntbombdood> I don't have any arguments
23:55:14 <oerjan> that's good because i don't have a gun
23:55:51 <bsmntbombdood> (define (f) 1)
23:55:56 <bsmntbombdood> easy to see that f halts
23:56:19 <bsmntbombdood> (define (f) (cond ((= 0 1) (f)) (else 1)))
23:56:21 <bsmntbombdood> likewise
23:57:11 <ihope> Neither of those is recursive.
23:57:25 <oerjan> (define (f) (cond ((exists odd perfect number) (f)) (else 1))) - not so easy
23:57:49 <bsmntbombdood> ihope: the second one is
23:57:58 <oerjan> actually turn that around
23:58:07 <ihope> Well, yeah, I guess.
23:58:10 <ihope> But oerjan's...
23:58:23 <oerjan> (define (f) (cond ((exists odd perfect number) 1) (else (f))))
23:58:42 <bsmntbombdood> well, we obviously need to know what exists returns
23:58:59 <oerjan> but we can rephrase that as:
23:59:46 <bsmntbombdood> to see if that halts we see if EXISTS halts, then if it does, find what it returns
23:59:51 <oerjan> (define (f n) (cond ((perfect n) 1) (else (f (+ n 2))))) (f 3)
←2007-02-09 2007-02-10 2007-02-11→ ↑2007 ↑all