00:10:57 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 25.0/20131025151332]).
00:11:56 <Koen_> random thought: has anyone managed to somehow "separate" memory and control flow, when writing proofs about computational power?
00:12:37 <Phantom__Hoover> the lambda calculus and friends? the chomsky hierarchy? neither of these have notions of memory or control flow
00:12:45 <kmc> space vs. time complexity classes?
00:14:26 <oerjan> Phantom__Hoover: well that's the opposite of separating them, i'd say
00:18:28 <oerjan> 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 <Koen_> 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 <oerjan> 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 <oerjan> *imperative programming languages
00:32:04 <oerjan> left out the most important word :P
00:33:19 <oerjan> dunno about proofs, though.
00:34:07 <oerjan> object-oriented and functional both excluded because they provide ways of wrapping control flow into a value.
00:34:39 <oerjan> although even C and Forth have ways to reify functions.
00:34:52 <oerjan> maybe just brainfuck, then :P
00:36:56 <oerjan> 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 <Sgeo> TVTropes certainly calls the world a Crapsack world
01:02:18 -!- yorick has quit (Remote host closed the connection).
01:02:26 <Bike> 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:40:43 -!- myndzi has left.
01:41:01 -!- myndzi has joined.
01:41:21 <HackEgo> Thanks, hm lessee.... Thessee....
01:46:01 -!- ^v has joined.
01:52:26 <Sgeo> There's a character named Gregor
01:54:34 <Gregor> Gregor: It is actually a name.
01:57:49 <shachaf> elliott: You were all about complete partial orders once, right?
02:01:48 <oerjan> 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:54 <kmc> unsigned long day
03:49:26 <pikhq> It is in fact a 25 hour day by my reckoning.
03:53:05 <shachaf> kmc: http://i.imgur.com/8rhlusE.gif
03:56:05 <oerjan> is that even possibly not fake
03:56:36 <shachaf> 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 <oerjan> i retract the question on the grounds that the responder is too meta.
03:58:40 -!- shikhin has joined.
04:00:05 <shachaf> never meta question i didn't like
04:07:52 <kmc> shachaf: <3
04:09:16 <zzo38> I also think today is the long day
04:09:22 <lambdabot> kmc said 4h 47m 15s ago: you're great, also sorry if I scared you off with #drugz talk
04:09:41 <zzo38> kmc: No, that isn't it. That is fine
04:12:42 <copumpkin> http://zachbruggeman.me/dogescript/
04:15:05 <shachaf> copumpkin: do you know about chu spaces
04:16:08 <zzo38> Are you sure that you cannot do computation with Wang tiles?
04:17:01 <oerjan> omg chu spaces i vaguely remember those
04:18:37 <oerjan> it was some kind of generalization of galois connections which somehow helped with modeling linear logic
04:20:25 <shachaf> you mean the "adjointness condition" in the definition of the thing corresponding to a continuous function?
04:20:27 <oerjan> 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 <oerjan> i don't remember the _actual_ definition of a chu space, mind you.
04:21:59 <shachaf> the definition is p. simple: https://en.wikipedia.org/wiki/Chu_space
04:22:46 <shachaf> copumpkin: well it looked p. simple to me :'(
04:23:51 <shachaf> or are you saying you don't now about them
04:24:01 <shachaf> you're supposed to know everything
04:24:44 <oerjan> that looks familiar. i also recall the supposed quantum connection which i never thought really materialized.
04:24:55 <copumpkin> when I hear chu spaces, I think of train depots
04:25:06 <oerjan> which was what i found most interesting.
04:26:02 <Bike> kmc: http://blogs.smithsonianmag.com/smartnews/2013/07/long-before-trees-overtook-the-land-earth-was-covered-by-giant-mushrooms/ sweet
04:26:39 <shachaf> kmc: should i ask lexande about chu-chu spaces
04:26:45 <oerjan> 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 <kmc> i guess so
04:27:04 <shachaf> oerjan: is a quantum connection like a galois connection
04:27:24 -!- tertu has joined.
04:28:06 <kmc> "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:28 <Bike> thank god for all this fungus related news
04:28:58 <kmc> there's an episode of Seinfeld which gets good mileage from the fact that "fungus" is an inherently funny word
04:29:13 <copumpkin> if my name were gus, I'd go by fungus
04:29:40 <oerjan> Bike: istr reading about that fungus theory before
04:29:51 <Bike> well it says 2007
04:30:05 <Bike> i'm just late to the party, the giant fungus spire party
04:30:22 <Bike> " 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 <shachaf> kmc: the last episode of breaking bad was good btw
04:31:27 <kmc> it was allright
04:32:06 <kmc> I don't think it quite lives up to the show overall
04:32:20 <oerjan> 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 <Bike> this thing lived half a billion years ago, cut them some slack on finding 'evidence'
04:33:20 <oerjan> <shachaf> oerjan: is a quantum connection like a galois connection <-- well if you could _prove_ that, you might get famous?
04:34:24 <oerjan> Bike: it's the rehashing i'm complaining about.
04:34:58 <Bike> well if it hadn't been rehashed i wouldn't have run into it at all so there
04:36:06 <shachaf> kmc: have you been rehashed today #drugz
04:45:25 <drlemon> Why is there no ALPACA interpreter
04:46:46 <oerjan> cpressey broke stuff again
04:47:12 <oerjan> drlemon: http://catseye.tc/node/ALPACA
04:49:07 <drlemon> http://catseye.tc/node/alpaca_(Python) is nothing
04:49:59 <drlemon> I DON'T KNOW HOW TO PYTHON
04:51:06 <oerjan> drlemon: i think you're supposed to download the distribution.
04:51:37 <drlemon> OK but i did and i don't know how to use stuff
04:52:55 <oerjan> you can probably download python from python.org
04:53:22 <oerjan> or there is probably a package for it.
04:53:50 <oerjan> hm well whatever your system. (you seem to be using an irc client for mac)
04:54:26 <drlemon> But i don't know how to deal with a bunch of seperate programs
04:55:24 <HackEgo> 2013-11-02 23:49:47: <doesthiswork> shachaf: yes
04:55:41 <zzo38> 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 <oerjan> 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 <zzo38> Yes, keep the same directory structure as whatever it uses
04:58:34 <oerjan> drlemon: download the files into some directory, then run bin/alpaca in the subdirectory of that.
04:58:49 <oerjan> (the bin/alpaca which is in there, that is.)
05:00:27 <shachaf> oerjan: do you know about frames and locales and those things
05:00:43 <shachaf> the funny bit is that a frame is the same thing as a locale
05:02:27 <oerjan> not beyond hearing the words
05:02:41 <HackEgo> 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:08 <HackEgo> 2013-10-28 20:17:00: <elliott> boily: I do not believe so
05:03:35 <oerjan> no i do mean in the context of ct/algebraic geometry or thereabouts, things beyond my knowledge.
05:03:36 <Bike> finally took my suggested roadtrip down to east timor
05:03:46 <Bike> is presently held up at a checkpoint in eastern iran
05:03:49 <Bike> godspeed elliott
05:03:53 <zzo38> 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 <shachaf> zzo38: No, it should be UTF-8. C isn't compatible with Unicode.
05:04:20 <Bike> not very nice to new zealand
05:04:49 <shachaf> oerjan: but you know about homology and things right
05:04:52 <zzo38> 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 <oerjan> 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 <shachaf> zzo38: You always want Unicode.
05:05:52 <zzo38> Would selecting the C locale speed it up by a small amount if implemented in a certain way?
05:06:11 <Bike> it's important that a linux installation on uml on irc is maximally performant
05:06:14 <zzo38> I suppose if you do want the C locale now you can still specify it for an individual command though
05:06:39 <oerjan> 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 <oerjan> and if it wasn't on by default people wouldn't care enough to set it when they should.
05:07:59 <zzo38> 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 <shachaf> oerjan: Even the people of #esoteric?
05:08:18 <oerjan> shachaf: i do know about basic homology yes
05:09:11 <oerjan> shachaf: some would care, but too many wouldn't?
05:09:33 <oerjan> and some like i would bitch about having to care about it on individual commands.
05:10:23 <oerjan> shachaf: it allows you to prove things like the jordan-brouwer theorem and brouwer fixed point theorem
05:10:42 <zzo38> 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 <oerjan> and invariance of domain
05:11:04 <oerjan> basically things that tell you that euclidean spaces are almost sane topologically.
05:11:53 <zzo38> 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 <zzo38> This improves the operation of the system.
05:13:27 <shachaf> `addquote <zzo38> 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. <zzo38> This improves the operation of the system.
05:13:32 <HackEgo> 1126) <zzo38> 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. <zzo38> This improves the operation of the system.
05:14:24 -!- Oj742 has quit (Quit: irc2go).
05:15:34 -!- shikhin_ has joined.
05:15:53 <zzo38> (The font file from MegaZeux works just fine in Linux; it doesn't need to be converted.)
05:16:22 <zzo38> Now I read the Wikipedia article of Chu spaces.
05:17:06 -!- shikhin has quit (Ping timeout: 245 seconds).
05:18:34 <oerjan> @tell elliott I hope you don't think I'm being overly preemptive with these suspicious new accounts.
05:19:05 <zzo38> 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 <zzo38> Do you know if that is it or not, and so on?
05:22:05 <oerjan> @tell elliott Argh too many to do this.
05:22:17 <oerjan> i think we have a spam problem again.
05:29:33 <zzo38> (However this SetType only works with finite sets (currently).)
05:31:12 <Bike> great, because i really needed something vaguer than topological spaces
05:33:59 -!- asie has joined.
05:42:39 <shachaf> how are there even billions of people in the world
05:43:06 <Bike> imo it does make sense
05:43:58 <Bike> population dynamics
05:48:03 -!- Sprocklem has quit (Ping timeout: 245 seconds).
05:49:05 <Bike> 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:45 <shachaf> oerjan: i don't even know 'er!
05:53:35 <shachaf> 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 <lambdabot> I can't decide which WRONG TURN to make first!! I wonder if BOB
06:24:07 <Sgeo> Thing I need to fit into my model of existant metaprogramming systems: Prolog term_expansion
06:25:36 <Sgeo> 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 <Bike> https://archive.org/details/Adventure_1978_Atari_NTSC aw yeah.
07:25:30 -!- Halite has joined.
07:29:34 <Halite> your mother is esoteric.
07:29:51 <zzo38> Halite: Are you sure?
07:30:41 <Halite> Can it be the joke of the day?
07:30:48 -!- FreeFull has quit.
07:32:20 <Halite> 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 <zzo38> 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 <zzo38> (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 <zzo38> 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 <mroman> I hate that C decided to ignore overflows
10:03:03 <olsner> 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 <fizzie> 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 <boily> Uguubee1111112: who are you? are you legion? what is your numbering scheme? do you prefer your condensed milk sweetened or unsweetened?
13:39:13 <lambdabot> quintopia said 11h 59m 35s ago: thoily!
13:39:29 <boily> quintopia: hi! have they been received?
13:41:54 <boily> (hm. that may not be the right conjugation. «ont-ils été reçus.»)
13:51:11 <coppro> boily: english conjugation or french?
13:52:11 <boily> 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 <coppro> 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 <boily> @tell zzo38 re your latest quote: feeling some form of DOS nostalgia?
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 <Halite> @tell lambdabot Your mother considered it noted.
16:01:03 -!- zzo38 has joined.
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 <lambdabot> boily said 1h 21m 11s ago: re your latest quote: feeling some form of DOS nostalgia?
16:07:16 <zzo38> 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 <zzo38> 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 <boily> lambdabot answers to ??
16:21:46 -!- FreeFull has joined.
16:21:53 <boily> zzo38: but, but... what about all those wonderful accented letters left out of CP437?
16:30:42 <zzo38> 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:17 <zzo38> 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:14 <boily> FireFly: he is Zzo38, of Weird Computer Setups.
16:34:37 <zzo38> Unicode requires more than 256 characters anyways.
16:40:28 -!- shikhin has quit (Quit: Leaving).
16:43:35 -!- conehead has joined.
16:45:57 <zzo38> 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 <Taneb> Today I fell asleep in a lecture so I was pretty confused
18:25:29 <Taneb> (I could actually hear the lecturer in my sleep but in my dreams he was talking about sudoku)
18:25:39 <Taneb> (he was really talking about integration)
18:25:59 <Taneb> Anyway, I was pretty confused, especially how a particular inequality he gave was supposed to work
18:26:34 <olsner> sleep causes confusion => don't sleep
18:26:52 <Taneb> So I asked the lecturer
18:27:16 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...).
18:27:17 <Taneb> Turns out, he made a ridiculously huge mistake
18:29:28 <ais523\unfoog> two out of four exams I've marked, I found mistakes in at least one question after the exam had already been sat
18:34:38 -!- Sprocklem has quit (Ping timeout: 240 seconds).
18:38:58 <Taneb> Oh wow my flatmates made me a birthday cake
18:39:00 -!- Taneb has quit (Quit: brb).
18:43:07 <boily> @tell Taneb Joyeux anniversaire!
18:44:27 <zzo38> 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 <boily> 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 <zzo38> Do files other than PDF work?
19:09:09 <coppro> boily: the best print fuckup I've ever seen involved a solaris machine that managed to print 97 pages of postscript
19:09:41 <boily> zzo38: haven't tried them yet. I'll see what happens with libreoffice...
19:09:45 <zzo38> On Linux computer I have just used something like "dvilj4 - < paper.dvi | lp" which works fine to print DVI files.
19:10:10 <boily> 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 <lambdabot> boily said 28m 11s ago: Joyeux anniversaire!
19:11:53 <boily> how old are you now?
19:12:12 <boily> (hm. libreoffice calc froze...)
19:12:12 <olsner> coppro: hmm, did the solaris machine send the printer a postscript program that printed the postscript program then?
19:12:25 <shachaf> imo Taneb is older than time itself
19:12:50 <olsner> shachaf: I think Taneb is vaguely half as young as elliott
19:15:47 <boily> elliott: are you $((2 * 19)) year old?
19:16:30 <boily> ok, so printing an .ods file does not work. what the fungot is wrong with printing in the linux world?
19:16:30 <fungot> 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 <boily> fungot: way too roundabout for my tastes. I'd like a simple solution that just plain works.
19:17:00 <fungot> 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 <boily> fungot: I already don't drink absinthe. the problem lies somewhere else.
19:17:34 <fungot> boily: what about code that changes the value of var right away? :p wait, i misunderstood
19:17:41 <boily> fungot: bin tiens.
19:17:42 <fungot> 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 <zzo38> 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 <zzo38> (You need a PCL printer in order for that to work, though.)
19:23:14 <olsner> boily: convert to ps, netcat to printer? how hard can it be
19:23:32 <Taneb> Aww man, I got distracted and haven't had my dinner yet
19:23:42 <Taneb> I was going to through some things together and make a really weird meal
19:25:56 <fizzie> 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 <boily> 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 <shachaf> fungot: how do you feel about that
19:27:14 <fungot> shachaf: are you saying i'm an f- word?) balance exercises are very boring
19:27:32 <fizzie> fungot: To be fair, you kind of *are* an "f- word".
19:27:32 <fungot> fizzie: but then that would be handy
19:27:33 <shachaf> p. sure boily is saying you're an f- word.
19:28:45 <boily> I like fungot. Fungot likes me. we are friends.
19:28:45 <fungot> 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:29:27 <fungot> shachaf: other people apparently have no problem with that?! just apply methods to me, though
19:29:27 <boily> and I am calm. I am very calm. I exude zen.
19:30:28 <olsner> boily: calm like a BANDE D'ENFOIRÉS PAS FOUTUS DE FAIRE DE QUOI DE STABLE?
19:30:36 <shachaf> soon ripe. soon rotten. soon gone. but not fungotten.
19:30:36 <fungot> 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 <ais523\unfoog> "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 <boily> olsner: LA LA LA LA LA ♪
19:32:53 <shachaf> sometimes i think fizzie twiddling fungot's knobs behind the scenes
19:32:53 <fungot> 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> shachaf: i get the basic idea is the same
19:34:01 -!- Sprocklem has joined.
19:34:17 <boily> shachaf: are you implying illicit hot f-on-f action?
19:34:29 -!- Bike has quit (Ping timeout: 248 seconds).
19:36:37 <metasepia> Your divination: "Abounding" to "Skinning"
19:36:54 <boily> myname: the oracular tools are of no help here.
19:36:58 <shachaf> imo fungot is better than metasepia
19:38:35 <boily> of course fungot is better. my bot is dangerously encroaching on the Vaporware Territory more and more.
19:38:35 <fungot> 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 <boily> fungot: hey, no dissing my bot.
19:38:53 <fungot> boily: meybe because they are utf8, but it was
19:39:30 <shachaf> fungot: who's the best bot?
19:39:30 <fungot> 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 <fizzie> Richard Stallman: good friend, best bot.
19:40:28 <shachaf> fungot: good bot, best friend.
19:40:28 <fungot> shachaf: hm probably that's because you just call scheduler whenever you want to map a function that takes no arguments)"
19:40:39 <fizzie> fungot: If only you could look up METAR reports.
19:40:39 <fungot> fizzie: in this case, would you
19:40:48 <mroman> I assume there are decent bison/flex like libraries for python?
19:41:09 <mroman> one that generates directly an AST
19:42:28 <Taneb> I was also going to try and install Arch onto my laptop
19:42:55 <boily> installing Arch is always a nice thing to do.
19:43:10 <shachaf> fungot: are you sentient yet
19:43:10 <fungot> shachaf: bye for today
19:45:36 <olsner> goodbye fungot, sleep dreams
19:45:53 <fungot> 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:39 <metasepia> EFRO 041920Z AUTO 09006KT 9999 SCT012 BKN060 BKN080 M03/M03 Q0989
19:48:45 <metasepia> CYUL 041900Z 07002KT 30SM SCT240 03/M10 A3069 RMK CI3 SLP395
19:48:55 <boily> 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 <boily> have anyone here tried bitmessage?
20:11:16 -!- MindlessDrone has quit (Quit: MindlessDrone).
20:12:15 <utopian> http://tptp.cc/images/ultra30_hardstatus.png
20:12:23 <boily> encrypted P2P messaging à la bittorrent/bitcoin.
20:12:29 <metasepia> EGNM 041950Z 27004KT CAVOK 03/02 Q0995
20:12:29 <metasepia> EGNM 041950Z 27004KT CAVOK 03/02 Q0995
20:16:56 <Taneb> Is there a way to get a description of what /dev/sdb represents so I don't overwrite the wrong thing?
20:19:32 <boily> Taneb: if you search in /sys/block/sdb, you'll find stuff.
20:19:38 <boily> (stuff that I'm exploring.)
20:22:18 <boily> you could also try gparted. quick visual description of what's going on with your storage.
20:25:19 <FireFly> you could also file -s /dev/sdb to get some information about what it contains
20:26:47 <boily> «/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 <boily> (I really need to update that grub.)
20:27:49 <Bike> "/dev/sda: no read permission" well that went well.
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 <Taneb> 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 <kmc> why today in particular
21:11:18 -!- Uguubee1111113 has quit (Quit: Uguubee1111113).
21:11:23 <Taneb> kmc, you mean tomorrow?
21:12:00 <kmc> why tomorrow in particular
21:12:10 <kmc> is it for guy fawkes day
21:12:25 <kmc> tomorrow is also election day in the States
21:13:59 <kmc> that's right
21:14:18 <kmc> nothing nation-wide, some local stuff
21:14:23 <kmc> governor of Virginia apparently
21:14:44 <kmc> here in SF we have some ballot measures about whether to build condos on the waterfront
21:14:47 <kmc> v. controversial
21:15:11 <kmc> 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 <kmc> but I don't know the details of this project or whether one should vote for or against it
21:17:30 <kmc> 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 <kmc> 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:28 <Taneb> ais523\unfoog, no there can't, that's ridiculous
21:19:34 <zzo38> What controversy is there in NetHack 4?
21:19:56 <zzo38> Then make the fork, if everyone dislikes it
21:20:07 <ais523\unfoog> normally more people like it than dislike it, though
21:20:12 -!- sebbu has quit (Ping timeout: 240 seconds).
21:20:12 <Bike> zzo is all about socially conscious software engineering
21:22:42 -!- Sprocklem has joined.
21:23:05 <quintopia> "every change should result in a separate fork" lol
21:23:32 <zzo38> No, but if everyone dislikes it you can make a forked version
21:23:39 <zzo38> Maybe someone else doesn't dislike it.
21:27:21 <zzo38> What changes are those anyways?
21:27:52 -!- Phantom_Hoover has joined.
21:30:34 <kmc> quintopia: scarily close to the github model
21:33:18 <Phantom_Hoover> <Taneb> Tempted to wear a bow tie to my lectures tomorrow and see how many people notice
21:33:27 <Phantom_Hoover> there's a guy in my year who does this to every lecture
21:33:44 <Taneb> It feels like the slope is going to be slippery
21:33:57 <Taneb> I wear a hat to algebra lectures
21:34:18 <Taneb> I'm just going to wear casual clothes, plus a bow tie
21:34:27 <Phantom_Hoover> i'm told i managed to get a reputation simply by walking up the stairs in an unusual way
21:36:26 <quintopia> 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:42 <Taneb> quintopia, someone's already doing that
21:38:31 <Taneb> Phantom_Hoover, I pretty much run up stairs and fly down them
21:42:02 <mroman> pyparsing is kinda nice.
21:42:26 <mroman> 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 <oerjan> remember remember the 4th of november
22:19:01 <oerjan> i mean, happy birthday Taneb
22:20:09 <kmc> oh is it Taneb Day already
22:20:34 <oerjan> poor Taneb, always a tiny step from being the main villain
22:23:15 <Taneb> ...it was Taneb day yesterday
22:23:25 <oerjan> i am not sure if we should include birthdays in wisdom/
22:23:38 -!- Sprocklem has quit (Ping timeout: 264 seconds).
22:23:42 <oerjan> Taneb: oops it's that late already
22:24:40 <kmc> what timezone were you born in?
22:24:45 <oerjan> ok happy Guy Fawkes a-bit-early-night
22:25:09 * kmc was born in America/Chicago, he guesses
22:26:59 <shachaf> i was born in Asia/Jerusalem
22:27:07 <shachaf> it took me three days (so i'm told)
22:27:17 <Bike> slowpoke (your poor mother)
22:29:51 <oerjan> 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 <oerjan> at least that's what used to be the main hospital
22:30:48 <Taneb> Phantom_Hoover, 19
22:31:42 -!- mrhmouse has quit (Quit: Leaving.).
22:32:18 <olsner> oh, that's pretty far north
22:32:46 <olsner> looks like it's north of iceland even
22:33:51 <oerjan> given the name, iceland is surprising far south compared to scandinavia
22:34:52 <oerjan> hm interesting, zooming all the way out to see iceland and back in doesn't keep the place.
22:34:59 <olsner> maybe iceland was the name to be given to greenland, but someone mixed them up
22:36:34 <oerjan> 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 <tertu> 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 <oerjan> although at the time, greenland was much warmer than it is now.
22:36:57 <kmc> 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 <oerjan> 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 <olsner> wow, I managed to zoom back in to the same place
22:51:47 <oerjan> `addquote <shachaf> sometimes i think fizzie twiddling fungot's knobs behind the scenes <fungot> 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 <fungot> 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 <HackEgo> 1127) <shachaf> sometimes i think fizzie twiddling fungot's knobs behind the scenes <fungot> 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 <shachaf> oerjan: what, and not the f- word quote?
22:52:50 <nooodl> fizzie: you're fungot's idol!
22:52:50 <fungot> nooodl: i'm not done ( no output and some for loops
22:53:38 <fungot> shachaf: whoa!! i'm in a twist contest!! i'm in the topic? :)
22:53:39 <Bike> question: will i ever remember how NFPA 704 works without looking it up
22:54:14 <oerjan> `addquote <boily> 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! <shachaf> fungot: how do you feel about that <fungot> shachaf: are you saying i'm an f- word?) balance exercises are very boring <fizzie> fungot: To be fair, you kind of *are* an "f- word".
22:54:14 <fungot> oerjan: lament should switch falsebot to f! :) i should've thought of that too
22:54:18 <HackEgo> 1128) <boily> 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! <shachaf> fungot: how do you feel about that <fungot> shachaf: are you saying i'm an f- word
22:55:00 <kmc> pls translate "BANDE D'ENFOIRÉS PAS FOUTUS DE FAIRE DE QUOI DE STABLE AAAAAAAAARGH!" idiomatically
22:55:00 <oerjan> shachaf: boily's message has colors in it, which are hard to paste through tmux + irssi
22:55:04 <kmc> i want to know what it means
22:55:10 <Phantom_Hoover> my favourite thing about xflux: you can run two processes to double the effect
22:55:17 <shachaf> oerjan: i think it just has bold
22:55:27 <shachaf> oerjan: but if you add even one more character you'll have to cut back somewhere else
22:55:42 <Bike> http://www.funraniumlabs.com/wp-content/uploads/2011/12/IMG_2643-768x1024.jpg and now i'm terrified
22:55:52 <oerjan> `addquote <boily> 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! <shachaf> fungot: how do you feel about that <fungot> shachaf: are you saying i'm an f- word?) balance exercises are very boring <fizzie> fungot: To be fair, you kind of *are* an "f- ...
22:55:53 <fungot> 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 <HackEgo> 1128) <boily> 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! <shachaf> fungot: how do you feel about that <fungot> shachaf: are you saying i'm an f- wo
22:56:34 <oerjan> shachaf: i was hoping the two following spaces were included :(
22:56:48 <oerjan> oh wait it wasn't even the end
22:57:01 <shachaf> fungot: what are you, jonathan hoag?
22:57:01 <fungot> shachaf: not exactly. sisc isn't a compiler or interpreter on you?
22:57:22 <FireFly> fungot: nobody can interpret shachaf..
22:57:22 <fungot> FireFly: well it is _nearly_ trivial, but not like that? :)
22:57:35 <FireFly> fungot: except you, perhaps
22:57:35 <fungot> 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:59:23 <nooodl> kmc: "bunch of idiots who couldn't give a fuck about making anything stable aaaaaaargh!" i think
23:00:25 <shachaf> fungot: what am i asking you right now
23:00:25 <fungot> shachaf: the dots are rather important...
23:00:30 <oerjan> the computers will take over only after we've already been driven mad by them.
23:00:31 <shachaf> fungot: what am i asking you right now...
23:00:32 <fungot> 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 <olsner> oerjan: best of luck getting a too long quote into a too short line
23:01:38 <oerjan> olsner: a procrustean task
23:01:49 <olsner> fungot: the quote is too long, wdyt?
23:01:49 <fungot> olsner: fiz miten m saan ne fnord fnord med fnord in fnord ( btw typo, says fnord at one point
23:01:51 <fungot> shachaf: what do you have anything in common with java, no?
23:02:02 <fungot> shachaf: i am not in the helpdesk.... anyone have any more dark secrets to worry about
23:02:28 <kmc> this incident will be reported
23:02:35 -!- ggherdov has joined.
23:03:06 <FireFly> fungot: which of the fnords were a typo?
23:03:06 <fungot> 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 <oerjan> fungot: well even spj says that
23:03:27 <fungot> oerjan: that doesn't contradict me at all
23:04:04 <oerjan> fungot: are you pondering what i am pondering
23:04:04 <fungot> 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 <shachaf> @brain are you pondering what i am pondering
23:04:12 <lambdabot> If I could reach you I would hurt you.
23:04:16 <shachaf> @brain are you pondering what i am pondering?
23:04:17 <lambdabot> It must be inordinately taxing to be such a boob.
23:04:24 <FireFly> I'd quoteadd the fungot-oerjan-fungot interaction there, but I'm afraid I'd screw up
23:04:25 <fungot> FireFly: what do you want
23:04:25 <shachaf> @brain Are you pondering what I'm pondering?
23:04:26 <lambdabot> What can I do for fun, Pinky? That's it! I'll send several
23:04:26 <lambdabot> bills to Senate for ratification, then veto them all!
23:04:37 <FireFly> fungot: I just stated what I want!
23:04:37 <fungot> FireFly: what is love?? fnord wondering if a paper exists on the topic.
23:04:41 <shachaf> fungot: you could totally pass for a troll in a programming language channel
23:04:41 <fungot> shachaf: there are some gui toolkits out there written for scheme48 somewhere around here. i hope.
23:04:49 -!- Bike has quit (Ping timeout: 272 seconds).
23:05:15 <FireFly> fungot: a paper on the topic of what love is? Good idea.
23:05:15 <fungot> FireFly: mmm. how do you feel with continuations?)) to be 2 instead of 1... on 0 it should die
23:06:05 -!- realz has quit (Ping timeout: 272 seconds).
23:06:22 <oerjan> pinky was here but left
23:06:33 <shachaf> @brain are you thinking what oerjan is thinking?
23:06:34 <lambdabot> Promise me something, Pinky. Never breed.
23:06:45 <shachaf> fungot is better than lambdabot.
23:06:46 <fungot> 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 <shachaf> fungot: you're certainly full of yourself
23:07:17 <fungot> shachaf: that's excluding docs and generated files not *that* much
23:07:40 <oerjan> fungot: you have docs?
23:07:40 <fungot> 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 <olsner> if fungot wasn't full of itself, what would be in the left-over space?
23:08:11 <fungot> olsner: state in this case)? :) i don't see why
23:08:29 <fizzie> oerjan: There's a README in the repository nowadays.
23:08:36 <shachaf> fungot's docs are the videos for diffy q's on the mit ocw? i'm not surprised.
23:08:37 <fungot> shachaf: hence " tribo" " fibo" in 3 terms
23:08:50 <fungot> 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 <fizzie> oerjan: For all the people interested in running their own little fungots, you see.
23:09:05 <fungot> fizzie: does the c backend is probably the trivial version, since i need values returned from it.
23:09:13 <shachaf> FireFly: is fungot a natural transformation
23:09:45 <FireFly> surely fungot would know better
23:09:45 <fungot> 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 <fizzie> Fun fact: the first fnord above is "soon-to-be" in the logs.
23:11:53 <shachaf> fizzie: What's the "fnord" thing about?
23:12:28 <shachaf> 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> olsner: fortunately the haskell compiler... sure i could pull that one off
23:14:07 <quintopia> fnord means that the trigrams don't perfectly align as i recall
23:14:31 <fizzie> 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 <fizzie> ("Leave out" meaning "replace with a single OOV token".)
23:15:43 <quintopia> 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:43 <fizzie> FireFly: Out-of-vocabulary.
23:17:34 <fizzie> 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 <fizzie> (Technically, sure, it could be done.)
23:18:08 <quintopia> fizzie: by, for instance, saving them in a separate list, and choosing arbitrarily when ambiguous
23:19:26 <olsner> or you could use something like `words to make up a new word
23:21:26 -!- conehead has quit (Ping timeout: 240 seconds).
23:23:09 <fizzie> 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 <fizzie> (I should retrain it one day, but I'm afraid it's lose some of its character.)
23:37:31 <zzo38> You can make it add by the chance, I suppose, so it is sometimes "fnord"
23:44:38 <Taneb> I'm not even gonna try to pronounce that
23:44:42 -!- Bike has joined.
23:47:08 -!- nooodl has quit (Ping timeout: 240 seconds).
23:52:10 -!- Bike has quit (Ping timeout: 268 seconds).
23:53:21 <fungot> olsner: http://www.schemers.org/ documents/ standards/ r5rs/ html/ r5rs-z-h-9.html%_idx_560 even exist!
23:53:43 <fungot> olsner: oh i see it." i think
23:54:53 <fungot> 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:55:02 <Taneb> I just thought of a flaw in my plan
23:55:23 <Taneb> I'm going out tomorrow night
23:55:26 <olsner> the plan not to even try pronouncing g'dgevd?
23:55:36 <Taneb> olsner, the plan to wear a bow tie
23:55:53 <olsner> bow ties are not attached permanently, are they?
23:56:28 <kmc> they can be removed via painful laser surgery
23:57:48 -!- realz has quit (Ping timeout: 240 seconds).
23:57:56 <Taneb> quintopia, last time I went out in a bowtie I got mistaken for Mark Zuckerberg
23:59:00 <quintopia> did you leverage that to get laid?
23:59:10 -!- Phantom_Hoover has quit (Remote host closed the connection).