00:00:30 -!- Ngevd has joined. 00:00:56 I still think there are a severe deficiency of esoteric markup languages 00:01:48 -!- Ngevd has quit (Read error: Connection reset by peer). 00:02:02 That's because esoteric languages are historically a lot of turing tarpits 00:05:15 I should write an esoteric markup language 00:05:43 based on smileys, no doubt 00:05:54 .. that's an awesome idea 00:05:55 :3 00:06:00 I like this idea~ 00:06:13 * tiffany hugs madoka-kaname <3 00:09:22 * Madoka-Kaname hug ^_^ 00:26:31 -!- Vorpal has quit (Ping timeout: 244 seconds). 00:32:17 -!- Sgeo|web has joined. 00:42:41 -!- augur has quit (Ping timeout: 240 seconds). 00:56:14 -!- augur has joined. 00:59:20 -!- copumpkin has joined. 01:00:37 -!- augur has quit (Remote host closed the connection). 01:28:09 -!- zzo38 has joined. 02:20:56 -!- tiffany has quit (Quit: Leaving). 02:24:02 -!- zzo38 has quit (Remote host closed the connection). 02:49:42 -!- zzo38 has joined. 02:55:36 .. 02:55:52 Madoka-Kaname: tiffany: NO JOY ALLOWED 02:56:36 :< 02:56:41 * Madoka-Kaname slaps CakeProphet with a heart 02:57:21 okay... I feel better now. 03:00:24 my source of transportation is once again 03:00:24 dead 03:00:28 $2500 later. 03:00:48 bad carma 03:01:16 .. -_- 03:01:36 where's that flyswatter? 03:01:44 right here 03:02:21 * CakeProphet slaps oerjan with a saucepan instead ==\__/ 03:02:33 ouch 03:08:20 I think it's something simple though 03:08:26 involving not correctly putting in the CV axle. 03:11:40 (that's the thing that goes from the transmission to the wheels to make them turn in a front-wheel drive car) 03:14:10 -!- augur has joined. 03:19:34 what version of internet explorer works best in wine? 03:22:08 the older the better, right? 03:22:13 * oerjan cackles evilly 03:25:22 -!- pikhq_ has quit (Read error: Operation timed out). 03:28:14 -!- Nisstyre has left ("Leaving"). 03:46:08 I have a present for you oerjan: ======[] 03:46:21 feel free to get cakeprophet back 03:47:45 fancy 03:48:29 yeah i don't think i've ever seen you use a sledge-o-matic, so i went out and got one just for you 03:51:09 -!- MDude has changed nick to MSleep. 04:08:10 -!- Patashu has quit (Ping timeout: 244 seconds). 04:08:27 -!- Patashu has joined. 04:27:25 -!- GreaseMonkey has quit (Quit: The Other Game). 04:33:39 -!- ive has quit (Quit: leaving). 04:43:11 -!- Darth_Cliche has joined. 05:01:14 allValues = h allValues allValues where { f 0 x _ = x; f n x y = liftM2 (:) y $ f (n - 1) x y; g x y = maybe undefined id $ lookup y x; h x y = g . zip x <$> f (length x) [[]] y; }; 05:01:55 This appears to work to make a list of all functions between two types, I think. 05:04:06 assuming the types are finite, perhaps 05:04:29 Yes, the types are finite. 05:05:23 It even works for functions between function types, since I defined a Eq instance for those types. 05:05:40 instance (Eq y, AllValues x) => Eq (x -> y) 05:07:41 :t flip const const 05:07:42 forall b. b -> b 05:07:59 @pl (\a b c -> b) 05:07:59 const const 05:08:23 :t flip const undefined 05:08:24 forall b. b -> b 05:12:42 @src sequence 05:12:43 sequence [] = return [] 05:12:43 sequence (x:xs) = do v <- x; vs <- sequence xs; return (v:vs) 05:12:43 -- OR: sequence = foldr (liftM2 (:)) (return []) 05:14:54 TIL that unicode strings may be difficult to search through 05:15:13 hm yes 05:15:36 !!! at topic :( 05:16:49 what, the part about tearing up mr. mccarthy's exquisite corpse? 05:17:09 :t let f 0 x _ = x; f n x y = liftM2 (:) y $ f (n - 1) x y in f 05:17:09 forall t (m :: * -> *) a1. (Monad m, Num t) => t -> m [a1] -> m a1 -> m [a1] 05:17:42 :t let f n x y = sequence $ replicate n y ++ [x] in f 05:17:43 forall (m :: * -> *) a. (Monad m) => Int -> m a -> m a -> m [a] 05:17:54 hm not quite 05:18:04 Due to the instance I have, it is that, like in mathematics $0^0=1$ and that seem very reasonable to me. 05:18:16 > 0 ^ 0 05:18:18 1 05:18:40 oh hm 05:19:10 To me it is correct although some people disagree. 05:19:11 :t let f n x y = sequence $ replicate n y ++ [[x]] in f 05:19:11 forall a. Int -> a -> [a] -> [[a]] 05:19:15 bah 05:19:25 Maybe in specific fields you might not want $0^0=1$ but in general I think it is correct. 05:19:31 oh 05:19:37 :t let f n x y = sequence $ replicate n y ++ [return x] in f 05:19:38 forall a (m :: * -> *). (Monad m) => Int -> a -> m a -> m [a] 05:19:57 still not the same :( 05:21:10 :t let f n x y = foldr (liftM2 (:)) x $ replicate n y in f 05:21:10 forall (m :: * -> *) a1. (Monad m) => Int -> m [a1] -> m a1 -> m [a1] 05:21:33 ok now that is right i think 05:21:46 :t let f n x y = foldr (liftM2 (:)) x $ genericReplicate n y in f 05:21:47 forall i (m :: * -> *) a1. (Integral i, Monad m) => i -> m [a1] -> m a1 -> m [a1] 05:50:45 Can the solar time be an Arabic Part? 06:10:52 -!- zzo38 has quit (Quit: This pyramid-shaped ball is a mad house!!!). 06:22:51 -!- Darth_Cliche has quit (Quit: You are now graced with my absence.). 06:28:56 @hoogle IO a -> a 06:28:57 Foreign unsafePerformIO :: IO a -> a 06:28:57 Data.ByteString.Internal inlinePerformIO :: IO a -> a 06:28:58 System.IO.Unsafe unsafePerformIO :: IO a -> a 06:30:05 -!- oerjan has quit (Quit: Good night). 06:45:32 -!- kmc has quit (Ping timeout: 248 seconds). 06:48:06 -!- kmc has joined. 06:58:35 -!- Ngevd has joined. 07:01:10 Hrllo! 07:03:07 Hellc. 07:09:53 Or, to make it more dynamic, wipeout_text("Hello", 3, 0) or something. (See: http://p.zem.fi/ka4r ) 07:11:53 -!- Ngevd has quit (Ping timeout: 240 seconds). 07:12:12 -!- kmc_ has joined. 07:15:41 -!- kmc has quit (Ping timeout: 258 seconds). 07:23:00 -!- pikhq has joined. 07:26:21 -!- copumpkin has changed nick to pumpkin. 07:27:02 -!- pumpkin has changed nick to c0w. 07:27:37 -!- kmc_ has changed nick to kmc. 07:40:50 -!- derrik has joined. 07:51:34 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 07:53:43 -!- monqy has quit (Quit: hello). 07:58:27 -!- CakeProphet has quit (Quit: Lost terminal). 08:05:03 -!- Jafet has joined. 08:20:15 -!- nooga has joined. 08:26:42 Control.Monad.Omega is cool 08:55:13 -!- Phantom_Hoover has joined. 08:55:14 -!- CakeProphet has joined. 08:55:21 -!- CakeProphet has quit (Changing host). 08:55:21 -!- CakeProphet has joined. 08:55:26 hi gaiz. 08:57:45 so in a orthogonally persistent system, it makes more sense to explicitly delete than it does to explicitly save. 08:58:12 in a word processor, for example, you never save, but instead delete untitlted / scratch documents when they're no longer wanted. 09:00:28 maybe to help people who aren't familiar with that paradigm, it could by default have untitlted documents in an auto-delete mode, so that they disappear without the user thinking about it whenever it's appropriate for them to disappear. Once they're named then they continue as persistent denizens of memory. 09:05:25 also, since there's no traditional hierarchical filesystem I suppose each individual program would have a component that manages its (what would usually be called) files and allows them to be "opened" (not really much of an open anymore; requesting better nomenclature) for use. 09:05:58 I like visit instead of open. 09:07:27 for most programs that would be as simple as maintaining some sort of associative structure with a UI to browse it. 09:08:08 the only problem I can see is that programs could easily become possessive about their various documents, which would typically have free access by any other program but now must be explicitly shared. 09:08:19 good for security, I guess. 09:11:15 without a system-wide component to make these "files" available to other programs, you basically end up having to reinvent data sharing over and over instead of serialization/persistence. 09:14:23 fungot: isn't that right? 09:14:24 CakeProphet: actually,,,it could operate on compiled code instead of having the nn's weights emulate the convolution signal ( well, not sure whether absent-optional? is almost always going to be 09:19:43 -!- Vorpal has joined. 09:20:53 also, instead of saving things 09:21:03 you could commit versions. 09:45:52 -!- Ngevd has joined. 09:46:14 Hello! 09:48:58 hey 09:54:33 I've just worked out why my Pietbot isn't assembling correctly 10:01:40 It's almost there! 10:02:20 Ngevd: what language? 10:02:24 Piet 10:02:39 Really, Piet Assembler 10:03:06 -!- CakeProphet has quit (Quit: Page closed). 10:03:18 CakeProphet is scared of Piet 10:06:12 -!- CakeProphet has joined. 10:06:12 -!- CakeProphet has quit (Changing host). 10:06:12 -!- CakeProphet has joined. 10:11:49 @tell elliott I tried to download the last c-intercal today, but the download link timed out. So I'm currently unable to update the Arch Linux package. 10:11:50 Consider it noted. 10:21:59 -!- derrik has quit (Quit: well done.. bowing out). 10:31:17 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 10:31:35 CakeProphet: programs are so 60's though 10:31:40 -!- Ngevd has quit (Ping timeout: 248 seconds). 10:31:47 oklopol: I.... no. 10:31:57 they are a retarded idea 10:32:11 I think programs are... a good idea? 10:32:14 from a user's perspective 10:32:20 you would be wrong 10:32:24 from a programmer's perspective programs make perfect sense. 10:32:34 who the fuck cares? 10:32:39 programmers. 10:32:43 ... 10:32:47 fuck programmers 10:32:49 in any case how do you logically divide code. 10:33:13 err functions and shit? 10:33:35 just like i always do when i program 10:34:06 what i don't do is write multiple programs that interface each other clumsily just to have a nice logical division 10:34:15 programs are a retarded idea 10:34:21 and fuck programmers 10:34:24 and i'm leaving 10:34:31 lolokay 10:38:39 -!- Madoka-Kaname has quit (Ping timeout: 258 seconds). 10:41:08 -!- Ngevd has joined. 10:45:21 -!- Phantom_Hoover has joined. 10:48:56 -!- hagb4rd2 has joined. 10:52:05 -!- hagb4rd has quit (Ping timeout: 240 seconds). 10:53:48 If I knew what I was doing, Pietbot would be in this channel 10:58:23 Ngevd: what do you not know. 10:58:32 Piet? IRC? 10:58:48 IRC 10:58:52 Also Netcat 10:59:21 When Pietbot is ran, it outputs: 10:59:56 NICK Pietbot 10:59:56 USER Pietbot 0 * :Pietbot 10:59:56 PRIVMSG nickserv :identify [password] 10:59:56 JOIN #esoteric 11:00:00 But when I plug it into netcat, nothing happens 11:00:57 how are you invoking netcat 11:01:04 nc.traditional -e ./bot irc.freenode.net 6667 11:02:45 why nc.traditional 11:02:48 I get: 11:02:49 exec ./bot failed : Exec format error 11:03:17 problem with the assembler? 11:03:50 It seems to run fine when not connected 11:04:03 If I just type in ./bot 11:04:29 try using regular nc with a pipe. 11:04:44 I don't really know anything about nc.traditional 11:05:01 and the Ubuntu package has no documentation. 11:05:18 It's just nc, compiled so it has the -e option 11:05:42 yeah try piping instead. 11:06:01 since using -e gives you the exec format error thing. 11:07:11 -!- Pietbot has joined. 11:07:15 Yay! 11:07:27 )df iiisso 11:08:00 Hmm... 11:10:33 That should make it say "R" 11:10:33 )q 11:11:17 -!- Pietbot has quit (Ping timeout: 240 seconds). 11:11:21 Damn 11:11:26 I know what the problem is 11:13:24 Could someone please kick Pietbot? 11:15:58 -!- Pietbot has joined. 11:16:07 Let's try this again 11:17:29 )df iiisso 11:17:48 * Pietbot has quit (Ping timeout: 240 seconds) Could someone please kick Pietbot? <-- sorry? 11:18:24 Oh god the mistake I made this time is so stupid 11:18:24 It's doing a line break instead of a hash symbol 11:18:24 )q 11:18:28 -!- Pietbot has quit (Remote host closed the connection). 11:19:33 hey! someone familiar with the IRC protocol? im tryin to create an IRC bot, but can't get it elnet 11:19:42 elnet? 11:20:03 what is that even... 11:20:07 oops 11:20:08 :) 11:20:10 to run 11:20:35 I'm quite familiar with the protocol, but you have to be more specific than that 11:20:53 heres the code 11:20:54 http://pastebin.com/1RVj3DHN 11:21:14 that isn't even an esolang 11:21:42 anyway where does it fail, you forgot such info 11:21:56 "USER CSharpBot 8 * :I'm a C# irc bot" is a valid USER command 11:21:56 -!- jix_ has quit (Quit: leaving). 11:22:01 thats true 11:22:04 Pietbot's almost there 11:22:08 but you guys are my last hope 11:22:15 -!- jix has joined. 11:22:24 hagb4rd2, anyway the format of that line looks wrong? 11:22:35 I don't remember it off the top of my head 11:22:39 the USER line? 11:22:47 but shouldn't it be like USER something * * :something 11:23:09 according to RFC: USER : 11:23:19 ok i'll try this 11:23:27 Doesn't 8 mean invisible? 11:23:27 Try using 0 11:23:34 ah! 11:24:05 i tried to ask the guys in ##csharp but the results were horrible :( 11:24:19 thanks..brb 11:24:55 from an irc bot I wrote in bash ages ago: 11:24:57 send_raw_flood "USER $config_ident 0 * :${config_gecos}" 11:25:06 so yeah 11:26:05 RFC 1459 does it Vorpal's way 11:26:05 RFC 2812 does it mine 11:26:05 Pietbot uses the latter 11:26:07 And can at least connect 11:26:10 maybe I should continue with this trend of esolang IRC bots. 11:26:22 hehe 11:26:23 Deadfishbot 11:26:28 Ngevd, only IRCNet actually uses RFC 2812 11:26:29 HomeSpring bot... 11:26:55 but sure, it might work. It is a bit like html, everyone tries to handle weird stuff 11:26:56 Pietbot can connect 11:27:01 even if it makes no sense 11:27:15 there are differen RFCs? 11:27:37 hagb4rd2, yes, and none of the RFCs reflect what everyone actually does 11:27:43 hm 11:27:48 MalebolgeBot -- a Malbolge IRC bot, 11:27:52 I LOVE YOU 11:27:53 :D 11:28:06 hagb4rd2, there are all sorts of non-"official" but widely supported extensions 11:28:08 I think... 11:28:10 this is what I'll do. 11:28:15 attempt to write a Malbolge IRC bot. :P 11:28:20 and probably fail miserably. 11:29:10 yeah... probably not going to happen. 11:29:20 hagb4rd2, like most of the channel modes. Like the ISUPPORT line (005 iirc), which everyone but IRCNet does. IRCNet uses a different meaning for 005. 11:29:56 yea.. i thought the chanmode might be a problem 11:29:57 hagb4rd2, you want to parse the ISUPPORT line if you are doing a non-trivial bot, it will tell you how to parse stuff like which modes takes parameters. Allowing proper parsing of channel modes 11:30:11 but also the order of the COMMANDS 11:30:30 im just experimenting for now 11:30:47 just to understand the way how it goes 11:30:50 doing /quote version on this server dumps you the ISUPPORT line as well 11:30:50 * ircd-seven-1.1.1(20110910-0f177e0ec620, Charybdis 3.4-dev). asimov.freenode.net :eHIKMpSZ6 TS6ow 64M 11:30:51 * CHANTYPES=# EXCEPTS INVEX CHANMODES=eIbq,k,flj,CFLMPQcgimnpstz CHANLIMIT=#:120 PREFIX=(ov)@+ MAXLIST=bqeI:100 MODES=4 NETWORK=freenode KNOCK STATUSMSG=@+ CALLERID=g :are supported by this server 11:30:51 * CASEMAPPING=rfc1459 CHARSET=ascii NICKLEN=16 CHANNELLEN=50 TOPICLEN=390 ETRACE CPRIVMSG CNOTICE DEAF=D MONITOR=100 FNC TARGMAX=NAMES:1,LIST:1,KICK:1,WHOIS:1,PRIVMSG:4,NOTICE:4,ACCEPT:,MONITOR: :are supported by this server 11:30:51 * EXTBAN=$,arx WHOX CLIENTVER=3.0 SAFELIST ELIST=CTU :are supported by this server 11:30:54 and where the problems are 11:31:10 and hooray.. we got some ;) 11:31:14 that tells you quite a bit about the widely supported but non-official extensions 11:31:42 I forgot where you can find docs on parsing that 11:31:46 ok..will check it out 11:31:50 thanks a lot 11:32:04 this will keep me busy for a while ;) 11:32:20 hagb4rd2, ah this seems useful: http://wiki.inspircd.org/RPL_ISUPPORT_Tokens 11:32:28 -!- c0w has quit (Ping timeout: 248 seconds). 11:32:36 I probably used that when I wrote envbot, since I was running a network with inspircd back then 11:33:03 -!- c0w has joined. 11:34:54 probably charybdis (and thus freenode-seven) have a slightly different set of ISUPPORT tokens 11:38:08 Well, Pietbot has stopped working 11:38:15 I say "stopped" 11:38:25 I mean "now works even less" 11:41:34 -!- Madoka-Kaname has joined. 11:41:34 -!- Madoka-Kaname has quit (Changing host). 11:41:34 -!- Madoka-Kaname has joined. 11:45:28 As far as I am aware, netcat has stopped working 11:49:38 Hang on. 11:49:38 Is freenode up? 11:50:51 fungot, am I here? 11:50:51 Ngevd: it's also gpl, not lgpl. :p going really strong though. don't think it is 11:51:08 That, while good, wasn't what I wanted 11:56:00 -!- derdon has joined. 11:56:31 Ngevd, heh 12:06:36 -!- Ngevd has quit (Ping timeout: 248 seconds). 12:06:43 @tell elliott I updated the AUR package for tup-git, it now builds and works. 12:06:44 Consider it noted. 12:17:58 -!- Ngevd has joined. 12:41:20 -!- Pietbot has joined. 12:41:34 As far as I am aware, netcat has stopped working 12:41:34 Hang on. 12:41:34 Is freenode up? 12:41:34 fungot, am I here? 12:41:35 Phantom_Hoover: ( 2) change everything behind it to *make* it fast, make the optimizing pass a bit nicer 12:41:54 I had a similar problem once, in that I couldn't make new connections, but existing ones worked fine. 12:44:14 Should I restart, or what? 12:44:24 It was a router issue last time, IIRC. 12:44:31 Or a modem issue. 12:44:40 It was upstream from me, whatever it was. 12:45:30 -!- Pietbot has quit (Ping timeout: 240 seconds). 12:46:18 Wow, Pietbot was here 12:46:38 -!- Pietbot has joined. 12:46:53 When Pietbot's df and q commands work, I'll make it respond to pings 12:50:42 -!- Pietbot has quit (Ping timeout: 240 seconds). 12:52:30 -!- Pietbot has joined. 12:52:30 I keep getting distracted and miss it... 12:52:30 When Pietbot joins, would someone say ")df iiisso" for me, please? 12:52:38 )df iiisso 12:53:13 Thanks 12:53:26 Now we wait and see 12:53:38 `quote 12:53:46 435) meanwhile, I've been running a program for over 24 hours (getting close to 48 now) which is calculating digits of pi, in binary so far, it has found four digits I hope it will find the fifth some time this week 12:54:08 That's a good one 12:56:42 -!- Pietbot has quit (Ping timeout: 240 seconds). 12:57:41 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 12:57:47 -!- tiffany has joined. 13:00:12 This problem is tricky to solve... 13:00:38 The mysterious case of the bot in the esolang... 13:01:53 -!- Phantom_Hoover has joined. 13:04:54 Ngevd, debug it? 13:05:26 Okay, npiet seems to be telling me the colour of every single pixel. 13:05:51 In a 581.3 KB image 13:10:36 Ngevd, does the program look artistic? 13:10:47 Not especially 13:10:51 That may be the problem 13:10:58 yes, a very grave one 13:11:42 It looks kind of like a backwards ` 13:11:44 *¬ 13:12:09 Ngevd, this (upscaled image) http://www.dangermouse.net/esoteric/piet/Piet-4.gif is how piet programs should look 13:17:05 -!- Ngevd has quit (Ping timeout: 260 seconds). 13:17:56 -!- Taneb has joined. 13:19:33 Taneb, Ngevd, this (upscaled image) http://www.dangermouse.net/esoteric/piet/Piet-4.gif is how piet programs should look 13:20:05 )df iiisso 13:23:01 Vorpal, I wholeheartedly agree 13:23:29 Also, I just saw today's IWC 13:23:33 * Taneb sad 13:24:32 I never actually noticed that all of the plot lines had been resolved. 13:24:47 The channel's topic is now extra appropriate 13:24:49 I suppose it's conditioned me never to expect any progression in the story. 13:27:40 -!- Slereah_ has quit (Ping timeout: 248 seconds). 13:28:54 Oh well. My primary source for terrible puns is now gone. 13:29:05 The parentheses in the topic are unbalanced. Argh 13:29:16 And elliott never actually got around to reading it. Heh. 13:29:29 Phantom_Hoover, I assume D&D will continue until it is done. I seen no indication of anything else 13:29:46 Phantom_Hoover, well now he can read at a slow pace and know he will eventually catch up :P 13:30:18 -!- Slereah_ has joined. 13:32:50 Vorpal, he explicitly said that mezzacotta and D&D won't be affected. 13:34:20 Phantom_Hoover, right, I hadn't read the entire annotation when I said that 13:35:11 and well, it is obvious mezzacotta will continue. Unless there are bugs or limitations (such as not using bignums for dates) I see no reason it couldn't continue forever. 13:38:39 -!- Jenny23 has joined. 13:38:51 -!- Jenny23 has quit (Remote host closed the connection). 13:41:44 Well, Irregular Webcomic is now a /very/ Irregular Webcomic 13:41:48 It doesn't have a comic 13:44:33 -!- Jenny23 has joined. 13:44:59 hi jenny 13:44:59 May the force be with you! 13:45:15 yess.. i finally made it :) 13:45:35 thx vorpal, ngevd 13:45:51 :D 13:46:02 I've had less luck, 'm afraid 13:47:59 IRC is such a crap! ..the first reason it didn't work out is you have to wait till the server completes the host ident verification before sending USER blah 13:49:01 the second: on some servers you need to respond to the PING :token with a PONG :token before "registered" (not so on irc.freenode.net) 13:50:42 but the crap is, i didn't found out if there is any char or string signifying that server is ready to go 13:51:33 but for the USER command it seems always to send 4 lines of text 13:53:34 here the working (experimental) code: http://cxg.florianbuetow.de/_e7fab7.htm 13:56:56 Pietbot take 2 so far outputs "NIC" 13:58:15 there must be a way to make comfortable on all severs. i know its ugly, but at least it works that way :> 13:59:10 maybe there really is a special char..now back to those RFCs ;) 14:04:14 the second: on some servers you need to respond to the PING :token with a PONG :token before "registered" (not so on irc.freenode.net) <-- there is a good reason for that 14:04:28 the reason is that it prevents using a http proxy to spam irc 14:04:33 Vorpal: avoiding cross-protocol attack, right? 14:04:37 lifthrasiir, yes 14:05:05 it's so strange that freenode (still) does not implement such measures 14:05:16 indeed 14:08:01 i agree. altough it blocks some clients like mibbit.com 14:09:36 -!- MSleep has changed nick to MDude. 14:17:34 -!- Taneb has quit (Quit: Goodbye). 14:28:35 -!- FireFly has quit (Changing host). 14:28:35 -!- FireFly has joined. 14:32:36 -!- Jenny23 has quit (Read error: Connection reset by peer). 14:37:32 -!- pikhq has quit (Ping timeout: 245 seconds). 14:37:34 -!- pikhq_ has joined. 14:46:23 http://www.cracked.com/article_19510_the-7-most-questionable-haunted-items-ebay.html 14:46:31 This is the funniest article to come out of Cracked in a long time. 14:47:25 Vorpal: If you write "GET / HTTP/1.1" to freenode's ircd, it treats it as a QUIT. 14:47:38 fizzie, heh 14:47:57 fizzie, does it do that for other GET commands? Like GET /foo ... 14:48:17 Probably all GET, and maybe other HTTP methods too. 14:48:22 heh 14:48:27 Didn't test more than the one. 14:53:39 -!- fizziet has joined. 14:53:46 let's try a HEAD. 14:54:13 just "unknown command", and GET did nothing. 14:54:28 maybe it's special-cased to only do a thing at connection initiation time. 14:54:46 -!- fizziet has quit (Client Quit). 14:55:23 At connection start, HEAD does nothing, GET insta-quits. 14:55:36 em..y http? 14:56:34 use case? 14:57:40 -!- hagb4rd2 has changed nick to hagb4rd. 15:04:56 fizzie, and POST? 15:06:39 POST /funnyform.cgi HTTP/1.1 15:06:40 ERROR :Closing Link: 127.0.0.1 (Client Exit) 15:06:48 -!- ive has joined. 15:07:40 -!- Jafet has quit (Quit: Leaving.). 15:09:31 heh 15:10:59 -!- nooga has quit (Quit: Lost terminal). 15:17:30 -!- pikhq has joined. 15:17:46 -!- pikhq_ has quit (Ping timeout: 252 seconds). 15:22:07 -!- kmc_ has joined. 15:25:20 -!- kmc has quit (Ping timeout: 255 seconds). 15:27:24 -!- kmc__ has joined. 15:30:44 -!- kmc_ has quit (Ping timeout: 256 seconds). 15:31:16 @tell ais523 It seems that the http download server for c-intercal (overload.intercal.org.uk) is down (at least over IPv6, trying anything else is somewhat annoying). I don't know who can fix that, but maybe you do? 15:31:17 Consider it noted. 15:35:41 -!- hagb4rd has quit (Ping timeout: 240 seconds). 15:38:23 hm I doubt ipv6 is relevant here, since I can connect just fine. I simply get no HTTP headers back from the server. 15:45:17 -!- derrik has joined. 15:52:39 -!- Ngevd has joined. 15:54:52 Hello! 16:08:44 -!- c0w has changed nick to copumpkin. 16:08:44 -!- copumpkin has quit (Changing host). 16:08:44 -!- copumpkin has joined. 16:16:41 Trivia: the first esolang I created was an Ook! derivative 16:16:51 It introduced the keyword "Eek" 16:23:45 -!- ive has quit (Ping timeout: 260 seconds). 16:23:52 Ngevd, that did what= 16:23:54 s/=/?/ 16:24:03 I can't remember 16:24:14 I seem to remember a variable that stuck to the pointer 16:24:44 And there were instructions for more advanced arithmetic than increment and decrement 16:25:11 fizzie, I found what I was thinking of the other day 16:25:38 It was npiet-foogol 16:26:23 Disappointed in that it wasn't an esolang 16:27:19 How goes the piebott? 16:27:23 Poorly 16:27:30 It can connect now 16:27:33 But not much else 16:27:58 Not entirely sure why 16:28:54 Thought of something... 16:28:55 Hmm.. 16:29:10 Are you "writing" it with an image editor, or the presumably-much-easier-but-cheaty piet-assembler way? 16:29:23 Switching between the two 16:29:41 I have to go now 16:29:43 Goodbye 16:29:45 -!- Ngevd has quit (Quit: Leaving). 16:30:11 -!- monqy has joined. 16:30:39 -!- elliott has joined. 16:34:51 -!- zzo38 has joined. 16:35:24 What are you going to use the shreds for? 16:40:18 -!- ive has joined. 16:40:49 fizzie: real programmers use MS paint. 16:41:30 No, that's just ais. 16:42:33 the only real programmer 16:42:53 07:09:53: Or, to make it more dynamic, wipeout_text("Hello", 3, 0) or something. (See: http://p.zem.fi/ka4r ) 16:42:53 elliott: You have 2 new messages. '/msg lambdabot @messages' to read them. 16:42:55 waht 16:43:08 monqy: it's funny because you haven't seen ais' ms paint ai 16:44:09 now i want to see it 16:44:25 CakeProphet: so, should I bother reading this stuff about orthogonal persistence you wrote; I suppose what I'm really asking is, did you begin understanding how it works between last time and writing this 16:45:10 elliott, strange that lambdabot didn't tell you that you had messages when you spoke 16:45:24 oh wait, it did 16:45:29 elliott: You have 2 new messages. '/msg lambdabot @messages' to read them. 16:45:31 Really strange. 16:45:33 I need to clean these glasses 16:45:35 elliott, ^ 16:46:04 elliott, anyway, BFS doesn't work with systemd according to the arch linux wiki page about systemd. 16:46:13 who gives a shit about systemd 16:46:27 eh, it's cgroup shit 16:46:30 yeah 16:46:32 nobody uses cgroup shit 16:46:36 except systemd i guess :P 16:46:36 except systemd 16:46:39 snap 16:46:47 well, good, now yo don't have to modify ini files 16:46:49 bfs saved you 16:46:52 hah 16:47:25 elliott, I don't use bfs though. Why not just list the daemons in /etc/inittab hm... Oh wait it doesn't do deps does it? 16:47:41 one runlevel per dependency 16:47:41 right 16:47:42 :D 16:47:51 elliott, yeah and isn't there like 6 max? 16:48:16 i find it kind of annoying how -git packages can'tbe updated normally 16:48:19 if it was less limited you could probably pre-compute the run levels by a tool from dependency info 16:48:21 s/'t/'t / 16:48:27 elliott, well, I don't know any way around that. 16:48:40 I also find it annoying how they have a pkgver, rather than just a pkgrel :) 16:49:08 elliott, anyway, I messaged ais about the server issue. It connects fine, and my client send the HTTP headers, but the server never replies. 16:49:17 quite a strange way of breaking 16:49:25 it worked for me yesterday :) 16:49:37 anyway how did you update tup-git, I thought the maintainer had to stand down or something, or did thy 16:49:38 they 16:49:48 elliott, he had done that. It was abandoned 16:49:52 ah 16:49:55 there was this button saying "adopt" 16:50:08 so I check the PKGBUILD, decided it wasn't too much work, and fixed it 16:50:08 * elliott doesn't think something like the aur should have owners anyway 16:50:17 elliott: I understand the basic principle, sure. 16:50:25 i'm not sure what to have instead, but it's not like the current model is trustworthy at all 16:50:42 it should either look more like ubuntu ppas, with the username used to install and the ability for multiple people to package the same package name 16:50:49 or more like a "normal" repo 16:50:50 hm 16:50:56 probably the former is preferable 16:51:03 since it avoids a lot of trust issues 16:51:04 I can't say it matches what you have in mind, as you haven't really explained that completely, and you're probably still figuring it out. 16:51:17 CakeProphet: no, what I have in mind is the standard definition 16:51:20 elliott, do you have ipv6? Also check if you can reach the c-intercal download page... 16:51:29 i can't now, and no why? 16:51:34 elliott: I understand stood well before the end of the last time we talked about it. 16:51:39 :P 16:51:48 CakeProphet: well, you were wrong a lot 16:51:53 it happens. 16:51:53 elliott, right, I was worried it was a failure for ipv6 service only. Except with the way it failed it would have been really strange 16:52:14 it might run on that dd/sh httpd 16:52:20 (this isn't a joke) 16:52:21 heh 16:52:24 elliott: I hadn't fully considered what the adustment entailed in terms of the rest of the system. 16:52:29 (seriously, not a joke) 16:52:38 CakeProphet: ok i'll read it. 16:52:42 08:57:45: so in a orthogonally persistent system, it makes more sense to explicitly delete than it does to explicitly save. 16:52:42 yes, this is correct 16:52:48 elliott, hm, dd/sh... Wait, no netcat? How does dd+sh allow sockets? 16:52:56 Vorpal: it used netcat i think 16:53:01 or maybe bash's /dev/tcp 16:53:02 elliott, so dd/sh/netcat 16:53:03 09:00:28: maybe to help people who aren't familiar with that paradigm, [...] 16:53:10 elliott, I don't think /dev/tcp allows listening 16:53:11 CakeProphet: not interested in the rest of this line :) 16:53:17 unless I misremember, or they changed that 16:53:24 "auto-delete mode, so that they disappear without the user thinking about it whenever it's appropriate for them to disappear" 16:53:27 CakeProphet: this is the worst idea ever 16:53:37 "Once they're named then they continue as persistent denizens of memory." 16:53:40 I write a gopher client using bash 16:53:42 like, this is the literal opposite of what you want 16:53:55 the whole point is that things don't get deleted without asking 16:54:13 elliott: okay, how about this: aren't there some bits of "user data" (what would typically be files) that are in fact intended to be temporary, where it would be more natural for them to implicitly delete themselves upon some condition? I suppose this could be handled by garbage collection. 16:54:22 i mean, this isn't even about orthogonal persistence, even apple have figured this out, try and get rid of an untitled document in TextEdit without explicitly closing it 16:54:30 including by crashing the computer 16:54:32 you can't 16:54:52 elliott, what, how can it not be lost if the computer crashes at that point? 16:54:57 if you have ever had your computer crash and thought "fuck, I just lost data", then you understand 16:55:21 elliott: okay, how about this: aren't there some bits of "user data" (what would typically be files) that are in fact intended to be temporary, where it would be more natural for them to implicitly delete themselves upon some condition? I suppose this could be handled by garbage collection. 16:55:22 elliott: I suppose the case where I record of information with the intention of not saving is rare. indeed. 16:55:28 the computer isn't a mind reader 16:55:29 Anyway there /is/ temporary data. Most of that is not directly user-visible though. 16:55:32 it cannot tell when you no longer care about data 16:55:52 elliott, I guess he means stuff like .pid files? 16:55:58 Vorpal: "user data" 16:56:01 hm okay 16:56:03 he is talking about word processors 16:56:05 or was in the logs 16:56:07 ah... 16:56:54 elliott: in the case of some programs you can tell when I start to care about it. This is how the traditional model works. Before you make the first save, it assumes you don't care. For a word processor in an orthogonally persistent system, this could be the "first commit" (assuming the word processor uses version control, which it totally should) 16:56:59 elliott, anyway are you saying you won't lose an unsaved file in TextEdit should the computer crash before you save it? 16:57:07 elliott, I'm quite interested in learning how 16:57:20 elliott: yes, I'm going top-down, starting from how the user interacts with the system. 16:57:28 in various situations. 16:57:32 this is one of those situations. 16:57:35 Vorpal: unsaved = the user hasn't saved it 16:58:02 CakeProphet: yeah, no, the experience of someone working on something for ages without saving then losing it is ubiquitous and shared by everyone except probably Vorpal 16:58:11 elliott: and what I mean by "first commit" is more like "first major revision", or tag, or whatever. 16:58:26 i would get tons of citations for this and have in the past but don't have them now so you'll just have to accept i'm right :) 16:58:31 09:05:25: also, since there's no traditional hierarchical filesystem I suppose each individual program would have a component that manages its (what would usually be called) files and allows them to be "opened" (not really much of an open anymore; requesting better nomenclature) for use. 16:58:31 application-centric interfaces are completely obsolete, in an orthogonal environment this is made explicit in the code if you try it 16:58:34 elliott, indeed. But I'm referring to what you said above: " i mean, this isn't even about orthogonal persistence, even apple have figured this out, try and get rid of an untitled document in TextEdit without explicitly closing it including by crashing the computer" 16:58:44 (because you have to emulate a ton of pointlses bullshit) 16:58:48 Vorpal: yes, I answered 16:58:54 Vorpal: ok, you answer: how can it lose the data? 16:59:23 elliott: right, that's what I mean. 16:59:30 elliott, by power loss (assume a desktop, so no battery) or a system bug causing the normal execution to end in an unintended place 16:59:41 CakeProphet: you talked about a "program" 16:59:42 elliott: the code implements its own filesystem without trying, more or less. 16:59:57 Vorpal: ok, why would that cause it to not be able to access the data after a reboot? 16:59:59 elliott, unless it saves to a temporary place after every keypress (oh my think of the SSDs!) you can't avoid that 17:00:13 elliott: yes I still am holding on to this concept because I don't yet how it's sane to not logically divide code into... something. I usually call these things programs. 17:00:16 even a function is a kind of program. 17:00:24 elliott, and even then, there will be a tiny delay between a key press and it actually writing it out to disk where it could fail 17:00:33 CakeProphet: oh. so you _don't_ actually understand still 17:00:53 not that particular part. 17:01:00 Vorpal: oh! I see, we're going based on the assumption that you have the necessary reflexes to crash a computer milliseconds after typing something 17:01:19 elliott, no, but accidents like power losses can happen at any time. 17:01:54 elliott: perhaps if you could explain how this works without programs, or point me to an author who has already volunteered his/her precious time on the subject. 17:01:54 Vorpal: you can't type anything worthwhile in a hundred milliseconds 17:02:00 elliott, so while triggering it manually would be hard, it doesn't protect against the unintentional case always. Even if we (sensibly) ignore such things as the disk dying. 17:02:08 CakeProphet: get off my back for a minute i'm busy dealing with Vorpal 17:02:13 sure. 17:02:23 no rush. I'm a patient person. 17:02:35 elliott, right, but does it actually save the file all the time? What are the SSD wear implications of that. You have to write a full block every time 17:02:55 SSDs usually handle their own wear pretty well. 17:03:10 people need to stop being paranoid about ssds 17:03:17 yes, but this causes quite a lot of strain on the SSD, not on the level of swap on ssd, but still 17:03:34 depends on what kind of SSD we're talking about of course. 17:03:39 SDRAM SSD has no problem with any of that. 17:03:57 CakeProphet, NAND-based SSD? 17:04:10 as in, flash 17:04:35 battery backed ram (which I think is what you suggested above?) is rather uncommon 17:05:02 they handle their own wear, like I said. Though there are more writes in this kind of system, it's not really much more than what a regular system does. 17:05:11 * CakeProphet watches the occasional spikes on his disk usage meter. 17:05:14 09:08:08: the only problem I can see is that programs could easily become possessive about their various documents, which would typically have free access by any other program but now must be explicitly shared. 17:05:15 09:08:19: good for security, I guess. 17:05:15 09:11:15: without a system-wide component to make these "files" available to other programs, you basically end up having to reinvent data sharing over and over instead of serialization/persistence. 17:05:15 application model is obsolete, etc. etc., of course it sucks 17:05:35 10:31:35: CakeProphet: programs are so 60's though 17:05:35 10:31:47: oklopol: I.... no. 17:05:35 10:31:57: they are a retarded idea 17:05:35 10:32:11: I think programs are... a good idea? 17:05:35 10:32:14: from a user's perspective 17:05:36 10:32:20: you would be wrong 17:05:42 oklopol is correct as always 17:05:51 10:32:24: from a programmer's perspective programs make perfect sense. 17:05:51 s/a programmer's/my/ 17:06:05 10:32:49: in any case how do you logically divide code. 17:06:05 10:33:13: err functions and shit? 17:06:05 10:33:35: just like i always do when i program 17:06:05 10:34:06: what i don't do is write multiple programs that interface each other clumsily just to have a nice logical division 17:06:05 10:34:15: programs are a retarded idea 17:06:07 oklopol remains correct 17:06:27 elliott: I suppose the main problem I'm having with this system is how do I pass around control flow? continuations? 17:06:32 elliott, what model are you suggesting instead of programs? Something like the squeak vm? 17:06:38 11:05:42: yeah try piping instead. 17:06:39 11:06:01: since using -e gives you the exec format error thing. 17:06:40 (with a different language of course) 17:06:53 elliott: that's totally unrelated to this topic. :P 17:06:54 CakeProphet doesn't realise that pipes aren't bidirectional, and Ngevd isn't here but just needs a wrapper shell script 17:07:24 you're not allowed to just grill all of my statements, only the relevant ones. 17:07:34 CakeProphet: this is called logreading 17:07:53 elliott, or some completely different model? 17:08:15 11:23:09: according to RFC: USER : 17:08:15 this is obsolete 17:08:25 Vorpal: CakeProphet: I'll answer after I finish the more important task 17:08:27 i.e. logreading 17:08:32 . 17:08:33 elliott: I believe, now that I've basically removed the concept of application, I now see how this might work. 17:08:41 11:26:28: Ngevd, only IRCNet actually uses RFC 2812 17:08:47 Vorpal: everyone supports the newer USEr command though 17:08:56 elliott, well yeah 17:09:01 elliott, but in full I mean 17:09:02 s/r/R/ 17:09:05 well sure 17:09:09 elliott: something involving continuations I imagine. your code bits can communicate via functions, or, well, any other data they want. 17:09:13 11:45:28: As far as I am aware, netcat has stopped working 17:09:14 11:49:38: Hang on. 17:09:14 11:49:38: Is freenode up? 17:09:14 11:50:51: fungot, am I here? 17:09:14 no 17:09:14 elliott: the only type is the type of brainfuck cells is not specified where this delimiter is! nothing to churn the rest of the java framework in linj because i found the schemewiki. 17:09:44 My IRC client when I design, I try making it closely as possible to the RFC. 17:09:50 ^style 17:09:50 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* jargon lovecraft nethack pa sms speeches ss wp youtube 17:10:06 Although a lot of things are by macros anyways 17:10:10 elliott: the difficult part is still.. understanding how the entire system coherently fits together. But, then again, I'm not really sure I completely understand how that works in a typical system. :P 17:10:12 hm, typed brainfuck. 17:10:33 13:23:29: Also, I just saw today's IWC 17:10:33 13:23:33: * Taneb sad 17:10:36 HAHAHAHAHAHAHAHA I WAS RIGHT 17:10:38 I WAS RIGHT 17:10:40 ALL ALONG 17:10:42 AHAHAHHAHAAHAHAHHAAHHAA 17:10:51 I think someone on this channel once tested it and found that my client is the only one following the RFC? 17:10:57 -!- Pietbot has joined. 17:11:01 elliott, it will continue, in a different form 17:11:08 Vorpal: not as a /webcomic/ 17:11:11 -!- Ngevd has joined. 17:11:13 elliott, true :( 17:11:14 elliott: so is preemptive multi-tasking even a thing here? 17:11:21 Brilliant 17:11:23 elliott, I think it is sad. I liked iwc. 17:11:24 CakeProphet: god i just told you that i was logreading first 17:11:27 )iiisso 17:11:28 Ngevd: CakeProphet is wrong, a pipe won't work 17:11:31 you need a wrapper shell script 17:11:37 Ngevd, you want to read the log. netcat doesn't work like CakeProphet suggested 17:11:48 don't bother reading the log 17:11:49 TO THE INTERNET! 17:11:51 Ngevd: put this in a file: 17:11:53 #!/bin/sh 17:11:56 pietinterpreter ./bot 17:12:01 then chmod +x that file 17:12:07 and nc.traditional -e ./thatfile irc.freenode.net 6667 17:12:28 anyway you could make it work with fifos. 17:12:34 13:29:05: The parentheses in the topic are unbalanced. Argh 17:12:35 do you know who mccarthy is 17:12:46 And apparently the fact that my IRC client follows the RFC annoys some people? 17:12:48 elliott, Lisp inventor? 17:12:50 the ) is symbolic of the ending of an era etc. 17:12:53 ah 17:12:54 I see 17:12:54 -!- Pietbot has quit (Read error: Connection reset by peer). 17:13:09 dunno why there are two )'s though. 17:13:14 a bit of a mixed metaphor if you ask me. 17:13:22 nc ... fifo2, and then pietbotwhatever < fifo2 > fifo1. Something like that should work 17:13:27 CakeProphet: Gregor added that stupid thing 17:13:32 Vorpal: fifos are hideous 17:13:34 14:53:46: let's try a HEAD. 17:13:34 14:54:13: just "unknown command", and GET did nothing. 17:13:34 14:54:28: maybe it's special-cased to only do a thing at connection initiation time. 17:13:41 fizzie goes lowercase in nc conditions 17:13:43 elliott, okay you could do it with bash fd magic I think too 17:13:56 Vorpal: or -e 17:14:00 elliott, sure 17:14:02 when I die I want a close parenthesis on my tombstone. 17:14:02 or tie(1) 17:14:03 nothing else. 17:14:04 (preferable) 17:14:06 it'll be all artsy. 17:14:09 elliott, but then you need a wrapper script (for -e) 17:14:18 elliott, anyway you could use socat I think 17:14:20 Vorpal: so tie(1) :) 17:14:26 but that is so flexible that it is hard to use 17:14:38 When I die I don't want a tombstone. 17:14:49 shoot zzo into outer space! 17:14:59 I don't want to die 17:15:05 No! Reuse the body. 17:15:07 Vorpal: tie(1) 17:15:11 Sometimes I wish I never was born at all 17:15:17 deep 17:15:28 I wouldn't mind dying right now. 17:15:29 why not. 17:15:31 elliott, err: 17:15:32 NAME 17:15:32 tie - merge or apply WEB change files 17:15:36 what? 17:15:49 $ tie 17:15:50 This is TIE, CWEB Version 2.4. (TeX Live 2009/Debian) 17:15:50 Copyright (c) 1989,1992 by THD/ITI. All rights reserved. 17:15:50 Usage: tie -[mc] outfile master changefile(s) 17:15:50 tie is totally a Perl thing, the word can be used for NO OTHER PURPOSE. 17:15:51 Vorpal: that's a dumb tie, remove it 17:15:56 tie (c) Perl 17:16:05 elliott, no, it is from TeX 17:16:12 dumbe 17:16:27 elliott: let me know when you logread to the point of our latest conversation, so we can continue our conversation. 17:16:28 It can be useful if you have multiple change file for a WEB program 17:16:31 elliott, well, it would likely break stuff. Which tie do you refer to 17:16:46 elliott: actually, once you reach the end of the log, you could probably just continue logreading, quote what I say, and reply 17:16:54 Vorpal: tie p === fix (p |) -- with sharing 17:16:55 by the time you reply I will probably have more material for you to logread. 17:17:08 The format of change files is the same for WEB and CWEB 17:17:11 Vorpal: ergo (tie 'nc host port | bot') = (tie 'bot | nc host port') = bot | nc host port | bot | nc host port | bot | ... with sharing 17:17:28 My way of getting Pietbot to work was nc irc.freenode.net 6667 < botpipe | ./bot > botpipe 17:17:30 It worked 17:17:39 -!- pikhq has quit (Ping timeout: 244 seconds). 17:17:45 Ngevd: -e is nicer, also botpipe has to be a fifo there 17:17:45 -!- pikhq has joined. 17:17:52 It is 17:18:28 hm 17:18:31 ok, now back to arguing 17:18:38 elliott: I suppose the main problem I'm having with this system is how do I pass around control flow? continuations? 17:18:44 elliott: I totally have no intention to argue, but okay. 17:18:46 what do you mean by "pass around control flow" 17:18:47 I'll try -e again 17:18:52 elliott, what model are you suggesting instead of programs? Something like the squeak vm? 17:18:53 Ngevd, with a wrapper script 17:18:55 -!- Pietbot has joined. 17:18:55 Tell me when five minutes have happened 17:19:00 Ooh, there we go 17:19:05 )df iiisso 17:19:06 Vorpal: i suppose it will pretty inevitably become clear as i try and figure out wtf CakeProphet is on about, so... 17:19:08 Ngevd, 5 minutes? why? 17:19:15 Doesn't matter now 17:19:23 elliott, so not that then. 17:19:26 That was when I would give up on Pietbot 17:19:52 hi pietbot 17:20:12 it doesn't say stupid things when you say its name does it :( 17:20:17 No 17:20:20 monqy: is that 17:20:23 monqy: a jab 17:20:25 monqy: against fungot 17:20:25 elliott: that's intended. the idea is simple: merge-pathnames is a good idea, 17:20:30 It should have a deadfish interpreter 17:20:32 )q 17:20:35 it's not against fungot!!! 17:20:36 monqy: to go off and do their own thing, here. bf is too slow for it to use 17:20:38 That should make it quit 17:20:44 it's uh 17:20:46 Ngevd, well, it isn't working 17:20:52 fungot friendship 17:20:52 monqy: computer in what manner to combine them. 17:21:02 elliott: okay so one chunk of code lets the user edit text files, another chunk probably plays music, another probably loads and displays web pages, etc. There are a lot of unrelated bits of code that are probably not cooperating in any way. How are they scheduled to run with the semblance of simultaneity. 17:21:02 Vorpal, you've identified the main problem 17:21:08 Ngevd, heh 17:21:24 CakeProphet: I see! when you said you'd stripped away the concept of program, you meant: I haven't 17:21:26 anyway fungot is the only esolang irc bot I know of that doesn't depend on nethack or a similar helper 17:21:27 Vorpal: http://www.frikateers.com/ bilder/ sr/ 001/ hw1.html here's the assignment, contains the picture is all black. 17:21:54 elliott: so there is no such thing as multitasking? that is not a thing anymore? 17:22:09 -!- Pietbot has quit (Remote host closed the connection). 17:22:11 Vorpal: Nethack?-) 17:22:34 CakeProphet: so are you just gonna say "so what you mean is Y" for every X that I say 17:22:34 catnet 17:22:38 where X is totally unrelated to Y 17:22:39 If the entire system is one functional Haskell program or something like that, then you don't need individual program you can just compose the functions you need. 17:22:59 fungot: Do you "depend" on nethack in the sense that you stop working if you can't play every now and then? 17:22:59 fizzie: these kids today, with their long hair, dope, and silly abbreviations...) and how it works. 17:23:00 `addquote 17:23:02 oops 17:23:02 No output. 17:23:04 `addquote anyway fungot is the only esolang irc bot I know of that doesn't depend on nethack or a similar helper 17:23:05 elliott: i like the wiki and is at http://ll1.ai.mit.edu/ shriram-talk.pdf the 17:23:06 699) anyway fungot is the only esolang irc bot I know of that doesn't depend on nethack or a similar helper 17:23:15 elliott: I was under the impression that that's what you were doing, but anyway... 17:23:15 `addquote fizzie: these kids today, with their long hair, dope, and silly abbreviations...) and how it works. 17:23:16 elliott: what do you expect to know the name, trying to install drscheme 207 i get an ordered list of counts of messages/ day each area gets. it's tolerable, though. 17:23:18 700) fizzie: these kids today, with their long hair, dope, and silly abbreviations...) and how it works. 17:23:28 elliott: regardless of whether you call them programs or not, any modern operating system is going to manage the execution of code that performs these kinds of tasks for the benefit of a user. no? 17:23:37 they can be organized differently, sure. 17:23:46 700 wow 17:23:50 CakeProphet: what you say is technically true, but you're about to make unwarranted assumptions based on it being true 17:23:51 but they still exist. or should, anyway. otherwise your wonderful perfect system does absolutely nothing useful. 17:23:55 `quote long hair, dope, and silly abbreviations 17:23:58 700) fizzie: these kids today, with their long hair, dope, and silly abbreviations...) and how it works. 17:24:08 no others? 17:24:14 ^style 17:24:14 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* jargon lovecraft nethack pa sms speeches ss wp youtube 17:24:14 `pastelogs long hair, dope, and silly abbreviations 17:24:40 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.32223 17:24:45 elliott: no, I am seeking answers, not trying to make assumptions. when you don't provide answers but instead take what I say and make it sound irrelevant to the system, I learn absolutely nothing and must rely on assumptions. Do you see how this works? 17:25:17 i can't give you answers if you keep blankly asserting "X must be done and therefore" for various X 17:25:35 You can say how the assumptions are wrong 17:26:28 elliott: basically I suppose I'm asking: how does multitasking exist without processes. 17:26:49 Cake "threads are processes" Prophet 17:27:02 Ngevd: not when they're of the not-even-wrong form 17:27:10 Cake "threads and processes are programs which don't exist anymore apparently" Prophet. 17:27:43 monqy "help whats happening this is stupid" monqy 17:27:46 Cake "threads [...] are programs" "I'm not actually putting words into his mouth any more at this point" Prophet 17:27:49 monqy "monqy" monqy 17:28:19 elliott "I'm being tricky and perverse" hird 17:28:31 * elliott tricky and perverse 17:28:42 hird 17:29:07 ...I.. don't know where to go from here. 17:29:18 elliott too tricky and perverse for you? 17:29:45 elliott, you should go work for GNU. Then you can say "Well, HURD may not be my middle name, but HIRD is my last name" 17:29:49 `addquote anyway fungot is the only esolang irc bot I know of that doesn't depend on nethack or a similar helper <-- gah the typo 17:29:49 Vorpal: brainfuck program taking too long. 17:29:53 netcat of course 17:30:15 fungot, don't all brainfuck programs 17:30:15 Ngevd: kuribas pasted " sqlite3 fnord" at http://paste.lisp.org/ display/ fnord)? conceptually, at least afaik 17:30:18 the situation is similar to trying to peek around to the other side of a large infinite brick wall that reaches up to the ceiling of an infinite room. I can only walk along its side until I find a door, but I haven't found it yet. 17:30:31 elliott, you should go work for GNU. Then you can say "Well, HURD may not be my middle name, but HIRD is my last name" 17:30:33 I have no jackhammer or explosives. 17:30:39 Ngevd: i don't think gnu is a corporation 17:30:46 CakeProphet: deep. 17:30:49 You should make it a corporation 17:30:53 those kinds of things are allowed in this metaphor. 17:30:56 *aren't 17:30:58 And then go to press conferences 17:32:03 elliott, oh, you know how you were putting off reading IWC? 17:32:10 Or possibly get Canonical to make Ubuntu HURD, and then work for them 17:32:10 Phantom_Hoover: Wait. 17:32:11 Wait 17:32:12 Let me guess 17:32:17 He's only doing annotations now? 17:32:21 You heard? 17:32:28 No I'm just a genius. 17:32:58 Anyway, you have MISSED YOUR CHANCE now. 17:33:17 elliott: I'm basically just not finding a distinction. 17:33:18 You heard? <-- yes, he log read above 17:33:22 Phantom_Hoover: FSVO missed your chance. 17:33:33 Vorpal: Dude, I read new IWC strips, I just haven't bothered binging yet. 17:33:47 ah 17:34:00 elliott, how does it make any sense that way 17:34:02 CakeProphet: forkIO (threadDelay 1000000 >> putMVar foo "abc") -- this is a thread so it must be an application 17:34:16 Vorpal: because the plot didn't advance for years? :P 17:34:23 hm true 17:34:35 Vorpal, because until around two weeks ago IWC was a gag-a-day strip. 17:34:50 elliott: in "there are no programs but instead these sequences of code that do unrelated tasks and execute concurrently" and "there are programs and they exist as sequences of code that do unrelated tasks and execute concurrently" 17:34:58 Phantom_Hoover: You forgot the universe-blowing-up plotlines. 17:35:11 elliott, plotline, singular. 17:35:21 Phantom_Hoover: Fair enough. 17:35:23 Phantom_Hoover, yeah good point, the plot was going forward when I began reading it. It was around when the fantasy theme first went through that portal thingy between the two villages. 17:35:40 You mean well over a year ago? 17:35:45 elliott: it's not an application, but if you put a "main =" in front of that you have defined a program. 17:35:46 More, even? 17:35:52 Phantom_Hoover, yeah 17:36:10 CakeProphet: You use program to strictly mean "concurrently-running sequence of code", and then switch to "something like a typical GNOME application" 17:36:11 And the plots all moved forwards without actually getting anywhere. 17:36:14 I registered my account on the forums in 2007 17:36:19 anyway I feel that the fantasy theme got a somewhat abrupt ending. Got through that swap way to quick 17:36:23 elliott: I do? 17:36:27 CakeProphet: So because I assert that there are concurrently-running sequences of code, you insist that "oh there have to be text editor applications". 17:36:42 "okay so one chunk of code lets the user edit text files, another chunk probably plays music, another probably loads and displays web pages" 17:36:46 Oh god don't tell me you're trying to explain @ to CakeProphet. 17:36:47 earlier, you talked about a word processor 17:36:53 elliott: not at all. Rather, there must be a program that edits text, or as least part of the process of editing text. 17:36:56 so yeah, I can't prove you wrong because you're conrtadicting yourself! 17:37:03 CakeProphet: woot, you just switched back over to the other definition 17:37:12 elliott: I've been using the first definition the entire time. 17:37:20 elliott: because it is a meaningless distinction.. 17:37:25 hahaha 17:37:26 in the first place. 17:37:31 concurrent running sequence of code == WIMP application 17:37:38 this is why CakeProphet: forkIO (threadDelay 1000000 >> putMVar foo "abc") 17:37:45 is an application 17:37:58 look at that UI. look at those menus. 17:38:11 I never really mentioned applications. I've been talking about programs. concurrent running sequence of code == program 17:38:18 text editor == program 17:38:22 possibly a composition of many programs. 17:38:23 CakeProphet, OK, look, you know Jade's OS in Homestuck? 17:38:27 Phantom_Hoover: sure. 17:38:32 That's @. 17:38:33 Phantom_Hoover: That has applications, you dolt. 17:39:04 elliott, are you saying @ doesn't have applications or is CakeProphet. 17:39:10 Phantom_Hoover: I am. 17:39:19 @ innovation 17:39:19 why the fuck would I be saying what @ has 17:39:20 The application-centric model has been obsolete for approximately ever. 17:39:26 when I don't even completely get what elliott is talking about. 17:39:57 i want @ 17:39:59 Stand back, I have an idea. 17:40:01 elliott, I can several ways it can drop the concept of applications. Which way do you do it? Please don't make the entire OS like a huge mathematica notebook with everything insertable everywhere in it. Actually do it, it would be quite amusing 17:40:13 elliott, say I'm from the future, and use @, and want to chat on IRC. 17:40:15 -!- derdon has quit (Remote host closed the connection). 17:40:18 How would I do that? 17:40:29 definitely not with an application. 17:40:32 I can say. 17:40:33 for sure. 17:40:34 in the future, all problems have been solved 17:40:45 "thanks @" 17:40:55 Ngevd: In the future we use telepathy but I GUESS I can pretend the future is totally inferior as soon as I respond to Vorpal??? 17:40:58 monqy: Shut up @ is the best. 17:41:15 elliott, I assume some functions will be bundled together into something resembling a conventional application? 17:41:17 elliott, maybe I'm a history buff 17:41:27 Phantom_Hoover: Nope! I thought you understood @. 17:41:27 i know it's the best ;_; this is why it has solved all problems ;_; 17:41:32 elliott, well there are a few other obvious way to drop the concept of applications, probably quite a few non-obvious as well. 17:41:42 Vorpal: That just makes me think of Archy zoom UI stuff. 17:41:46 Re: Notebook. 17:41:50 err? 17:41:56 elliott, nononono, I mean purely conceptually. 17:42:00 elliott, what is "Archy zoom UI"? 17:42:17 Phantom_Hoover: Eh? 17:42:19 I wasn't aware we were discussing anything other than concepts... -_- 17:42:19 guess I'll DDG it 17:42:19 Like, you'd never use some of them without others. 17:42:32 Vorpal: It's like Canon Cat but newer. 17:42:37 Also dinner. 17:42:39 I guess that only works if you know what the Canon Cat is. 17:42:42 Is there any pretty pictures that anyone can see of concept for @? 17:42:45 elliott, alas I'm not familiar with that either 17:42:55 Ngevd: OK give me a minute and I'll answer your question. 17:43:53 elliott, anyway there is one thing that always seems to end up like an application to my mind. And that is games. If @ gets big people will want to play 3D RPG/FPS/racing/whatever games on it. 17:44:28 perhaps I just have a loose definition of what a program is. 17:46:13 in my mind a function is a program. a function can invoke an entire application. in my mind application means "a program that computes things relevant to a particular human-oriented task" 17:46:27 Ngevd: @'s UI, as I've previously stated, isn't actually fully decided yet; there are a great many directions it could go in and I need to narrow the field after I've worked out some details about the internals. But note that the original subject of this "discussion" wasn't actually @, so I'll just pick one possible non-application-centric UI: something similar to Emacs. Here's one way it could go: You would press some shortcut key for "open", typ 17:46:27 e in irc://irc.freenode.net/esoteric, and it would load up a buffer containing the channel, which would then be interacted with by writing into it (if you've used ERC, similar to that). You could then open other channels in other buffers and manage them with screen-splitting and the like just like with regular Emacs. (This probably isn't what @'s UI will look like, but it's one possible non-application-centric orthogonal-persistence-supporting UI.) 17:47:14 better than the notebook at least 17:48:30 elliott, anyway, what about a full-screen 3D FPS game for @. Would that not qualify as an application in some senses of the word application? 17:49:06 I'd like to know elliot's definitions of program and application. they are apparently different from mine. 17:49:17 Vorpal: Only with a bad definition of application. Some aspects I could imagine changing, e.g. you would probably create and manage Minecraft worlds outside of Minecraft, and simply open them when relevant, but that's a very minor distinction. 17:49:32 hm 17:49:57 CakeProphet: I don't think that's your definition of application, because you react with incredulity whenever I suggest that there is no such thing as a word processor as you know it. 17:50:45 I don't believe you ever made that suggestion. 17:51:00 -!- evincar has joined. 17:51:07 elliott, so assuming you wanted WYSIWYG editing of a letter for printing. What would you do on @? Just out of pure interest. 17:53:14 elliott: removing old concepts without replacing them doesn't suddenly make everything clear. it just leaves a void to be filled. 17:53:15 Vorpal: WYSIWYG is overrated. It'd be possible, but I'm disinclined to work out how, as it probably doesn't fit too strongly into the @ model of things. 17:53:25 CakeProphet: Sure it does. 17:53:48 it's honestly not that difficult to explain something in terms that someone with a slightly different perspective can understand. 17:53:57 CakeProphet: If there was a decades-old operating system principle that every OS had a big picture of a cow in the top-left corner of every system, removing that would be an obvious improvement with no need to be replaced. 17:53:57 elliott, well, if we drop the WYSIWYG requirement then? I would need some sort of editor for writing LaTeX code or some other system in 17:54:03 without demanding they already understand it in order to proceed, essentially. 17:54:24 elliott, erm, anyway, re applications. 17:54:34 If there was a principle that every text box is split into subboxes of five words long, and it was impossible for them to interact without manually moving between them, removing that would be an obvious improvement. (Hint: This is a metaphor for the application-centric model.) 17:54:41 pictures of cows in the top left would be great 17:54:45 the improvement would be adding more cows 17:54:46 Let us suppose one wants to browse the web. How would one go about this? 17:54:49 monqy: Yes but CakeProphet is awful and would not agree. 17:55:00 elliott, yes you would replace it with something. Be it black pixels or extra area available to display other stuff. 17:55:24 Phantom_Hoover: I'm really bored of these sorts of questions since this is the third one I've been asked in the last five minutes. Especially since the web basically contains a bad implementation of several of @'s principles, so it's a fairly ugly mapping. (But a possible one.) 17:55:26 elliott: okay we have not really been talking about different things this entire time. 17:55:43 If there was a principle that every text box is split into subboxes of five words long, and it was impossible for them to interact without manually moving between them, removing that would be an obvious improvement. (Hint: This is a metaphor for the application-centric model.) <-- sounds like entering CD-key on Windows 9x 17:55:54 elliott: in CakeProphetLand applications can have absolutely no barriers between them and still be applications. 17:55:55 Vorpal: heh 17:55:56 elliott, browsing the web is irrelevant. Use IRC instead. 17:55:57 it's an exciting place to be. 17:56:09 Phantom_Hoover: I literally just answered that, so logread or whatever. 17:56:29 -!- Ngevd has quit (Ping timeout: 240 seconds). 17:56:40 CakeProphet: No, they have the restriction of being applications. Applications are boxes that neccessarily restrict functionality into operating within their confines. 17:57:13 bah, in any case, I didn't even want to talk about applications 17:57:19 I was talking about programs until applications were mentioned. 17:57:22 But, isn't that a good thing? Modularity, composability through uniform interfaces, etc.? 17:57:47 you can have all of those things without applications. 17:58:38 -!- ais523 has joined. 17:58:47 elliott, I think you're being unnecessarily hand-wavey about @ and the user experience of it. 17:59:26 elliott: in a system where applications no longer communicate in streams of encoded character data, but with data structures, I'm not really sure there's a restriction there. 17:59:36 elliott, anyway, what is your definition of an application. To me it is a set of code designed to display (on some output device, such as a screen or a Braille display) some arrangement of pixels (or whatever said display uses, obviously not pixels for a Braille display) that the user can interact with using input devices in a meaningful way to perform some action that has a meaning in the human world. 18:00:00 People ask "how do you do X?" and the response is "well, you don't, at least not that way" with nothing substantive afterward. 18:00:29 ais523, download for c-intercal is down. 18:00:58 Vorpal: your fault? 18:00:58 ais523: You have 1 new message. '/msg lambdabot @messages' to read it. 18:01:01 ais523, ... no 18:01:02 @messages 18:01:02 Vorpal said 2h 29m 46s ago: It seems that the http download server for c-intercal (overload.intercal.org.uk) is down (at least over IPv6, trying anything else is somewhat annoying). I don't know who 18:01:02 can fix that, but maybe you do? 18:01:10 * ais523 is a rebel 18:01:21 Vorpal: intercal.org.uk is run by Claudio Calvelli 18:01:30 ais523, right, you presumably know who to contact then? 18:01:35 I don't know his email or anything 18:01:56 it has been down all day 18:02:12 Vorpal: clc@intercal.org.uk 18:02:36 -!- pikhq has quit (Ping timeout: 244 seconds). 18:02:44 -!- pikhq has joined. 18:02:49 ais523, you don't care enough to mail yourself? Anyway elliott confirmed it was unreachable over ipv4 too 18:03:30 Vorpal: no, I don't care enough 18:03:34 the development source is still around 18:03:37 evincar: would you please shut up, or haven't you cottoned onto the fact that nobody wants to talk to you? 18:03:40 and it even has tags so you could get specific versions 18:03:57 ais523, not easy for making a package 18:04:27 Phantom_Hoover: I don't really mind. As far as I'm concerned, you're just text on a screen. 18:04:27 anyway, I don't think it's reasonable to demand complete and detailed answers about an operating system that's in very very early stages of development. 18:04:38 evincar: I think you joined about ten minutes ago in the middle of this, know almost nothing about @, and are also intolerable to talk to, so... I guess we both have problems. Also related to the first statement there, you don't actually realise that this was never actually about @ in the first place because you have missed about 90 percent of it, so responding to what you said would basically be a painful trainwreck. 18:04:44 So I'll answer Vorpal instead. 18:05:35 elliott, anyway, what is your definition of an application. To me it is a set of code designed to display (on some output device, such as a screen or a Braille display) some arrangement of pixels (or whatever said display uses, obviously not pixels for a Braille display) that the user can interact with using input devices in a meaningful way to perform some action that has a meaning in the human world. 18:05:49 Vorpal: "Application" is basically universally used to mean "WIMP-style application", even by those who claim to have a more broad view of it :) 18:06:00 Vorpal: Unless you consider wc an application. 18:06:12 elliott: I, don't use that definition. 18:06:14 really, I don't. 18:06:16 elliott, yes. 18:06:28 Vorpal: What about 18:06:28 I stand by my definition of a program (obviously this needs tweaking for @) which requires direct human interaction for normal function. 18:06:29 :t id 18:06:30 forall a. a -> a 18:06:32 Vorpal: ? 18:07:07 elliott, that is a different meaning of application, if you are talking about applying a function to something. It doesn't interface with an user unless you run it from ghci or similar. 18:07:08 elliott: I think I see our miscommunication now, and perhaps understand a little better what you mean by a lack of applications. 18:07:21 Vorpal: wc :: String -> (Integer, Integer, Integer) 18:07:33 elliott: do you consider Emacs an application? 18:07:34 Vorpal: wc is exactly as much of an application as id is. 18:07:40 Vorpal: (With your definition.) 18:07:41 elliott, sure, if ghci is the user interface then wc is an application, and so is id 18:07:59 ais523: I don't know which definition of application we're using; Vorpal has one far more general than most people's. 18:08:12 Use mine, it is the best 18:08:17 oh how interesting, are we discussing the definition of the word application? 18:08:18 elliott: neither do I, that's why I'm asking questions to try to find out 18:08:37 olsner: No. 18:08:40 I think the solar time is really an Arabic Part formula! (but with equatorial coordinates rather than ecliptic) 18:08:46 elliott: Good. 18:08:59 elliott, but if you mean WIMP application, yes indeed, it might not be there. That said, WIMP style application could be appropriate to some situations I guess, I haven't seen any evidence that it can't be. 18:09:04 olsner: CakeProphet decided to use two definitions simultaneously (one of which I have no idea what it is) and now everyone else is on a journey to self-discovery to figure out which definition they use. 18:09:10 but a lot of stuff is shoehorned into that 18:09:23 elliott: that's not true. 18:09:34 I have used exactly one definition of application. 18:09:37 olsner: Relatedly, CakeProphet has been saying things are not true a lot. 18:09:55 It seem to me that it must be, even though I can find nothing about it in anything about sidereal time, solar time, Arabic Parts, or whatever. 18:10:32 Relatedly, I think I'll go watch DS9 instead 18:10:50 olsner: Spoiler: Bashir's hands are magnetic. 18:11:07 olsner: typically involving claims elliott has made involving me. (Is it okay if I speak indirectly through you?) 18:11:20 it is? cool. 18:11:51 elliott, well, it was revealed early in season 2, so it's not a huge spoiler. 18:12:09 elliott, anyway while wc may not end up as a /program/ (running in a separate memory space, if that concept is even relevant in your model), there has to be some sort of separation between, say, a piece of code that has login information loaded and minecraft-for-@ 18:12:35 Does oerjan know about Arabic Parts? 18:12:39 Yes. 18:12:42 Ask him about them. 18:13:49 elliott, anyway, I still fail to see how something like a game would not end up as an application in the sense that you are using. Or are you saying that just because a game doesn't have a menubar on the top it isn't an application already? 18:13:52 Incidentally, I did find the panel with Jade's OS and it has conventional applications; I retract my objection to elliott's objection. 18:14:07 besides I know games that have menu bars. Freeciv iirc is an example of that 18:14:07 At what time is oerjan on? 18:14:11 Phantom_Hoover: thank god 18:14:16 * elliott salutes america 18:14:36 * Phantom_Hoover plays "God Save The Queen". 18:14:47 elliott, so, how do you figure a game is not an application in your sense of the word? 18:14:48 Except I always confuse God Save The Queen with the wedding march. 18:15:05 Vorpal: games don't act much like applications anyway, outside of their main menu interface (which is erratic by normal os statements), anyway it's stupid because you're just doing the thing wher you latch on to a specific case and generalise it to the whole thing :) 18:15:17 "games are KIND OF SORT OF KIND OF like WIMP applications, therefore @ is impossible" 18:15:21 Vorpal: conceptual and time separation, sure, but not actual system separation, I think? as in, they're just code sequences that aren't really barred from communicating between each other in ways that components of an application do. 18:15:38 elliott demonstrates again his "I hate you die :)" tendency. 18:15:45 if I understand correctly, the entire operating system sort of acts as the only real application. 18:15:45 It would depend on the game, I think. 18:15:50 bbl food 18:16:17 @: the wimpiest os 18:16:17 Maybe you meant: . ? @ v 18:16:24 yes lambdabot thank you 18:16:38 Phantom_Hoover: lol 18:16:53 elliott: please stop me whenever you want. 18:18:52 If you have a system that is really a Haskell program that you install various modules, and then compose functions, and the typeclasses can also be used to make one function work with another, and so on..... 18:19:40 a beautiful system 18:19:43 until it isn't 18:19:45 Vorpal: btw you can remove the !makeflags thing 18:20:08 and that sh dependency looks dubious 18:20:10 elliott: how many programming languages do you estimate @ will obsolete upon its fierce yet magnanimous inception. 18:20:17 -!- cheater has joined. 18:20:25 depends what you mean by obsolete 18:20:53 make all of their application-centric stuff no longer making of sense. 18:21:51 I imagine a Haskell function calling a Perl subroutine and my brain kind of explodes. I guess. 18:22:27 @ won't support most programming languages as natively as @lang, if that's what you mean. 18:22:46 I suppose. 18:23:10 not what I meant, but it clarifies my question. 18:23:52 back 18:24:13 Vorpal: btw you can remove the !makeflags thing 18:24:14 and that sh dependency looks dubious 18:24:15 in what? 18:24:18 c-intercal? 18:24:24 yes 18:24:26 elliott, I think the sh dep was because of -F 18:24:30 which generates a shell script 18:24:33 elliott: also some of the stuff I said earlier: I noticed you didn't really refute anything I said. Is that because I'm correct or because you got tired of me being wrong? :P 18:24:34 that produces the same output 18:24:37 elliott: there's a dependency on some shell 18:24:41 that's sh-compatible 18:24:45 also, I think there's a dependency on cat 18:24:45 Vorpal: that's not a dependency 18:24:58 Vorpal: otherwise a gcc cross compiler would depend on the target cpu :) 18:24:58 elliott, anyway I can't update it until the site is up 18:25:09 elliott, I think it was a dep not a makedep? 18:25:14 ais523: what is the sh dependency for? 18:25:18 Vorpal: you're confused about what a makedep is 18:25:23 Vorpal: this is a /compiler/ 18:25:28 Vorpal: the dependencies on the output code are irrelevant 18:25:29 elliott, one that is needed when building ick 18:25:32 hm 18:25:49 Vorpal: like, if you packaged an intercal program, c-intercal would be a makedep 18:25:52 and sh would be a dep 18:25:55 if it was compiled with -F 18:26:06 elliott, anyway I won't touch the thing until the download is up again 18:26:07 elliott: sh is needed while compiling the program too, IIRC 18:26:25 ais523: hmm, why? 18:26:37 because it uses a wrapper script during the test run, I think 18:26:41 anyway sh could be removed because it is implied by base I think 18:26:42 perhaps it doesn't, I can't really remember 18:26:45 * elliott is curious about the cat dependency too :P 18:27:04 no use reinventing the wheel. 18:27:21 might as well depend on an incredibly trivial piece of code. 18:28:56 ais523, what did you say the email was again? 18:29:03 I have time to send one now 18:30:10 actually, never mind, I'm getting a headache... bbl 18:30:25 elliott: because the shellscript calls cat 18:30:37 including the wrapper one? :P 18:30:52 no 18:30:54 well, probably 18:30:59 for all I know it calls diff 18:31:05 wait, no it doesn't, that would be stupid 18:31:07 it possibly calls grep, though 18:31:19 hmm, sisko on a space sailing ship talking about how it's absolutely quiet ... but they're still playing that background hum 18:32:10 olsner: The ship doesn't make that hum. 18:32:11 Sisko does. 18:32:18 It's all the fuming. 18:32:27 elliott: oh, ok 18:32:54 olsner, have I ever mentioned that that was the episode that led to me concluding that the Cardassian Occupation was basically DF in space. 18:32:54 hmm, but how can he be making that hum on ds9 when he's out space sailing? 18:33:38 olsner: you have no idea how loud the hum truly is. 18:34:11 Phantom_Hoover: if you have mentioned that, I wouldn't know you were speaking about this episode as I have not yet seen it 18:34:16 -!- cheater has quit (Read error: Connection reset by peer). 18:34:32 olsner, the hum on DS9 is caused by Bashir's hands. 18:34:33 plus I ignore everything about dwarf fortress (if that's what DF stands for) 18:35:10 -!- cheater_ has joined. 18:35:28 Phantom_Hoover: Ah. 18:35:30 elliott: you should definitely call off @ in favor of a totally more awesome text-based game than df. 18:35:40 EC is more awesome than DF. 18:35:45 DF isn't text-based, you dunce. 18:35:51 so we can argue about minute conceptual differences for hours. 18:36:00 (such as what a text-based game is, apparently) 18:36:15 what is a "text-based" 18:36:37 as in textual IF? 18:36:45 monqy: "help what is english" 18:36:55 do you know? 18:37:08 depends on what IF stands for. 18:37:26 -!- cheater_ has quit (Excess Flood). 18:37:43 CakeProphet: "help what is english" 18:38:00 -!- cheater_ has joined. 18:38:29 elliott, it's Sollux. 18:38:40 Phantom_Hoover: Ah, yes. 18:38:50 CakeProphet: if as in interactive fiction 18:38:54 CakeProphet: the only if 18:38:57 sorry can't expand arbitrary sequences of characters into non-ambiguous phrases. 18:39:28 monqy: no being interactive fiction has nothing to do with also being text-based. 18:39:38 interactive fiction can have pictures. 18:39:42 hence textual 18:40:17 I suppose interactive fiction is text-based, but there are plenty of other kinds. 18:40:34 essentially where text/characters are used in favor of, well, "graphics" 18:40:59 what makes something text/characters instead of "graphics" 18:41:03 MUDs, rogue-likes, some interactive fiction, dwarf fortress. 18:41:09 I would consider roguelikes, for example, to be graphical 18:41:19 monqy: being composed of text and characters instead of other things that are made of pixels but aren't those 18:41:30 what a dumb distinction 18:41:47 okay 18:42:35 -!- cheater_ has quit (Excess Flood). 18:44:11 how else could I distinguish between Dwarf Fortress and Grand Theft Auto or Solitaire in a way that specifically refers to the type of graphics. 18:44:28 -!- ive has quit (Ping timeout: 248 seconds). 18:45:32 Tile-based. 18:46:44 -!- Darth_Cliche has joined. 18:46:48 I suppose that works. 18:46:57 but it's also heavily text-based. 18:47:07 Not if you use a graphics set. 18:47:18 in a way that checkers and minesweeper are not. 18:47:41 I suppose with a graphics set is becomes half and half. 18:47:44 *it 18:47:44 please don't distinguish between games based on graphical representation 18:47:49 That the default tiles are drawn from CPwhatever. 18:47:59 *is irrelevant. 18:48:06 monqy: it's a pretty valid distinction, dude. 18:48:13 No, it's not. 18:48:19 C437 contains tons of non-textual gaphics. 18:48:20 graphics. 18:48:29 It's just a fairly minimal graphical tileset that happens to use alphabetics and punctuation for many things. 18:48:35 not what I meant. 18:48:44 14:47 < monqy> please don't distinguish between games based on graphical representation 18:48:50 has nothing to do with C437 18:49:20 -!- coppro has quit (Ping timeout: 258 seconds). 18:50:01 2D, 3D, graphical, text-based, isometric, top-down, sidescroller, first person, third person. these are all graphical distinctions. 18:50:20 games can be essentially the same (hereby refered to as equivalent) yet have multiple graphical representations 18:50:38 anyway I think we've argued enough semantics for today. I'm going to go do something else now. 18:50:47 -!- elliott has quit (Quit: Leaving). 18:50:48 -!- coppro has joined. 18:50:58 so you'd want to distinguish graphical representations of a game, not distinguish between games based on grahpical representations 18:51:00 He shouldn't've clicked that link. 18:51:01 ok 18:51:30 -!- Siebenzack has joined. 18:51:50 -!- Siebenzack has left. 18:51:56 monqy: I see what you're saying. 18:51:57 hi bye 18:52:20 even with different graphics sets DF is still pretty textual. 18:52:36 with all the information, and heavy use of menus. it's probably half of the game. 18:52:53 the style reminds me of other strictly text-based games I've played. 18:52:56 then you njeed a better definition of textual 18:52:58 that use only ASCII. 18:53:19 -!- elliott has joined. 18:53:20 hi monqy hi 18:53:22 hi 18:54:10 I'd only consider things strictly text-based if they were just that. they use only text. no characters acting as graphics or anything. pretty much just natural language. like textual IF. 18:54:40 if using graphics may be considerably text-based too 18:54:48 depending on how the graphics are used 18:57:58 I still believe a game like DF would highly benefit from a command-line interface similar to a MUD but more featureful. 18:58:13 in conjunction with the menu system. 18:58:36 monqy: what about an IF game that occasionally shows an ASCII-art map? 18:58:41 I know a couple of those 18:58:58 hm 18:59:17 if the map doesn't dominate the game or anything I think it would still be text-based 18:59:35 yep, it's a case of you do "x map" 18:59:43 and it shows you what the map looks like 18:59:49 and everything else is text-based 19:00:09 I do have many text-adventure games in my computer. 19:03:14 -!- Ngevd has joined. 19:04:20 -!- cheater has joined. 19:04:35 Hello! 19:04:46 Hello Ngevd. 19:04:53 Vorpal: btw, systemd gets a few things right, but I disagree with it on several points even beyond it using ini files 19:08:56 -!- cheater has quit (Excess Flood). 19:09:48 -!- cheater has joined. 19:11:31 elliott, indeed 19:12:06 -!- cheater has quit (Excess Flood). 19:12:10 Vorpal: e.g. I don't buy the argument that double-forking processes are a reason to use cgroups; services should be written to account for these things 19:12:16 -!- cheater has joined. 19:12:24 and I find the "create sockets and pass them to the daemons" thing ugly 19:12:29 because it depends on daemon-specific support for it 19:13:26 Vorpal: I do agree that shell scripts are the wrong mechanism -- this actually makes me think that more that configuration management system might be suitable for the job, since you would use the build script language to write services in, and that would be the package language, not shell. 19:16:07 -!- cheater has quit (Excess Flood). 19:17:02 elliott, the language in question need relevant constructs to support stuff like "monitor this process I just started and restart it if it dies" 19:17:37 Vorpal: No? 19:17:42 no? 19:17:46 That's the service manager's job, not the job of individual services. 19:17:46 someone needs to do that 19:17:51 of course 19:18:01 but you have to tell that the process is not supposed to exit 19:18:07 or if it is, then it needs to know that 19:18:08 Vorpal: That's like saying systemd can't work because ini files can't do that. 19:18:27 elliott, for example, if you run mount(1) you don't want to restart it when it exits :P 19:19:04 That's just the difference between a daemon and a startup script. 19:19:05 elliott, no? I'm just saying that you need relevant stuff in there. Something that is just a build script for package management doesn't have the right tools to deal with daemons. Close yes, but not quite 19:19:45 I'm talking about the model, of course the implementation needs support for it. 19:19:56 elliott, anyway sockets for a daemon could make sense. For example, something like postgresql allows connection to it over unix sockets. IIRC it is slightly more efficient than tcp/ip over loopback. 19:20:02 Vorpal: But anyway, no, you're still wrong. 19:20:10 run = exec "apache" 19:20:15 Zomg no waitpid! 19:20:21 (assuming "apache" here doesn't daemonise) 19:20:26 I think it does 19:20:41 It's an example. 19:21:36 elliott, you mean every package needs to be patched to not daemonise? Seems like quite a lot of work for the package maintainer, especially if it is set up with closing stdio and opening logfiles and so on. And no there is no sensible way apache could log over only stdio. access.log vs. error.log, and that might be per vhost 19:22:02 Vorpal: Come on, this is patently stupid. It was AN EXAMPLE, and most packages support not daemonising too. 19:22:05 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 19:22:08 yeah 19:22:10 (And daemonising =/= just using stdio, shockingly.) 19:22:29 brb 19:23:11 elliott, anyway what about daemons that actually consist of a bunch of different processes. Typical IPsec daemons consist of a bunch of different daemons started together. Would you split that up as several scripts (or whatever you decide to call these descriptions of services) 19:24:08 elliott, oh I guess I was thinking of daemontools. It does logging for the services running under it using their stdio iirc 19:24:15 which is quite nice when it works 19:30:30 back 19:30:43 wb 19:31:14 elliott, anyway what about daemons that actually consist of a bunch of different processes. Typical IPsec daemons consist of a bunch of different daemons started together. Would you split that up as several scripts (or whatever you decide to call these descriptions of services) 19:31:29 probably, a service description can be pretty lightweight; but anyway it's not hard to add waitpid :P 19:31:36 elliott, oh I guess I was thinking of daemontools. It does logging for the services running under it using their stdio iirc 19:31:42 Vorpal: it's nice but can be implemented on top of existing stuff 19:32:30 I wonder when the hardware clock in PCs will roll over 19:33:45 http://0pointer.de/blog/projects/why.html good god look at that comparison 19:33:50 i'm surprised there aren't a few rows of "is systemd" 19:34:38 Vorpal: another cool thing with my system: you could use the package manager ui to control services :) 19:34:54 mhm 19:35:08 -!- cheater has joined. 19:35:10 that could actually be nice, if the manager is designed for it 19:35:18 elliott, anyway, I'm unable to find info on how many bits a PC hardware clock has 19:35:20 no need to prompt for stopping a service, for instance 19:36:00 oh my lol 19:36:04 Vorpal: scroll down on that page I linked 19:36:04 SCM 19:36:10 sysvinit [red] Subversion 19:36:14 upstart [red] Bazaar 19:36:17 systemd [green] git 19:36:20 eh 19:36:24 wtf 19:36:28 what a joke 19:36:31 poettering is so full of shit 19:36:51 yes 19:37:10 bazaar is simply a PITA for hackers who work on all sides of the OS, because it is not just much less usable than git, but also yet another tool to deal with. Quite frankly, I don't want to care about VCSes, they should just work, and not get in my way. And git is pretty good at that. bzr not, and it requires me to learn even more stuff. But anyway, this story is not about bzr, but it's fun to see how easily people are to tick of with a little 19:37:16 colour. Before I posted this we actually bet that this would be the first thing people would comment on -- and they did! Consider it candy for the trolls... 19:37:26 Deewiant: "bazaar is simply a PITA for hackers who work on all sides of the OS" 19:37:30 So much sensemaking. 19:37:48 Vorpal: One thing I don't like about the early-socket thing is that it breaks if the buffer overflows :/ 19:37:59 elliott, yes that is nasty 19:38:03 A Parent-Italian teacher association? 19:38:11 Ngevd: pain in the arse :P 19:38:15 elliott, really, all I want is upstart with deps instead of events 19:38:31 Wasn't far off 19:38:47 Vorpal: Meh. Writing shell scripts isn't much fun. 19:39:00 elliott, upstart isn't really shell scripts, it is a custom language 19:39:03 and fairly easy 19:39:05 ooh, "Specialized professional consulting and engineering services available" 19:39:06 elliott: I took that as referring to how most things seem to be in git these days 19:39:11 -!- Phantom_Hoover has joined. 19:39:15 Vorpal: Well, yeah, but there's shell scripts in the body I think 19:39:17 elliott, I mean, they tend to be less than 10 lines including any comments 19:39:21 I've never really looked at upstart because its design is stupid 19:39:27 I've got a Piet IDE and I don't know what it is 19:39:50 Deewiant: Apart from everything Canonical does, such as upstart :P 19:39:55 Deewiant: And, uh, Mozilla. 19:39:56 I like text-adventure game 19:40:04 elliott, oh btw, I don't really care about boot time that much. From grub to login prompt (I use startx) takes less than 10 seconds on my desktop anyway. And that was before switching to the SSD for the system 19:40:07 Deewiant: And Python. 19:40:10 It's installed on my Windows partition, but is otherwise really good 19:40:22 elliott, now it takes like 7, because almost all that time is spent waiting for DHCP 19:40:36 Vorpal: Start network asynchronously :P 19:40:40 -!- cheater has quit (Ping timeout: 252 seconds). 19:40:47 elliott: And darcs; why are we talking about this? 19:40:51 elliott, yeah well there is where arch model breaks. Deps for starting in background 19:40:55 Deewiant: Nobody uses darcs 19:41:02 Deewiant: My point is that no way is everything in git these days 19:41:07 elliott: I didn't say everything 19:41:17 Well, shrug 19:41:23 elliott: I hope that was an approximate nobody 19:41:23 elliott: And I'm not defending him, just interpreting what he said :-P 19:41:26 Vorpal: What daemon do you actually have that needs to connect to the network at bootup 19:41:42 Deewiant: Fair enough... but the VCS is still irrelevant in every way :P 19:41:43 elliott, hell, button to grub is like half a minute for me. Due to having three of those add-in bioses loading. And quite a lot of disks 19:42:13 Vorpal: Boot time doesn't matter much to me but the higher it is, the more likely it is that time is being wasted at boot 19:42:14 elliott, ipv6 tunnel. ntp. And iptables needs to load after network or the rules won't find the stuff to apply to 19:42:24 elliott: Well, it's "yet another tool", so not quite in every way, but in practice it should be fairly irrelevant 19:42:27 Which means your service manager is bad :) 19:42:28 brb 19:42:31 -!- Ngevd has quit (Quit: Leaving). 19:42:43 Deewiant: Yet another tool for all ~0% of people who will check it out :P 19:42:45 elliott, yes indeed. I'm just saying that 10 seconds is a non-issue. Sure, even faster would be nice. But it is pointless optimisation as it is. 19:42:58 elliott: Yep 19:43:01 now my laptop has a slower disk and takes quite a bit more to boot. That would be nice to have it boot faster. 19:43:08 but most of that time is spent reading from the disk 19:43:10 Vorpal: Well, it's not irrelevant in the server space; minimising downtime and all that 19:43:48 elliott, yes indeed. But why aren't you using a cluster anyway so you can reboot some of the stuff without affecting the whole 19:43:54 Anyway, I guess I'm probably going to end up implementing this packaconfigurservice manager after all... 19:45:29 elliott, hm does daemontool do dependencies? It doesn't does it... 19:46:00 No. 19:46:38 elliott, I still think that an init supporting lots of runlevels and precomputing /etc/inittab would be the most awesome solution 19:46:54 at the very least, the most silly 19:47:12 That only does upstart-style, not dependencies :) 19:47:28 hm 19:47:30 true 19:48:01 * elliott wonders if PCSM might be implementable as a Haskell DSL... 19:48:04 I assumed no, but I might be wrong. 19:48:05 -!- Ngevd has joined. 19:48:14 elliott, that said, upstart style makes sense for some stuff. Example: no need to start a daemon for printing until you get an event about that a printer is connected 19:48:20 -!- hagb4rd has joined. 19:48:41 Vorpal: Well, that's another thing Lennart is right about: That's better expressed as an available service, rather than instantaneous events 19:48:48 hm 19:48:48 printer-is-plugged-in 19:49:00 Because it starts, "runs" (the printer stays plugged in), and then stops 19:49:04 well actually it doesn't work for printer, there are network printers that the user might want to access 19:49:16 When printer-is-plugged-in is running, you want printer-daemon to be running 19:49:47 -!- evincar has quit (Read error: Connection reset by peer). 19:49:51 How is printer-is-plugged-in different from printer-daemon itself 19:50:19 Deewiant: The former comes from whatever manages devices 19:50:19 Or why, I guess 19:50:23 The latter is some kind of multiplexer on top of it 19:50:38 Deewiant: Consider printer-is-plugged-in vs. gnome-printer-magic and kprinterwoot 19:50:38 you could have multiple instances of printer-is-plugged-in I guess 19:50:47 Both of the latter probably should be started 19:50:50 Assuming you use both gnome and kde programs 19:51:00 elliott, I was considering cups here 19:51:06 as the daemon to be started 19:51:18 Vorpal: Well, the latter two probably depend on cups :) 19:51:25 elliott, anyway I'm an xfce user, don't we get anything? :( 19:51:39 I think there's exo-print or whatever but I don't have it installed here 19:51:45 I just use the core xfce4 stuff 19:51:47 Plus some extra 19:52:05 Which comes down to the setting manager, the panel, the WM, exo-open, Thunar, and a terminal :P 19:52:15 elliott, hm printing from firefox works without any magic but cups installed as far as I remember. 19:52:27 unless firefox starts that itself 19:52:43 Without being root? 19:52:47 yeah 19:53:05 elliott, why would you need root to print using cups? 19:53:14 Well, fair enough 19:53:15 what sort of crazy setup do you have 19:53:18 I thought you had to be root to run the daemon 19:53:22 I don't use printers 19:53:32 elliott, you need to be root to start cups yes. 19:53:38 but not to talk to cups 19:53:53 Vorpal: Did I mention that PCSM does user-local installed packages trivially, while still sharing the disk storage for identical packages installed by multiple users??? SO GOOD 19:54:02 PCSM? 19:54:12 Packaconfigurservicemanager! 19:54:13 elliott, anyway nixos does that 19:54:18 Yes, it does. 19:54:20 BUT 19:54:21 and so does tiny core iirc 19:54:37 Can NixOS run daemons in the right overlay FS so they only see their dependencies and config file??? 19:54:45 (As well as whatever else they're specified to need) 19:54:45 maybe? 19:54:56 Vorpal: No it can't, 'cuz NixOS just uses upstart :P 19:54:59 and that weird distro I forgot the name of. That does one directory per package 19:55:04 elliott, well okay 19:55:04 Gobo. 19:55:11 I don't know that Gobo can do per-user packages. 19:55:12 right 19:55:19 elliott, I thought it could? oh well 19:55:22 never used it 19:55:26 Maybe it can. 19:55:27 so don't trust me on that 19:55:51 I think this actually generalises to per-user services... e.g. your "login" service would depend on xfce4-sesion 19:55:53 elliott, but nixos could potentially do it. Do per user stuff and have one user per daemon 19:55:58 Well, x-login I guess 19:56:04 And your .xinitrc would just start that 19:56:06 Just an idea 19:56:13 I admit this runs into a bit of a problem with "how the hell do we deal with this thing needing root" 19:56:32 Daemons probably shouldn't ever run as root anyway :P 19:56:41 Apart from init... or pcsmd :P 19:56:51 elliott, well, cron need to be able to execute jobs as root 19:56:54 Although even with init it can run almost always at lower privileges. 19:57:03 if that is what you wrote in the system crontab 19:57:09 Vorpal: True. 19:57:40 elliott, and a few more need it in practise. Like ntp. Maybe it could be converted to use those fancy new linux capabilities thingies. Not sure. 19:57:50 and anyway, I don't know how the per-user stuff under nixos works. 19:57:57 so it might be tricky doing it for daemons 19:58:09 if it is done with PATH magic in the profile for example 19:58:20 -!- cheater has joined. 19:58:20 -!- cheater has quit (Excess Flood). 19:58:42 Sigh @ people with broken clients flooding the channel. 19:58:48 "systemd has a minimal transaction system. Meaning: if a unit is requested to start up or shut down we will add it and all its dependencies to a temporary transaction. Then, we will verify if the transaction is consistent (i.e. whether the ordering via After/Before of all units is cycle-free). If it is not, systemd will try to fix it up, and removes non-essential jobs from the transaction that might remove the loop. Also, systemd tries to suppress 19:58:48 non-essential jobs in the transaction that would stop a running service. Non-essential jobs are those which the original request did not directly include but which where pulled in by Wants type of dependencies. Finally we check whether the jobs of the transaction contradict jobs that have already been queued, and optionally the transaction is aborted then. If all worked out and the transaction is consistent and minimized in its impact it is merge 19:58:48 d with all already outstanding jobs and added to the run queue. Effectively this means that before executing a requested operation, we will verify that it makes sense, fixing it if possible, and only failing if it really cannot work." 19:58:55 Wow, Poettering must have some really broken systems. 19:59:21 -!- oerjan has joined. 19:59:29 heh 19:59:45 elliott, he started out writing a db engine, then didn't want to throw away the code 20:00:07 :D 20:00:24 sunken costs sank the code 20:00:52 elliott, anyway init, cron, ssh and kdm/gdm/whatever are examples that need to be able to switch to any other user. Which in practise means they need to be root. 20:01:10 Heyyy, pcsm makes a pretty nicely-typeable executable name; maybe I should actually call it that. 20:01:19 Sigh @ people with broken clients flooding the channel. 20:01:23 TOO MANY THOUGHTS 20:01:26 AAAAH 20:01:33 -!- Ngevd has quit (Quit: brain on fire). 20:01:36 huh 20:01:37 how could @ people have broken clients? that's platonically impossible! 20:01:44 oerjan: Har har har. 20:01:47 hehe 20:02:25 oerjan: Do you know if solar time can be an Arabic Part formula (in equatorial coordinates)? It seem to me it is the same kind of things. 20:02:36 Do you even know about solar time or about Arabic Parts? 20:03:07 root 2104 0.0 0.0 37224 864 ? Ss Oct23 0:01 /usr/lib/postfix/master 20:03:21 I guess it needs root to deliver to mailboxes? 20:03:22 eww anyway 20:03:31 udevd of course needs root 20:03:53 Vorpal: postfix is like ten million daemons though 20:03:53 zzo38: i have no idea what an Arabic Part formula is. 20:03:59 of which only one runs as root, I presume 20:04:10 elliott, master seems to be its own supervisor 20:04:12 kind of 20:04:46 elliott, anyway if you plan on making your own linux distro, good luck getting away without udev. I think it will be quite a pain if you want stuff like gnome, kde or xfce to work. Especially with automounting usb sticks and such 20:05:05 root 1859 0.0 0.0 28360 1340 ? S Oct23 0:01 /sbin/wpa_supplicant -u -s <-- why on earth is this root 20:05:18 linux automounts usb sticks? 20:05:30 olsner, yes, distros like ubuntu do anyway 20:05:32 Vorpal: Nahhhh, udev only took over recently. 20:05:40 my desktop doesn't. It runs arch. Never bothered setting that up 20:05:47 Vorpal: Anyway I can have udev without udevd; BusyBox has an implementation. 20:05:54 elliott, heh! 20:05:57 I guess my ubuntu is broken in some way then, haven't seen it do that 20:06:04 Vorpal: (With its own config file) 20:06:16 -!- Ngevd has joined. 20:06:16 elliott, I see. Well good luck with that. 20:06:26 Vorpal: I'll probably just use udev 20:06:33 root 25249 0.0 0.0 5088 1584 ? Ss Oct27 0:00 acpid -c /etc/acpi/events -s /var/run/acpid.socket <-- well I guess that might need root 20:06:37 Vorpal: i think mail clients like postfix usually change user to the recipient and drop all privileges as soon as possible? 20:06:41 Vorpal: pcsm can manage it *shrug* 20:06:48 heh 20:06:53 Not a joke 20:07:02 elliott, except it is usually started from the initramfs or some stuff like that iirc 20:07:12 why does my dhcp client run as root? 20:07:24 Vorpal: I mean, pcsm can manage the actual device stuff 20:07:31 isn't that why the global mail directory (if there is one) is supposed to be sticky 20:07:41 hm I think I see a pattern here. There are quite a few things running as root because they need to do stuff like raw sockets or similar 20:07:56 Vorpal: That's one advantage of early-socket stuff 20:08:02 Hmm 20:08:10 Assuming you can do everything on a raw socket opened by someone else that passes it to you 20:08:14 elliott, eh? How does early-socket help dhcp client? 20:08:20 Vorpal: It helps raw sockets 20:08:27 doubtful, but hm 20:08:34 oerjan: Haven't you used Astrolog though? An Arabic Part formula is the angles of three objects, two of them added together and one subtracted. 20:08:43 Vorpal: pcsmd opens raw socket, passes to daemon 20:08:45 and then there is the hardware access class of daemons. cups, acpid, udev, wpa_supplicant. 20:09:09 actually wpa_supplicant needs both hardware access to configure the wlan card and raw sockets I think 20:09:13 oerjan: so did you decide whether it should be selectNext or moveNext 20:09:14 dhcp client needs to write into /etc/resolv.conf 20:09:21 However, Astrolog does not allow the user to define their own Arabic Parts. 20:09:22 smartd needs root because of hardware too 20:09:37 Deewiant, not on my system. 20:09:44 Deewiant, local dns server. 20:10:13 If I make a program I would include the feature to define your own Arabic Parts, for ecliptic as well as equatorial coordinates. 20:10:14 Where does the DNS server get its remote DNS servers 20:10:16 /usr/lib/upower/upowerd /usr/lib/policykit-1/polkitd udisks-daemon: polling /dev/sr0 <-- what are these anyway 20:10:22 a lot of u things 20:10:35 Deewiant, it is a recursive resolver. It has a list of the root servers. 20:10:38 Deewiant, it seems to work 20:10:47 Deewiant, and a lot better than using my ISP for resolving 20:11:20 Fair enough 20:11:33 Deewiant, but sure, most often /etc/resolv.conf has to be written by the dhcp daemon 20:11:47 nothing that couldn't be handled quite easily by permissions though 20:12:56 * elliott thinks almost every file owned by root should at least have a different group and be group-writable 20:13:09 e.g. /etc/resolv.conf might be root:dns 664 20:13:12 zzo38: i used astrolog to make that agora-horoscope and its automatic interpretation. i didn't delve that much deeper into it, i think. 20:14:10 Vorpal: oh wow, the biggest bullshit was from the top of the post 20:14:12 "The first big distribution with systemd by default will be Fedora 15, due end of May. It is expected that the others will follow the lead a bit later (with one exception)." 20:14:14 elliott, yeah. Still dhcp needs raw sockets and ability to mess around with interface config 20:14:15 Vorpal: with one exception links to ubuntu 20:14:17 oerjan: And obviously (as far as I can see) you did not change any of the settings from the defaults. 20:14:35 elliott, and routing tables 20:14:36 and so on 20:15:04 -!- cheater has joined. 20:15:59 anyway, does anyone know when the IBM PC clock will roll over? And if it still the same on modern PC compatible hardware. 20:16:07 that is, the hardware clock 20:16:23 elliott: well obviously selectNext :: Cursor -> Maybe TreeCtx and moveNext :: TreeCtx -> Maybe Cursor, used wherever appropriate 20:16:40 oerjan: oh good. and what's the implementation of one of those :P 20:16:59 what is the context for this? 20:17:34 trees 20:17:52 r/trees? 20:17:54 For example, it has three ways to display the angles (zodiac positions (the default), hours/minutes, or 360 degrees), can work with ecliptic (the default) or equatorial coordinates, can display a horizon view, can display solar system view (with no zoom, unfortunately), animate to real time, timed exposure, a globe of the Earth, ability to change the glyphs for Uranus and Pluto, and more. 20:17:55 -!- cheater has quit (Excess Flood). 20:19:26 elliott: well i also got thinking about that Top thing. 20:19:41 oerjan: hmm, what about it? 20:20:23 sigh, I really don't think pcsm can work as a haskell dsl :( 20:20:32 i was hoping i could avoid writing my own language :) 20:21:01 zzo38, no radians?! 20:21:40 elliott, writing a bison grammar is quite easy 20:22:01 Vorpal: why the hell would I subject myself to a yacc derivative, let alone C? 20:22:19 what if we made data Cursor = Branch { left :: [Tree], right :: [Tree], tag :: Tag, up :: Cursor } | Top { left :: [Tree], right :: [Tree] } 20:22:26 Vorpal: Yes, it does not support radians display. If you want, make a wiki page of the kind of features you would want and if I make up my own program, based on Swiss Ephemeris, I might consider some of the things listed there (although there are some things I would deliberately omit, and some which I might or might not want or not know how or have time to implement at first) 20:22:33 elliott, well be happy then 20:22:40 so that the top can be a list of trees 20:22:40 oerjan: um what would that mean 20:22:44 or be parsec I guess. 20:22:49 Vorpal: still means I have to implement a functional programming language 20:22:58 oerjan: ok, but that isn't the case in reality.. 20:22:59 The Swiss Ephemeris library does support radians, however. 20:23:00 yeah, true 20:23:17 Vorpal: ...including lots of things like exec and waitpid and other grossness that is No Fun(tm0 20:23:19 *tm) 20:23:25 Vorpal: At least the standard RTC interface "rolls over" every century, since it only stores a two-decimal-digit year. (It's byte 0x09 in the "CMOS" memory region, either in BCD 0x00..0x99 or just a byte with value 0x00..0x63 depending on bit 2 of byte 0x0B.) 20:23:28 zzo38, ... I don't really care about that software... Where did I indicate I did?! 20:23:29 elliott: well the thing is that then you don't need an exception to handle going right from the top 20:23:39 fizzie, ah 20:23:41 well, moving 20:23:47 Vorpal: You didn't. 20:23:53 fizzie, is that offset from 1900? Or did it rollover at 2000? 20:24:11 oerjan: there's nothing to the right of (l :> Up)? 20:24:18 as far as I can tell :P 20:24:26 But if anyone does, please indicate list of what kind of feature you would think is good idea and so on. 20:24:47 fizzie, from what I remember there are 4 digit dates in the BIOS settings of all modern clocks. I guess I could check what hwclock(8) reports... 20:25:40 Vorpal: It's a single byte in the original and it's not supposed to go >99. I'd suppose the four digits are just an interface thing. 20:26:02 elliott: but you need some way for an edit to return a cursor when it has handled the very last node 20:26:03 fizzie, hm.... Is the same hw interface still used? 20:26:15 fizzie, speaking of which, is there any place all this stuff is documented. 20:26:31 hm well 20:26:36 oerjan: well, perhaps. shouldn't moving next be separated from the edit? 20:26:38 Vorpal: For the CMOS-memory-area clock, anyway. It could be that there's some other interface (BIOS interrupt driven, or ACPI) that you can use to get more digits. 20:26:39 or is it just a mix of various standards. With no single official source for it 20:26:40 oerjan: that's part of the traversal 20:26:46 fizzie, hm 20:26:48 oerjan: consider: you can't go "backwards" even if the edit does handle it 20:26:51 because you start at the first node anyway 20:27:05 Vorpal: You can find the CMOS data area documented at http://bochs.sourceforge.net/techspec/CMOS-reference.txt 20:27:15 oerjan: now, what about 20:27:17 elliott: no, the edit does the moveNext, so that it can return a cursor. 20:27:23 fizzie, that is hardly official. But hm. 20:27:28 oerjan: yes, but maybe it _shouldn't_ 20:27:48 oerjan: data Cursor = Branch Tag [Tree] [Tree] Cursor | Top Tree 20:27:50 What about that? 20:27:54 oh, hmm 20:27:57 oerjan: data Cursor = Branch Tag [Tree] [Tree] Cursor | Top (Maybe Tree) 20:27:57 elliott, why does this remind me of sql cursors... 20:28:02 elliott: if it doesn't return a cursor it has nothing sensible to return if it is _deleting_ something 20:28:22 oerjan: it can return a different cursor 20:28:31 the select{Left,Right} one, for instance 20:28:33 probably selectRight 20:28:41 argh 20:28:59 erm 20:29:01 moveRight :) 20:29:09 oerjan: well I don't see what you're complaining about, if it deletes something then moveRight always succeeds 20:29:13 oerjan: unless it deletes the root node 20:29:15 which isn't possible 20:30:38 fizzie, anyway those bytes in the CMOS won't fit the config data in the BIOS on a modern system. 20:30:51 so I guess there must be more elsewhere 20:31:03 heck, my desktop even has EFI 20:31:19 Vorpal: Sure, there's all those EDID tables and whatnot too. 20:31:34 fizzie, wait... isn't EDID for displays? 20:31:45 Uh, the other acronym. 20:31:50 fizzie, which other one? 20:31:51 What the foo was it. 20:32:01 ACPI? 20:32:15 elliott: why isn't deleting the root node possible? 20:33:08 i guess if it isn't, then perhaps deleting just fails naturally when going next from it 20:33:16 Vorpal: No, there's a thing for the system information tables. The DMI ones, at leas. 20:33:23 fizzie, ah 20:33:49 er i mean, deleting fails naturally because there is no cursor to construct 20:33:54 Vorpal: Anyway, the BIOS interrupt 0x1a returns also the century, according to the Interrupt List, and presumably current BIOSes track four digits. 20:34:17 right 20:34:25 Vorpal: And of course EFI's different, and I'd suppose it has an RTC interface too. 20:34:42 fizzie, well, I'm using the bios emulation of the EFI, because that is easiest 20:35:10 fizzie, so why does it track decimal digits (implying BCD?) as opposed to a decimal number 20:35:16 err binary number 20:35:18 not decimal 20:36:31 -!- cheater has joined. 20:38:28 Vorpal: I would guess the original clock chips provided a BCD interface, but that's just a guess, and I wouldn't know why. Anyway, the get-time interrupt returns in BCD too. 20:38:51 ouch 20:39:01 -!- cheater has quit (Excess Flood). 20:39:23 fizzie, any idea if linux exports the physical memory map anywhere? 20:39:31 it would be interesting to look at it 20:40:32 hm there is /proc/iomem 20:42:04 The CMOS memory exists outside of the normal address space and cannot 20:42:05 contain directly executable code. 20:42:06 oh right 20:42:11 Vorpal: ACPI provides interfaces to the wake-up alarm functions, at least; maybe also to the RTC. 20:42:14 I forgot that x86 has a separate IO bus 20:42:19 the stupidity of that.... 20:43:12 Vorpal: Most of the stuff is memory-mapped; biosdecode/dmidecode go digging in /dev/mem, for example. 20:43:13 -!- Pietbot has joined. 20:43:18 hm how did PCs power off before ACPI? 20:43:20 )df test 20:43:38 yay new bot 20:43:43 Vorpal: the power switch 20:43:46 Not finished bot 20:44:05 or APM 20:44:11 ah APM of course 20:44:12 right 20:44:35 -!- Pietbot has quit (Remote host closed the connection). 20:44:46 That narrows down where the problem is, for sure 20:44:48 Vorpal: Also hwclock apparently has code to read that CMOS stuff with direct I/O to those ports if /dev/rtc is not available. 20:45:36 http://sprunge.us/eDPR (laptop) and http://sprunge.us/URYN (desktop). Quite interesting /proc/iomem 20:45:56 fizzie, yes and it doesn't work on anything but 32-bit x86 iirc 20:45:59 but before APM I think there just was no way for software to turn a PC off unless you built it a mechanical power switch switcher yourself 20:46:10 -!- Pietbot has joined. 20:46:11 olsner, heh 20:46:15 ) 20:46:54 -!- Pietbot has quit (Remote host closed the connection). 20:46:56 Vorpal: I think it also works on some Alphas. 20:47:00 Hmm... 20:47:14 fizzie, oh right, the man page says so 20:47:18 fizzie, anything with ISA 20:47:21 Would someone who knows the IRC protocol better than me tell me this: 20:47:33 Also I wouldn't be surprised if there were some pre-APM/almost-APM-but-not-quite poweroff hacks. 20:47:35 fizzie, I think x86 systems will have an ISA bus long after the PCI bus is gone 20:47:48 And the powerpc apple PMU can turn a system off, too. 20:47:49 just because of backward compatiblity 20:48:05 If a message is sent to the channel, would my bot be able to pick it up as "...PRIVMSG #esoteric :"? 20:48:06 compatibility* 20:48:18 Ngevd, no? 20:48:19 Ngevd: yes. ... contains the user info 20:48:26 Ngevd, you forgot the user info 20:48:35 See what elliott said 20:48:46 hm 20:49:03 "..." here being ":nick!user@host ", apparently. 20:49:10 right 20:49:49 It's called the "prefix" in the grammar, IIRC. At least I tend to call it that. 20:50:01 Hmm... 20:50:11 heh 20:50:25 Clients do not receive messages themself send to a channel. 20:50:41 ?hoogle a -> (a -> Maybe a) -> a 20:50:42 Data.IntMap update :: (a -> Maybe a) -> Key -> IntMap a -> IntMap a 20:50:42 Data.Maybe mapMaybe :: (a -> Maybe b) -> [a] -> [b] 20:50:42 Data.IntMap mapMaybe :: (a -> Maybe b) -> IntMap a -> IntMap b 20:50:43 that too 20:50:51 But yes the message on a channel is received like that 20:51:11 :t liftA2 fromMaybe 20:51:12 forall a (f :: * -> *). (Applicative f) => f a -> f (Maybe a) -> f a 20:51:23 hmph. 20:51:28 :t \x -> liftA2 fromMaybe (pure x) 20:51:29 forall a (f :: * -> *). (Applicative f) => a -> f (Maybe a) -> f a 20:51:41 :t \f -> liftA2 f . pure 20:51:42 forall a b c (f :: * -> *). (Applicative f) => (a -> b -> c) -> a -> f b -> f c 20:51:44 :t pure 20:51:45 forall a (f :: * -> *). (Applicative f) => a -> f a 20:51:47 ?hoogle (a -> b -> c) -> a -> f b -> f c 20:51:48 Control.Applicative liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c 20:51:48 Control.Monad liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r 20:51:48 Prelude zipWith :: (a -> b -> c) -> [a] -> [b] -> [c] 20:51:51 ah, applicative thingy 20:51:53 oh well. 20:52:03 elliott, what are you searching for? 20:52:10 Is the Kleisli category of Maybe monad similar to a category of partial functions? 20:52:18 Vorpal: a -> (a -> Maybe a) -> a 20:52:24 elliott, doing what? 20:52:33 elliott, because: 20:52:35 Data.IntMap update :: (a -> Maybe a) -> Key -> IntMap a -> IntMap a 20:52:35 Data.Maybe mapMaybe :: (a -> Maybe b) -> [a] -> [b] 20:52:35 Data.IntMap mapMaybe :: (a -> Maybe b) -> IntMap a -> IntMap b 20:52:35 \x f -> fromMaybe x (f x) 20:52:37 those did it 20:52:43 none of those have that type 20:52:44 can you read? 20:52:45 (kind of) 20:52:51 ?hoogle (a -> Maybe a) -> a -> a 20:52:51 Data.IntMap update :: (a -> Maybe a) -> Key -> IntMap a -> IntMap a 20:52:52 Data.Maybe mapMaybe :: (a -> Maybe b) -> [a] -> [b] 20:52:52 Data.IntMap mapMaybe :: (a -> Maybe b) -> IntMap a -> IntMap b 20:52:53 elliott, well, why did it return them then 21:01:07 Vorpal: because hoogle does a fuzzy search 21:01:11 ah 21:03:24 gah 21:03:28 this is annoying 21:04:12 :t ap fromMaybe 21:04:13 forall b. (b -> Maybe b) -> b -> b 21:04:55 oh thanks 21:04:57 does that... work/ 21:05:03 > ap fromMaybe (const Nothing) 99 21:05:04 99 21:05:08 > ap fromMaybe (Just . succ) 99 21:05:09 100 21:05:12 thx 21:05:19 ?unpl ap fromMaybe 21:05:19 (\ e -> fromMaybe >>= \ b -> e >>= \ a -> return (b a)) 21:05:26 lol 21:05:28 ... 21:05:29 heh 21:05:37 how crazy 21:05:45 ?unpl doesn't recognize that fromMaybe is a function 21:05:52 yeah it isn't even valid 21:06:01 sure it is 21:06:07 oh? 21:06:13 ?unpl ap id 21:06:14 (\ f -> (\ a -> a) >>= \ c -> f >>= \ b -> return (c b)) 21:06:15 :t (\ e -> fromMaybe >>= \ b -> e >>= \ a -> return (b a)) 21:06:16 forall a. (a -> Maybe a) -> a -> a 21:06:30 oerjan: I'm pretty sure it just doesn't care, whether it recognizes or not :-P 21:06:37 _maybe_ 21:06:42 ?unpl ap ap 21:06:42 (\ e -> (\ j k -> j >>= \ h -> k >>= \ g -> return (h g)) >>= \ b -> e >>= \ a -> return (b a)) 21:06:42 augh 21:06:45 so hot 21:06:47 :t ap ap 21:06:49 forall (m :: * -> *) a b. (Monad m) => (m (a -> b) -> m a) -> m (a -> b) -> m b 21:06:55 gnh 21:06:56 Deewiant: try (<*>) 21:06:57 maybe 21:07:04 ?unpl (<*>) fromMaybe 21:07:04 (<*>) fromMaybe 21:07:06 oh 21:07:17 :t (<*>) 21:07:17 pl doesn't know about Applicatives :-P 21:07:18 forall (f :: * -> *) a b. (Applicative f) => f (a -> b) -> f a -> f b 21:08:04 Deewiant: Someone needs to write a better pl :) 21:08:18 -!- Pietbot has joined. 21:08:21 Feel free 21:08:22 ) 21:09:00 )df iiisso 21:09:11 is Pietbot written in Piet? 21:09:15 Yes 21:09:16 Badly 21:09:22 May start from scratch 21:09:24 figures :P 21:09:25 oerjan: no, it's written in piet-assembler :( 21:09:26 Can we see the code? 21:09:29 No 21:09:32 oh 21:09:34 oerjan: so hey 21:09:37 oerjan: remember what i said about iwc endnig 21:09:38 ending 21:09:41 Because then you would know the password 21:09:44 (see, literally) 21:09:52 argh i haven't read iwc yet 21:09:59 HAHAHA 21:10:09 oh, Ngevd was saying no to Madoka-Kaname 21:10:22 oerjan, yeah go do so now. You need to. 21:10:24 it is very sad 21:10:28 Vorpal: Heh, if no PM information (such as ACPI) is available, the Linux fallback is to try Intel "Trusted Execution Technology" poweroff. Anyway, there are (x86-relevantly) specific poweroff methods for at least ACPI, IPMI, APM, OLPC XO1, SGI Visual Workstation and lguest. (Okay, the last one might not quite count.) 21:10:33 oerjan: the mythbusters die 21:10:35 rip ;______; 21:10:39 The assembler isn't much good, gonna rewrite it from scratch 21:10:40 then dmm dies 21:10:41 and ends up dying 21:10:43 IN REAL LIFE............ 21:10:44 and DMM had a car accident 21:10:46 in real life 21:10:51 elliott, snap, you beat me to it 21:10:51 yes and died. 21:10:51 brb 21:10:53 his ghost now writes iwc 21:11:04 no it was a coworker who did it 21:11:07 don't be silly 21:11:33 fizzie, oh wait, what about tripple fault 21:11:37 fizzie, that halts doesn't it? 21:12:02 Vorpal: No, it just reboots. 21:12:07 oh 21:12:27 fizzie, anyway wtf is "Trusted Execution Technology" 21:12:30 Vorpal: Heh, if no PM information (such as ACPI) is available, the Linux fallback is to try Intel "Trusted Execution Technology" poweroff. Anyway, there are (x86-relevantly) specific poweroff methods for at least ACPI, IPMI, APM, OLPC XO1, SGI Visual Workstation and lguest. (Okay, the last one might not quite count.) 21:12:39 iirc linux actually does it in various non-standard ways 21:12:43 there was a post about it on reddit a while back 21:12:53 turning a computer off is very grotty, it seems :) 21:12:55 Vorpal: I think a triple-fault might be a reboot fallback, though. Incidentally, IPMI does have a RTC interface too. 21:13:37 fizzie, yeah I only ever seen server boards have IPMI. Kind of sad, since the IPMI sensor interface actually reports what the damn sensors actually mean 21:13:46 Those were the machine_power_off/pm_power_off methods I could find by quick grepping; well, the x86-relevant ones, anyway. 21:14:28 Wouldn't be surprised if there were some more quirks for laptops, at least some pre-ACPI invented ones. 21:14:35 heh 21:14:40 oerjan: there there 21:14:47 fizzie, what does it do if none of them work? 21:14:58 fizzie, does it print "please turn off your computer now" or some such? 21:17:01 Vorpal: i think oerjan may be dead. 21:18:09 Vorpal: I think it just stays halted (at least this 2.6.37 I had uncompressed), if tboot_shutdown (the trusted-execution thing) isn't enabled. It probably prints "system halted" or something before trying the poweroff at all, but I don't think I'll bother trying to find that. Might even be just init which does that. 21:18:19 dmidecode is confused about my desktop CPU. It reports it as core 2 duo. It is a core i7 quad 21:18:51 ISTR the "System halted" behaviour from machines that were unable to turn themselves off. 21:18:56 ah 21:20:16 -!- evincar has joined. 21:20:24 hm, max speed 3800 MHz? I guess it is that turbo mode. As far as I know it is 3.3 GHz normally 21:20:46 the CPU serial number is "To Be Filled By O.E.M." 21:21:52 "Version: AMD Athlon(tm) 64 X2 Dual Core Processor 5600+; Max Speed: 3200 MHz; Current Speed: 2800 MHz" -- well, it's mostly correct, though I don't know where the 3.2 GHz comes from; 2.8 is what the 5600+ is nominally at, and the "actual" current speed is just 1 GHz, thanks to cpufreq. 21:21:58 Those of you not fond of me may enjoy laughing at my expense: my laptop display is fucked and I have to replace it. 21:22:46 I'd reply, but you wouldn't be able to read it. 21:23:06 evincar, not liking you doesn't mean the same as gloating over someone else broken laptop. 21:23:19 I'd insult you behind your back, but I don't care which side of your back I insult you on. 21:23:20 s/you/someone/ 21:23:25 `addquote I'd insult you behind your back, but I don't care which side of your back I insult you on. 21:23:28 701) I'd insult you behind your back, but I don't care which side of your back I insult you on. 21:23:30 Vorpal: Heh, dmidecode from the laptop: "Version: Intel(R) Core(TM) i7-2720QM CPU @ 2.20GHz; Voltage: 0.0 V". It seems I've gotten one of those rare does-not-use-electricity-at-all processors. 21:23:41 fizzie: Reversible computing! 21:23:57 fizzie, nice. My desktop CPU apparently uses 1.0 V. Which I don't think is correct either 21:24:27 Phantom_Hoover: Why wouldn't you assume I have multiple computers? Otherwise I'd be a lot more bent out of shape about this. 21:24:49 evincar, it was, in fact, a joke. 21:24:51 Vorpal: Right, you don't want to insult the laptop. 21:25:12 Phantom_Hoover: I know, I'm just being a dick. 21:25:22 Vorpal: The Athlon is reporting 1.4V. That might even be close to correct; I think it's 1.35V officially but it could be rounded. 21:25:49 evincar, come on... 21:25:54 (Laptop) "Board is replaceable"... well, I *guess*... for some values of "replaceable". 21:26:01 evincar, I might want to insult it. Depends on the brand. 21:26:09 "Number Of Power Cords: 1" 21:26:23 There's no end to the values they've bothered to put here. 21:26:24 Heh, just an IdeaPad netbook. 21:26:25 -!- Pietbot has quit (Read error: Connection reset by peer). 21:26:45 "Chassis Information: Contained Elements: 0". Uh, right. 21:26:53 evincar, go for thinkpads. They are better. Still not as good as during the IBM times 21:26:57 Lenovo is the one laptop manufacturer I could find that didn't quite utterly fuck up their keyboards...then I went and bought a netbook anyway, because I like pain. 21:27:03 fizzie, it says the same for my desktop 21:27:29 fizzie, my chassis info just says to be filled in by OEM basically 21:27:56 Vorpal: The base board on the desktop is version "x.x". I'm not sure if it's trying to be a dead-guy smiley. (Probably not.) 21:28:26 Maybe it's Roman Numerals? 21:28:26 Handle 0x0038, DMI type 28, 22 bytes 21:28:26 Temperature Probe 21:28:26 Description: LM78A 21:28:26 Location: 21:28:26 Status: 21:28:28 wow 21:28:30 that is.... weird 21:28:53 We know we have one, we know what it is, but where it is or how it is? Pfff. 21:29:11 heh 21:29:34 Cooling Device 21:29:34 Temperature Probe Handle: 0x0038 21:29:34 Type: 21:29:34 Status: 21:29:56 it lists several cooling devices like that 21:30:05 I guess it could be optional fans not connected to the mobo? 21:30:09 hmm, the location of the probe is "out of spec"? where have you put that probe Vorpal? 21:30:16 olsner, XD 21:30:34 System Power Supply 21:30:34 Power Unit Group: 1 21:30:34 Location: To Be Filled By O.E.M. 21:30:34 Name: To Be Filled By O.E.M. 21:30:34 Manufacturer: To Be Filled By O.E.M. 21:30:35 Serial Number: To Be Filled By O.E.M. 21:30:36 Asset Tag: To Be Filled By O.E.M. 21:30:38 Model Part Number: To Be Filled By O.E.M. 21:30:40 Revision: To Be Filled By O.E.M. 21:30:42 Max Power Capacity: Unknown 21:30:44 Status: Not Present 21:30:46 Type: 21:30:48 fizzie, I have a zero power computer too 21:30:53 my power supply is not present 21:31:06 however, it is plugged 21:31:08 Input Voltage Range Switching: 21:31:08 Plugged: Yes 21:32:09 any info not directly concerning the mobo is completely useless in there. I guess that is a result of home-built system 21:32:23 okay it does seem to know the memory modules too 21:32:29 The laptop DMI tables also have all kinds of ports it doesn't physically have. "Internal Reference Designator: J2A1, External Reference Designator: TV Out, External Connector Type: Mini Centronics Type-14". There's nothing like that; nor is there the "J2A2A; COM A; DB-9 male" serial port, unless they've hidden it really well. Ditto for the DB-15 female (presumably VGA) video, and... uh, well; then there's a pile of strange-sounding internal-only ports. (J9C1 - 21:32:30 PCIE DOCKING CONN. J9E3 - LPC HOT DOCKING. J9E1 - SCAN MATRIX. J9G1 - LPC SIDE BAND.) 21:32:57 heh 21:33:11 The non-existing ports are compensated by the lack of the ports it does have, though. 21:33:12 Handle 0x0063, DMI type 13, 22 bytes 21:33:12 BIOS Language Information 21:33:12 Language Description Format: Abbreviated 21:33:13 why 21:33:16 on earth 21:33:25 does it list the languages the BIOS menus are available in? 21:33:29 why would the OS *care* 21:33:44 (it is eng, fra, ger, chs, chi, jpn) 21:33:56 I have three languages: n|US|iso8859-1, n|US|iso8859-1 again, and r|CA|iso8859-1. 21:34:07 I have up to handle 0x64 on my desktop btw 21:34:28 Hah, the best: "Portable Battery ... Location: Location of the battery" 21:34:33 -!- copumpkin has quit (Ping timeout: 258 seconds). 21:34:35 I have to admit it is a true statement. 21:34:37 I'll check my laptop next 21:34:43 "chs"? 21:34:50 But "the battery is where the battery is" is not so incredibly useful. 21:34:51 Ngevd, no clue 21:34:51 fizzie: :D 21:34:59 -!- copumpkin has joined. 21:35:04 sounds like modern macs 21:35:16 the battery is where the battery is and don't you dare touch it 21:35:24 well, at least my laptop has correct vendor info 21:35:49 Vorpal: Also for the battery: "Manufacturer: Battery Manufacturer", "Serial Number: Serial Number", "Name: Battery Name", "SBDS Version: SBDS Version Number", "OEM-specific Information: 0x12345678". 21:36:00 oh come on, my laptop CPU family is "Other" 21:36:10 my desktop had core 2 duo listed. My desktop actually has an i7 21:36:16 while my laptop has a core 2 duo 21:36:19 yet it can't list that 21:36:20 wtf 21:36:27 Vorpal: All my probes are too. 21:36:34 heh 21:36:53 and a voltage of 1.1 V for my laptop 21:37:00 I really would like the zero volt thingy there 21:37:07 dmidecode's main purpose is amusement, I think. (Okay, it *can* usually list memory slot/module details too reasonably well.) 21:37:37 So who knows a decent overlay-style fs?? Like unionfs except better. 21:37:39 Handle 0x0017, DMI type 126, 9 bytes 21:37:39 Inactive 21:37:43 Actually, uh, cunionfs is pretty much what I want. 21:37:43 I have loads of ones like that 21:37:45 Hey Gregor, how's cunionfs. 21:37:46 on my laptop 21:38:00 elliott: I think someone used aufs, but it might well sukc. 21:38:13 Handle 0x0029, DMI type 13, 22 bytes 21:38:13 BIOS Language Information 21:38:13 Installable Languages: 1 21:38:13 enUS 21:38:13 Currently Installed Language: enUS 21:38:14 right 21:38:29 fizzie: Well, there's that and unionfs itself (I understand there's quite the flamewar between the two), but I kind of want something per-process. 21:38:40 fizzie: Because e.g. a user should see their installed packages on the system. 21:38:42 Portable Battery 21:38:42 Location: Rear 21:38:42 Manufacturer: Panasonic 21:38:49 fizzie, aww, my laptop has boring accurate info 21:39:00 Panapsionic. 21:39:00 Vorpal: I guess it's made by a real manufacturer. :p 21:39:00 fizzie, everything about the CPU family seems boringly accurate 21:39:10 fizzie, yes. It is a Lenovo Thinkpad 21:39:40 fizzie, what brand is your laptop 21:40:34 strange thing on my desktop. It only lists 6 SATA ports + 1 eSATA port. I have 8 internal physical SATA ports and two external eSATA ports 21:40:39 I wonder what is going on there 21:40:55 Vorpal: It's... vaguely defined. I mean, I bought it from some small shop in Germany, and they constructed it out of a skeleton made by Clevo. I also asked them to leave all logos off. So it's sort of a no-name. 21:41:05 heh 21:41:15 fizzie: That sounds super-reliable. 21:41:31 I know _I_ trust small German shops with all my computer needs. 21:41:38 What's the name of the shop? We'll call it that. 21:41:54 I forget exactly who it was, since there were so many to choose from. 21:41:54 my thinkpad just have two logos, A discrete "lenovo" on the top of the lid. It is black on black. Just a shift in depth of the surface really 21:42:01 and the usual thinkpad logo on the palmrest 21:42:03 People(tm) said reasonable things about Clevo parts, though. 21:42:29 Vorpal: And the Windows sticker it came with. 21:42:31 Presumably. 21:42:43 elliott, nope. I had to get a replacement palmrest. 21:42:46 it lacked those 21:42:52 Heh. 21:43:14 elliott, originally there was a small core 2 duo and a small windows vista business sticker as well 21:43:25 elliott, which I removed anyway 21:43:52 elliott, anyway I have nothing against the thinkpad logo. And the lenovo logo is discrete enough to not bother me 21:44:00 oh wait, it says thinkpad on the lid too 21:44:02 forgot that 21:44:07 same logo as on the palmrest 21:44:13 well that doesn't bother me either 21:44:23 My main laptop has... one name on it. 21:44:28 "MacBook Air" below the screen. 21:44:32 yeah 21:44:34 Also an Apple logo on the back, but who ever looks there? 21:44:39 This Toshiba has many(tm). 21:44:51 elliott, why are you on a toshiba atm 21:44:52 Toshiba below the screen, on the back, "Satellite" to the left of the trackpad, 21:45:02 "Intel Pentium Inside", "Windows 7", "Toshiba Easy Media" stickers. 21:45:11 elliott, did you finally send the macbook off to get fixed? 21:45:18 elliott, pentium, ouch 21:45:24 It's the Core 2 Pentiums. 21:45:32 Vorpal: My MacBook Air turned itself off, and then refused to turn back on again, approximately ~3 minutes before I intended to watch EOA5. 21:45:35 oh, right 21:45:40 I suppose the idea of a thirteen minute Flash video was just too much for it to bear? 21:45:42 elliott, EOA5? 21:45:51 elliott, anyway did you send it to apple finally then? 21:45:52 Vorpal: You know. Hamsteaks. The one that crashed Newgrounds. 21:46:01 Have you even _read_ a single page since binging? 21:46:17 elliott, nope. 21:46:20 elliott, haven't had time 21:46:50 elliott, I'll do a second binge next year of the rest of it 21:47:05 elliott, that is the same way I read freefall. Next binge should be around xmas of that iirc 21:47:13 If it's done by next year. 21:47:18 Anyway, get speakers that time. 21:47:32 elliott, headphones you mean 21:47:36 I don't like speakers 21:47:37 (Unless you want to sit through a 13 minute silent film, which I suppose is possible if uninteresting.) 21:48:50 ooh, 2 new videos on yogscast. bbiab 21:49:07 --Vorpal "Doesn't Have Time For Homestuck" Vorpal 21:49:16 elliott, it is about priorities 21:49:26 elliott, I prefer yogscast over homestuck 21:52:19 Next version of Pietbot now outputs "NICK P" 21:52:22 It's a start 21:53:07 What's the current resolution of the source code? 21:53:22 10x10px per codel 21:54:13 I was hoping for the total width x height in codels; I just couldn't pass the opportunity to use "resolution of the source code" there, even if it's a bit wrong. 21:54:27 2 by 50 codels 21:54:35 Actually, 50 by 2 21:55:03 That is weirdly small. Oh, or was that just for the NICK P thing? 21:55:08 Yes 21:55:34 Why does Arch even have groups as opposed to just empty packages? 21:55:51 How about the one which connected and all? 21:56:14 elliott, buggered if I know. They are annoying to deal with too. I have no idea where they are defined 21:56:37 elliott: There's some sort of a "never metapackage I didn't" pun-portunity lurking in here somewhere. 21:57:39 "NICK Pi" 21:59:05 How should the namespace for a Haskell program to deal with DVI files be called? 21:59:26 Graphics.DVI.*? 22:00:49 Vorpal: Can you run vpddecode on your laptop? It's supposed to work on most IBM/Lenovo machines. (Probably won't return anything very interesting, though it should tell the model.) 22:02:06 fizzie, just BIOS build id, box serial number, mobo serial, and machine model code 22:02:30 Okay, I've made a small mistake 22:02:35 It now outputs "NICK Pim" 22:02:45 Right, but it did work. Was just curious; it's all "No VPD structure found, sorry" for everything I have. 22:02:51 Vorpal: I'm half-tempted to make inst work on KDE. 22:02:58 Ngevd: It's trying to become a PimpBot. 22:03:17 Oh no, there isn't a big "all of KDE" package any more. 22:05:50 I will now show you what it outputs. 22:05:56 > cycle "NICK pie" 22:05:57 "NICK pieNICK pieNICK pieNICK pieNICK pieNICK pieNICK pieNICK pieNICK pieNI... 22:06:06 -!- kmc__ has changed nick to kmc. 22:06:11 Thanks, lambdabot 22:06:45 OK, I could use Graphics.DVI 22:07:04 Vorpal: Also upon close inspection, the laptop in fact has two "Portable Battery"s. Both batteries have a location of "Location of the battery", but one is called "Battery Name" while the other is named "BATT 1". (Both are also NiCd batteries, which I strongly doubt.) 22:07:09 Although font metrics might should be different module?? 22:07:58 -!- derrik has quit (Quit: byezz). 22:07:59 What should its package name be? 22:12:29 -!- Patashu has joined. 22:13:00 pikhq: You know a lot about multilib right??? 22:13:40 What should the package name be for Haskell library to read/write/process DVI files? 22:13:55 whatever you want to call it 22:14:12 zzo38: dvi-processor? 22:14:16 OK 22:14:26 -!- Phantom__Hoover has joined. 22:15:19 elliott: Sounds like a program, not a library 22:15:46 Deewiant: ? 22:15:49 Oh 22:16:08 fizzie, heh, nice batteries 22:16:17 fizzie, my battery info is completely accurate :/ 22:16:29 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 22:16:41 hm should check if it lists any second ultrabay battery as being installed 22:17:38 Deewiant: Do you mean the dvi-processor? 22:17:47 zzo38: Yep 22:18:01 zzo38: dvi-processing? 22:18:06 elliott: OK. 22:28:40 -!- ais523 has quit (Remote host closed the connection). 22:35:42 -!- ive has joined. 22:44:03 -!- Darth_Cliche has quit (Quit: You are now graced with my absence.). 22:44:39 -!- Darth_Cliche has joined. 22:51:11 OK, Two Steps From Hell has colonised the BBC. 22:51:34 What, Hexham? 22:51:46 (Even *knowing* about Two Steps From Hell has completely ruined watching any kind of advertisement.) 22:54:27 http://en.wikipedia.org/wiki/Two_Steps_From_Hell 22:54:29 Phantom__Hoover: this is so bad 22:54:34 who would buy those two albums 22:55:03 elliott, people who need epic music for a backing track. 22:55:19 This includes 50% of all YouTube videos for some reason. 22:55:27 -!- zzo38 has quit (Remote host closed the connection). 23:00:36 -!- TeruFSX has quit (Read error: Connection reset by peer). 23:01:22 not surprisingly, their own promotional videos have the same epic music 23:03:36 Phantom__Hoover: you can fix that youtube problem by simply asking them to vigorously maintain their copyright right? >:P 23:04:27 s/asking them/subtly suggesting for them/ 23:04:55 I would think they'd rather have their music promoted so that more movie trailers use their music and pay for it 23:05:24 heh 23:05:32 what is so bad about it? 23:05:38 note: I haven't listened to it yet 23:05:46 nor will I unless someone gives me a link 23:06:10 ... there was a link 23:06:21 ... also you can google 23:06:37 there was a wp link 23:07:19 well done, you've found the link! :) 23:07:34 olsner, I see no youtube link there though 23:08:00 me neither 23:08:16 so that is what I asked for a link to... 23:08:23 not surprisingly, their own promotional videos have the same epic music 23:08:30 olsner, which one in particular did you mean?++++++++ 23:08:33 gah 23:08:36 synergy broke 23:08:39 and spammed keys 23:08:42 fuck synergy 23:08:44 that was not on youtube 23:08:53 oh, well where is that then? 23:09:02 if it is flash and not youtube, don't bother 23:09:04 can't watch that 23:09:11 ok, it was flash and not youtube 23:09:31 oh it is on youtube, at least the trailers they link 23:09:34 Vorpal, how large a rock do you live under if you think there are web videos left that don't use Flash? 23:09:37 for some of them 23:09:46 Phantom__Hoover, html5 man 23:09:52 one of them was anyway 23:10:21 Phantom__Hoover, and Bethesda used HTML5 videos for their skyrim gameplay footage 23:10:22 olsner, I can't find the video in question, though. 23:10:51 the one I found was http://www.twostepsfromhell.com/dynastypromo.php 23:11:11 the twilight one at the top is html5 from youtube for me 23:11:40 XD, the choir has lyrics sheets. 23:11:41 under the video tab 23:12:06 Vorpal, how large a rock do you live under if you think there are web videos left that don't use Flash? 23:12:10 the same one I live under 23:12:17 elliott, indeed 23:12:42 Vorpal: the video tab seems to have all the stuff that other people have made using their music 23:12:44 Vorpal: which is none. 23:12:53 hey there is an embedded .mov here 23:12:54 you live under a different rock, because the premise is false 23:13:05 Help now I am confused. 23:13:16 elliott, well there are some embedded .movs still. And some HTML5 videos are starting to show up 23:13:18 Phantom__Hoover: html5 is pretty common. 23:13:34 elliott, well OK, but only recently, so I forgot about it. 23:13:51 recently as in "past few years" :) 23:15:04 oh god, live actors for a skyrim trailer. How does that even make sense. 23:15:16 hmm, the episode starts with sisko being relieved of command... this can only mean that the rest of the episode is about him getting it back somehow 23:15:22 (front page video on http://www.elderscrolls.com/ after you selected language) 23:15:31 or maybe it'll be a cliffhanger! I'm already looking forward to the next season 23:15:32 * Phantom__Hoover → sleep 23:15:54 olsner: what season are you on> 23:15:55 ? 23:16:21 oh god 23:16:25 elliott: just started watching the final episode of season 3 23:16:29 one of the two steps from hell guys 23:16:34 oerjan: is from trondheim 23:16:42 olsner: that's about when the good starts :) 23:16:46 olsner: skip profit and lace btw 23:16:53 and the other one is from hexham? 23:19:10 hmm, where did I get the idea that two steps from hell was exactly two guys? 23:19:43 -!- Phantom___Hoover has joined. 23:19:45 olsner: that's about when the good starts :) 23:19:51 I SAID "ABOUT" 23:19:53 No it's not, that's the end of season 2. 23:19:56 Yes yes yes. 23:20:01 But it takes about a season to amp up to full goodness. 23:20:16 'About' gives you a few episodes' leeway. 23:20:26 Phantom___Hoover is actually sleeping as we speak. 23:20:33 (When was the last monster of the week episode anyway?) 23:21:11 "about" gives you "a few" something of whatever unit you are using, could be seasons in this case 23:21:50 hey, the first elderscrolls game is available as a free download next to a dosbox link nowdays 23:21:53 kind of nice 23:22:05 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds). 23:22:27 same for the second one 23:30:18 -!- Ngevd has quit (Ping timeout: 252 seconds). 23:38:28 -!- Phantom___Hoover has quit (Quit: Leaving). 23:51:04 -!- evincar has quit (Remote host closed the connection). 23:56:08 -!- augur has quit (Remote host closed the connection).