00:10:57 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 25.0/20131025151332]). 00:11:56 random thought: has anyone managed to somehow "separate" memory and control flow, when writing proofs about computational power? 00:12:10 what 00:12:37 the lambda calculus and friends? the chomsky hierarchy? neither of these have notions of memory or control flow 00:12:45 space vs. time complexity classes? 00:14:26 Phantom__Hoover: well that's the opposite of separating them, i'd say 00:17:47 i've no idea what the question means, then 00:18:28 well i think it's tricky to separate them in a way that doesn't allow you to cheat by hiding more control flow in the memory. 00:23:38 -!- Uguubee1111111 has quit (Read error: Connection reset by peer). 00:28:58 oerjan: well if it's a proof for a lower bound to the computational power, that's not a problem 00:31:25 -!- conehead has joined. 00:31:39 a hunch: it might be that the greatest degree of separation between control flow and memory is found in relatively vanilla non-object oriented programming languages, like C or Forth. although also brainfuck. 00:31:51 -!- conehead has quit (Remote host closed the connection). 00:31:56 *imperative programming languages 00:32:04 left out the most important word :P 00:33:19 dunno about proofs, though. 00:34:07 object-oriented and functional both excluded because they provide ways of wrapping control flow into a value. 00:34:39 although even C and Forth have ways to reify functions. 00:34:52 maybe just brainfuck, then :P 00:36:56 i suppose vanilla Pascal doesn't have first class functions or procedures. (i'm not sure if it even has function/procedure arguments or if that was also a later addition.) 00:40:25 -!- Uguubee1111112 has joined. 00:41:23 -!- nooodl has quit (Ping timeout: 245 seconds). 00:42:46 -!- Uguubee1111112 has quit (Client Quit). 00:43:21 -!- Uguubee1111112 has joined. 00:44:49 -!- Oj742 has joined. 00:46:05 -!- Uguubee1111112 has quit (Read error: Connection reset by peer). 00:47:39 -!- Uguubee1111112 has joined. 00:58:48 TVTropes certainly calls the world a Crapsack world 01:02:18 -!- yorick has quit (Remote host closed the connection). 01:02:26 counterpoint: dickbutt 01:03:07 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 01:18:53 -!- tertu has quit (Read error: Connection reset by peer). 01:19:27 -!- tertu has joined. 01:36:41 -!- ^v has quit (Read error: Connection reset by peer). 01:39:37 @tell boily thoily! 01:39:38 Consider it noted. 01:40:43 -!- myndzi has left. 01:41:01 -!- myndzi has joined. 01:41:19 `thanks hm lessee... 01:41:21 Thanks, hm lessee.... Thessee.... 01:41:47 nah. 01:46:01 -!- ^v has joined. 01:52:26 There's a character named Gregor 01:52:58 `thanks Gregor 01:52:59 Thanks, Gregor. Thegor. 01:54:34 Gregor: It is actually a name. 01:55:06 a very Gregory name 01:57:49 elliott: You were all about complete partial orders once, right? 02:01:48 he was completely partial to them. 02:15:30 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 02:51:43 -!- ^v has quit (Read error: Connection reset by peer). 02:53:17 -!- nisstyre has quit (Quit: Leaving). 03:06:29 -!- ^v has joined. 03:17:14 -!- ^v has quit (Read error: Connection reset by peer). 03:44:19 -!- Frooxius has quit (Read error: Connection reset by peer). 03:44:24 -!- tertu has quit (Read error: Connection reset by peer). 03:44:33 -!- Frooxius has joined. 03:44:46 -!- tertu has joined. 03:48:39 today is a long day 03:48:52 yep 03:48:54 unsigned long day 03:49:26 It is in fact a 25 hour day by my reckoning. 03:51:15 that's p. long 03:53:05 kmc: http://i.imgur.com/8rhlusE.gif 03:56:05 is that even possibly not fake 03:56:36 what does it mean for something to be fake 03:56:51 -!- tertu has quit (Read error: Connection reset by peer). 03:57:13 -!- zzo38 has joined. 03:57:32 i retract the question on the grounds that the responder is too meta. 03:58:40 -!- shikhin has joined. 04:00:05 never meta question i didn't like 04:07:52 shachaf: <3 04:09:16 I also think today is the long day 04:09:21 ?messages-loud 04:09:22 kmc said 4h 47m 15s ago: you're great, also sorry if I scared you off with #drugz talk 04:09:41 kmc: No, that isn't it. That is fine 04:09:55 shachaf: so fireworq 04:11:08 cool 04:12:08 sopumpkin 04:12:17 suchpeebles 04:12:42 http://zachbruggeman.me/dogescript/ 04:15:05 copumpkin: do you know about chu spaces 04:16:08 Are you sure that you cannot do computation with Wang tiles? 04:17:01 omg chu spaces i vaguely remember those 04:17:25 zomg 04:17:36 what do you reember 04:17:38 m 04:18:37 it was some kind of generalization of galois connections which somehow helped with modeling linear logic 04:19:52 really? 04:20:25 you mean the "adjointness condition" in the definition of the thing corresponding to a continuous function? 04:20:27 zzo38: well you might but in the obvious way i can see you need to nondeterministically choose how to extend your tiling, it's probably extremely slow. 04:20:47 i don't remember the _actual_ definition of a chu space, mind you. 04:21:59 the definition is p. simple: https://en.wikipedia.org/wiki/Chu_space 04:22:34 shachaf: nope 04:22:46 copumpkin: well it looked p. simple to me :'( 04:23:51 or are you saying you don't now about them 04:24:01 you're supposed to know everything 04:24:44 that looks familiar. i also recall the supposed quantum connection which i never thought really materialized. 04:24:45 I don't know about them :( 04:24:55 when I hear chu spaces, I think of train depots 04:25:06 which was what i found most interesting. 04:26:02 kmc: http://blogs.smithsonianmag.com/smartnews/2013/07/long-before-trees-overtook-the-land-earth-was-covered-by-giant-mushrooms/ sweet 04:26:17 nice 04:26:39 kmc: should i ask lexande about chu-chu spaces 04:26:45 shachaf: well it's something i found vaguely interesting but which seemed to me to not have enough substance for me to look at it in depth. 04:26:46 i guess so 04:27:04 oerjan: is a quantum connection like a galois connection 04:27:24 -!- tertu has joined. 04:27:31 I want a giant truffle 04:27:35 like the size of a mountain 04:27:39 white of course 04:28:06 "More from Smithsonian.com: - A Fungus-Like Disease Threatens Europe’s Supply of Gin -The Fungus in Your Cheese Is Having Weird Sex - Insulation Made Out of … Mushrooms?" 04:28:13 fungus 04:28:28 thank god for all this fungus related news 04:28:58 there's an episode of Seinfeld which gets good mileage from the fact that "fungus" is an inherently funny word 04:29:13 if my name were gus, I'd go by fungus 04:29:24 cofungus 04:29:40 copumpkin is cofun 04:29:40 Bike: istr reading about that fungus theory before 04:29:50 also he owed me five dola 04:29:51 well it says 2007 04:30:05 i'm just late to the party, the giant fungus spire party 04:30:22 " It might have had an algal symbiont, which would make it a lichen rather than a fungus in the strict sense." awesome. 04:30:30 kmc: the last episode of breaking bad was good btw 04:31:27 it was allright 04:32:00 oh no 04:32:06 I don't think it quite lives up to the show overall 04:32:19 why not 04:32:20 Bike: bah your link initially looked like they'd found confirming evidence, but it's just a rehash of the 2007 story? 04:33:12 this thing lived half a billion years ago, cut them some slack on finding 'evidence' 04:33:20 oerjan: is a quantum connection like a galois connection <-- well if you could _prove_ that, you might get famous? 04:34:24 Bike: it's the rehashing i'm complaining about. 04:34:58 well if it hadn't been rehashed i wouldn't have run into it at all so there 04:35:24 struth. 04:36:06 kmc: have you been rehashed today #drugz 04:45:25 Why is there no ALPACA interpreter 04:46:08 there isn't? 04:46:46 cpressey broke stuff again 04:47:12 drlemon: http://catseye.tc/node/ALPACA 04:49:07 http://catseye.tc/node/alpaca_(Python) is nothing 04:49:59 I DON'T KNOW HOW TO PYTHON 04:51:06 drlemon: i think you're supposed to download the distribution. 04:51:29 (for ALPACA) 04:51:37 OK but i did and i don't know how to use stuff 04:52:55 you can probably download python from python.org 04:53:22 or there is probably a package for it. 04:53:50 hm well whatever your system. (you seem to be using an irc client for mac) 04:54:10 I have python 04:54:26 But i don't know how to deal with a bunch of seperate programs 04:55:20 `seen doesthiswork 04:55:24 2013-11-02 23:49:47: shachaf: yes 04:55:41 Probably you just put the program in some directory and then type in "python" and the name of the program (or if it is chmod +x and has #! at the top, then typing in the name of the file by itself might work) 04:55:51 -!- heroux has quit (Ping timeout: 272 seconds). 04:57:11 it does have #!, however the program refers to modules in other directories, so it's probably best to keep it in the same directory structure 04:58:29 Yes, keep the same directory structure as whatever it uses 04:58:34 drlemon: download the files into some directory, then run bin/alpaca in the subdirectory of that. 04:58:49 (the bin/alpaca which is in there, that is.) 05:00:27 oerjan: do you know about frames and locales and those things 05:00:43 the funny bit is that a frame is the same thing as a locale 05:02:27 not beyond hearing the words 05:02:39 `locale 05:02:41 LANG=en_NZ.UTF-8 \ LANGUAGE= \ LC_CTYPE="en_NZ.UTF-8" \ LC_NUMERIC="en_NZ.UTF-8" \ LC_TIME="en_NZ.UTF-8" \ LC_COLLATE="en_NZ.UTF-8" \ LC_MONETARY="en_NZ.UTF-8" \ LC_MESSAGES="en_NZ.UTF-8" \ LC_PAPER="en_NZ.UTF-8" \ LC_NAME="en_NZ.UTF-8" \ LC_ADDRESS="en_NZ.UTF-8" \ LC_TELEPHONE="en_NZ.UTF-8" \ LC_MEASUREMENT="en_NZ.UTF-8" \ LC_IDENTIFICATION="en_NZ 05:03:03 `seen elliott 05:03:08 2013-10-28 20:17:00: boily: I do not believe so 05:03:12 Where did he go, anyway? 05:03:35 no i do mean in the context of ct/algebraic geometry or thereabouts, things beyond my knowledge. 05:03:36 finally took my suggested roadtrip down to east timor 05:03:46 is presently held up at a checkpoint in eastern iran 05:03:49 godspeed elliott 05:03:53 Why does it use en_NZ.UTF-8? In my opinion it ought to be C locale by default unless you change it for an individual command. 05:04:16 zzo38: No, it should be UTF-8. C isn't compatible with Unicode. 05:04:20 not very nice to new zealand 05:04:49 oerjan: but you know about homology and things right 05:04:52 shachaf: Using UTF-8 by default causes other problems; it should be C by default, and selecting UTF-8 when you do want Unicode (you also select other things you want, at the same time) 05:04:59 zzo38: we asked Gregor to set it so that HackEgo could use utf-8, and he chose en_NZ to be funny 05:05:17 zzo38: You always want Unicode. 05:05:52 Would selecting the C locale speed it up by a small amount if implemented in a certain way? 05:06:11 it's important that a linux installation on uml on irc is maximally performant 05:06:14 I suppose if you do want the C locale now you can still specify it for an individual command though 05:06:39 zzo38: but all HackEgo commands that are intended to be run directly from ` take the rest of the irc message as argument, and so should do utf-8 because that's the charset we want to encourage in this channel. 05:07:35 and if it wasn't on by default people wouldn't care enough to set it when they should. 05:07:59 Yes, that seems reasonable, but sometimes you might not want it (although a shortcut could be made such as `runc to use the C locale, maybe, if a shortcut is wanted) 05:08:05 oerjan: Even the people of #esoteric? 05:08:18 shachaf: i do know about basic homology yes 05:08:58 is it good 05:09:11 shachaf: some would care, but too many wouldn't? 05:09:33 and some like i would bitch about having to care about it on individual commands. 05:10:23 shachaf: it allows you to prove things like the jordan-brouwer theorem and brouwer fixed point theorem 05:10:39 good theorem 05:10:42 And if you want to pipe binary data to a program that expects text, it might also not work in UTF-8 mode. (Of course this would be rare though.) 05:10:44 and invariance of domain 05:11:04 basically things that tell you that euclidean spaces are almost sane topologically. 05:11:53 I do sometimes work on Linux computer. I think it is set to en.UTF-8 by default although on my account I have changed it to the C locale, disabled Unicode translation, and loaded a CP437 font. 05:12:56 This improves the operation of the system. 05:13:27 `addquote I do sometimes work on Linux computer. I think it is set to en.UTF-8 by default although on my account I have changed it to the C locale, disabled Unicode translation, and loaded a CP437 font. This improves the operation of the system. 05:13:32 1126) I do sometimes work on Linux computer. I think it is set to en.UTF-8 by default although on my account I have changed it to the C locale, disabled Unicode translation, and loaded a CP437 font. This improves the operation of the system. 05:14:24 -!- Oj742 has quit (Quit: irc2go). 05:14:51 i zzo38 05:15:34 -!- shikhin_ has joined. 05:15:53 (The font file from MegaZeux works just fine in Linux; it doesn't need to be converted.) 05:16:22 Now I read the Wikipedia article of Chu spaces. 05:17:06 -!- shikhin has quit (Ping timeout: 245 seconds). 05:18:34 @tell elliott I hope you don't think I'm being overly preemptive with these suspicious new accounts. 05:18:35 Consider it noted. 05:19:05 Things like "a Chu space (A, r, X) over a set K consists of a set A of points..." is what I have programmed the SetType class in Haskell for. It might be: data Chu :: * -> * where { Chu :: forall a k x. (SetType a, SetType x) => SetOf a -> SetOf x -> (a -> x -> k) -> Chu k; }; Would that be it even close? 05:21:59 Do you know if that is it or not, and so on? 05:22:05 @tell elliott Argh too many to do this. 05:22:06 Consider it noted. 05:22:17 i think we have a spam problem again. 05:29:33 (However this SetType only works with finite sets (currently).) 05:31:12 great, because i really needed something vaguer than topological spaces 05:33:59 -!- asie has joined. 05:42:39 how are there even billions of people in the world 05:42:41 it makes no sense 05:43:06 imo it does make sense 05:43:22 imo how 05:43:58 population dynamics 05:46:56 shachaf: fertilizer 05:48:03 -!- Sprocklem has quit (Ping timeout: 245 seconds). 05:49:05 the growth of the population at an instant is, very roughly, directly proportional to the number of mating pairs. the number of mating pairs is proportional to the population. so, the rate of change of the population is roughly k*p, where p is the population size and k is a parameter. 05:49:11 exponential! 05:49:45 oerjan: i don't even know 'er! 05:53:35 Bike: yes exponential but why can't it be small 06:07:50 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 06:17:00 @yow 06:17:00 I can't decide which WRONG TURN to make first!! I wonder if BOB 06:17:01 GUCCIONE has these problems! 06:24:07 Thing I need to fit into my model of existant metaprogramming systems: Prolog term_expansion 06:25:36 I'm thinking more like defmacro than anything else 06:30:13 -!- shikhin_ has quit (Read error: Operation timed out). 06:30:36 -!- tertu has quit (Ping timeout: 245 seconds). 06:45:34 -!- shikhin_ has joined. 06:51:34 -!- Yonkie has joined. 06:53:16 -!- nisstyre has joined. 06:55:21 -!- shikhin__ has joined. 06:55:50 -!- shikhin_ has quit (Ping timeout: 240 seconds). 07:07:34 -!- Frooxius has quit (Read error: Connection reset by peer). 07:07:49 -!- Frooxius has joined. 07:16:46 -!- oerjan has quit (Quit: leaving). 07:22:08 https://archive.org/details/Adventure_1978_Atari_NTSC aw yeah. 07:25:30 -!- Halite has joined. 07:29:34 your mother is esoteric. 07:29:51 Halite: Are you sure? 07:30:41 Can it be the joke of the day? 07:30:48 -!- FreeFull has quit. 07:32:20 print(x and !y or !x and y) 07:37:27 -!- heroux has joined. 07:48:26 -!- ssue___ has quit (Quit: Connection closed for inactivity). 07:55:50 -!- nisstyre has quit (Ping timeout: 240 seconds). 08:13:26 I wrote this program "utftovlq" which can convert between many byte stream formats (8-bits, 16-bits, 32-bits, 64-bits, UTF-8, Modified UTF-8, VLQ, LEB128, UTF-16; many have small and big endian modes), and it can also add/remove Unicode BOM. Did I perhaps miss something? 08:15:39 (This program can also be used to byteswap files with the command "utftovlq Ww" or "utftovlq wW".) 08:44:45 -!- `^_^v has quit (Ping timeout: 272 seconds). 08:49:02 -!- `^_^v has joined. 08:58:20 Maybe you should temporarily disable account creation? Post a note you have to attempt to ask in the IRC or wait until it is not disabled anymore. 09:12:16 -!- zzo38 has quit (Remote host closed the connection). 09:36:50 -!- TodPunk has quit (Ping timeout: 264 seconds). 09:40:11 -!- TodPunk has joined. 09:42:38 -!- heroux has quit (Ping timeout: 240 seconds). 09:58:43 I hate that C decided to ignore overflows 10:03:03 I think it's more like it ignores/traps/nasal-demons/wraps overflows 10:10:01 -!- Uguubee1111112 has quit (Ping timeout: 245 seconds). 10:13:14 -!- Uguubee1111112 has joined. 10:47:58 -!- Uguubee1111112 has quit (Read error: Connection reset by peer). 10:56:11 -!- Uguubee1111112 has joined. 10:56:34 In some cases also raises-exceptions-es. 10:57:39 -!- MindlessDrone has joined. 11:09:34 -!- Uguubee1111112 has quit (Ping timeout: 240 seconds). 11:12:02 -!- Uguubee1111112 has joined. 11:19:39 -!- aloril_ has quit (Ping timeout: 272 seconds). 11:33:12 -!- aloril_ has joined. 12:00:35 -!- Froox has joined. 12:01:01 -!- Frooxius has quit (Ping timeout: 245 seconds). 12:31:35 -!- Sgeo has quit (Read error: Connection reset by peer). 12:43:27 -!- shikhin__ has changed nick to shikhin. 12:54:32 -!- shikhin_ has joined. 12:57:26 -!- shikhin has quit (Ping timeout: 240 seconds). 12:57:34 -!- yorick has joined. 12:58:27 -!- boily has joined. 13:02:54 -!- shikhin__ has joined. 13:03:47 -!- shikhin_ has quit (Ping timeout: 272 seconds). 13:04:32 -!- shikhin__ has changed nick to shikhin. 13:06:38 -!- Jafet has quit (Ping timeout: 240 seconds). 13:07:29 -!- Jafet has joined. 13:09:18 -!- MindlessDrone has quit (Quit: MindlessDrone). 13:10:09 -!- MindlessDrone has joined. 13:18:06 -!- shikhin has quit (Read error: Operation timed out). 13:28:36 -!- metasepia has joined. 13:31:53 -!- shikhin has joined. 13:34:06 -!- Uguubee1111112 has quit (Read error: Connection reset by peer). 13:37:34 -!- Uguubee1111112 has joined. 13:39:04 Uguubee1111112: who are you? are you legion? what is your numbering scheme? do you prefer your condensed milk sweetened or unsweetened? 13:39:13 @messages-loud 13:39:13 quintopia said 11h 59m 35s ago: thoily! 13:39:29 quintopia: hi! have they been received? 13:41:54 (hm. that may not be the right conjugation. «ont-ils été reçus.») 13:51:11 boily: english conjugation or french? 13:52:11 the English one. my brain is on auto-pilot, so I may calque from French a little bit more than usual. 13:52:24 -!- Uguubee1111112 has quit (Ping timeout: 246 seconds). 13:52:28 boily: the passive voice is a bit weird, but otherwise it's correct 13:55:29 -!- ais523 has joined. 14:05:27 -!- heroux has joined. 14:08:51 -!- asie has joined. 14:09:42 -!- Uguubee1111112 has joined. 14:11:18 -!- ais523 has quit (Ping timeout: 246 seconds). 14:32:05 -!- tertu has joined. 14:32:07 -!- carado has joined. 14:41:03 -!- Uguubee1111112 has quit (Quit: Uguubee1111112). 14:43:18 -!- mrhmouse has joined. 14:44:14 -!- Uguubee1111112 has joined. 14:44:42 @tell zzo38 re your latest quote: feeling some form of DOS nostalgia? 14:44:43 Consider it noted. 14:56:53 -!- Uguubee1111112 has quit (Ping timeout: 272 seconds). 15:01:25 -!- Uguubee1111112 has joined. 15:03:26 -!- augur has quit (Remote host closed the connection). 15:03:53 -!- augur has joined. 15:07:26 -!- shikhin has quit (Ping timeout: 240 seconds). 15:08:21 -!- augur has quit (Ping timeout: 246 seconds). 15:14:58 -!- Uguubee1111113 has joined. 15:16:25 -!- Uguubee1111112 has quit (Ping timeout: 272 seconds). 15:18:22 -!- shikhin has joined. 15:26:14 -!- shikhin_ has joined. 15:28:08 -!- shikhin has quit (Ping timeout: 240 seconds). 15:37:05 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 15:44:08 -!- nooodl has joined. 15:48:45 -!- augur has joined. 15:50:16 -!- KingOfKarlsruhe has joined. 15:51:34 -!- augur has quit (Read error: Connection reset by peer). 15:51:41 -!- augur has joined. 15:53:11 -!- augur has quit (Read error: Connection reset by peer). 15:53:54 -!- asie has joined. 15:55:27 -!- augur has joined. 15:58:50 -!- augur has quit (Remote host closed the connection). 15:59:51 @tell lambdabot Your mother considered it noted. 15:59:52 Nice try ;) 16:01:03 -!- zzo38 has joined. 16:01:35 -making BooleanC- 16:01:42 -documenting*- 16:03:09 -!- Froox has quit (Read error: Connection reset by peer). 16:03:21 -!- Frooxius has joined. 16:04:10 -!- shikhin_ has quit (Ping timeout: 245 seconds). 16:05:54 ?messages-loud 16:05:54 boily said 1h 21m 11s ago: re your latest quote: feeling some form of DOS nostalgia? 16:07:16 boily: I do sometimes use DOS, but that isn't really the point; CP437 is the PC character set and what I use for general purpose screen text 16:08:22 I think what C programs generally do with integer overflows is good idea. 16:09:42 -!- shikhin_ has joined. 16:17:47 -!- augur has joined. 16:21:23 lambdabot answers to ?? 16:21:46 -!- FreeFull has joined. 16:21:53 zzo38: but, but... what about all those wonderful accented letters left out of CP437? 16:30:42 boily: I don't use them. You could use others if needed but the other ones lack ine drawing and various other things I sometimes use. 16:31:15 @massage-loud 16:31:15 You don't have any messages 16:31:17 BBS connections also usually expect CP437, and other software I write (especially DOS programs) expect CP437. 16:31:49 -!- shikhin_ has changed nick to shikhin. 16:32:02 but.. but.. unicode 16:32:13 this is the 2000s 16:32:14 FireFly: he is Zzo38, of Weird Computer Setups. 16:32:25 ah, right 16:34:37 Unicode requires more than 256 characters anyways. 16:40:28 -!- shikhin has quit (Quit: Leaving). 16:43:35 -!- conehead has joined. 16:45:57 man works fine in this mode if LANG=C is set. swetest will try to output a degree sign in UTF-8 encoding; the shell script I wrote to wrap it translates it to shift-out/shift-in encoding instead (as well as making it using the current date/time by default). 16:51:25 -!- Sprocklem has joined. 17:03:07 -!- ais523 has joined. 17:10:11 -!- Sprocklem has quit (Read error: Connection reset by peer). 17:10:33 -!- ais523 has changed nick to ais523\unfoog. 17:13:09 -!- Sprocklem has joined. 17:15:47 -!- oerjan has joined. 17:23:45 -!- ^v has joined. 17:33:55 -!- ^v has quit (Read error: Connection reset by peer). 17:54:30 -!- copumpkin has quit (Ping timeout: 272 seconds). 18:00:00 -!- Sprocklem has quit (Ping timeout: 245 seconds). 18:05:04 -!- oerjan has quit (Quit: leaving). 18:11:48 -!- Sprocklem has joined. 18:12:39 -!- Bike has quit (Ping timeout: 260 seconds). 18:24:49 -!- Taneb has joined. 18:25:11 Today I fell asleep in a lecture so I was pretty confused 18:25:29 (I could actually hear the lecturer in my sleep but in my dreams he was talking about sudoku) 18:25:39 (he was really talking about integration) 18:25:59 Anyway, I was pretty confused, especially how a particular inequality he gave was supposed to work 18:26:34 sleep causes confusion => don't sleep 18:26:52 So I asked the lecturer 18:27:16 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 18:27:17 Turns out, he made a ridiculously huge mistake 18:29:08 Taneb: this sort of thing happens a lot 18:29:28 two out of four exams I've marked, I found mistakes in at least one question after the exam had already been sat 18:29:37 :O 18:30:20 (I didn't get to see them in advance) 18:34:38 -!- Sprocklem has quit (Ping timeout: 240 seconds). 18:38:58 Oh wow my flatmates made me a birthday cake 18:39:00 -!- Taneb has quit (Quit: brb). 18:43:07 @tell Taneb Joyeux anniversaire! 18:43:07 Consider it noted. 18:44:27 I made some Dungeons&Dragons spell to block 8th and 9th level spells. It cannot block any lower level spells, you cannot cast any other spells or attack while it is active, and it costs experience points, but it is a 1st level spell. 18:45:56 -!- copumpkin has joined. 18:50:57 -!- conehead has quit (Quit: Computer has gone to sleep.). 18:52:15 -!- Bike has joined. 18:59:42 -!- Taneb has joined. 19:08:07 I'm beginning to harbour a profound hatred towards CUPS. now my documents reach the printers, but printing a PDF produces enlightening knowledge on its internal postscript structure. 19:08:42 Do files other than PDF work? 19:09:09 boily: the best print fuckup I've ever seen involved a solaris machine that managed to print 97 pages of postscript 19:09:41 zzo38: haven't tried them yet. I'll see what happens with libreoffice... 19:09:45 On Linux computer I have just used something like "dvilj4 - < paper.dvi | lp" which works fine to print DVI files. 19:10:10 coppro: seems that I'm on a solaris machine, then. or if I'm not, somewhere on the floor there looms the Spirit of Solaris. 19:11:19 @messages-loud 19:11:19 boily said 28m 11s ago: Joyeux anniversaire! 19:11:24 Thanks! 19:11:53 how old are you now? 19:12:12 (hm. libreoffice calc froze...) 19:12:12 coppro: hmm, did the solaris machine send the printer a postscript program that printed the postscript program then? 19:12:25 imo Taneb is older than time itself 19:12:32 olsner: I dunno 19:12:34 probably 19:12:50 shachaf: I think Taneb is vaguely half as young as elliott 19:13:00 boily, 19 19:13:11 olsner: i was closer 19:15:47 elliott: are you $((2 * 19)) year old? 19:16:30 ok, so printing an .ods file does not work. what the fungot is wrong with printing in the linux world? 19:16:30 boily: it can copy regions instead of cells... you can code for 1459 plus the ctcp and dcc ' specs' you find through google, then write some simple html js to exercise them. 19:17:00 fungot: way too roundabout for my tastes. I'd like a simple solution that just plain works. 19:17:00 boily: quit his work and told his wife and kids after drinking absinthe what they didn't tell me where it came from. :) that's not really helping much. 19:17:34 fungot: I already don't drink absinthe. the problem lies somewhere else. 19:17:34 boily: what about code that changes the value of var right away? :p wait, i misunderstood 19:17:41 fungot: bin tiens. 19:17:42 boily: there's not much to change.): resemblance of an application is silly, then. tag along, if you can get spin by yourself 19:17:54 * boily spins in his chair 19:19:59 boily: Try doing it the way I did it to see if that way works better. 19:21:24 -!- Phantom_Hoover has joined. 19:22:36 (You need a PCL printer in order for that to work, though.) 19:23:14 boily: convert to ps, netcat to printer? how hard can it be 19:23:32 Aww man, I got distracted and haven't had my dinner yet 19:23:42 I was going to through some things together and make a really weird meal 19:25:56 olsner: Printing can be pretty https://dl.dropboxusercontent.com/u/113389132/Misc/20130821-gutenprint.jpg hard. 19:26:16 -!- augur has quit (Remote host closed the connection). 19:26:45 olsner: those are now undetectable printes because the CUPS guys decided to remove ESSENTIAL FEATURES AND NOW I CAN'T FUNGOTTING PRINT NOTHING AAAAAAAAAAAAAAAAAAAAAAAAAAAH BANDE D'ENFOIRÉS PAS FOUTUS DE FAIRE DE QUOI DE STABLE AAAAAAAAARGH! 19:27:14 fungot: how do you feel about that 19:27:14 shachaf: are you saying i'm an f- word?) balance exercises are very boring 19:27:32 fungot: To be fair, you kind of *are* an "f- word". 19:27:32 fizzie: but then that would be handy 19:27:33 p. sure boily is saying you're an f- word. 19:28:45 I like fungot. Fungot likes me. we are friends. 19:28:45 boily: i will conquer the earth with my fnord fnord tomorrow. but that's just geeky can you get many libraries for c too. 19:28:53 shachaf: see? ↑ 19:29:26 fungot likes everybody. 19:29:27 shachaf: other people apparently have no problem with that?! just apply methods to me, though 19:29:27 and I am calm. I am very calm. I exude zen. 19:30:28 boily: calm like a BANDE D'ENFOIRÉS PAS FOUTUS DE FAIRE DE QUOI DE STABLE? 19:30:36 soon ripe. soon rotten. soon gone. but not fungotten. 19:30:36 shachaf: but it'd still be sufficiently terse to be a dos 6.22 install disk and complained about my computer not having a chimp handy, i guess 19:31:20 "are you saying i'm an f- word?" is incredibly insightful, given that its name was used as one two lines ago 19:31:43 olsner: LA LA LA LA LA ♪ 19:32:32 so insightful 19:32:53 sometimes i think fizzie twiddling fungot's knobs behind the scenes 19:32:53 shachaf: because he is in the way of eventual development of ai on par with e.g. ( sqrt square double), and the 19:33:55 fungot: and the? 19:33:55 shachaf: i get the basic idea is the same 19:34:01 -!- Sprocklem has joined. 19:34:17 shachaf: are you implying illicit hot f-on-f action? 19:34:29 -!- Bike has quit (Ping timeout: 248 seconds). 19:35:11 who broke the wiki? 19:36:19 Did I? 19:36:36 elliott: ☝ 19:36:37 ~yi 19:36:37 Your divination: "Abounding" to "Skinning" 19:36:54 myname: the oracular tools are of no help here. 19:36:58 imo fungot is better than metasepia 19:38:35 of course fungot is better. my bot is dangerously encroaching on the Vaporware Territory more and more. 19:38:35 boily: anyone knows of such a name could have been told bad things then. as you probably read, i also mean it, should the link to 19:38:53 fungot: hey, no dissing my bot. 19:38:53 boily: meybe because they are utf8, but it was 19:39:30 fungot: who's the best bot? 19:39:30 shachaf: richard stallman, right?") was undefined. :) the recursive one be printing more? or is this getting the client code uses '' in the " language engineering programme". 19:39:32 -!- asie has joined. 19:39:56 Richard Stallman: good friend, best bot. 19:40:28 fungot: good bot, best friend. 19:40:28 shachaf: hm probably that's because you just call scheduler whenever you want to map a function that takes no arguments)" 19:40:33 hm 19:40:33 INSTALL GENTOO 19:40:39 fungot: If only you could look up METAR reports. 19:40:39 fizzie: in this case, would you 19:40:48 I assume there are decent bison/flex like libraries for python? 19:41:01 or even better 19:41:09 one that generates directly an AST 19:42:28 I was also going to try and install Arch onto my laptop 19:42:55 installing Arch is always a nice thing to do. 19:43:10 fungot: are you sentient yet 19:43:10 shachaf: bye for today 19:45:36 goodbye fungot, sleep dreams 19:45:36 olsner: studying x) 19:45:53 fungot: ☹ 19:45:53 shachaf: how's lisppaste work? ( x false? false: true) that was held in bingen am rhein near frankfurt. though on occasion i will have to 19:46:40 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 19:48:38 ~metar EFRO 19:48:39 EFRO 041920Z AUTO 09006KT 9999 SCT012 BKN060 BKN080 M03/M03 Q0989 19:48:45 ~metar CYUL 19:48:45 CYUL 041900Z 07002KT 30SM SCT240 03/M10 A3069 RMK CI3 SLP395 19:48:55 HAH! for once it's colder over there! 19:49:52 -!- Halite has quit (Read error: Connection reset by peer). 19:52:09 -!- Phantom_Hoover has joined. 19:57:12 -!- Bike has joined. 20:02:12 -!- conehead has joined. 20:04:03 -!- Sprocklem has quit (Ping timeout: 272 seconds). 20:11:05 have anyone here tried bitmessage? 20:11:16 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:11:35 What is that? 20:12:15 http://tptp.cc/images/ultra30_hardstatus.png 20:12:17 meh edge router 20:12:23 encrypted P2P messaging à la bittorrent/bitcoin. 20:12:24 ~metar egnm 20:12:24 --- Station not found! 20:12:28 ~metar EGNM 20:12:29 ~metar EGNM 20:12:29 EGNM 041950Z 27004KT CAVOK 03/02 Q0995 20:12:29 EGNM 041950Z 27004KT CAVOK 03/02 Q0995 20:16:56 Is there a way to get a description of what /dev/sdb represents so I don't overwrite the wrong thing? 20:19:32 Taneb: if you search in /sys/block/sdb, you'll find stuff. 20:19:38 (stuff that I'm exploring.) 20:22:18 you could also try gparted. quick visual description of what's going on with your storage. 20:22:50 I worked it out 20:25:19 you could also file -s /dev/sdb to get some information about what it contains 20:26:47 «/dev/sda: DOS/MBR boot sector; GRand Unified Bootloader, stage1 version 0x3, stage2 address 0x2000, stage2 segment 0x200 DOS/MBR boot sector DOS executable (COM), boot code» 20:26:53 (I really need to update that grub.) 20:27:49 "/dev/sda: no read permission" well that went well. 20:28:34 wait, why com 20:29:21 -!- Sprocklem has joined. 20:46:32 -!- nisstyre has joined. 20:50:31 -!- Sprocklem has quit (Ping timeout: 265 seconds). 20:57:09 -!- john_metcalf has joined. 21:06:25 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 21:07:55 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 21:10:20 Tempted to wear a bow tie to my lectures tomorrow and see how many people notice 21:10:28 -!- Ghoul_ has quit (Remote host closed the connection). 21:10:58 why today in particular 21:11:18 -!- Uguubee1111113 has quit (Quit: Uguubee1111113). 21:11:23 kmc, you mean tomorrow? 21:12:00 why tomorrow in particular 21:12:10 is it for guy fawkes day 21:12:25 tomorrow is also election day in the States 21:12:46 No reason 21:13:19 kmc: what's being elected? 21:13:49 president of england 21:13:55 we get to decide that now 21:13:59 that's right 21:14:14 hmm 21:14:18 nothing nation-wide, some local stuff 21:14:23 governor of Virginia apparently 21:14:44 here in SF we have some ballot measures about whether to build condos on the waterfront 21:14:47 v. controversial 21:15:11 i don't have much sympathy for the people who want rents to be low and also want there to be no new development 21:15:23 but I don't know the details of this project or whether one should vote for or against it 21:17:30 one thing I've heard is that the "no" campaign is funded by people who already live in luxury buildings and don't want their views spoiled 21:17:40 and they are trying to cast it as a populist anti-gentrification thing 21:19:02 -!- ggherdov has quit (Write error: Connection reset by peer). 21:19:03 -!- upgrayeddd has quit (Remote host closed the connection). 21:19:10 there can be a controversy over anything 21:19:18 as I'm finding out in NetHack 4 21:19:28 ais523\unfoog, no there can't, that's ridiculous 21:19:34 What controversy is there in NetHack 4? 21:19:41 zzo38: oh, whenever I change anything 21:19:43 someone dislikes the change 21:19:56 Then make the fork, if everyone dislikes it 21:20:07 normally more people like it than dislike it, though 21:20:12 -!- sebbu has quit (Ping timeout: 240 seconds). 21:20:12 zzo is all about socially conscious software engineering 21:22:42 -!- Sprocklem has joined. 21:23:05 "every change should result in a separate fork" lol 21:23:32 No, but if everyone dislikes it you can make a forked version 21:23:39 Maybe someone else doesn't dislike it. 21:27:21 What changes are those anyways? 21:27:52 -!- Phantom_Hoover has joined. 21:30:34 quintopia: scarily close to the github model 21:33:18 Tempted to wear a bow tie to my lectures tomorrow and see how many people notice 21:33:27 there's a guy in my year who does this to every lecture 21:33:35 Oh dear 21:33:42 it gives people a good point of reference, i guess 21:33:44 It feels like the slope is going to be slippery 21:33:57 I wear a hat to algebra lectures 21:34:01 he also wears a suit along with the bow tie 21:34:18 I'm just going to wear casual clothes, plus a bow tie 21:34:27 i'm told i managed to get a reputation simply by walking up the stairs in an unusual way 21:34:37 0_0 21:36:26 Taneb: the best way to get attention is to where a pink bucket hat and take very long strides walking as fast as possible everywhere you go 21:36:30 *wear 21:36:42 quintopia, someone's already doing that 21:36:55 damn 21:37:04 wouldn't want you to be a copycat 21:38:13 work out an unusual way to walk up stairs? 21:38:31 Phantom_Hoover, I pretty much run up stairs and fly down them 21:39:47 well flying's always a crowd-pleaser 21:42:02 pyparsing is kinda nice. 21:42:26 now I can start to target x86 :) 21:50:29 -!- augur has joined. 21:53:56 -!- boily has quit (Quit: GALVAUDE!). 21:54:04 -!- metasepia has quit (Remote host closed the connection). 22:11:05 -!- Ghoul_ has joined. 22:16:37 -!- oerjan has joined. 22:18:54 remember remember the 4th of november 22:19:01 i mean, happy birthday Taneb 22:20:09 oh is it Taneb Day already 22:20:34 poor Taneb, always a tiny step from being the main villain 22:21:34 `? Taneb Day 22:21:36 Taneb Day? ¯\(°_o)/¯ 22:22:41 Happy Taneb++ ! 22:23:15 ...it was Taneb day yesterday 22:23:25 i am not sure if we should include birthdays in wisdom/ 22:23:38 Which day is that? 22:23:38 -!- Sprocklem has quit (Ping timeout: 264 seconds). 22:23:42 Taneb: oops it's that late already 22:23:50 bloody timezones 22:24:40 what timezone were you born in? 22:24:45 ok happy Guy Fawkes a-bit-early-night 22:25:09 * kmc was born in America/Chicago, he guesses 22:25:49 were you born in chicago 22:25:51 no 22:25:58 I was born in GMT 22:26:04 At 0647 22:26:59 i was born in Asia/Jerusalem 22:27:07 it took me three days (so i'm told) 22:27:17 slowpoke (your poor mother) 22:27:44 :( 22:29:12 so is Taneb 20 now or 22:29:51 i think i was born in this building https://maps.google.no/maps?hl=no&ll=66.01835,12.6189&spn=0.000607,0.00206&t=h&z=19 22:30:09 at least that's what used to be the main hospital 22:30:48 Phantom_Hoover, 19 22:31:42 -!- mrhmouse has quit (Quit: Leaving.). 22:32:18 oh, that's pretty far north 22:32:46 looks like it's north of iceland even 22:33:51 given the name, iceland is surprising far south compared to scandinavia 22:34:52 hm interesting, zooming all the way out to see iceland and back in doesn't keep the place. 22:34:59 maybe iceland was the name to be given to greenland, but someone mixed them up 22:36:34 olsner: the amusing theory is that the people who found iceland wanted to keep others out while the people who found greenland wanted others to join them... 22:36:39 i always heard that iceland was named that because they had a bad winter and greenland was called that basically as a marketing trick 22:36:57 although at the time, greenland was much warmer than it is now. 22:36:57 http://www.gcmap.com/mapui?P=66.01835+N+12.6189+E&MS=wls&MP=o&MC=66.01835N12.6189E&DU=mi 22:37:16 and iceland _does_ have a lot of glaciers. 22:39:26 -!- sebbu has joined. 22:40:07 -!- sebbu has quit (Changing host). 22:40:07 -!- sebbu has joined. 22:41:54 -!- upgrayeddd has joined. 22:46:16 wow, I managed to zoom back in to the same place 22:51:47 `addquote sometimes i think fizzie twiddling fungot's knobs behind the scenes shachaf: because he is in the way of eventual development of ai on par with e.g. ( sqrt square double), and the 22:51:48 oerjan: he is my idol. like a splitter had failed or my wiring had gone bad, so i can benefit from the knowledge of others. 22:51:52 1127) sometimes i think fizzie twiddling fungot's knobs behind the scenes shachaf: because he is in the way of eventual development of ai on par with e.g. ( sqrt square double), and the 22:52:42 oerjan: what, and not the f- word quote? 22:52:50 fizzie: you're fungot's idol! 22:52:50 nooodl: i'm not done ( no output and some for loops 22:53:17 How... nice. 22:53:38 fungot is my idol. 22:53:38 shachaf: whoa!! i'm in a twist contest!! i'm in the topic? :) 22:53:39 question: will i ever remember how NFPA 704 works without looking it up 22:53:57 TWIST: fungot is my idol 22:53:57 shachaf: sure it is 22:54:14 `addquote olsner: those are now undetectable printes because the CUPS guys decided to remove SSENTIAL FEATURES AND NOW I CAN'T FUNGOTTING PRINT NOTHING AAAAAAAAAAAAAAAAAAAAAAAAAAAH BANDE D'ENFOIRÉS PAS FOUTUS DE FAIRE DE QUOI DE STABLE AAAAAAAAARGH! fungot: how do you feel about that shachaf: are you saying i'm an f- word?) balance exercises are very boring fungot: To be fair, you kind of *are* an "f- word". 22:54:14 oerjan: lament should switch falsebot to f! :) i should've thought of that too 22:54:16 Artificial sarcasm. 22:54:18 1128) olsner: those are now undetectable printes because the CUPS guys decided to remove SSENTIAL FEATURES AND NOW I CAN'T FUNGOTTING PRINT NOTHING AAAAAAAAAAAAAAAAAAAAAAAAAAAH BANDE D'ENFOIRÉS PAS FOUTUS DE FAIRE DE QUOI DE STABLE AAAAAAAAARGH! fungot: how do you feel about that shachaf: are you saying i'm an f- word 22:54:22 argh 22:54:28 `revert 22:54:28 oerjan: good cutoff imo 22:54:31 Done. 22:55:00 pls translate "BANDE D'ENFOIRÉS PAS FOUTUS DE FAIRE DE QUOI DE STABLE AAAAAAAAARGH!" idiomatically 22:55:00 shachaf: boily's message has colors in it, which are hard to paste through tmux + irssi 22:55:04 i want to know what it means 22:55:10 my favourite thing about xflux: you can run two processes to double the effect 22:55:17 oerjan: i think it just has bold 22:55:27 oerjan: but if you add even one more character you'll have to cut back somewhere else 22:55:42 http://www.funraniumlabs.com/wp-content/uploads/2011/12/IMG_2643-768x1024.jpg and now i'm terrified 22:55:52 `addquote olsner: those are now undetectable printes because the CUPS guys decided to remove ESSENTIAL FEATURES AND NOW I CAN'T FUNGOTTING PRINT NOTHING AAAAAAAAAAAAAAAAAAAAAAAAAAAH BANDE D'ENFOIRÉS PAS FOUTUS DE FAIRE DE QUOI DE STABLE AAAAAAAAARGH! fungot: how do you feel about that shachaf: are you saying i'm an f- word?) balance exercises are very boring fungot: To be fair, you kind of *are* an "f- ... 22:55:53 oerjan: wish i didn't recognise backstreet boys. ( the a inside the let, before `body...', there's a 50-50 chance of seeing 00 or 11. but you should be 22:55:56 1128) olsner: those are now undetectable printes because the CUPS guys decided to remove ESSENTIAL FEATURES AND NOW I CAN'T FUNGOTTING PRINT NOTHING AAAAAAAAAAAAAAAAAAAAAAAAAAAH BANDE D'ENFOIRÉS PAS FOUTUS DE FAIRE DE QUOI DE STABLE AAAAAAAAARGH! fungot: how do you feel about that shachaf: are you saying i'm an f- wo 22:55:58 ... word". 22:56:10 smooth 22:56:16 oerjan: like i said 22:56:34 shachaf: i was hoping the two following spaces were included :( 22:56:47 Following spaces? 22:56:48 oh wait it wasn't even the end 22:56:51 right 22:56:53 way back 22:56:59 `revert 22:57:01 fungot: what are you, jonathan hoag? 22:57:01 shachaf: not exactly. sisc isn't a compiler or interpreter on you? 22:57:02 Done. 22:57:03 too damn long 22:57:22 fungot: nobody can interpret shachaf.. 22:57:22 FireFly: well it is _nearly_ trivial, but not like that? :) 22:57:28 oh? 22:57:35 fungot: except you, perhaps 22:57:35 FireFly: evaluate ( setq paredit-backward-delete-key " backspace" ( which it, and you split it up. :) must've been a burp. first time i was trying to enter the us from canada, i'd suggest lisp-like macros, here. 22:57:57 So trivial. 22:59:23 kmc: "bunch of idiots who couldn't give a fuck about making anything stable aaaaaaargh!" i think 23:00:25 fungot: what am i asking you right now 23:00:25 shachaf: the dots are rather important... 23:00:30 the computers will take over only after we've already been driven mad by them. 23:00:31 fungot: what am i asking you right now... 23:00:32 shachaf: yes, " swipe" is understood to mean unzip and look at two buffers at once, like they send ,user if scheme48-package is ( user) or ,config if it's ( config) loads the packages.scm file in the last box 23:01:15 oerjan: best of luck getting a too long quote into a too short line 23:01:38 olsner: a procrustean task 23:01:49 fungot: the quote is too long, wdyt? 23:01:49 olsner: fiz miten m saan ne fnord fnord med fnord in fnord ( btw typo, says fnord at one point 23:01:50 profungot 23:01:51 shachaf: what do you have anything in common with java, no? 23:01:58 fungot: no. 23:01:58 shachaf: do you think 23:02:01 fungot: no. 23:02:02 shachaf: i am not in the helpdesk.... anyone have any more dark secrets to worry about 23:02:28 this incident will be reported 23:02:35 -!- ggherdov has joined. 23:03:06 fungot: which of the fnords were a typo? 23:03:06 FireFly: i think haskell is mostly very useless, unless you can guarantee by an additional code analysis that this procedure is for), fnord 23:03:27 fungot: well even spj says that 23:03:27 oerjan: that doesn't contradict me at all 23:03:30 fungot is too good 23:03:30 shachaf: in my head 23:03:49 Wonderful 23:04:04 fungot: are you pondering what i am pondering 23:04:04 oerjan: but its not working out". " you think of using a full-featured programming language to express the geometry of the cylinder. that's fnord 23:04:12 @brain are you pondering what i am pondering 23:04:12 If I could reach you I would hurt you. 23:04:16 @brain are you pondering what i am pondering? 23:04:17 It must be inordinately taxing to be such a boob. 23:04:24 I'd quoteadd the fungot-oerjan-fungot interaction there, but I'm afraid I'd screw up 23:04:25 FireFly: what do you want 23:04:25 @brain Are you pondering what I'm pondering? 23:04:26 What can I do for fun, Pinky? That's it! I'll send several 23:04:26 bills to Senate for ratification, then veto them all! 23:04:37 fungot: I just stated what I want! 23:04:37 FireFly: what is love?? fnord wondering if a paper exists on the topic. 23:04:41 fungot: you could totally pass for a troll in a programming language channel 23:04:41 shachaf: there are some gui toolkits out there written for scheme48 somewhere around here. i hope. 23:04:48 See? 23:04:49 -!- Bike has quit (Ping timeout: 272 seconds). 23:05:15 fungot: a paper on the topic of what love is? Good idea. 23:05:15 FireFly: mmm. how do you feel with continuations?)) to be 2 instead of 1... on 0 it should die 23:05:25 Deep 23:06:05 -!- realz has quit (Ping timeout: 272 seconds). 23:06:22 pinky was here but left 23:06:33 @brain are you thinking what oerjan is thinking? 23:06:34 Promise me something, Pinky. Never breed. 23:06:40 * shachaf sighs. 23:06:45 fungot is better than lambdabot. 23:06:46 shachaf: that is a constant. a function practically always needs all it's arguments anyway, that interpreter doesn't have interpreters at all, 23:07:17 fungot: you're certainly full of yourself 23:07:17 shachaf: that's excluding docs and generated files not *that* much 23:07:40 fungot: you have docs? 23:07:40 oerjan: watch the videos for diffy q's on the mit ocw, they're really the same, is the ( loop 1 2) is written in scheme 23:08:10 if fungot wasn't full of itself, what would be in the left-over space? 23:08:11 olsner: state in this case)? :) i don't see why 23:08:29 oerjan: There's a README in the repository nowadays. 23:08:36 fungot's docs are the videos for diffy q's on the mit ocw? i'm not surprised. 23:08:37 shachaf: hence " tribo" " fibo" in 3 terms 23:08:40 ooh 23:08:50 fungot: naturally. 23:08:50 FireFly: no sharp edges or flat surfaces and my arms were floating comfortable with fingers just above the min and so on 23:09:05 oerjan: For all the people interested in running their own little fungots, you see. 23:09:05 fizzie: does the c backend is probably the trivial version, since i need values returned from it. 23:09:13 FireFly: is fungot a natural transformation 23:09:14 shachaf: y is ( 2 3) 23:09:40 why do you ask me? 23:09:45 surely fungot would know better 23:09:45 FireFly: waddler's fnord gf :) i need dynamic class support ( dynamic fnord of c modules", which is in development. you don't like 23:10:28 Fun fact: the first fnord above is "soon-to-be" in the logs. 23:11:53 fizzie: What's the "fnord" thing about? 23:11:55 It's annoying. 23:12:28 is this when kmc tells me to read that book 23:13:35 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 25.0/20131025151332]). 23:13:57 fungot: whence fnord? 23:13:57 olsner: fortunately the haskell compiler... sure i could pull that one off 23:14:07 fnord means that the trigrams don't perfectly align as i recall 23:14:31 It's basically an OOV word indicator. See, you get "better" (FSVO...) language models when you leave out words that occur only, say, once; but of course when generating from them, sometimes the "rare word" token comes out. (Removing all 'grams with OOV words would also be a possibility.) 23:15:40 ("Leave out" meaning "replace with a single OOV token".) 23:15:43 fizzie: couldn't you just pull the OOV word back in at the last minute when it looks like fnord would be printed? 23:16:30 "OOV"? 23:16:43 FireFly: Out-of-vocabulary. 23:16:48 Ah 23:17:34 quintopia: It's not unambigous which word it is (the whole point of the replacement token is to get better counts, after all) and anyway it's not recorded in the model. 23:17:47 -!- realz has joined. 23:17:47 -!- realz has quit (Changing host). 23:17:47 -!- realz has joined. 23:17:50 (Technically, sure, it could be done.) 23:18:08 fizzie: by, for instance, saving them in a separate list, and choosing arbitrarily when ambiguous 23:19:26 or you could use something like `words to make up a new word 23:19:57 meh that's no better than fnord 23:21:26 -!- conehead has quit (Ping timeout: 240 seconds). 23:23:09 Sounds like work. The list would need to go inside the tree, which would involve changing the format. Also, it would be quite nontrivial to add to the current VariKN-based training (which actually just drops OOV words), which the "irc" style predates. 23:23:15 (I should retrain it one day, but I'm afraid it's lose some of its character.) 23:23:26 s/'s/'d/ 23:35:04 imho keep fnord forever 23:37:31 You can make it add by the chance, I suppose, so it is sometimes "fnord" 23:41:52 Haneb 23:42:18 shellochaf 23:43:51 G'dgevd 23:44:38 I'm not even gonna try to pronounce that 23:44:42 -!- Bike has joined. 23:45:16 Bike for president 23:47:08 -!- nooodl has quit (Ping timeout: 240 seconds). 23:47:46 fuckyeah 23:52:10 -!- Bike has quit (Ping timeout: 268 seconds). 23:53:20 fungot for president! 23:53:21 olsner: http://www.schemers.org/ documents/ standards/ r5rs/ html/ r5rs-z-h-9.html%_idx_560 even exist! 23:53:43 spoken like a fungot 23:53:43 olsner: oh i see it." i think 23:54:53 good night fungot 23:54:53 olsner: where is the final code maps easily to many back ends, and there's around the nick instead of. would you still be here in the first place 23:54:56 Hmm 23:55:02 I just thought of a flaw in my plan 23:55:23 I'm going out tomorrow night 23:55:26 the plan not to even try pronouncing g'dgevd? 23:55:36 olsner, the plan to wear a bow tie 23:55:53 bow ties are not attached permanently, are they? 23:56:03 Who knows 23:56:28 they can be removed via painful laser surgery 23:56:33 you should go out in the bowtie 23:57:48 -!- realz has quit (Ping timeout: 240 seconds). 23:57:56 quintopia, last time I went out in a bowtie I got mistaken for Mark Zuckerberg 23:59:00 did you leverage that to get laid? 23:59:10 -!- Phantom_Hoover has quit (Remote host closed the connection).