00:25:05 -!- Sgeo has joined. 00:30:40 -!- MizardX has quit ("zzz"). 00:45:57 -!- oerjan has quit ("leaving"). 00:49:46 -!- Pthing has joined. 00:55:30 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)). 00:55:34 -!- puzzlet has joined. 00:57:08 -!- jpc has quit ("I will do freaking anything for a new router."). 00:57:15 -!- jpc has joined. 00:58:08 -!- adam_d_ has changed nick to adam_d. 00:58:15 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)). 00:59:02 -!- osaunders has quit ("Bye"). 01:00:34 -!- puzzlet has joined. 01:11:57 -!- sebbu has quit (Read error: 54 (Connection reset by peer)). 01:12:11 -!- sebbu has joined. 01:14:27 -!- jpc has quit (Read error: 60 (Operation timed out)). 01:20:01 -!- coppro has joined. 01:22:19 -!- Sgeo_ has joined. 01:23:49 -!- AnMaster has quit (farmer.freenode.net irc.freenode.net). 01:23:49 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 01:23:57 -!- Sgeo has quit (farmer.freenode.net irc.freenode.net). 01:23:57 -!- FireFly has quit (farmer.freenode.net irc.freenode.net). 01:23:57 -!- adam_d has quit (farmer.freenode.net irc.freenode.net). 01:23:57 -!- Guest22473 has quit (farmer.freenode.net irc.freenode.net). 01:23:58 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net). 01:23:58 -!- augur has quit (farmer.freenode.net irc.freenode.net). 01:26:16 -!- adam_d has joined. 01:29:21 -!- AnMaster has joined. 01:33:49 -!- Sgeo has joined. 01:33:49 -!- FireFly has joined. 01:33:49 -!- Guest22473 has joined. 01:33:49 -!- augur has joined. 01:33:49 -!- Gracenotes has joined. 01:33:56 -!- Deewiant has joined. 01:40:01 -!- adam_d has quit (Read error: 60 (Operation timed out)). 01:44:14 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 01:45:34 -!- anmaster_l has quit (Read error: 60 (Operation timed out)). 01:47:09 -!- Guest22473 has quit (farmer.freenode.net irc.freenode.net). 01:47:09 -!- Sgeo has quit (farmer.freenode.net irc.freenode.net). 01:47:09 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net). 01:47:09 -!- FireFly has quit (farmer.freenode.net irc.freenode.net). 01:47:10 -!- augur has quit (farmer.freenode.net irc.freenode.net). 01:55:50 -!- Deewiant has joined. 01:56:32 -!- FireFly has joined. 01:56:32 -!- Guest22473 has joined. 01:56:32 -!- augur has joined. 01:56:32 -!- Gracenotes has joined. 02:24:46 -!- FireFly has quit ("Leaving"). 02:32:54 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 02:39:34 -!- fungot has quit (farmer.freenode.net irc.freenode.net). 02:39:34 -!- dbc has quit (farmer.freenode.net irc.freenode.net). 02:39:34 -!- yiyus has quit (farmer.freenode.net irc.freenode.net). 02:39:34 -!- sebbu has quit (farmer.freenode.net irc.freenode.net). 02:39:34 -!- Slereah_ has quit (farmer.freenode.net irc.freenode.net). 02:39:34 -!- lament has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- SimonRC has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- pikhq has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- HackEgo has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- jix has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- EgoBot has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- Guest22473 has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- augur has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- lifthrasiir has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- mtve has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- Pthing has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- BeholdMyGlory has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- bsmntbombgirl has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- AnMaster has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- Sgeo_ has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- coppro has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- puzzlet has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- soupdragon has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- fizzie has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- rodgort has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- uorygl has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- Ilari has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- comex has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- cal153 has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- mycroftiv has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- ineiros has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- Leonidas has quit (farmer.freenode.net irc.freenode.net). 02:39:35 -!- Gracenotes has joined. 02:39:35 -!- augur has joined. 02:39:35 -!- Guest22473 has joined. 02:39:35 -!- Deewiant has joined. 02:39:35 -!- AnMaster has joined. 02:39:35 -!- Sgeo_ has joined. 02:39:35 -!- coppro has joined. 02:39:35 -!- sebbu has joined. 02:39:35 -!- puzzlet has joined. 02:39:35 -!- Pthing has joined. 02:39:35 -!- soupdragon has joined. 02:39:35 -!- Slereah_ has joined. 02:39:35 -!- BeholdMyGlory has joined. 02:39:35 -!- lament has joined. 02:39:35 -!- mtve has joined. 02:39:35 -!- lifthrasiir has joined. 02:39:35 -!- yiyus has joined. 02:39:35 -!- dbc has joined. 02:39:35 -!- fungot has joined. 02:39:35 -!- rodgort has joined. 02:39:36 -!- bsmntbombgirl has joined. 02:39:36 -!- pikhq has joined. 02:39:36 -!- uorygl has joined. 02:39:36 -!- mycroftiv has joined. 02:39:36 -!- fizzie has joined. 02:39:36 -!- EgoBot has joined. 02:39:36 -!- cal153 has joined. 02:39:36 -!- SimonRC has joined. 02:39:36 -!- jix has joined. 02:39:36 -!- comex has joined. 02:39:36 -!- HackEgo has joined. 02:39:36 -!- Ilari has joined. 02:39:36 -!- Leonidas has joined. 02:39:36 -!- ineiros has joined. 02:44:12 -!- bsmntbombgirl has quit (farmer.freenode.net irc.freenode.net). 02:44:13 -!- Pthing has quit (farmer.freenode.net irc.freenode.net). 02:44:14 -!- BeholdMyGlory has quit (farmer.freenode.net irc.freenode.net). 02:44:40 -!- BeholdMyGlory has joined. 02:49:00 -!- Pthing has joined. 02:49:00 -!- bsmntbombgirl has joined. 03:18:42 -!- augur has quit (Read error: 104 (Connection reset by peer)). 03:18:58 -!- augur has joined. 03:24:10 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 03:25:04 -!- bsmntbombgirl has quit (farmer.freenode.net irc.freenode.net). 03:25:04 -!- Pthing has quit (farmer.freenode.net irc.freenode.net). 03:26:12 -!- Deewiant has joined. 03:28:32 -!- Guest22473 has quit (farmer.freenode.net irc.freenode.net). 03:28:33 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net). 03:30:09 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 03:30:32 -!- Deewiant has joined. 03:31:07 -!- Guest22473 has joined. 03:31:07 -!- Gracenotes has joined. 03:34:28 -!- Pthing has joined. 03:34:28 -!- bsmntbombgirl has joined. 03:45:10 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 03:47:24 -!- Guest22473 has quit (farmer.freenode.net irc.freenode.net). 03:47:24 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net). 03:48:26 -!- bsmntbombgirl has quit (farmer.freenode.net irc.freenode.net). 03:48:26 -!- Pthing has quit (farmer.freenode.net irc.freenode.net). 03:49:07 -!- Deewiant has joined. 03:50:38 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 03:51:17 -!- Deewiant has joined. 03:53:20 -!- Guest22473 has joined. 03:53:20 -!- Gracenotes has joined. 03:53:33 -!- jpc has joined. 04:05:10 -!- Pthing has joined. 04:05:10 -!- bsmntbombgirl has joined. 04:06:07 -!- jpc has quit (Killed by sagan.freenode.net (Nick collision)). 04:10:55 -!- jpc has joined. 04:13:34 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 04:13:49 -!- jpc1 has joined. 04:13:55 -!- jpc has quit (Read error: 104 (Connection reset by peer)). 04:14:13 -!- Deewiant has joined. 04:16:04 -!- bsmntbombgirl has quit (farmer.freenode.net irc.freenode.net). 04:16:04 -!- Pthing has quit (farmer.freenode.net irc.freenode.net). 04:16:04 -!- Guest22473 has quit (farmer.freenode.net irc.freenode.net). 04:16:04 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net). 04:18:36 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 04:18:56 -!- Deewiant has joined. 04:22:08 -!- Guest22473 has joined. 04:22:08 -!- Gracenotes has joined. 04:23:00 -!- Pthing has joined. 04:23:00 -!- bsmntbombgirl has joined. 05:18:11 !bsmntbombdood? 05:24:35 bsmntbombgirl! 05:35:30 -!- jpc1 has quit (Read error: 60 (Operation timed out)). 05:52:56 -!- jpc has joined. 05:58:49 -!- ehirdiphone has joined. 06:00:50 I realised something disturbing. Lazy evaluation means that (length xs) might be _|_ for one of two reasons: xs is infinitely long, or xs is _|_. Whereas strict evaluation only has the latter. This is obvious, but: 06:01:23 It means that lazy evaluation gives your programs more opportunities to _|_. 06:01:35 Which isn't good at all! 06:02:24 Indeed, lazy evaluation also means _|_ can go undetected, if a function chooses a certain branch, thus not evaluating it. 06:02:38 Add some more code and BAM. 06:02:45 It jumps on you. 06:03:43 the reason you get _|_ on an infinite list is because haskell is strict 06:03:48 So if you want to minimise bugs, strict evaluation is actually quite superior. 06:03:55 soupdragon: Wat 06:03:58 soupdragon: ... Say what now? 06:04:02 Oh. Yes 06:04:11 pikhq: Integer is strict 06:04:16 Think about it 06:04:22 It could just result in 06:04:29 1+1+... 06:04:39 and only _|_ on show 06:04:51 But this is a theoretical complaint. 06:05:07 Such an implementation would be beyond glacial. 06:05:21 You could hear the bits flipping. 06:05:28 ehirdiphone: Strict evaluation is only quite superior for bug minimisation when all else is equal. 06:05:40 Which, of course, it isn't. 06:05:54 -!- jpc has quit (Read error: 60 (Operation timed out)). 06:06:09 pikhq: Yes, but if you're going to the effort of using the type system to its full 06:06:22 As we should do more often 06:06:35 Lazy evaluation kinda negates that quite a bit 06:07:23 pikhq: also, wait 06:07:46 The way you phrased that suggests that there's no language that's like haskell but strict 06:08:00 uh... Ocaml anyone? 06:08:21 Pretty similar. Does some things better, actually. 06:08:42 yeah like being suitable for writing programs bigger than one page :o) 06:08:59 pikhq: btw strict != impure. You can have strict monadic IO 06:09:07 Just no (>>) 06:09:59 ehirdiphone: Yeah, strict != impure. 06:10:15 I just wasn't *aware* of any strict pure functional languages with a proper type system. 06:11:19 what about strongly normalizing ones (it doesn't matter if you use strict or pure, you get the same result) 06:11:31 so, my head is formulating a pure functional language with dependent types, first class modules (think ml functor style stuff), compile-time type inspection (type system metaprogramming), and arbritary syntactic extension 06:12:33 while I'm piling on the cool shit, let's have region inferrence instead of a gc too. maybe. 06:12:54 you seen Ur? 06:13:05 soupdragon: My main inspration. 06:13:10 kk 06:13:20 it's awesome 06:13:25 Agreed 06:13:53 my lang will be moreso :| 06:14:18 -!- Sgeo has joined. 06:14:42 Functors? Why not just make a compile-level function module ... -> module ...? 06:14:53 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)). 06:15:02 They are first class values (at compile time), after all! 06:15:05 Correct me if I'm wrong, but Ocaml appears to have non-trivial functions from () -> ()... 06:15:14 non-trivial ? 06:15:16 pikhq: Ocaml doesn't do monadic io 06:15:24 Sorry if I implied that 06:15:49 Ocaml-but-monadic is a trivial variation however 06:16:14 In my purely functional mind, the only meaningful functions of () -> () are \_->() and _|_... 06:16:16 Btw why does hs do notation have "do"? It doesn't disambiguate 06:16:21 Just makes it uglier 06:16:51 pikhq: Total FP! \() -> () is IT. 06:16:51 what of \_->_|_ and \()->() and \()->_|)? 06:17:04 soupdragon: Equivalent 06:17:06 -!- zzo38 has joined. 06:17:20 I think \()->() is different to \_->() 06:17:20 soupdragon: AKA _|_, \_->() and _|_. 06:17:28 _|_ = \x -> _|_ 06:17:30 I specified that the type is ()->(). 06:17:36 soupdragon: Nope 06:17:38 The only value of type () is (). 06:17:45 Oh. 06:17:46 ... And _|_, of course. 06:17:52 You're right siypdragon 06:18:09 (\_ -> ()) _|_ 06:18:14 so are you (about \_->_|_ = _|_) 06:18:18 Is () when lazy 06:18:23 But 06:18:31 \()-> () 06:18:33 _|_ 06:18:36 Is _|_ 06:18:40 and so \()->_|_ = _|_ too? 06:18:53 soupdragon: Yes 06:19:11 -!- Sgeo_ has quit (Read error: 60 (Operation timed out)). 06:19:43 ehirdiphone: Well, you claimed Ocaml was pure. So, I assumed that that meant it was pure. :P 06:19:49 I wonder why Ur/Web uses SQL. Such a fancy language with such a hobbling, antiquated data store. 06:19:57 SQL kicks ass 06:19:58 pikhq: I did not claim that. L 06:20:10 You more implied it, really. 06:20:19 And I inferred from that that it was pure. 06:20:26 try using it to program stuff instead of whatever it's meant for, it's loads of fun 06:20:39 soupdragon: lol 06:20:52 They should rebrand SQL as an esolangs 06:20:57 *esolang 06:21:35 hmmm 06:21:51 maybe I should make an esolang based on the best bits, and pretend I thought of it myself 06:22:30 I forgot a feature of my language 06:22:40 Every value is serialisable 06:22:58 cURL would require: Gopher protocol, Xmodem/Ymodem/Zmodem, recursive retrieval (for HTTP, FTP, and Gopher), SSH (Secure Shell), port number ranges, SMTP, POP3, NNTP, and a different one 06:23:03 Functions, continuations, at compile time even modules and types 06:23:59 And if you serialise [f,g,cont] I think that the environment shared by them would only be serialised once 06:24:22 (that is, the non-code part of a closure) 06:24:50 No promises for that though :P 06:26:18 There is something wrong with pbox service, once you post something, it will use the number for the pastebin.ca URL instead, and then it won't work. If you redirect to pastebin.ca with the same number, then you can get the correct pbox URL 06:27:32 soupdragon: You seem like the type to know this stuff - does FRP work for linear things? Like command line programs. 06:27:51 seems like it'd basically amount to a really verbose io monad 06:28:20 I don't know anything about FRP 06:29:33 But you mentioned Ur a 06:29:41 Nd it uses FRP :-P 06:29:50 BE AN EXPERT DAMMIT 06:30:17 Is it good? http://pbox.ca/1135q 06:30:19 lol 06:30:38 zzo38 is a weird bot 06:31:06 He's not a bot 06:31:18 Actually I am not a weird bot, and I am also not a bot 06:31:21 oh you must be the author then 06:31:32 Author of what? 06:31:35 that's cute 06:31:53 What's cute? 06:31:54 bots that pretend not to be bots... 06:32:26 soupdragon: Sam Hughes reference possibly detected! 06:32:30 But, I'm not bots, really. I didn't just make this up, it is actually real 06:32:38 But I did write a IRC bot, too 06:32:41 zzo38: commmands 06:32:42 Beep. Beep. Beep. 06:33:35 -!- pocketmonsterirc has joined. 06:33:45 See, I did wrote a IRC bot program 06:33:55 hehe 06:33:57 But I'm not the bot 06:34:37 ;help 06:34:42 zzo38: soupdragon is just trollin' you to the max :p 06:35:16 I don't really care as much about 06:35:27 I'm sure zzo38 knew I was kidding 06:35:39 it's got advanced enough AI 06:35:49 Aieeeeeeer 06:35:51 -!- ehirdiphone has quit ("Get Colloquy for iPhone! http://mobile.colloquy.info"). 06:36:03 -!- ehirdiphone has joined. 06:36:05 s/r/e/ 06:36:08 -!- ehirdiphone has quit (Client Quit). 06:36:49 PocketMonsterIRC supports some commands, try join and ro commands. You can also load separate modules, for loading a game, for example. 06:37:01 ro 06:37:20 soupdragon:ro #esoteric = Invalid 06:37:30 YOU = invalid 06:37:34 ro requires a dice notation 06:37:35 soupdragon:ro = 0 06:37:45 soupdragon:ro 1d1 = 1 06:37:59 For private rolls, use rnd instead of ro other than that it is the same 06:38:10 For multiple rolls, you can do like: ro 3d6 6 06:38:17 zzo38 : ( 06:38:19 it broke? 06:38:55 I guess it did, I didn't write it to check range 06:39:06 im sorry 06:39:08 I can see the status in the window 06:39:13 pocketmonster you are dead 06:39:15 That's OK, I will correct it next time. 06:39:19 -!- pocketmonsterirc has quit (Read error: 54 (Connection reset by peer)). 06:41:33 Is the documentation for metadata in TAVSYS is good enough? 06:41:44 I don't undesrtand it 06:42:40 Maybe I should explain it a bit, the METADATA command takes ( id string extra -- ) 06:42:46 Numbers are unsigned 16-bits 06:43:06 Is it understandable now? 06:43:17 what's it for? 06:44:22 It is for encoding metadata for a text-adventure game as part of a TAVSYS story file or source file 06:45:57 it seems fine but there's no space for adding in stuff that hasn't been considered? 06:46:13 I don't know TAVSYS though 06:46:38 There is space, because the ID number can go up to 65535. However, it has to be defined what the ID number is, so that it can be used 06:47:58 TAVSYS is just a text-adventure system I am writing. I have it mostly done, except for documentation and the standard adventure library, both of which are only partially complete. 06:48:11 The program works, however. I did make a sokoban game in it 06:48:18 cool! 06:48:26 sounds interesting 06:48:32 do you have a repo online? 06:49:01 What does a "repo" mean 06:49:15 like a directory with source code in it 06:49:29 OK, I will put it right now 06:50:11 Just wait a minute 06:50:27 zzo38, I just ask because I like looking - I probably wont have much helpful things to tell you 06:50:36 OK, just a minute, please. 06:50:43 it's fine you don't need to hurry 06:51:13 OK 06:54:05 -!- jpc has joined. 06:55:33 http://zzo38computer.cjb.net/tavsys/ 06:57:13 There's the code of a sokoban game: http://pbox.ca/11363 06:57:39 hey what set are these puzzles from? 06:58:25 A few various sets, including some I made myself. But there are only a few, because this is mostly just for example, anyways. 06:58:49 zzo38 ace!! making sokoban levels is very difficult, 06:58:57 I better play them though 07:01:05 If you have Windows, you can download tavsys_win32glk.zip and then use tavsysc with the filename containing this codes as the first parameter, and the name of compiled file second (should be "sokoban.tav"). You can use tavsysglk to run. You might want to import the registry file it comes with, at first, but it is not a requirement. 07:02:02 hehe for some reason it didn't even occur to me to try running the code to play them :D 07:04:31 You can also download tavsys_src.zip and compile it yourself, however, the run-time program currently requires Win32 Glk (feel free to fix it if you know how), although the compile-time program should work anywhere. 07:05:36 Actually, it requires not only Win32 Glk but also MinGW and the GNU C compiler. Feel free to fix these things if you know how. 07:07:57 Hopefully the documentation should be understandable as it is currently written (although incomplete), but you can tell me if there is something wrong with the documentation, or with the program itself, or with the standard libraries, etc 07:08:24 Probably when I have written the standard adventure library, next I will implement Cloak of Darkness as an example. 07:08:40 this is cool 07:15:12 Do you think you would use it, once the adventure library is written? I will certainly use it, to make at least one full game 07:16:17 well it seems like fun to try and get to run here (on mac right now since my gnu/linux borke) but I still haven't read it fully yet 07:19:06 If you can get it to run on a Mac (you can use Glk or write a different user-interface code), I would like to see the codes for doing so, I might include in my program, then. 07:20:34 If you get an error that a negative number of array elements is not allowed, it is because the wrong number of bits in a number of each size, you have to correct that by changing the "#define cell" so that it is a unsigned 16-bits number 07:26:25 -!- zzo38 has quit (Remote closed the connection). 07:31:36 -!- jpc has changed nick to darnit. 07:31:43 -!- darnit has changed nick to jcp1. 07:32:09 -!- jcp1 has changed nick to jpc. 07:59:34 -!- MizardX has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:06:39 -!- MizardX has quit (Read error: 104 (Connection reset by peer)). 08:06:58 -!- MizardX has joined. 08:30:51 -!- FireFly has joined. 08:46:02 -!- jpc has quit ("I will do freaking anything for a new router."). 08:47:26 -!- jpc has joined. 08:51:47 -!- MizardX- has joined. 09:07:32 -!- MizardX has quit (Connection timed out). 09:07:44 -!- MizardX- has changed nick to MizardX. 09:38:49 -!- MigoMipo has joined. 09:54:20 -!- jpc has quit (Read error: 60 (Operation timed out)). 10:34:25 -!- MigoMipo has quit ("When two people dream the same dream, it ceases to be an illusion. KVIrc 3.4.2 Shiny http://www.kvirc.net"). 10:35:37 -!- anmaster_l has joined. 11:18:49 -!- adam_d has joined. 11:39:05 -!- MizardX has quit (Read error: 104 (Connection reset by peer)). 11:39:16 -!- MizardX has joined. 11:41:19 -!- adam_d has quit (Read error: 104 (Connection reset by peer)). 12:14:29 -!- Pthing has quit (Remote closed the connection). 12:48:32 -!- soupdragon has quit ("Leaving"). 12:51:41 -!- MigoMipo has joined. 12:53:29 -!- MizardX has quit (Read error: 54 (Connection reset by peer)). 12:53:56 -!- MizardX has joined. 12:58:09 -!- adam_d has joined. 13:05:40 strange, a game that has no reason to access the cdrom tries to do that 13:06:05 well it's python, shouldn't be too hard to track down 13:07:58 oh it's due to pygame it seems. meh 13:20:11 -!- Guest22473 has quit (farmer.freenode.net irc.freenode.net). 13:20:11 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net). 13:20:22 -!- bsmntbombgirl has quit (farmer.freenode.net irc.freenode.net). 13:25:47 -!- Guest22473 has joined. 13:25:47 -!- Gracenotes has joined. 13:29:17 -!- bsmntbombgirl has joined. 13:31:56 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 13:33:26 -!- Deewiant has joined. 13:46:48 -!- Guest22473 has quit (farmer.freenode.net irc.freenode.net). 13:46:48 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net). 13:50:18 -!- Guest22473 has joined. 13:50:18 -!- Gracenotes has joined. 13:53:33 -!- bsmntbombgirl has quit (farmer.freenode.net irc.freenode.net). 14:00:05 -!- bsmntbombgirl has joined. 14:27:27 -!- ais523 has joined. 14:33:48 -!- Guest22473 has changed nick to Cerise. 14:51:42 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 14:54:11 -!- Deewiant has joined. 15:08:37 -!- oerjan has joined. 15:18:08 -!- MizardX has quit (Read error: 104 (Connection reset by peer)). 15:18:19 -!- MizardX has joined. 15:24:50 hi ais523 15:25:01 hi 15:25:16 It's a trap! 15:25:17 ais523, how goes stuff with feather? 15:25:20 i mean, hi 15:25:31 oerjan, hi too 15:25:42 hi oerjan 15:25:43 AnMaster: don't ask 15:25:49 ais523, why not? 15:26:07 because I'm mostly sane atm, and need to stay that way for a bit 15:26:11 ah 15:26:14 I'd /almost/ even forgotten Feather existed... 15:26:23 ais523, that would be sad 15:26:41 you can remind me again when I'm going insane anyway 15:26:50 how do I know when that happens? 15:26:59 it isn't very noticeable on you 15:27:10 ais523: i take it you have retroactively erased the memory? 15:27:26 oerjan, what? 15:27:28 no, existing progress continues 15:27:34 MWAHAHA 15:27:37 anyway, I've been working on Underlambda recently 15:27:43 nice 15:27:51 I recreated my Unlambda -> Underlambda compiler 15:27:55 although it now targets Underload too 15:28:08 atm it handles skivd`. 15:28:24 and also q if using Underlambda as the target (and it'll eventually handle c with Underlambda as the target) 15:29:52 ais523, do you plan to make it optimising? 15:30:17 (if that is possible) 15:30:23 not to start off with 15:30:29 although, maybe eventually 15:53:26 hey kiddles 15:57:03 -!- BeholdMyGlory has quit (Remote closed the connection). 16:09:45 -!- coppro has quit (Read error: 60 (Operation timed out)). 16:10:27 -!- coppro has joined. 16:26:10 -!- coppro has quit (farmer.freenode.net irc.freenode.net). 16:26:10 -!- bsmntbombgirl has quit (farmer.freenode.net irc.freenode.net). 16:26:17 -!- Cerise has quit (farmer.freenode.net irc.freenode.net). 16:26:17 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net). 16:32:02 -!- Cerise has joined. 16:32:02 -!- Gracenotes has joined. 16:32:33 -!- coppro has joined. 16:32:33 -!- bsmntbombgirl has joined. 16:53:13 -!- rodgort has quit ("Coyote finally caught me"). 16:54:33 -!- rodgort has joined. 17:03:03 -!- Cerise has quit (farmer.freenode.net irc.freenode.net). 17:03:03 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net). 17:03:20 -!- bsmntbombgirl has quit (farmer.freenode.net irc.freenode.net). 17:03:20 -!- coppro has quit (farmer.freenode.net irc.freenode.net). 17:08:19 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 17:08:43 -!- Deewiant has joined. 17:08:45 -!- Cerise has joined. 17:08:45 -!- Gracenotes has joined. 17:11:33 -!- Slereah has joined. 17:13:15 -!- MigoMipo has quit (Read error: 60 (Operation timed out)). 17:14:44 -!- Slereah_ has quit (Read error: 60 (Operation timed out)). 17:18:10 -!- coppro has joined. 17:18:10 -!- bsmntbombgirl has joined. 17:22:41 -!- Cerise has quit (farmer.freenode.net irc.freenode.net). 17:22:41 -!- Gracenotes has quit (farmer.freenode.net irc.freenode.net). 17:22:54 -!- bsmntbombgirl has quit (farmer.freenode.net irc.freenode.net). 17:22:54 -!- coppro has quit (farmer.freenode.net irc.freenode.net). 17:25:10 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 17:25:43 -!- Deewiant has joined. 17:27:58 -!- bsmntbombgirl has joined. 17:28:21 -!- Cerise has joined. 17:28:21 -!- Gracenotes has joined. 17:29:59 -!- coppro has joined. 17:34:42 -!- lament has quit (Read error: 54 (Connection reset by peer)). 17:34:47 -!- lament has joined. 17:37:48 -!- mkry has joined. 17:38:46 AnMaster, are you about? 17:39:09 he was earlier, but hasn't said anything for a while 17:39:10 hi, anyway 17:39:27 Ok, thanks, and hello. 17:40:28 I'm busy working on Underlambda at the moment, and thinking about DownRight 17:42:00 I've got a half-finished Unlambda -> Underlambda compiler atm, and I think you could use similar techniques to maybe compile Unlambda to Scheme 17:42:51 the tricky part is mostly handling d, c is easy in a language that has first-class continuations 17:45:16 hmm, I should paste what I've done so far in case I delete it by accident again (what happened to my /first/ Unlambda -> Underlambda compiler) 17:45:25 -!- lament has changed nick to memental. 17:46:27 mkry, hello 17:46:31 * AnMaster was away eating 17:46:38 Hello AnMaster. 17:46:47 how goes things? 17:46:55 I came to thank you in person. 17:47:00 ah 17:47:33 http://pastebin.ca/1730896 17:47:34 mkry, I'm happy it helped. I also suggest you thank ehird (but he is rarely on for long nowdays) 17:47:34 I am over my crisis, and you played a part in that, so Thanks! 17:47:46 great news! 17:47:53 (ehird and I cooperated on it) 17:47:54 I was going to, but do not see him here, if he appears when I am, I have my thanks for him as well. 17:48:09 mkry, I think he log reads 17:48:27 In that case, Thanks Ehird! wished I could have given it to you in person tho. 17:48:46 mkry, hm there may be one thing, hours before I got your mail about seeing a therapist I contacted the police in the place I believed you lived 17:49:03 I did contact them again after to tell them everything was well 17:49:09 however I never got a reply to either email 17:49:22 Not surprising, police here are very busy. 17:49:25 of course I don't know if you moved since then or anything 17:49:39 depends on where you think here is. 17:49:46 mkry, I had it as Las Vegas, Nevada, (from 2008 irc logs) 17:49:53 That is still correct. 17:49:55 ah 17:50:22 mkry, lets just hope police doesn't show up and mess things up then. 17:50:46 I somehow doubt they would, knowing the police around here. 17:50:49 ah 17:50:58 But if so, I can deal with it. 17:51:10 mkry, well, a bit bad timing on my part 17:51:18 it's unlikely they'll bother, unless the first mail gets through and the second doesn't 17:51:22 Do not worry about it, I am sure you did what you thought was best. 17:52:13 mhm :) 17:52:34 I do certainly thank you that you were concerned enough to actually do that. 17:52:53 I would not have expected it from somebody who barely knew me. 17:53:13 mkry, well, I was trying for good samitarians (spelling?) or such, but the ones in Nevada only had phone number, not email listed 17:53:23 and I was unable to call that from my mobile phone 17:53:28 got an error tone 17:53:46 thus the police :/ 17:53:58 Hard to believe in this day and age they would not have had some kind of Internet contact. 17:54:21 mkry, some had. but only in UK, and in a few places in US 17:54:35 none in Nevada, I think there was one in Connecticut or such 17:54:36 Well, we are kind of backwards over here. 17:55:11 mkry, wouldn't know about that 17:55:18 after all, you founded the internet 17:55:31 well, arpanet 17:55:34 Yes, that was back before the country fell apart. 17:55:53 (of course, it could be that someone else would have done it instead if you hadn't) 17:56:02 I am most certain of that. 17:56:35 probably 17:56:53 when would that falling apart had happened? 17:57:00 Nowadays the school system has been so destroyed, we do not get smart enough people here anymore. 17:57:11 I would say in the later 80s. 17:57:15 Nixon and watergate time springs to mind as points where US was definitely rotten 17:57:23 Yes. 17:57:35 the US is really big and heterogenous, sometimes bits can be screwed up while other bits work perfectly 17:57:44 That is very true. 17:57:46 ais523, well of course 17:58:10 ais523, the issue is what parts are screwed up. How big impact they have. 17:58:29 as in, Sweden is certainly screwed up in parts 17:58:31 California is the worst, and since they are so populous they tend to spread it to the rest of the country. 17:58:41 that FRA-law for example 17:59:18 mkry, I thought CA voted democratic mostly? 17:59:24 They do. 17:59:33 -!- jpc has joined. 17:59:43 mkry, well, less screwed up than sound of the south states at least then 18:00:05 Most areas have their problems, hard to find a reasonable place here anymore. 18:00:16 not too different here really 18:00:46 Sometimes I wished I had stayed in Switzerland, their society was so much better than here. 18:01:02 well, exact issues varies 18:01:08 True. 18:01:40 mkry, Switzerland, well with the stuff that happened there recently I'm not sure 18:01:46 AnMaster: the issue is that democrats aren't much better than republicans 18:01:52 ais523, true 18:01:59 What has happened there? I have not really looked at that place since I left. 18:02:18 mkry, err, not sure of the English terms, read it in Swedish newspapers 18:02:19 Yes, both political parties have their problems. 18:02:28 the recent vote about forbidding minarets 18:02:38 and the majority was to forbid 18:02:42 Wow. 18:02:45 Such as that it's "both" political parties, rather than "all"... 18:03:05 wow that's bad 18:03:06 of course, whenever this is actually legal as a law, or if it contradicts other laws is one of the things being discussed now iirc 18:03:09 Changing world everywhere I guess. 18:03:18 ais523, you don't read news? 18:03:24 something like that in the UK wouldn't just have Muslims up in arms, but pretty much every other religion too 18:03:36 AnMaster: I do, but wasn't aware it was Switzerland 18:05:24 mkry, at least Sweden is so far quite okay when it comes to such things. Of course, there are parties against it, and they are gaining 18:05:25 sigh 18:06:29 I suppose all we can is adapt to the changes, and at least voice our opinions to those in power. 18:06:39 yep, and vote against people with opinions we don't like 18:06:44 well yeah 18:06:45 Yes. 18:06:54 luckily, in the UK the politicians are mostly too busy embezzling money to screw up the country too badly 18:06:55 or go found a micronation somewhere 18:07:00 that could work 18:07:03 ;P 18:07:11 I just wonder for how long it would work. 18:07:18 (I'm one of the few people who actually /likes/ it when they're found raiding national finances for their own pocket, it's so much less bad than what they could be doing) 18:09:53 there are countries that seems quite okay thing. What about that one in South America. President is a native 18:09:58 * AnMaster tries to remember which one it was 18:10:59 oh right, was Bolivia 18:16:07 ais523: Yeah, just look at the US. 18:16:51 The politicians get "funding" in exchange for raiding national finances for someone else's pocket, rather than just raiding national finances for their own pocket. 18:17:11 Yep. 18:18:09 sigh 18:21:38 brb, have to reboot my machine, have a stuck process I cannot kill. 18:22:00 -!- mkry has quit. 18:39:51 Re. poor education in the USA: http://redtape.msnbc.com/2009/12/when-i-published-gotcha-capitalism-two-years-ago-i-was-in-for-a-big-surprise-as-i-talked-about-systemic-hidden-fee-fraud-al.html#posts 18:50:26 -!- Slereah_ has joined. 18:54:05 -!- mkry has joined. 19:00:51 -!- Slereah has quit (Read error: 110 (Connection timed out)). 19:03:11 -!- mkry has quit. 19:17:19 -!- mkry has joined. 19:44:21 -!- MigoMipo has joined. 19:49:27 -!- Sgeo has joined. 19:53:11 -!- sebbu2 has joined. 19:58:03 -!- sebbu has quit (Read error: 60 (Operation timed out)). 20:03:34 -!- MizardX has quit (Read error: 104 (Connection reset by peer)). 20:03:38 -!- MizardX has joined. 20:13:09 -!- mkry has quit. 20:31:16 -!- MizardX has quit (Read error: 104 (Connection reset by peer)). 20:31:23 -!- MizardX has joined. 20:57:31 -!- zzo38 has joined. 21:03:14 -!- calamari has joined. 21:18:00 -!- zzo38 has quit (Remote closed the connection). 22:09:51 -!- soupdragon has joined. 22:46:25 -!- MizardX has quit ("zzz"). 23:00:35 -!- MigoMipo has quit (Read error: 60 (Operation timed out)). 23:04:57 -!- memental has quit (Nick collision from services.). 23:32:51 -!- BeholdMyGlory has joined.