00:00:10 I mean, the 64-bit Unix ABI specifies that the xmm registers are used for floats and doubles.. 00:27:03 " my sleep generally ends up involving ..." <<< when i'm half asleep, reading math, i sometimes get these sudden feelings that one mathematical object in a definition is angry with another one, or that some things have a love affair, sometimes a rather complicated scenario can appear, where all the mathematical objects are humans with certain roles in some human interaction vaguely similar to what's being defined or proven 00:27:20 and when it happens i usually try to keep reading without falling to sleep because it's fucking awesome 00:27:56 :D 00:27:59 oklopol 00:28:01 (i mean the scenario doesn't evolve or anything, but i continue in hope that it happens again) 00:28:12 will you be my argument tonight 00:28:13 x3 00:28:48 i wish i remembered these... i guess they are sort of microdreams because i can't seem to remember them for very long 00:29:28 The mathematical love affairs were interesting. Try reading a romance novel and a maths book at the same time. 00:31:19 i can't read fiction 00:31:34 oklopol: BE MY ARGUMENT 00:31:38 I NEED YOU IN ME 00:31:39 oklopol, presumably because it tends to be typeset in non-monospaced fonts. 00:31:41 :-) 00:31:52 augur(oklopol) 00:31:54 Phantom_Hoover: so is math, so can't be the reason 00:31:58 I WANT TO PUT YOU IN MY BODY 00:32:20 Phantom_Hoover: more haskellish plx. 00:32:26 oklopol, can you just not make sense of the words, or do you just not like it? 00:32:36 augur =<< oklopol 00:32:42 no no 00:32:48 oerjan: let's not get carried away 00:32:50 thats backwards, oerjan 00:32:50 BUT IT'S MONADIC 00:32:54 oklopol >>= augur 00:32:54 oerjan, that eviscerates oklopol first. 00:33:03 i dont think =<< is defined at all 00:33:09 is 00:33:13 eviscerates? i don't think we're thinking of the same monad 00:33:13 augur, it's in Control.Monad 00:33:24 oerjan, I'm thinking of the Person monad. 00:33:31 realyl 00:33:32 thats weird 00:33:43 whats reverse-bind do? 00:33:46 !haskell [1,2,3] =<< [4,5] 00:33:46 same 00:33:48 besides bind, i mean 00:33:56 oh bind 00:33:57 It provides an interface between computations in the brain and the body. 00:33:58 oerjan, thats not a function 00:34:10 d'oh 00:34:10 [4,5] >>= [1,2,3] is a type error. 00:34:19 !haskell const [1,2,3] =<< [4,5] 00:34:20 So bind rips a person's brain out of their body and applies the other one to it. 00:34:20 [1,2,3,1,2,3] 00:34:38 As such, oklopol >>= return is effectively a brain transplant. 00:34:54 what the fuck 00:34:59 augur: it's just the same with arguments swapped, for when you want "arguments" to go last like with ordinary functions 00:35:06 !haskell [1,2,3] << [4,5] 00:35:12 !haskell [4,5] >>= const [1,2,3] 00:35:13 [1,2,3,1,2,3] 00:35:21 oklopol >>= augur probably takes augur's body and puts oklopol's brain in it. 00:35:24 oh, right, ok 00:35:27 wait what's wrong with mine 00:35:32 -!- Flonk has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.8/20100722155716]). 00:35:33 oh 00:35:34 that took a bit 00:35:35 oklopol, learn to monad. 00:35:41 :-D 00:35:42 !haskell :t (>>) 00:35:44 (>>) :: (Monad m) => m a -> m b -> m b 00:35:53 >> is just sequencing 00:36:12 its basically >>= where the argument of the function is _ 00:36:32 >> does weird things with lists, actually. 00:36:41 that's why i thought [1,2,3] << [4,5] is [4,5] >>= const [1,2,3]. 00:36:45 !haskell [1,2,3] >> [4,5] 00:36:47 [4,5,4,5,4,5] 00:36:50 augur: =<< is better for combining with . as they have the same "direction of flow" 00:36:55 err 00:36:56 wtf 00:37:01 so i was correct 00:37:03 oklopol, correct. 00:37:10 You have indeed learnt to monad. 00:37:18 oerjan: i see 00:37:22 so why didn't mine work then 00:37:29 << isnt defined is why 00:37:35 or is << not defined, ego said something about problems with ++ 00:37:50 /tmp/input.19254.hs:1:33: parse error on input `++' 00:37:58 augur, probably because if they defined every variant on every operator then Haskell would be enormous. 00:37:59 therefore i assumed << is defined 00:38:04 but 00:38:07 given that it's a parse error 00:38:11 that was a bit stupid of me 00:38:13 well 00:38:15 did you just type ++ 00:38:18 or did you type (++) 00:38:23 oklopol, you assumed that GHC error reporting was going to be clear? 00:38:26 i tope "!haskell [1,2,3] << [4,5]" 00:38:38 !haskell :i concatMap 00:38:39 concatMap :: (a -> [b]) -> [a] -> [b] -- Defined in GHC.List 00:38:58 but as i said: silly of me 00:39:11 !haskell [1,2,3] << [4,5] 00:39:22 << isn't defined! 00:39:25 oklopol: says nothing about ++ for me 00:39:34 oh? 00:39:35 I checked in my own GHCi. 00:39:41 oklopol 00:39:41 !haskell [1,2,3] << [4,5] 00:39:44 in your ghci 00:39:45 It isn't even defined in Control.Monad. 00:39:46 are you just typing ++ 00:39:54 and getting the parse error? 00:39:57 or are you typing (++) 00:39:58 i don't have a haskell interp or compiler 00:40:07 i don't program. 00:40:15 so where the fuck did "/tmp/input.19254.hs:1:33: parse error on input `++'" come from 00:40:18 dont make me fuck you up 00:40:21 oklopol, what are you doing on a programming channel? 00:40:23 egobot told me in pm 00:40:32 what did you type to egobot 00:40:33 augur, EgoBot DCCs to you if the input is multi-line. 00:40:33 >_< 00:40:41 s/in/out/ 00:40:45 !haskell ++ 00:40:49 Phantom_Hoover: i mostly talk about math and design languages 00:40:52 !haskell (++) 00:41:32 augur: i tope "!haskell [1,2,3] << [4,5]", as i said; in any case i retried and now it says ":1:117: Not in scope: `Main.main'" 00:41:33 augur, operators need either to have both arguments or be bracketed, otherwise they are syntax errors. 00:41:34 :D 00:41:36 As such, 00:41:44 !haskell :i (++) 00:41:45 (++) :: [a] -> [a] -> [a] -- Defined in GHC.Base 00:41:47 !haskell :i ++ 00:41:48 (++) :: [a] -> [a] -> [a] -- Defined in GHC.Base 00:41:58 !haskell :t ++ 00:42:01 oh and "tope" means "typed" in case you don't know olden golden english 00:42:04 Phantom_Hoover: i know this 00:42:08 they said tope in the 1500's 00:42:09 which is why i was asking oklopol 00:42:11 augur: (++) is a function and has no printable form by default 00:42:13 augur, good, just checking. 00:42:43 !haskell [1,2,3] << [4,5] 00:43:09 augur: to tell this a third time, for fun, i did not type ++ anywhere, in fact it's months since i typed it. 00:43:23 ok 00:43:24 well 00:43:26 you're crazy 00:43:27 oklopol: that's weird i just get a simple parse error with no mention of ++ 00:43:32 be my argument tonight <3 00:43:32 bye 00:43:36 i shall bye 00:43:41 !haskell [1,2,3] << [4,5] 00:43:48 oklopol, STOP DOING THAT 00:43:51 lol 00:43:53 getting closer 00:43:54 /tmp/input.19886.hs:2:0: 00:43:54 It'll never work! 00:43:54 parse error (possibly incorrect indentation) 00:43:56 :D 00:44:06 oklopol: that's what i got, essentially 00:44:09 both times 00:44:20 I have GHCi on my computer. << is not defined in the Prelude or in Control.Monad. 00:44:24 let's try it again 00:44:27 !haskell [1,2,3] << [4,5] 00:44:30 DIIIIIIIIIIIIIEEEEEEEEEEEEEEEEEEEe 00:44:45 i'll try once more, gave me parse error again 00:44:47 !haskell [1,2,3] << [4,5] 00:44:53 okay 00:45:01 seems it's now consistently a parse error 00:45:07 oklopol >>= const $ return "Die, oklopol's brain!" 00:46:06 Phantom_Hoover: we're not trying to make << work, we're just wondering why EgoBot apparently gives oklopol strangely inconsistent error messages to that 00:46:26 involving ++ at least one time 00:46:46 "I try hard to forget Perl every day" 00:47:16 That reminds me, I'm taking a class on Perl this upcoming semester :( 00:47:22 oerjan, well, doesn't !haskell do weird things if GHCi complains? 00:47:26 !show haskell 00:47:26 That is not a user interpreter! 00:47:34 oerjan: are these definitions standard: given a cayley graph G with generators X = {g_1, ..., g_n}, we define norms on strings over X by calculating the amounts of uses of each g_i (k-norms and shit), and then we define the norm of an element as the minimal norm of a representation as string over X, then we can define balls as usual and ellipsoids by weighing generators differently when computing the norm 00:47:34 !sh ls 00:47:35 interps 00:47:45 Phantom_Hoover: yes. but the message should still be the same each time... 00:48:02 oerjan, well, once it leaves GHCi all bets are off. 00:48:03 oklopol: no f idea 00:48:11 :D 00:48:33 Phantom_Hoover: oh it just puts it in a file and loads that file as a module with runghc, afaik 00:49:11 oklopol, which command exactly caused the weird error? 00:49:27 Phantom_Hoover: the one you've been bloody complaining about! 00:49:33 wait 00:49:42 oerjan, OKOKOK 00:50:18 apart from the ellipsoids, i'm basically asking if cayley graphs usually inherit the normal metric of the graph 00:50:26 which they obviously do 00:50:38 the ellipsoid is fun because we can generalize things like rectangles 00:51:01 because rectangles are the ellipsoids in Z^2 with the infinity norm 00:51:13 with the usualy generators 00:51:20 *usual 00:51:39 oklopol: oh hm wait i think i may know what happened. EgoBot has a bug that sometimes causes it to give the response for one command only after the next one... you must have got the response to one of augur's ++ tests 00:51:54 okay 00:52:07 i got two though, but i guess that's just how god made me 00:52:26 i don't get how people don't find cayley graphs so fucking sexy 00:52:30 maybe it happened with both of his tests... 00:53:51 i mean half the lemmas for finite semigroups can be reduced to tracing paths on the cayley graph (the two lemmas i know, that, i just generalized this for arbitrary proofs) 00:53:56 oerjan: lol good point :D 00:54:13 have i mentioned i'm an idiot 00:54:23 possibly 00:54:53 but then, as an idiot your word cannot be trusted on such matters 00:55:37 true, only that who are truly smart can know he is not know much things. 00:55:54 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 00:56:33 bye hoovie 00:59:47 hmph 01:00:52 darn i cannot open new internet connections 01:08:21 http://www.fiveminute.net/nextgen/comic.php?ep=encounteratfarpoint&page=1 01:12:52 Meh, the non-comic is better 01:13:02 I'm still reading the comic for some reason 01:17:25 "Yar: I don't waste time thinking. Life is short. Really, really short. 01:17:25 " 01:20:04 -!- SevenInchBread has changed nick to CakeProphet. 01:42:37 -!- sshc has quit (Ping timeout: 265 seconds). 01:43:52 -!- sshc has joined. 01:47:36 -!- CakeProphet has quit (Ping timeout: 240 seconds). 01:50:04 -!- CakeProphet has joined. 01:57:22 hi 02:11:24 -!- augur has quit (Remote host closed the connection). 02:13:45 -!- sebbu2 has joined. 02:16:56 -!- sebbu has quit (Ping timeout: 265 seconds). 02:21:10 -!- augur has joined. 02:26:19 -!- oklopol has quit (Read error: Connection reset by peer). 02:41:08 -!- benuphoenix has quit (Quit: leaving). 02:54:57 -!- Wamanuz has quit (Remote host closed the connection). 03:01:55 Nurse Ogawa: ...and he also seems to be pregnant. 03:01:55 Crusher: But that's impossible! We were really carefu-- 03:04:02 -!- BeholdMyGlory has quit (Remote host closed the connection). 03:04:23 Worf: Good news, Doctor. The new Trill host, Kareel, is finally here. 03:04:23 Crusher: Where? I don't see anyone. 03:04:23 Worf: Our guest first had to stop by the ladies' room. 03:04:23 Crusher: That's strange. Is the men's washroom broken? 03:04:23 Worf: It is working considerably better than your ability to take a hint. 03:19:36 -!- SevenInchBread has joined. 03:21:29 -!- CakeProphet has quit (Ping timeout: 265 seconds). 03:25:52 Oh sure, TOS is legally available online, but not TNG 03:28:00 -!- Gregor-P has quit (Ping timeout: 264 seconds). 03:48:58 Worf: Good news, Doctor. The new Trill host, Kareel, is finally here. 03:48:58 Crusher: Where? I don't see anyone. 03:48:58 Worf: Our guest first had to stop by the ladies' room. 03:48:58 Crusher: That's strange. Is the men's washroom broken? 03:48:58 Worf: It is working considerably better than your ability to take a hint. 03:49:00 oops 03:49:05 Paris: Did you just spoil the plot for the sake of a lame DS9 reference? Neelix, Neelix, Neelix.... 03:50:22 Janeway: Janeway to all hands: turns out we're all fictional. 03:51:01 balrgslakjfdls 03:54:52 someone say something 03:55:25 but you just ruined my comment! 03:55:44 NEVER 03:55:47 Sgeo__: you 03:56:13 nothing? 03:57:16 curses 04:10:45 -!- CakeProphet has joined. 04:13:03 -!- SevenInchBread has quit (Ping timeout: 240 seconds). 04:16:48 -!- Mathnerd314 has quit (Ping timeout: 265 seconds). 04:41:36 -!- sshc has quit (Ping timeout: 240 seconds). 04:49:22 -!- sshc has joined. 04:53:23 -!- CakeProphet has quit (Ping timeout: 260 seconds). 05:05:24 -!- Sgeo__ has quit (Ping timeout: 265 seconds). 05:06:15 -!- CakeProphet has joined. 05:12:13 -!- sebbu has joined. 05:15:05 -!- sebbu2 has quit (Ping timeout: 240 seconds). 05:37:18 -!- CakeProphet has quit (Ping timeout: 258 seconds). 05:39:52 -!- oerjan has quit (Quit: Good night). 05:40:40 -!- GreaseMonkey has joined. 06:00:14 -!- sshc_ has joined. 06:03:12 -!- sshc has quit (Read error: Operation timed out). 06:05:21 -!- sshc has joined. 06:07:56 -!- sshc_ has quit (Ping timeout: 240 seconds). 06:12:31 -!- sshc has quit (Ping timeout: 276 seconds). 06:16:05 -!- sshc has joined. 06:30:14 -!- CakeProphet has joined. 07:11:15 -!- cal153 has joined. 07:11:23 -!- cal153 has quit (Client Quit). 07:12:43 -!- cal153 has joined. 07:26:42 -!- ski has joined. 07:42:32 -!- relet has quit (Quit: Leaving.). 07:52:09 -!- augur has quit (Remote host closed the connection). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:08:23 -!- asiekierka has joined. 08:08:26 hello 09:37:48 -!- tombom has joined. 10:33:30 -!- Flonk has joined. 10:57:44 -!- tombom has quit (Ping timeout: 240 seconds). 11:05:13 -!- Phantom_Hoover has joined. 11:10:00 -!- ski has quit (Ping timeout: 264 seconds). 11:39:21 -!- GreaseMonkey has quit (Quit: New quit message. Entering 2006 in style.). 11:44:18 -!- SevenInchBread has joined. 11:47:03 -!- CakeProphet has quit (Ping timeout: 265 seconds). 11:51:03 -!- MigoMipo has joined. 11:59:05 Supposedly Microsoft misdocumented the API calling convention to say that arguments were passed left-to-right rather than right-to-left. 11:59:25 How did these people corner the home computer market, again? 12:14:03 Phantom_Hoover: Internet Explorer 4 through 6 and being the first OS that's not a pain to use (Windows 95), why? 12:14:07 err, that wasn't 12:14:13 that was when Linux was almost useless for a newbie 12:14:16 Macs ran only on Macs 12:14:21 and OS/2 was largely abandoned 12:16:22 they used the occasion and made an (largely crap when they integrated IE and slowed their OS down) OS useful for the average Joe 12:16:27 so everyone went "OMG GIMMIE THAT" 12:23:53 around the time of IE4, it was really cool that it could make files act like links, underlined and single-click 12:24:01 it was like "omg, the web! in my desktop!" 12:30:54 -!- BeholdMyGlory has joined. 12:38:28 -!- Sgeo__ has joined. 12:40:04 -!- Wamanuz has joined. 12:41:35 Sgeo__, did you succeed in hitting yourself in the head with a lambda? 12:42:02 I succeeded in being very tired, but not sleeping 13:03:16 Sgeo__, I assume you're on holiday, then? 13:03:32 -!- tombom has joined. 13:03:39 School starts... I don't know when School starts, exactly 13:03:54 How old are you, exactly? 13:04:21 21 13:04:39 By school I mean college, btw 13:05:02 Why not say "college", then? 13:05:07 It's confusing! 13:29:31 -!- ais523 has joined. 13:29:33 -!- ais523 has quit (Changing host). 13:29:33 -!- ais523 has joined. 13:57:07 if the mandelbrot set is not computable, could it be [used to implement something] turing complete? 13:57:34 * Sgeo__ reads the Seaside book 13:58:05 -!- Mathnerd314 has joined. 14:13:47 -!- oerjan has joined. 14:16:15 -!- AnMaster has joined. 14:16:25 -!- AnMaster has quit (Remote host closed the connection). 14:22:49 -!- AnMaster has joined. 14:24:38 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 14:48:26 -!- MizardX has quit (Quit: from __future__ import skynet). 14:48:43 -!- MizardX has joined. 15:16:10 -!- asiekierka1 has joined. 15:19:10 -!- asiekierka has quit (Ping timeout: 246 seconds). 15:33:05 -!- oerjan has quit (Quit: Later). 15:35:56 -!- asiekierka1 has quit. 15:38:42 -!- derdon has joined. 15:43:07 -!- relet has joined. 15:52:19 -!- sshc has quit (Ping timeout: 260 seconds). 15:53:09 -!- sshc has joined. 15:59:27 Observation: When Ryan North asks for guest Dinosaur Comics, he gets T-Rex/Utahraptor slash action. 16:11:01 Well, not too surprising, since we know they used to be gay lovers 16:16:28 It's arguably how canon that is. But then, guest comics aren't canon anyway. 16:16:39 *argubale 16:16:41 *arguable X_X 16:27:07 -!- derdon has quit (Ping timeout: 260 seconds). 16:33:31 -!- Killerkid has quit (Ping timeout: 252 seconds). 16:34:08 -!- Phantom_Hoover has joined. 16:45:33 That's assuming that it has any canon at all 16:45:48 Instead of being just a string of mostly unrelated jokes 16:45:51 -!- Killerkid has joined. 16:47:05 -!- kar8nga has joined. 17:13:04 -!- kar8nga has quit (Read error: Connection reset by peer). 17:13:53 Gregor, would Hackiki and the bots be vulnerable to f00foids? 17:23:24 -!- jcp has quit (Ping timeout: 245 seconds). 17:26:40 -!- cpressey has joined. 17:27:17 -!- jcp has joined. 17:27:39 cpressey! 17:28:20 Phantom_Hoover: NO 17:28:39 Ah, cpressey's evil twin. 17:29:53 * cpressey is waiting for someone to implement Thue in an NSIS script 17:31:39 -!- augur has joined. 17:40:36 -!- Flonk_ has joined. 17:42:09 -!- Flonk has quit (Ping timeout: 245 seconds). 17:42:18 -!- Flonk_ has changed nick to Flonk. 17:45:26 -!- Wamanuz2 has joined. 17:46:23 -!- Wamanuz has quit (Ping timeout: 265 seconds). 17:52:27 What does a::=hello\ab::=world\::=\ab evaluate to in Thue? 17:53:40 I would guess it evaluate to either or "hellob" or "world" 17:53:44 *s 17:53:52 -!- Zuu has quit (Ping timeout: 276 seconds). 17:54:43 * Phantom_Hoover wants to try wearing ridiculous clothes, getting some random leaflets and walking down the Royal Mile and see if the street performers and leaflet out-handers leave him alone. 17:58:41 God damned torrent. 17:58:55 1.4 megabytes left, and not getting any of it. 17:59:10 1.4MB/how much? 17:59:37 2732.0 megabytes. 18:00:02 ... So I'm going through my ~/audio dir and trying to get FLACs for everything. 18:10:26 Useless trivia: libslang is part of the Ubuntu server base system. 18:10:38 S-Lang, now there's a language! 18:11:39 Why are there so many languages that are variants of the exact same concept? 18:12:34 Because they were implemented... "they stick quite well" 18:13:44 Why they were implemented... probably mostly NIH 18:14:56 It would be nice to destroy S-Lang, NSIS, AutoKey, etc etc and replace them all with Lua 18:16:03 Actually, I take "mostly NIH" back. There's a subtle effect in play where the language *grows* out of "Let's make it configurizable" 18:16:32 cpressey, where the config system grows to the point that it becomes a language in itself? 18:16:45 Yes, exactly. 18:16:57 S-Lang is not like that, but a lot of other ones are. 18:17:09 fungot, am I connected? 18:17:09 Phantom_Hoover: can i remove the toplevel ' plugin', and in a muslim country no less. unless you're coding perhaps. 18:17:31 cpressey, like NSIS? 18:18:16 Phantom_Hoover: Yes. And AutoHotKey (is its real name). And once there was this terminal program for Windows and it had its own scripting language called Aspect... oh man. Yeah. 18:18:55 AutoHotKey is the real name for "AutoKey". NSIS is NSIS. Not related. Just to clarify 18:19:57 Oh, and there was this point of sale system I worked with once with its own really crappy language for its "screens"... well n/m, you get the idea. 18:20:46 I suppose the languages are generally shoddily-implemented and slow? 18:22:51 Naturally. 18:23:17 In effect, PHP comes from this school too. 18:24:54 Hell! So does bash, really. 18:26:07 S-Lang? 18:27:40 Well, bash is kind of different. 18:27:54 It's a user interface that evolved into a language. 18:28:29 And then there's zsh, which is basically the epitome of evolution of stuff. 18:28:44 It's a little different, I grant. But the "evolution into a language" thing is definitely there. 18:29:02 I love the way that sentence starts off fairly eloquently and then descends to using "stuff". 18:34:00 !sh zsh 18:34:00 /tmp/input.13261: line 1: zsh: command not found 18:36:14 ZSH has a facility to use readliney editing on variable. 18:36:20 *s 18:37:14 Actually, zsh isn't really an example of this. 18:37:20 Well, it kind of is. 18:48:06 -!- kar8nga has joined. 18:52:03 Ooh, it has a TCP library. 18:52:11 Let's write ZHTTP! 18:56:45 -!- augur has quit (Remote host closed the connection). 18:56:57 -!- augur has joined. 18:58:20 -!- Zuu has joined. 18:58:20 -!- Zuu has quit (Changing host). 18:58:20 -!- Zuu has joined. 18:59:07 -!- ais523 has quit (Remote host closed the connection). 19:00:18 * cpressey is waiting for someone to implement Thue in an NSIS script <-- augh 19:00:29 Gregor, would Hackiki and the bots be vulnerable to f00foids? <-- what are f00foids? 19:00:42 AnMaster, like f00f, only not f00f.. 19:01:02 ah 19:02:35 Since f00f is obviously not dangerous on modern processors. 19:02:50 cpressey, bash is a quite nice shell to tell the truth 19:03:01 some prefer zsh, a bit too bloated for my taste 19:03:11 -!- derdon has joined. 19:03:22 AnMaster, he didn't say it wasn't, he just said that it had evolved into a language. 19:03:38 And don't diss zsh. 19:03:38 -!- Gregor-P has joined. 19:04:02 Ooh, it has a TCP library. <-- bash has the /dev/tcp pseudo device 19:04:09 used it for envbot 19:04:21 AnMaster, cool. 19:04:30 Phantom_Hoover, see man bash 19:04:31 Did you write an HTTP server in it? 19:04:40 Phantom_Hoover, think it is client only 19:09:48 AnMaster: Does bash have an editor in it? 19:11:07 pikhq, not afaik 19:11:15 pikhq, unless you mean line editing 19:11:23 Text editor. 19:11:26 pikhq, perhaps someone implemented one though 19:11:31 but not afaik 19:11:50 Egad 19:13:39 pikhq, does zsh? 19:13:50 pikhq, I know busybox does, but that is kind of cheating 19:13:54 AnMaster: Yes. 19:13:57 since it is so much more than a shell 19:13:59 pikhq, wtf 19:14:10 pikhq, link or it didn't happen 19:14:42 * pikhq looks for citation 19:15:03 a screen shot works just fine 19:16:01 Hmm. No, zed got removed a while back. 19:16:49 ah 19:17:52 * Sgeo__ watches the Professor Moriarty eps of TNG 19:20:19 AnMaster, there is a file editor in zsh, but it's limited and hacky. There's probably a better one. 19:20:41 heh 19:20:52 As I said, it provides a facility to edit the contents of variables, and it has a module that enables it to map files to variables. 19:21:27 So vared mapfile\[file] will allow you to edit it if you aren't interested in hitting return. 19:27:15 -!- sebbu has quit (Read error: Connection reset by peer). 19:28:01 -!- sebbu has joined. 19:34:30 Sgeo__: TNG! 19:36:37 Sgeo__, I suppose you don't have the new Sherlock Holmes series in the US yet. 19:44:14 -!- Wamanuz3 has joined. 19:47:33 Phantom_Hoover: Ah, right, that was it. 19:47:44 pikhq, huh? 19:47:48 -!- Wamanuz2 has quit (Ping timeout: 264 seconds). 19:47:54 12:21 < Phantom_Hoover> So vared mapfile\[file] will allow you to edit it if you aren't interested in hitting return. 19:48:16 That's hardly much of an editor, though. 19:48:34 Nor's ed. Your point? 19:48:56 Well, it's not as flamboyant as zsh tends to be. 19:49:05 Mmmm, zftp. 19:49:26 ztcp? It has facilities to set up listeners. 19:51:14 There's also zselect. 19:51:38 ... And zcurses. 19:51:44 My god I could write an IRC client in zsh. 19:52:55 -!- Zuu has quit (Ping timeout: 276 seconds). 19:56:27 You have no ambition! 19:57:06 You could write ... the hooks between Posix and VFS for Microcosm :P 19:59:26 -!- Zuu has joined. 19:59:33 -!- Zuu has quit (Changing host). 19:59:33 -!- Zuu has joined. 20:25:33 Gregor-P: Or I could... DO NOTHING 20:25:35 MWAHAHAH 20:40:13 -!- zzo38 has joined. 20:41:11 I have written a gopher client in bash. I have also written a server in bash (but not gopher), the server I wrote is for receiving logs from the drive wiping program. 20:42:39 hah 20:43:48 Everyone should write everything in Smalltalk! 20:44:11 /notserious 20:45:27 For some reason, when I try to open LyX's own literate examples it tells me that literate-article.layout either doesn't work or doesn't exist. 20:47:40 I have combed Synaptic for a quick fix, and haven't found anything. 20:49:28 You probably could write a HTTP server in bash, though, if you want to 20:49:52 zzo38, assuming you have two-way TCP access, then yes. 20:49:58 ZSH does give you this. 20:50:37 In bash I just used netcat for these things, there are things relied on external programs 20:51:03 zzo38, BORING 20:51:51 The server I wrote was for receiving logs, the client was written in Python, and I simply modified it to connect to the server to send the logs. Each client is assigned a port number on the server to connect to, according to 1024 + the rightmost octet of its IP address. 20:52:32 The first line of the server script (other than the #! line) is like this: trap 'jobs -p | xargs kill' exit 20:52:34 zzo38, what if two computers with the same final octet connect at once? 20:53:33 Phantom_Hoover: That won't happen. It is all a internal network and there aren't that many clients. It is designed so that each client has a unique final octet. 20:53:40 zzo38, ah 20:54:59 The server script simply spawns netcat in keep listening mode and redirecting output to files "log.1024" and so on, all running in background (with & at end), and then sleeps forever until interrupted. 21:03:26 See, if you were using ZSH you could do it with only builtins. 21:04:47 In Zsh you'd just get file descriptors and select on them. 21:05:08 pikhq, exactly. 21:05:36 Yes, select. The system call. :) 21:16:54 -!- lafille has joined. 21:18:05 -!- lafille has quit (Client Quit). 21:25:14 -!- augur has quit (Remote host closed the connection). 21:37:22 -!- alise has joined. 21:37:30 Arson & Mathematics 21:37:41 Huh? 21:38:02 Oh, incidentally, do you know about Multics' memory model? 21:38:13 --"tell me," he said, "why would I want to blow up the city?"-- 21:38:17 Phantom_Hoover: No. 21:38:51 Well, it has the whole "disc and memory are undistinguished" thing. 21:38:59 Obviously not with Lisp object. 21:39:03 *s 21:40:42 I don't know whether the computers at FreeGeek have Zsh 21:40:43 Interesting. 21:41:15 http://en.wikipedia.org/wiki/Single-level_store 21:43:23 -!- tombom has quit (Read error: Connection reset by peer). 21:43:32 -!- tombom has joined. 21:44:04 I have seen a sign "STORE HOURS MON~THU 17:00-25:00" but I think I know what they might mean by that, though. 21:44:32 zzo38, I don't see the problem. 21:45:42 There isn't 25 hours in a day. But they might mean 1AM next day is when they close. Still, it is a bit strange way to write it 21:46:02 Phantom_Hoover: hour :: (hour >= 0 && hour < 24) => Integral n 21:46:04 * Phantom_Hoover can't believe he didn't notice that. 21:46:27 Erm, that was odd. 21:46:35 hour :: (n >= 0 && n < 24) => Integral n 21:46:44 There, that's not absolutely revolting. 21:46:57 -!- oerjan has joined. 21:47:04 This torrent is mocking me. 21:47:13 0.1 megabytes left. 21:49:08 Anime convention is tomorrow, and I do not have a mahjong table. TOO BAD 21:49:48 zzo38: Shougi table, though? 21:50:58 Would it be possible to implement something approximating to the IO monad in Lazy K?? 21:51:05 s/??/?/ 21:51:26 pikhq: I don't have one of those either, but I do some pieces and the paper board (the paper board is not as good as the proper one) 21:51:39 pikhq: Which torrent? 21:51:56 alise: hey! 21:51:57 alise: The Decemberists discography. 21:52:02 Phantom_Hoover: No; monads require a type system. 21:52:18 pikhq, hence "approximating". 21:52:22 Phantom_Hoover: The closest you could get would be stream-based IO. ... Which Lazy K already has. 21:52:42 (granted, it's limited to stdin and stdout, *but* it's still stream-based IO.) 21:55:10 What I'm getting at is that there's no immediately obvious way of making a function that will just print some text, wherever it's called. 21:55:23 Phantom_Hoover: Nor is there in Haskell. 21:55:40 pikhq, OK, that wasn't correct wording. 21:55:53 coppro: Hi. 21:56:13 putStrLn will only print some text if it is somehow executed from main. 21:56:55 Much like a Lazy K function resulting in a string will only print some text if it is somehow part of the return value of the function executed by the Lazy K RTS. 21:57:43 What my idea came down to was that you'd have something equivalent to a bind function, and then a function would return both its IO stuff and whatever its normal value was. 21:58:06 Then abstractions would be done to make it all easy. 21:58:06 you certainly could implement the meat of an IO monad in lazy K 21:58:11 oerjan, exactly. 21:58:28 oerjan: Yes, it's called stream-based IO, which Lazy K does... 21:58:36 it's very close to a State monad i think 21:58:45 (putStrLn "Hi", 5)? 21:58:46 oerjan, more or less what I had. 21:58:46 You'd basically just be adding additional semantics to the input/output stream. 21:58:58 Phantom_Hoover: Oh, you want tuples. ;) 21:59:08 pikhq, you *have* them in Lazy K. 21:59:16 Yuh. 21:59:53 oh hm except a state monad isn't quite right 22:00:05 you want a state for the input but also a writer for the output 22:01:38 Well, a function would get the current input stream, and return the modified input stream and whatever output it had. 22:02:00 and also a monadic return value 22:02:06 oerjan, yes. 22:02:24 -!- cheater99 has joined. 22:03:27 \i -> (i', o, v) 22:03:52 oerjan, \i, v -> (i', o, v) 22:03:56 \i f -> f i' o v 22:04:01 no... 22:04:07 What's f? 22:04:26 that's just the obvious way of implementing a triple in lambda calculus 22:04:29 Oh, it's for the tuple. 22:04:34 Carry on. 22:05:34 lessee return x = \i -> f i "" x 22:06:15 an output string would probably be implemented like that ShowS type 22:06:26 !haskell :info ShowS 22:06:28 oerjan, you can just use (,,) notation for triples. 22:06:37 type ShowS = String -> String -- Defined in GHC.Show 22:06:45 If I send a copy of a book and DVD to someone, which is a reimplementation of a old program they originally wrote but now lost the source-codes, what do you expect? 22:06:53 because that makes it easy to prepend and stuff 22:07:00 oerjan, just use Church-encoded arrays of ints... 22:07:18 It's how Lazy K does IO natively. 22:08:29 Phantom_Hoover: except you'd want easy composition, which is probably easier if you do it as a prepending function. that's why haskell _has_ the ShowS type after all 22:08:46 it makes output more efficient 22:09:01 (when nesting deeply) 22:11:09 x >>= f = \i -> let (i1, o1, v1) = x i; (i2, o2, v2) = f v1 i1 in (i2, o1 . o2, v2) 22:11:13 -!- SevenInchBread has quit (Ping timeout: 252 seconds). 22:11:26 replace . by ++ if you insist on using arrays 22:12:02 oerjan, how does ShowS work? 22:12:30 !haskell shows True " testing" 22:12:34 "True testing" 22:13:31 oerjan, so shows takes a value and returns a function that will take a string and append it? 22:13:38 it prepends a string to the string it is given, usually contstructed from the showsPrec method of the ShowS class 22:13:46 *Show class 22:13:54 yep 22:14:08 shows = showsPrec 0 iirc 22:14:43 showsPrec takes a precedence value to get operators correctly parenthesized 22:15:39 It seems that (cons x) . (cons y) is a function which appends its argument to [x,y] 22:15:50 At least with Church pairs. 22:15:59 it should be 22:17:09 note that it should be able to be lazy so y isn't evaluated for printing just the first bit 22:17:31 oerjan, yes, I know. 22:18:10 !haskell let s = show s in take 100 s 22:18:14 "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\" 22:18:28 Neat. 22:18:47 that one only works because the first " is given lazily 22:19:47 !haskell putStr (let s = show s in take 100 s) 22:19:48 "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ 22:19:55 Worst unary counter, or worst unary counter? 22:19:58 i recall trying a similar one based on Char rather than String and it fails due to accidental strictness 22:20:03 Wait, it isn't unary. 22:20:31 !haskell let s = concatMap show s in take 100 s 22:20:53 * oerjan didn't even get an error message? 22:20:54 1, 3, 4, 15 22:20:56 is the first lengths 22:20:59 *are the 22:21:00 !haskell "Boo!" 22:21:13 s/4/7/ 22:21:17 we need an !oeis 22:21:21 !help 22:21:23 help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 22:21:29 !haskell "Boo!" 22:21:31 "Boo!" 22:21:34 huh 22:21:46 !haskell :t let s = concatMap show s in take 100 s 22:21:50 let s = concatMap show s in take 100 s :: [Char] 22:22:00 !haskell let s = concatMap show s in take 100 s 22:22:21 hmm 22:22:26 OEIS has no sequence for it 22:22:34 alise, I think it's irregular. 22:22:43 well it has /some/ formula 22:22:45 a disturbing lack of output. anyhow i knew that doesn't work because for some reason the Show instance for Char does _not_ give the initial ' lazily. let's cheat. 22:22:54 alise, thoughts on Seaside and Aida? 22:22:57 I get 1 3 7 22:23:11 !haskell let s = '\'' : tail (concatMap show s) in take 100 s 22:23:11 !haskell putStr (let s = show s in take 100 s) 22:23:12 Sgeo__, How many more languages are you going to learn? 22:23:15 "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ 22:23:16 I mean this 22:23:17 "'\\'''\\\\''\\'''\\'''\\'''\\\\''\\\\''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\'''\\'''\\'''\\\\''\\\\''\\'''\\''" 22:23:23 Phantom_Hoover, those are both Smalltalk 22:23:23 alise, it's definitely irregular. 22:23:40 Wait, not particularly... 22:23:43 Phantom_Hoover: that's not helpful 22:23:50 !haskell let s = show s in take 100 s 22:23:52 "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\" 22:24:10 I get different numbers for the third block. 22:24:11 Phantom_Hoover, also, I love reading about languages 22:24:19 alise: it's just 2^n-1 duh 22:24:32 you miscounted the 7 22:24:52 1, 3, 4, 15, 31 does not contain 7 22:24:57 do you mean the 4? 22:25:37 yes, s/4/7/ i said 22:25:55 ah 22:26:07 !show '\'' 22:26:08 That is not a user interpreter! 22:26:25 oh right... 22:26:37 !haskell let s = '\'' : tail (concatMap show s) in putStrLn $ take 100 s 22:26:38 '\'''\\''\'''\'''\'''\\''\\''\'''\'''\\''\'''\'''\'''\\''\'''\'''\'''\\''\'''\'''\'''\\''\\''\'''\'' 22:26:54 that's the Char variant 22:27:37 Anyway, back to IO. 22:28:24 So the output will be in appendable form. 22:28:53 * Sgeo__ wonders what FFI is like in VisualWorks 22:29:45 i think that's easier than figuring out another finite length array representation for Lazy K, anyhow 22:30:12 -!- CakeProphet has joined. 22:31:12 iirc Lazy K uses 256 for EOF marking, so appending lots of arrays in its _standard_ output format would be highly inefficient 22:31:12 argh! i can't kill opendns 22:31:19 brb, trying something 22:31:55 *concatenating 22:31:58 -!- sshc_ has joined. 22:32:15 oerjan, what about the (cons a) . (cons b) thing? 22:32:45 Phantom_Hoover: i thought that's what i was suggesting? 22:33:03 cons a is what you use for a single character output 22:33:22 oerjan, OK, everyone's happy. 22:33:33 -!- alise_ has joined. 22:33:35 yay 22:33:52 yay 22:34:14 yay 22:34:17 yay' 22:34:42 -!- sshc has quit (*.net *.split). 22:34:43 -!- GreaseMonkey has joined. 22:34:45 Urgh, Lazier has so many errors all of a sudden. 22:36:26 -!- coppro has quit (Changing host). 22:36:26 -!- coppro has joined. 22:36:26 OTOH they are legitimate errors, so my previous Scheme must have been very forgiving. 22:36:26 -!- alise has quit (Ping timeout: 258 seconds). 22:36:54 -!- derdon has quit (*.net *.split). 22:36:54 -!- jcp has quit (*.net *.split). 22:36:55 -!- cal153 has quit (*.net *.split). 22:36:56 -!- cheater99 has quit (*.net *.split). 22:36:56 -!- Zuu has quit (*.net *.split). 22:36:56 -!- MizardX has quit (*.net *.split). 22:36:57 -!- Deewiant has quit (*.net *.split). 22:36:58 -!- Killerkid has quit (*.net *.split). 22:36:58 -!- Phantom_Hoover has quit (*.net *.split). 22:36:58 -!- Mathnerd314 has quit (*.net *.split). 22:36:58 -!- MigoMipo has quit (*.net *.split). 22:36:59 -!- Warrigal has quit (*.net *.split). 22:37:00 -!- Wamanuz3 has quit (*.net *.split). 22:37:00 -!- cpressey has quit (*.net *.split). 22:37:01 -!- Leonidas has quit (*.net *.split). 22:37:02 -!- myndzi has quit (*.net *.split). 22:37:02 -!- jix has quit (*.net *.split). 22:37:03 -!- oerjan has quit (*.net *.split). 22:37:04 -!- fungot has quit (*.net *.split). 22:37:37 oops 22:39:03 -!- Phantom_Hoover has joined. 22:39:20 All present and correct? Or incorrect, even? 22:39:31 no, most people are not back yet 22:39:35 -!- cheater99 has joined. 22:39:36 -!- oerjan has joined. 22:39:36 -!- Wamanuz3 has joined. 22:39:36 -!- derdon has joined. 22:39:36 -!- jcp has joined. 22:39:36 -!- cpressey has joined. 22:39:36 -!- Killerkid has joined. 22:39:36 -!- MizardX has joined. 22:39:36 -!- Mathnerd314 has joined. 22:39:36 -!- MigoMipo has joined. 22:39:36 -!- cal153 has joined. 22:39:36 -!- myndzi has joined. 22:39:36 -!- fungot has joined. 22:39:36 -!- jix has joined. 22:39:36 -!- Warrigal has joined. 22:39:36 -!- Leonidas has joined. 22:39:36 -!- Deewiant has joined. 22:39:42 Lazy bastards. 22:40:13 -!- Zuu has joined. 22:40:13 -!- Zuu has quit (Changing host). 22:40:13 -!- Zuu has joined. 22:40:17 DEAR TORRENT, 22:40:20 Why did you swap your speed with pikhq's? 22:40:29 I liked it when /I/ was the one downloading quickly. 22:40:33 INSINCERELY, 22:40:34 alise 22:40:45 there 22:40:45 they are 22:40:45 aaaargh the lag 22:40:47 50 seconds 22:40:48 50+ 22:41:13 -!- sshc_ has quit (*.net *.split). 22:41:13 -!- mtve has quit (*.net *.split). 22:41:13 -!- Gregor has quit (*.net *.split). 22:41:14 -!- coppro has quit (*.net *.split). 22:41:14 -!- SimonRC has quit (*.net *.split). 22:41:14 -!- distant_figure has quit (*.net *.split). 22:41:14 -!- yiyus has quit (*.net *.split). 22:41:17 -!- sshc has joined. 22:41:19 alise_, what were you torrenting? 22:41:24 aaaargh not another split 22:41:25 -!- SimonRC has joined. 22:41:29 AnMaster: I'm torrenting Star Trek (2009). 22:41:30 -!- mtve has joined. 22:41:34 -!- distant_figure has joined. 22:41:39 AnMaster: In raw Blu-Ray stream format, no less 22:41:41 *less. 22:41:45 alise_, how fun, is that one of the good or bad ones? 22:41:47 All 4 GiB of it :| 22:41:48 alise_, so it's actually taking days? 22:41:52 AnMaster: It's good. 22:41:59 alise_, ah 22:42:10 AnMaster: It's the alternate-universe-reboot type dealie. 22:42:22 alise_, um, aren't those generally bad? 22:42:22 AnMaster: (It's odd numbered, though, just as Nemesis was even-numbered; the widely-accepted solution is to put Galaxy Quest before Nemesis.) 22:42:37 AnMaster: Well, a lot of the time, but everyone in here says it's good. 22:42:47 alise_, were Nemesis TNG? 22:42:51 -!- kar8nga has quit (Remote host closed the connection). 22:42:52 AnMaster: The alternate universe is actually part of the plot, so. 22:42:54 *was 22:42:58 (to you) 22:42:59 I think I watched it 22:43:05 if it was 22:43:09 Yes. 22:43:11 -!- yiyus__ has joined. 22:43:13 I haven't watched it. 22:43:16 Star Trek Nemesis is a 2002 science fiction film directed by Stuart Baird, written by John Logan (from a story developed by Logan, Brent Spiner, and producer Rick Berman), and with music composed by Jerry Goldsmith. It is the tenth feature film in the Star Trek franchise, and the fourth and final film to star the cast from the television series Star Trek: The Next Generation. It follows the mission of the crew of the USS Enterprise-E as they are forced to 22:43:18 deal with a threat to the United Federation of Planets from a Reman clone of Captain Picard named Shinzon who has taken control of the Romulan Star Empire in a coup. 22:43:36 The Reman Hypothesis.. 22:43:36 I watched First Contact a few days ago; really good film. 22:43:40 (It was on TV.) 22:43:43 hm 22:43:56 alise_, unsure if I watched Nemesis or the one before that 22:44:03 but it was TNG and I liked it 22:44:08 watched it at cinema 22:44:16 AnMaster: Both are (by very strong popular and fan opinion) terrible. 22:44:16 -!- Gregor-L has joined. 22:44:24 Nemesis esp. so. 22:44:29 AnMaster: Sure it wasn't First Contact? 22:44:33 That was TNG and good. 22:44:37 alise_, no clue 22:44:43 alise_, I don't remember the story even 22:44:46 just a few scenes 22:44:52 AnMaster: First Contact saw Zefram Cochrane the drunkard. 22:44:55 alise_, they found a copy of Data iirc? 22:45:00 Also, Borg. 22:45:01 Hm, no. 22:45:08 alise_, does that sound familar at all? 22:45:17 Not to me. 22:45:19 hm 22:45:38 alise_, it was of paramount importance to the plot 22:45:39 -!- zzo38 has quit (Quit: ZZT?). 22:45:46 alise_, so should be easy to find 22:46:02 if only I could remember the plot... 22:46:15 -!- coppro has joined. 22:46:15 It was Nemesis you saw; I checked. 22:46:15 -!- coppro has quit (Changing host). 22:46:15 -!- coppro has joined. 22:46:22 -!- Zuu has quit (Ping timeout: 276 seconds). 22:46:23 alise_, hm, I liked it though 22:46:25 And if the opinion of anyone who's ever existed is anything to go by, you have terrible taste. 22:46:47 Copy of data? 22:46:47 alise_, I haven't watched any of the good movies, maybe that is why? 22:46:54 That sounds like an ep of TNG, not a movie 22:46:56 Sgeo__, Data, not data 22:47:04 AnMaster, yeah yeah, I know 22:47:09 Sgeo__: It's Nemesis. 22:47:30 Sgeo__, otherwise I would just cp the log file of this irc channel and claim it as a TNG episode 22:48:25 Incidentally, implementing Lazy K in Haskell seems like a very good idea. 22:48:37 AnMaster: The good ones are, according to the Galaxy Quest-Amended Even-Odd Star Trek Movie Theory, backed up by fan opinion and IMDB ratings, The Wrath of Khan, The Voyage Home, The Undiscovered Country, First Contact, and Star Trek (2009). 22:48:52 The current interpreter has a quasi-memory leak. 22:48:55 AnMaster: I can back up The Undiscovered Country and First Contact, and if this torrent gets off its fat, lazy ass, (2009). 22:49:10 Phantom_Hoover: Yeah, 'coz Haskell totally ISN'T known for leaking memory like a sieve. 22:49:41 alise_, I suppose that's why it sucks? 22:50:13 I was simply remarking that Haskell is known to be a memory leaker. 22:50:28 Well, the current interpreter is also written in C++. 22:50:41 I saw the Moriarty eps today 22:51:52 alise_, was The Voyage Home the one they went back in time in? 22:52:09 According to Wikipedia, it seems so. 22:52:09 and Scotty(?) saying how quaint about a computer 22:52:14 They went back in time in First Contact too. 22:52:19 if so, it was awesome 22:52:23 alise_, the ones with whales 22:52:31 one* 22:52:47 alise_, which one was the one with whales? 22:52:51 The Voyage Home takes place in 2286, it seems. 22:52:55 OK, Lazier has suddenly broken on me. 22:53:06 alise_, does it include _whales_ 22:53:08 AnMaster: I haven't seen one with whales. 22:53:16 hm 22:53:17 Yes. 22:53:18 Yes it is. 22:53:24 The Voyage Home had WALES. 22:53:26 Fuckin' WHALES! 22:53:28 *WHALES 22:53:28 I can only assume that it's a Mandelbug, since I changed nothing. 22:53:30 It might have also had Wales. 22:53:31 alise_, yeah, awesome then, and somewhat commical 22:53:33 comical* 22:53:46 alise_, since they went back to the 1990s or such 22:53:57 or maybe 1980s 22:54:02 not sure when it was recorded 22:55:36 Incidentally, here is my Twenty-Second "Tuvix": Tuvok and Neelix, in a horrific transporter accident, merge to form a funny, hardworking and caring genius. Everyone is horrified that life is so much better now, but gets used to it; apart from Kes, who is devestated that her awful Neelix is now much more bearable. Janeway decides to kill Tuvix. Tuvix protests. Janeway kills Tuvix anyway, and Neelix and Tuvok return. The end! 22:55:41 Worst. Episode. Ever. 22:57:18 Please don't mention those names in my presence. 22:58:11 cpressey: Allergic reaction? 22:58:23 Yes, much worse than I expected. 22:58:36 I must really hate that show, or something. 22:58:38 cpressey: If you learn to control your emotions, Voyager becomes the highest point of comedy witnessed by any human being. 22:58:42 Not the show, so much as the characters. 22:58:43 alise_, I don't remember them 22:58:43 -- Just like a Vulcan would do! 22:59:02 OK, when I try to run Lazier on stuff it says "K[#]" 22:59:04 AnMaster: Voyager. 22:59:12 mzscheme, incidentally. 22:59:17 alise_, watched a few episodes of it 22:59:22 Phantom_Hoover: You're printing a procedure without calling it. 22:59:24 AnMaster: My condolences. 22:59:31 alise_, not many 22:59:35 alise_, anyway, some were good 22:59:42 not saying all were in any way 22:59:45 alise_, that really shouldn't be happening; it worked fine a while ago. 22:59:46 just that some was not bad 22:59:50 were* 23:00:36 Phantom_Hoover: And now it does not. 23:01:03 alise_, and it does if I try with plt-r5rs rather than mzscheme. 23:01:17 Meh, I can live with that 23:01:39 Phantom_Hoover, what is Lazier 23:01:59 AnMaster, compiler from the lambda calculus into SKI. 23:02:26 Well, Lazy K, since it supports the Iota and Jot notations as well as CC and Unlambda. 23:02:26 alise_: You know, I used to refer to "The X-Files" as "But Sculder". 23:02:36 Phantom_Hoover, mhm 23:02:50 cpressey, heh? 23:02:57 Because, you know, it was always, "But Mulder, science!", then, "But Scully, evidence!" 23:03:09 AnMaster, written in slightly nonstandard Scheme, which seems to be at least part of the problem. 23:03:10 hahah 23:03:41 Phantom_Hoover: mzscheme is non-standard. 23:03:46 R5RS is standard. 23:03:51 alise_, ah, that explains it. 23:03:59 cpressey: :D 23:04:16 Phantom_Hoover: Anyway, you should probably upgrade; PLT Scheme no longer exists, it's Racket now. 23:04:20 (It was non-standard to start with; it had unquoted () and ifs without elses.) 23:04:29 alise_, how comes 23:04:29 unquoted (), ew. 23:04:30 alise_, DAMN YOU, APT! 23:04:33 I wondered about that 23:04:40 when I saw package name replacement 23:04:41 Phantom_Hoover: if without else is, I believe, standard; the return value is unspecific. 23:04:59 alise_: Wtf? I wish they'd stop doing that 23:05:06 "Racket"> 23:05:11 s/>/?/ 23:05:12 AnMaster: Because "PLT Scheme" is not very like a Scheme any more, it has diverged quite a lot; and they're sick of people considering it just a non-standard dialect of Scheme, rather than an independent language/platform. 23:05:18 cpressey: Synonym of "Scheme". 23:05:26 alise_, ah 23:05:31 I don't have any problem wit hthe name change; they had good enough reasons. 23:05:33 haha 23:05:36 *with the 23:05:51 Indeed, I find myself respecting them more; they're creating a language, not butchering Scheme. 23:05:52 alise_, does it still provide a r5rs implementation? 23:05:58 alise_: Groan. Can I now expect a bunch of 30's-gangster-lingo-inspired names for tools? 23:06:02 AnMaster: Yes, along with all its other little languages. 23:06:04 Oh, look, APT doesn't have Racket. 23:06:11 cpressey: No, they don't like naming their tools very creatively. :P 23:06:15 Their web server is called "web-server". 23:06:16 Phantom_Hoover, pacman does 23:06:21 Phantom_Hoover, use an up-to-date distro 23:06:31 "X doesn't have some new software." "Change your entire operating system to Y." 23:06:35 alise_: Well there was that whole Mz*, Mr*, Dr* cutseyness they were doing... 23:06:37 Noooooooooo 23:06:47 alise_, what Scheme implementation would you recommend, then? 23:06:51 cpressey: Oh, for once I'm going to tell you to cheer up. It's not a huge deal :P 23:06:54 Phantom_Hoover: mzscheme should be fine. 23:07:00 Their web server is called "web-server". <--- aww, they really need to use 30's-gangster-lingo-inspired names! 23:07:00 Just use R5RS mode if you want to write Scheme. 23:07:49 alise_: I'm not that miffed by it, I've just been disappointed by the direction PLT has been going in since I first heard of it... 23:08:14 cpressey: Where was it at that you wanted it to move in a different direction from? 23:09:34 -!- derdon has quit (Ping timeout: 246 seconds). 23:09:38 o.O at the nonexistant PLT Scheme 23:09:48 *nonexistent 23:09:56 I can never spell that wrod 23:10:05 *wdor 23:10:11 -!- MigoMipo has quit (Read error: Connection reset by peer). 23:10:18 alise_: It has seemed to get cheesier and less organized as time has passed. I dunno, maybe it's just my perception of it. They had a good thing with DrScheme, then overextended themselves, I think. 23:10:19 *wdro 23:10:21 drow* 23:10:33 cpressey: Perhaps, perhaps; such are things. 23:10:41 hah, I got first to another word which actually exists! 23:13:00 My old computer teacher wants my help rewording an advertisement for programmers 23:13:04 tip of the day: wasd is not useful for navigating a text editor 23:13:09 And advice on where to post 23:13:21 Why she thinks I'm a manager-sort person, I have no idea 23:13:22 bear that in mind if you're editing a game's source code 23:13:45 GreaseMonkey, um, I never found wasd sensible in games either 23:13:46 GreaseMonkey, fork vi! 23:13:56 as in, I found arrows easier 23:14:08 but then i'd have to come up with terms which start with hjkl! 23:14:11 AnMaster well, if you have the mouse in your right hand, using wasd is more convenient. 23:14:13 Sgeo__: You don't have to do work for free. 23:14:15 AnMaster, same here until Portal, due to Active Worlds 23:14:26 Phantom_Hoover, that varies 23:14:29 "now you jearch for your thing, and if you're not happy you helete it" 23:14:37 AnMaster, not on a laptop with a touchpad. 23:14:43 "Racket programmers are Racketeers, of course." 23:14:50 Phantom_Hoover, I use the trackpoint on my laptop 23:15:00 alise_, rewording something and knowing where to ask for programmers is actually a paying job somewhere? 23:15:04 Phantom_Hoover, and on desktop I shift mouse regularly to avoid strain on either hand 23:15:11 so i have to somehow remip some crap for cube (implementing room-over-room here) 23:15:33 GreaseMonkey, cube? as in the geometrical shape? 23:15:43 there's a game (engine) called cube 23:15:56 it's another fps 23:15:57 Sgeo__: No, but that's irrelevant. 23:15:58 GreaseMonkey, ah wasn't there are CUBE II? 23:16:06 yes but that's nearly 500MB now 23:16:07 Sgeo__: You don't have to do shit like that for free. 23:16:13 cube 1 is ~30MB 23:16:14 GreaseMonkey, so not using that? 23:16:25 correct 23:16:36 GreaseMonkey, better graphics iirc? 23:16:39 alise_, even if I wanted to help, which I do, I'd be clueless. She also suggested that I actually do work on this project, which I assume wouldn't be non-paying 23:16:40 the way i'm doing ROR is i'm adding in a way of rendering a middle slice 23:16:46 from the screenshots, yes 23:16:52 GreaseMonkey, there you go then 23:16:56 GreaseMonkey, IIRC I tried it 23:17:03 some time ago 23:17:07 but there's, like, .kkrieger or something 23:17:10 which is 96KB 23:17:12 didn't like it, due to the fps nature 23:17:16 GreaseMonkey, ?? 23:17:28 i never got .kkrieger to work though :/ 23:17:30 It's some stupid question thing. I vaguely suggested Django due to the builtin admin stuff :/ 23:17:37 GreaseMonkey, wtf is .kkrieger 23:17:38 but it's an FPS which they shoved into 96KB 23:18:18 GreaseMonkey, many procedural textures? 23:18:21 GreaseMonkey: they distribute the engine too 23:18:24 .theprodukkt 23:18:26 or something 23:18:28 AnMaster: yes 23:18:35 AnMaster: it has high-quality graphics, too 23:18:35 alise_, hm 23:18:41 yeah .kkrieger is really procedural or something 23:18:51 ah, it's .werkkzeug3 23:18:55 .werkkzeug is the name of the tool, right. 23:19:04 AnMaster: Screenshot porn: http://upload.wikimedia.org/wikipedia/en/5/54/Kkrieger_screenshot_01.jpg 23:19:05 .theprodukkt is sort of the project. 23:19:18 It's by a demoscene group, somewhat unsurprisingly. 23:19:35 how so? 23:19:51 How so unsurprising? 23:19:56 alise_, their own screenshots look better 23:20:03 yuss i think i have remipping working or something 23:20:04 Because they're the guys who do this kind of stuff on a competition-type schedule basis. 23:20:07 than wikipedias 23:20:15 AnMaster: who cares, it's 96 KiB, impressive no matter how you slice it 23:20:22 alise_, true 23:20:40 Right; also the stuffing stuff into tiny packages expertise is there. 23:20:40 AnMaster: http://seboist64.com/wp-content/uploads/2010/01/kkrieger2.jpg 23:20:46 even more impressive or whatever 23:20:46 does it have a scripting language 23:20:51 fizzie: that's what i meant by this-kind-of-stuff 23:20:54 alise_, agreed 23:21:07 cpressey: .werkkzeug? 23:21:24 no, it's just a procedural thingymabob generation tool (though it has a pseudo-language built in it seems) 23:22:48 I'm sure they have some sort of unreleased more-than-just-textures tool, internally; I mean, the one available from the site is called ".werkkzeug 3 TE", for "Texture Edition". 23:23:10 And .werkkzeug1 does all kinds of demo-things. 23:23:37 actually it needs some more tweaking but at least it kinda works! 23:23:55 and i'm off, cya 23:24:04 -!- GreaseMonkey has quit (Quit: New quit message. Entering 2006 in style.). 23:24:55 They also have that exe-packer, kkrunchy: http://www.farbrausch.de/~fg/kkrunchy/ 23:26:19 There's trickery involved; there's a x86 disassembler-preprocessor-transmogrifier that does "stuff" to make the end result more compressible with LZ-family compression things. 23:27:32 You know, keeping the whole input stream is probably a good idea... 23:27:48 (For the Lazy K IO stuff.) 23:28:38 That kkrunchy, and 4klang (a software synthesizer thing designed for 4k intros), were used in great many productions at the recent asm2010 thing; everyone's using the same tools nowadays. 23:30:59 And crinkler, too; it's an exe-packer specifically targeting the lucrative 4k market segment. 23:33:18 "lucrative"? 23:33:33 how much does it cost then? 23:33:41 Well, if they didn't give it away free-as-in-beer, it'd be a moneymaker, I'm sure. 23:33:48 ah 23:34:35 All this is for Windows, of course; it's the market leader there. (Possibly because they have that "import stuff from DLLs via ordinal"; shared-library ELFs have both horribly huge headers, and even if you trick past those you still need to include the full function name as a string. Those easily add up.) 23:35:36 hm true 23:36:12 fizzie, those ordinals... wouldn't those change in new versions of dlls? 23:36:23 They try not to change existing ones, I think. 23:36:27 But sure, they might. 23:36:28 ah 23:36:44 -!- Zuu has joined. 23:36:44 -!- Zuu has quit (Changing host). 23:36:44 -!- Zuu has joined. 23:36:47 fizzie, can you import by name too? 23:36:56 You can, if you don't mind the bytes. 23:37:06 Importing by name might even be the default linker behaviour these days. 23:37:13 hah :P 23:37:31 -!- Zuu has quit (Client Quit). 23:38:07 -!- Zuu has joined. 23:38:51 I did recently crunch a not-exactly-optimized rotating OpenGL cube (21 imports from Xlib, libGL, libGLU; most with rather long names) into a 1024-byte executable, so I'm sure with enough effort you could get some sort of reasonable Linux 4k intro done. (I think there actually was one at asm2010, though not an especially impressive one. Maybe I should peek at how it was made.) 23:40:07 * Sgeo__ really likes the idea of Newspeak. Maybe if it settles down in 5-10 years, I'll fall in love 23:41:35 Oh, *beautiful*. 23:41:41 Conservapedia's denying relativity again. 23:41:53 pikhq, what is it this time? 23:42:04 Anti-Jesus conspiracy. 23:42:07 pikhq, what's new? 23:42:10 Conservapedia? :D 23:42:12 pikhq, also, aren't they doing it all the time anyway 23:42:25 Flonk, Google it. 23:42:26 AnMaster: No, for quite some time they had a reasonable article on relativity. 23:42:49 pikhq, that counterexamples page has been there for ages. 23:43:06 Phantom_Hoover: Hmm. 23:43:12 Still. Gah. Idjits. 23:43:25 Look at the history, although CP are very Orwellian. 23:44:12 pikhq, huh, did they change it after that? 23:44:55 It's not that they deny the theory that's funny, it's that they do it because they associate it with social and/or moral relativism. 23:44:55 pikhq, Schlafly's own brother has called him out on relativity and he hasn't listened. 23:45:25 cpressey, that and the "Jesus showed action at a distance! The disciples had atomic clocks!" 23:45:35 Phantom_Hoover, who is Schlafly? 23:45:46 Well yes, that's it's own little sub-hilarity 23:45:49 AnMaster, owner and head admin of CP. 23:45:53 cpressey: Well, yeah. There are actual legitimate claims against relativity. Such as how quantum mechanics doesn't work with it. 23:45:56 And... 23:46:00 I think that's about it, actually. 23:46:03 Phantom_Hoover, huh 23:46:46 Schlafly also claims that Newtonian mechanics work fine if you "tweak" the inverse square law. 23:47:13 He therefore demonstrates a lack of understanding of Newtonian mechanics, as well as relativity. 23:48:57 Wow, they tie Barack Obama, relativity and abortion all into the one counterexample. 23:49:10 -!- tombom has quit (Quit: Leaving). 23:55:06 Wow. 23:58:49 It's more or less "Barack Obama helped write a paper which used relativity to justify abortion." 23:59:55 that makes no sense