01:34:25 -!- oerjan has quit ("leaving").
02:10:07 -!- Corun has quit ("Leaving").
03:25:28 -!- olsner has joined.
03:42:31 -!- olsner has quit ("Leaving").
04:04:15 -!- pikhq_ has joined.
04:19:37 -!- pikhq has quit (Read error: 110 (Connection timed out)).
04:27:17 -!- pikhq_ has changed nick to pikhq.
04:40:09 -!- oerjan has joined.
05:22:31 -!- Corun has joined.
06:38:41 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:05:48 -!- oerjan has quit ("leaving").
08:22:58 -!- kar8nga has joined.
09:23:16 -!- Asztal has quit (Read error: 104 (Connection reset by peer)).
09:27:08 -!- Mony has joined.
09:37:28 -!- SirDayBat has joined.
10:39:54 -!- KingOfKarlsruhe has joined.
12:27:03 <ehird> Today I am considering installing plan 9.
12:36:00 <ehird> http://www.plan9.bell-labs.com/wiki/plan9/Supported_PC_hardware/index.html It is rather annoying that only chipsets are listed.
12:36:59 <ehird> No wireless mouse/keyboard. Aight.
12:48:55 -!- Mony has quit ("Hey Hoy let go !").
12:56:20 <oklopol> have i ever mentioned i have three hands, btw?
13:01:25 -!- olsner has joined.
13:09:16 <oklopol> that's probably not very interesting.
13:09:35 <ehird> oklopol: you would love plan9. it's a programmer's dream
13:09:45 <ehird> "fuck apis, it's all in the filesystem."
13:15:51 <Slereah-> Yo dawg I herd you like functions so we put a function in a function so you can call a function while you call a function
13:16:24 <ehird> oklopol: you can draw circles. in a window. with a few lines of shell script :-
13:44:08 <oklopol> Slereah-: higher-order functions aren't exactly a new idea
13:44:32 <oklopol> ehird: i'm not sure i understand.
13:44:43 <ehird> nobody understands everything, dawg
13:44:43 <Slereah-> oklopol : Why must you ruin a good meme
13:45:35 <oklopol> Slereah-: because i haven't yet acquired my daily energy drinkance.
13:46:03 * ehird burns plan9 disk, considers where his usb mouse/kb is
13:46:11 <oklopol> anyway that would be pretty funny if you had like a higher-order function written in language X in a pic.
13:46:39 <oklopol> easily the funniest instance of that meme
13:46:48 <ehird> i will soon be in unix heaven
13:47:11 <Slereah-> http://membres.lycos.fr/bewulf/Divers6/1225750539403.jpg
13:47:55 <ehird> you know that effect where a sound seems to get continually lower or higher
13:47:57 <ehird> but always stays the same?
13:48:04 <ehird> my cd drive is doing that while burning
13:49:00 <ehird> I do not know how that follows.
13:50:31 <oklopol> derivation+math isn't as funny as scheme would've been
13:51:04 <oklopol> and also that's nested calls, a higher-order function would be funnier, because you'd have to understand what it does
13:52:46 <Slereah-> But nested calls fit the meme to a T!
13:55:00 <oklopol> i'm not sure... i mean g isn't actually, semantically, inside f; we're actually doing function composition there (assuming x is an unbound variable), they are just both "inside" h, because h is their composition
13:55:11 <oklopol> g and f don't know about each other.
13:55:41 <oklopol> a higher-order function would fit it better, but would be harder to understand, making it a better joke.
13:56:27 <oklopol> i'm only a stand-up theoretician.
13:58:14 <oklopol> you know i'm the kinda guy who says things others have done are trivial and stupid, but never does anything himself.
13:58:57 <oklopol> i had these ideas for a language that's kinda like J, but the basic unit is a tree, and you have all kinds of searches and traversals as primitives
13:59:21 <oklopol> so you could do something like minimax search for tic-tac-toe with a few chars
13:59:58 <oklopol> so it would be kinda declarative, but all the multiway choices and such would be concrete branchings of the tree you're building lazily
14:00:29 <oklopol> and you'd use different traversals and heuristics to find the goal nodes
14:01:39 <oklopol> also i inherited graphica's graph making scheme, so basically you can name nodes, and nodes with the same name are the same node, even if they are created at different parts of the tree
14:01:53 <oklopol> graphs would have the same traversals, but they'd keep track of alraedy visited nodes
14:02:41 <oklopol> that's all that is public atm, ima buy me some energy
14:24:41 <ehird> beh, usb kb/mouse aren't working with plan9
14:59:28 -!- kar8nga has left (?).
15:19:10 <ehird> http://xrl.us/o3bxa
17:06:35 -!- MizardX has quit (Read error: 131 (Connection reset by peer)).
17:07:24 -!- MizardX has joined.
17:16:52 -!- Judofyr has joined.
17:59:29 -!- kar8nga has joined.
18:11:13 -!- kar8nga has left (?).
19:00:52 -!- oerjan has joined.
19:35:05 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
19:35:24 -!- oklopol has joined.
19:57:08 -!- KingOfKarlsruhe has quit (Remote closed the connection).
20:25:45 -!- oerjan has quit ("Panibus").
21:49:35 -!- Asztal has joined.
22:22:10 -!- psygnisfive has joined.
22:41:06 -!- MizardX has quit (Read error: 104 (Connection reset by peer)).
22:41:39 -!- MizardX has joined.
22:50:41 -!- Asztal has quit (Read error: 110 (Connection timed out)).
23:47:12 -!- Judofyr_ has joined.
23:48:35 -!- Judofyr has quit (Read error: 60 (Operation timed out)).