00:07:13 -!- ^v has joined.
00:09:40 -!- Sgeo has joined.
00:09:59 <Bike> i wonder if i can convince the prof that seeing what an hdl system synthesizes to on the fpga would be educational
00:10:47 <zzo38> I think it would be helpful to see such things
00:11:02 <Bike> Fiora: i was going to say 'verilog program' but that's not really a thing
00:11:32 <Bike> i just feel like complaining since xilinx gives me a warning that so and so is incompatible with my board but doesn't tell me what exactly is incompatible
00:15:30 <Bike> but hey, i turned a monitor red. i am a god.
00:18:57 -!- nooodl has quit (Ping timeout: 252 seconds).
00:20:51 <Bike> vga is surprisingly simple to understand even though i'm still terrible at it.
00:21:24 <Bike> there's something amusing about running a fancy-ass flatscreen monitor with a specification designed for cathode ray guns
00:21:47 <Bike> (i could call them tubes, but guns are cooler)
00:22:23 <zzo38> I am also using a flatscreen monitor with VGA
00:23:07 <zzo38> The VGA pinout is listed in the book that comes with the monitor, even.
00:23:19 <shachaf> i can turn Bike's monitor red
00:23:24 -!- Oj742 has quit (Ping timeout: 246 seconds).
00:23:51 <Bike> this project only uses a few of the color pins. amazing three-bit color depth.
00:24:37 <zzo38> This lists "Hot Plug Detect", "SDA", and "SCL" which are things I don't know.
00:25:07 <Bike> Now I have drawn a crosshair.
00:25:45 -!- Phantom__Hoover has joined.
00:25:50 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
00:32:33 <zzo38> However, VGA is analog video rather than digital, and has a display data channel.
00:36:25 <kmc> Bike: make an o-scope
00:36:37 <Bike> a digital oscilloscope?
00:38:32 <kmc> presumably
00:40:05 <Bike> i guess i'd need a dac
00:40:30 -!- Phantom__Hoover has quit (Ping timeout: 246 seconds).
00:40:32 -!- Phantom_Hoover has joined.
00:40:44 <Bike> zzo38: actually the specs mention the vga controller on my board works by taking three bits and putting them through some resistor circuits to get the analog value, which is kinda neat
00:41:24 <zzo38> Bike: Yes you can make the converter like that
00:42:14 <zzo38> I have invented Digi-RGB to avoid the complexity and other problems of DisplayPort and so on; Digi-RGB is purely digital and includes red, green, blue, clock, and sync signals. It has video-only; no other signals such as data, configuration, audio, HDCP, hot plug detect, etc.
00:42:33 <Bike> how many things have you invented
00:44:01 <zzo38> I have not fully written out the connectors/electrical specifications for Digi-RGB (and no computer supports it), but I may do so; someone said he can help with this so I can do it at such a time. Possibly having the electricals and speeds of FireWire.
00:45:40 <zzo38> In case you do need the other features, I have also invented Digi-RGB-Plus, which includes two channels of analog audio, and one data pin going in the opposite direction from the other signals, in 1200,8,N,1 format. The specification explicitly says that either or both device may completely ignore the data and it is still required to work, so it is compatible with Digi-RGB.
00:47:00 <zzo38> I don't know if you think this is a good idea or not, and any other details you have opinions about.
00:47:32 <Bike> you're an incredible person, zzo.
00:51:08 -!- Sellyme has joined.
00:51:20 <zzo38> Although there are no limits to resolution and clock rate, and standard should be specified for fallback purposes to use with maximum compatibility. The resolution and clock rate of CGA may be used as this fallback specification.
00:51:32 <zzo38> Do you know if DOSBox can emulate composite video mode?
00:52:01 -!- Phantom_Hoover has quit (Quit: Leaving).
01:17:01 <kmc> https://events.ccc.de/congress/2013/Fahrplan/events/5394.html hot damn
01:17:10 <kmc> "Using the recent BREACH exploit as an example, I will present how to represent attacks and security notions within the Type Theory of Agda."
01:17:25 <Bike> i have moved on to animating a moving square. worship me
01:19:06 <shachaf> is it going to be recorded or whatever it is they do
01:22:51 <kmc> i think so
01:22:57 <kmc> Bike: is this building to a particular project?
01:23:21 -!- ^v has quit (Remote host closed the connection).
01:23:25 <Bike> nah, it's all in the homework
01:23:36 <Bike> i think i could make pong though
01:23:54 <Bike> though i have no idea how the angle computation works.
01:24:00 <oerjan> Bike: does that mean you can soon explain what a quadrilateral is?
01:24:10 <kmc> for bounces?
01:24:26 <kmc> everything you can bounce off in pong is axis-aligned right?
01:24:29 <Bike> did the original pong just have all perpendicular bounces? i've only played it once
01:24:31 <kmc> so you just flip the sign on one of the velocities
01:24:38 <kmc> does that work? hm
01:24:53 <Bike> i'm used to modern breakouty games where the angle changes based on the paddle speed
01:25:13 <kmc> imo implement plasma pong
01:25:28 <oerjan> Bike: huh, like proper galilean transformation?
01:25:49 <Bike> http://www.youtube.com/watch?v=SHsYjWm8XSI yeah these aren't perpendicular
01:26:10 <lambdabot> http://hackage.haskell.org/trac/ghc/newticket?type=bug
01:26:13 <Bike> oerjan: given this is an atari it's probably not proper anything...
01:26:38 <Bike> but you can see them demonstrate that the reflecting angle varies based on paddle velocity
01:26:43 <oerjan> Bike: i mean if the angle changes based on speed
01:27:08 <Bike> i mean that it might get near that but it will basically be a hack.
01:27:47 <oerjan> ideally the ball speed should also change
01:27:50 <Bike> of course it varies, though, how'd i forget. when you play you can try to get really steep angles so that the other player can't predict as well
01:27:59 <Bike> I think the ball speed also changes.
01:28:07 -!- Sprocklem has quit (Ping timeout: 260 seconds).
01:28:09 <oerjan> although only horizontally, hm
01:28:23 <Bike> maybe i should just make an atari.
01:29:55 <Bike> but basically in doing the basic vga stuff i have an hpos and a vpos, and a bonus 60 Hz clock, so i can probably do gamey things reasonably easily.
01:30:09 <Bike> kmc: this game is weird
01:30:33 <Bike> it looks like the paddles can emit gas to slow the ball? and you can catch it and burst it out
01:30:44 -!- Sorella has quit (Remote host closed the connection).
01:31:11 <kmc> maybe you need a 59.94Hz clock instead
01:31:37 <kmc> guess not for VGA tho
01:31:47 <Bike> i don't get it.
01:32:18 <Bike> and actually the frequency will be a bit different i suppose...
01:32:28 <kmc> NTSC-US is 29.97 fps
01:32:29 <Bike> > 100000000 / (800 * 525)
01:32:33 <kmc> you had me thinking about TVs
01:32:36 <Bike> well that's probably wrong
01:32:44 <Bike> kmc: i have no idea how tvs work ;_;
01:33:01 <shachaf> Bike: i have no idea how tvs work either
01:33:09 <shachaf> as a matter of fact, i don't even own one
01:33:19 <Bike> well neither do i, but still.
01:33:27 <Bike> i only have even heard of ntsc and pal from game emulation people.
01:35:03 <Bike> also, the last part of my assignment is to make a rotating crosshair. i don't think i'm supposed to use trig...i guess i could have each row 'moving' at a different rate or something
01:35:56 <oerjan> hm wouldn't the proper reflection algorithm just be: v = vp-(v-vp) or v = 2*vp - v
01:36:17 <kmc> why no trig
01:36:20 <oerjan> so you just do the usual thing, then add twice the paddle velocity
01:36:45 <Bike> kmc: no trig that would involve me writing cosine circuits, anyway
01:36:59 <kmc> maybe they want you to use a lookup table
01:37:13 <kmc> which is basically the same as hardcoding a set of points around a circle
01:37:21 <oerjan> that's obviously wrong
01:37:29 -!- Sellyme has quit (Excess Flood).
01:38:01 <Bike> i'd still have to radial to cartesian conversion, wouldn'ti
01:39:47 -!- Sellyme has joined.
01:40:37 -!- ^v has joined.
01:41:41 <oerjan> hm i think i've just convinced myself that the proper galilean transformation is to _not_ let the reflection depend on the speed of the paddle >:)
01:42:29 <Bike> well any speed from the paddle would have to be imparted through friction, right?
01:42:37 <kmc> or MAGNETS
01:42:55 <oerjan> anyway not by a totally elastic collision.
01:44:44 <kmc> magnets tho
01:45:25 <kmc> https://www.youtube.com/watch?v=JDQOvzFetxs
01:46:12 -!- drlemon has quit (Remote host closed the connection).
01:50:24 <zzo38> Implement the RGB Famicom PPU with the VGA compatible way. (The Famicom RGB PPU is analog too)
01:50:33 -!- Bike has quit (Ping timeout: 246 seconds).
01:54:58 -!- yorick has quit (Remote host closed the connection).
02:18:47 <oerjan> in a general sense yes
02:19:04 <quintopia> oerjan: billiard breakout is the most fun, where you can put some english on it with the paddle and get curved trajectories
02:20:09 -!- Bike has joined.
02:20:30 <Bike> now that i'm on an analog crusade, next i should figure out how to repair earbuds
02:22:01 <kmc> headphones tend to have tiny wires that are awful to solder
02:23:16 <Bike> zzo38: someone a few years ago implemented enough of a NES to play games, i hear
02:23:20 <Bike> in my class, i mean
02:23:45 <Bike> quintopia: i've never seen that, can you give me an example in mindless internet game form
02:27:59 <Bike> i don'tthink i really get the concept
02:28:47 <Bike> especially given that i've never played billiards.
02:30:17 <quintopia> the concept is that the ball behaves not like a disk with a trajectory, but like an actual 3d ball rotating around an axis
02:30:38 <quintopia> and the paddle can impart torques around an axis perpendicular to the plane of motion
02:30:51 <quintopia> that's all you need to make it possible
02:31:06 <quintopia> correctly implement the physics and everything else handles itself
02:31:18 <Bike> i'd like to remind you that i am as far as "square moving at constant velocity"
02:32:36 <quintopia> it's never too late to learn to fizzix
02:34:12 -!- qlkzy has quit (Excess Flood).
02:36:23 <quintopia> i want to go to a physics class taught by fizzie
02:36:45 -!- qlkzy has joined.
02:38:57 <oerjan> i fear this idea will fizzle out.
02:46:44 -!- Lymia has joined.
02:49:47 <kmc> fungot: do you know any fizzix
02:49:47 <fungot> kmc: " if he's always as sleepy as that," i echoed. " the baron's carriage has come round!" she groaned. " go away, dears!" he exclaimed, holding up one finger. ' i'm not a fnord i don't suppose bruno likes them, either!"
02:50:58 <Bike> hm, my fpga board apparently doesn't have a serial port
02:51:35 <oerjan> "OK, in the first significant use of comment voting, the readers have voted overwhelmingly, by 41 – 13, that they want the comment voting to disappear. So disappear it has!"
02:51:45 <oerjan> (from aaronson's blog)
02:52:02 <Bike> oh, you use a... virtual serial over usb
02:52:06 <Bike> that seems kind of ridiculous.
02:53:00 <kmc> lots of things have those
02:53:08 <shachaf> Hmm, I think various universal property definitions become much more obvious (in the context of sets) if you restrict "for any object" to mean "for the terminal object" (at least limits etc., or maybe right adjoints)
02:53:10 <kmc> that's also how you program arduinos
02:53:42 <kmc> the older ones had USB-to-UART chips but the newer ones just have a second AVR dedicated to this purpose ;P
02:53:49 <Bike> the former's what i got :V
02:53:58 <Bike> (what's AVR again)
02:54:00 <shachaf> For example, to define exponentials you might say "an element of B^A should probably correspond to an arrow from A to B, so Hom(A, B) ~ Hom(1, B^A)"
02:55:07 <Bike> "The idle, no data state is high-voltage, or powered. This is a historic legacy from telegraphy, in which the line is held high to show that the line and transmitter are not damaged." what a beautiful world
02:55:51 <shachaf> Or for products you might say "A product of A and B is an object AxB with two arrows fst/snd to A/B, such that for any a : 1 -> A and b : 1 -> B, there's an (a,b) : 1 -> AxB such that fst . (a,b) = a and snd . (a,b) = b"
02:56:07 <shachaf> And then just s/1/E/ for an arbitrary object E
02:56:38 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif).
02:58:45 <shachaf> Which is just a fancy arrowy way of talking about global elements, which you then generalize to a generalized element.
03:00:42 <Bike> kmc: also does this mean there's good software for using a usb port on my computer as a serial port out.
03:01:12 <Bike> hm, in which case i'd be doing serial to usb to serial. again, life is beautiful
03:07:29 -!- Slereah has quit (Ping timeout: 272 seconds).
03:15:34 <quintopia> oerjan: is comment voting where you post two comments with alternate viewpoints, and readers upvote one or the other comment?
03:17:55 -!- zzo38 has quit (Ping timeout: 245 seconds).
03:18:59 -!- drlemon has joined.
03:19:06 -!- muskrat has quit (Ping timeout: 246 seconds).
03:19:36 -!- realzies has quit (Ping timeout: 245 seconds).
03:19:41 -!- Sellyme has quit (Excess Flood).
03:19:54 -!- Sellyme has joined.
03:20:25 -!- FireFly has quit (Ping timeout: 245 seconds).
03:20:55 -!- realzies has joined.
03:21:39 -!- FireFly has joined.
03:23:12 <oerjan> quintopia: from what i remember from my previous visit, it was just an upvote/downvote system like reddit and the like
03:23:33 -!- nisstyre has joined.
03:23:35 <oerjan> (also the css was ugly as hell, which i think i mentioned back then)
03:24:26 <kmc> saw this today http://i.imgur.com/ojwJZ2H.jpg
03:24:38 <kmc> looks like a tree grew around this power line and then they cut off the part above and below the line
03:33:33 <kmc> every time i share a jpg online i worry that my phone has embedded in the EXIF information about my GPS location and bank account and number of sex partners
03:33:55 -!- zzo38 has joined.
03:34:40 <zzo38> Are there foot-pedals that can attach to a computer like a keyboard and will function as media control keys?
03:34:51 <kmc> you can buy USB foot pedals on ebay
03:35:14 <kmc> also the Kinesis Advantage has a foot pedal accessory, and you can bind them to any key on the keyboard
03:35:22 <kmc> (although I don't remember if it has media keys in the first place)
03:35:35 <kmc> Bike: AVR is a line of popular 8-bit microcontrollers from Atmel
03:35:37 <Bike> now i want my computer desk to have - to need - a carburator
03:36:03 <kmc> (well there's also AVR32 but it's a completely different thing)
03:37:08 <zzo38> kmc: I am looking for the foot-pedals themself; I already have a keyboard.
03:37:34 <Bike> last time i went by a music shop (god was that a while ago) most of the pedals were programmable by usb
03:37:41 <Bike> clearly you need to get a whammy bar for input
03:40:02 -!- ^v has joined.
03:40:18 -!- ^v has changed nick to VERSION.
03:48:29 -!- floret has joined.
03:56:09 <kmc> the Guitar Hero for Xbox controller has a whammy bar and is USB
03:59:11 <quintopia> zzo38: what are you going to use your pedals for?
03:59:51 <zzo38> quintopia: To play, stop, and rewind an audio file, clearly.
04:00:06 <zzo38> So that it can be done even when working on something else too.
04:00:24 <quintopia> zzo38: oh right i should have known. carry on.
04:01:40 <zzo38> Does anyone else think it would be useful like this too?
04:02:22 <kmc> i think there are analog tape recorders with pedals
04:02:25 <kmc> you could use one
04:02:51 <zzo38> I do have a tape recorder but it doesn't have pedals and isn't usable with the computer.
04:05:49 <zzo38> (Of course it would be helpful to allow the same pedals to be used with a tape or with computer, selectable by a switch)
04:08:21 <Sgeo> "In terms of scalability, there is a clear winner throughout our experiments."
04:08:30 <Sgeo> I misread that as "in our thought experiments"
04:11:57 -!- Sprocklem has joined.
04:14:02 <oerjan> for you bfjousters http://www.scottaaronson.com/blog/?p=1558#comment-89317
04:15:22 <oerjan> @tell elliott http://www.scottaaronson.com/blog/?p=1558#comment-89317
04:31:22 -!- floret has quit (Quit: Leaving).
05:03:24 <quintopia> oerjan: ah. when eli announced he was giving an entirely technical talk around now, i had wondered what it would be about. seems pretty interesting, though i know nothing about modal logic
05:19:45 -!- coppro_ has joined.
05:21:00 -!- lifthras1ir has joined.
05:22:24 -!- atehwa has quit (Ping timeout: 245 seconds).
05:22:28 -!- realzies has quit (Ping timeout: 245 seconds).
05:22:28 -!- coppro has quit (Ping timeout: 245 seconds).
05:22:29 -!- lifthrasiir has quit (Remote host closed the connection).
05:22:37 -!- realz has joined.
05:22:47 -!- realz has quit (Changing host).
05:22:47 -!- realz has joined.
05:24:05 -!- atehwa has joined.
05:34:21 -!- Sprocklem has quit (Ping timeout: 245 seconds).
05:38:38 <Sgeo> "In Haskell, expressions are not evaluated until their results are actually needed. This is a simple decision with far-reaching consequences, which we will explore throughout the semester. Some of the consequences include:"
05:38:43 <Sgeo> "It is easy to define a new control structure just by defining a function.
05:38:58 <kmc> what's wrong with that statement
05:39:39 <Sgeo> Definining one's own control structures (well, imperative ones) has little to do with laziness in Haskell
05:39:54 <Sgeo> And more to do with the monadic view of IO
05:40:09 <kmc> yes, but not all control structures are imperative ones
05:40:18 <shachaf> if is a p. good control structure
05:40:29 <Bike> conditionals are p.erfectly good control structures
05:41:31 -!- Sellyme has quit (Excess Flood).
05:44:22 <Bike> also in a less direct sense, couldn't you say laziness is important in that it means there are no "sequencing" semantics - the concept of "doing things" is out - so you have to do things like IO, functional relations, instead?
05:44:47 -!- Sellyme has joined.
05:45:20 <kmc> well that's the motivation for monadic IO yeah
05:45:42 <shachaf> You could do IO the way Haskell does it in a strict language just as well.
05:45:55 <Bike> sure, i just mean i can see it being motivating
05:45:57 <kmc> right, but there's less reason to
05:46:09 <kmc> at least until you've used Haskell and see how great it is
05:46:09 <Sgeo> That's a cultural effect, I would think, which is significant, but technically, not necessary. Similar to how I prefer API design in statically-typed languages even though dynamically-typed languages are usually theoretically capable of similar decisions, they often make ones I don't like
05:46:10 <shachaf> Purity is valuable on its own.
05:46:15 <kmc> it's a /historical/ motivation
05:46:17 <shachaf> In practice laziness was a motivation, I suppose.
05:46:30 <shachaf> SPJ says so, so it's hard to argue with it.
05:46:38 <Bike> here's where i go a long tangent about lakatos
05:51:52 <Bike> in pedagogy it's often helpful to develop things in a historical, though "rationalized", fashion. some traditions in math tend to depict things as axioms and definitions presented without real motivation, which are then extended through to the results. so to speak, in this fashion we would start by defining laziness without mentioning any consequences and go through to things like IO. the interesting thing here of course is that history did
05:51:52 <Bike> or something like that, anyway.
05:55:14 <shachaf> I like motivation but I don't think the way people happened to figure things out historically is necessarily the best way to teach them.
05:56:27 <Bike> and the 'rationalized' is supposed to allude to, like, not having to go through heat equations to understand fourier series :p
05:57:11 <shachaf> Yes. I don't even know if it often is. But I probably don't have enough examples one way or the other.
05:57:15 -!- Lymia has quit (Ping timeout: 246 seconds).
05:57:49 <zzo38> The IO monad in Haskell can be used with a category of pure functions, regardless of lazy evaluation or the programming language or anything else. It is because it is category of pure functions, that such a monad is made up.
05:58:17 <Bike> zzo, meanwhile, is fully on the axiomatic side
05:59:42 <shachaf> I think "reasonable, rather than merely logical, steps" is almost always a good idea.
06:00:09 <Bike> what great words we have.
06:15:44 -!- oerjan has quit (Quit: Nyt).
06:18:47 -!- ^v has joined.
06:20:11 -!- VERSION has quit (Ping timeout: 245 seconds).
06:22:13 -!- L8D has quit (Ping timeout: 245 seconds).
06:27:27 -!- tertu has quit (Ping timeout: 252 seconds).
06:28:11 -!- conehead has quit (Ping timeout: 252 seconds).
06:31:50 -!- Sellyme has quit (Excess Flood).
06:34:18 -!- Sellyme has joined.
06:35:08 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif).
06:42:41 <Sgeo> Oh I forgot to erfdate
06:45:33 -!- trout has quit (Remote host closed the connection).
06:51:00 <Bike> not in this house young man
07:04:22 -!- zzo38 has quit (Remote host closed the connection).
07:32:17 -!- Tod-Autojoined2 has joined.
07:35:55 -!- Tod-Autojoined has quit (Ping timeout: 260 seconds).
07:51:58 -!- coppro_ has changed nick to coppro.
07:55:19 -!- Sellyme has quit (Excess Flood).
07:56:17 -!- Sellyme has joined.
08:11:34 <Bike> i'm ten pages in to an ethernet-phy manual and i'm pretty sure the internet is impossible
08:13:51 -!- Frooxius has quit (Read error: Connection reset by peer).
08:14:08 -!- Frooxius has joined.
08:14:16 <kmc> apparently urxvt has a literal "print screen" key shortcut and i keep hitting it by accident
08:14:28 <kmc> so i have all these printouts of #esoteric in my livin' room
08:14:40 <kmc> reason #9999 to disable cups by default
08:15:43 <Bike> dude i literally did that
08:15:58 -!- lifthras1ir has changed nick to lifthrasiir.
08:16:18 <Bike> i have a physical printout of MEANWHILE IN /R/BITCOIN/ and shachaf wondering about generalizations of matrices
08:16:54 <shachaf> I shouldn't talk in logged channels. Especially not in publicly logged channels.
08:17:13 <Bike> it's not from logs, it's from urxvt
08:17:55 <kmc> hi lifthrasiir
08:19:06 -!- L8D has joined.
08:19:48 <fizzie> fungot: Is your code v. p.?
08:19:48 <fungot> fizzie: ' so young a child."
08:22:22 <shachaf> fungot: what do you stand for
08:22:22 <fungot> shachaf: then, having wholly fnord his views, and fnord my very soul with the tender music of the song, it ran fnord to get along to look for it, there's no chance of a night's rest here, i'm sure you'll forgive me: for i really couldn't bring myself to say ' draws well,' is to shrug your shoulders. ' draws well,' the king replied. ' further on,' the knight suddenly began in a loud voice, waving his right arm as he spoke) " the
08:23:11 <fungot> Available: agora alice* c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube
08:23:17 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
08:23:22 <fungot> shachaf: that could simplify quite a few
08:23:33 -!- L8D has quit (Ping timeout: 248 seconds).
08:24:41 <kmc> year of the fungot
08:24:42 <fungot> kmc: when i properly javadoc my code, and a negative way of fleeing from real problems.
08:25:19 <Bike> an actor who played luigi in the movie or such died this year
08:25:24 <Bike> horrible irony
08:26:04 <kmc> i don't understand why it's year of luigi and i don't know why i'm hearing about it only in december
08:26:40 <Bike> because you haven't been paying atttention that's why
08:27:09 <fungot> shachaf: ( define-syntax letn working. but now it infinitely loops
08:29:00 <kmc> shachaf: http://sweetjs.org/ has scheme-style (or rust-style?) macros for javascript
08:29:04 <kmc> it's pretty cool
08:30:41 <shachaf> remember that javascript->javascript compiler edwardk was writing
08:33:14 <Bike> http://arstechnica.com/security/2013/12/flying-hacker-contraption-hunts-other-drones-turns-them-into-zombies/ anyone remember samy
08:43:22 -!- Frooxius has quit (Quit: *bubbles away*).
08:44:53 -!- Frooxius has joined.
08:49:15 <shachaf> kmc: did you hear about the thing where java substring() switched to copying strings
08:50:01 <shachaf> i guess so that big strings can be gced
08:50:14 <Bike> that as an exciting to consider memory leak.
08:50:32 <kmc> i wonder if a fancy gc can do that on the fly
08:50:50 <shachaf> i have wondered about that in the past
08:51:00 <kmc> there is a lot of research on gc with interior pointers, I'm sure
08:58:49 <shachaf> ion: make yourself useful, learn about categories
09:01:15 -!- FreeFull has quit.
09:07:16 -!- nisstyre has quit (Ping timeout: 245 seconds).
09:07:36 -!- pikhq_ has joined.
09:08:14 -!- nisstyre has joined.
09:08:37 <shachaf> ion: You should figure out whether that thing about limits and the terminal object is true.
09:10:03 -!- nisstyre has quit (Disconnected by services).
09:10:08 <ion> It’s false.
09:10:20 -!- nisstyre has joined.
09:10:31 -!- fizzie` has joined.
09:11:31 <shachaf> You should find a counterexample.
09:12:17 -!- hogeyui has quit (*.net *.split).
09:12:19 -!- fizzie has quit (*.net *.split).
09:12:19 -!- pikhq has quit (*.net *.split).
09:13:13 -!- fizzie` has changed nick to fizzie.
09:13:41 <fizzie> Huh. Everything broke.
09:13:58 <olsner> what did you think would happen?
09:14:42 <fizzie> The wlan is gone, my workstation does not let me log in, the university shell servers do not answer from the outside either.
09:15:17 <fizzie> And the website redirects to a "wwwdown" host that has front page news from April.
09:16:01 <fizzie> (Non-work 3G and interwebs at home still works.)
09:16:19 <ion> Non-work 3G sounds like it shouldn’t work.
09:17:19 <fizzie> Looks like it's a site for a scheduled network break at that time.
09:17:56 -!- Sellyme has quit (Excess Flood).
09:19:22 <fizzie> (This is http://aalto.fi/ I'm talking about. If it's not fixed already.)
09:19:47 -!- Sellyme has joined.
09:21:35 -!- hogeyui has joined.
09:22:21 -!- Sellyme has quit (Excess Flood).
09:24:17 -!- Sellyme has joined.
09:25:12 <fizzie> We just switched these workstations to university accounts the other week, otherwise I might even have a chance of logging in.
09:25:43 <olsner> can't you switch them back to local accounts?
09:27:03 <fizzie> By "we" I meant the IT administrative people of the department. We're not authorized to do much anything to them.
09:27:53 <fizzie> I guess technically I could boot from a memory stick if I really wanted to.
09:32:16 <fizzie> We asked for more disk space recently, maybe they tried to add some and accidentally the entire university system while they were at it.
09:36:23 <fizzie> "Aallon IT-palveluissa on häiriö. Vian syytä selvitetään parhaillaan. #aalto #aaltouni" at least the twitter account still works.
09:40:57 <fizzie> TIL: gnome-screensaver's login screen, if you leave it idle, says (ominously) "Time has expired." right before reblanking the screen.
10:05:56 -!- Sellyme has quit (Excess Flood).
10:08:48 -!- Sellyme has joined.
10:10:26 <fizzie> Heh, all the doors have also locked themselves. (They still accept keycards, but even doors that are normally unlocked at this time of day are locked.)
10:14:41 <kmc> "A truck carrying "dangerous" radioactive medical material has been stolen near Mexico City, the UN's nuclear watchdog says."
10:15:49 <shachaf> For some reason I went back to #haskell after more than a month of being away.
10:16:02 <shachaf> It turns out it's terrible.
10:16:25 <shachaf> 02:08 <arbn> BoR0: Just wave your hands vigorously while saying "unwrap" and look annoyed.
10:16:30 <shachaf> 02:14 <tovarish> bind is the operation to use the magic wand
10:17:00 <kmc> perhaps it will collapse into a black hole of terribleness
10:17:24 <fizzie> `run grep -h terrible wisdom/*
10:17:26 <HackEgo> brainfuck is the integral of the family of terrible esolangs. \ Gregor took forty cakes. He took 40 cakes. That's as many as four tens. And that's terrible.
10:18:43 <shachaf> Everyone will leave and it'll become a cesspool of stupid jokes and clueless bad advice and such.
10:19:43 <kmc> pretty sure i gave my share of bad advice and stupid jokes when i was new there
10:19:50 <kmc> maybe it's a never ending thing
10:20:29 <kmc> a shepard tone of shit
10:21:01 <shachaf> Maybe I thought it was good due to having bad taste.
10:21:05 <shachaf> Or maybe being less grouchy.
10:45:55 -!- MindlessDrone has joined.
10:46:25 <FireFly> `run grep terrible wisdom/* | cut -d: -f1
10:46:27 <HackEgo> wisdom/brainfuck \ wisdom/gregor
10:50:27 <fizzie> `run grep -l terrible wisdom/* # easier
10:50:29 <HackEgo> wisdom/brainfuck \ wisdom/gregor
10:59:06 <fizzie> Android swipe keyboard is refusing to type "fuck". It keeps saying duck instead.
11:00:07 <FireFly> Oh, there's a flag for that
11:00:15 <lifthrasiir> it may be the case that duck is now a synonym to fuck.
11:13:39 -!- qlkzy has left.
11:25:14 -!- qlkzy has joined.
11:26:13 -!- nooodl has joined.
11:45:50 -!- qlkzy has quit (Excess Flood).
11:49:34 <int-e> prodanities be damned.
11:51:33 <int-e> Maybe, but I just replaced "f" by "d".
11:52:51 -!- carado has joined.
11:54:16 -!- qlkzy has joined.
11:54:43 -!- qlkzy has left.
12:04:06 -!- Sellyme has quit (Excess Flood).
12:04:47 -!- Sellyme has joined.
12:11:40 -!- Lymia has joined.
12:49:07 -!- Phantom_Hoover has joined.
12:56:12 -!- Phantom__Hoover has joined.
12:57:50 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
12:58:11 -!- Sgeo has quit (Read error: Connection reset by peer).
12:58:33 <ion> http://www.break.com/video/ugc/a-minecraft-convention-is-as-awkward-as-you-think-2546224
13:01:30 -!- yorick has joined.
13:05:28 -!- boily has joined.
13:05:43 -!- metasepia has joined.
13:09:55 -!- Sellyme has quit (Excess Flood).
13:10:18 -!- Sellyme has joined.
13:23:29 <lambdabot> mrhmouse asked 14h 34m 2s ago: sing me a song
13:23:43 -!- Lymia has quit (Ping timeout: 246 seconds).
13:24:04 <boily> @tell mrhmouse play me my song... ♪♪ here it comes again ♪
13:33:23 <nooodl> i felt sorta bad for the one kid who asked a pretty clear question and just got ignored, though
13:38:12 -!- Phantom_Hoover has joined.
13:40:52 <boily> there are some weird things going on in the logs... apparently I said «<boily> “oh baby... give up and use mushroom hunting ♪”» once...
13:41:13 -!- Phantom__Hoover has quit (Ping timeout: 265 seconds).
13:42:27 <int-e> ruddy, hunt me some mushroom
13:42:27 <ruddy> there are some weird things int-e, you? int-e, surely int-e, totes
13:43:48 <int-e> oh well, ddg helped.
13:44:23 <boily> ddg helped? BLASPHEMY!
13:44:27 <metasepia> or TOTE, standing for "Test - Operate - Test - Exit", is an iterative problem solving strategy based on feedback loops.
13:45:18 <int-e> boily: what, why, what do you thing ddg means?
13:47:04 <boily> int-e: this, because, this means duck duck go.
13:59:52 <boily> you are not seeing them. they are akin to fungot's fnords. hth.
13:59:52 <fungot> boily: the receiver is ( lambda ( f. g)...) where the begin really is just as stupid
14:05:23 -!- L8D has joined.
14:06:45 <boily> hm. apparently the `ello doesn't bind on “L”.
14:18:25 -!- tertu has joined.
14:26:07 -!- tertu has quit (Read error: Connection reset by peer).
14:36:01 -!- Lymia has joined.
14:36:25 <FireFly> ruddy: are you sentinent yet?
14:36:26 <ruddy> `olist huh, he hasn't yes, i didn't know they haven't done so yet? olist 930 no one did this yet? really?: ruddy oerjan sgeo FireFly have we tried the "pick which image from this set matches x criteria" approach yet?
14:36:28 <HackEgo> olist huh, he hasn't yes, i didn't know they haven't done so yet? olist 930 no one did this yet? really?: ruddy oerjan sgeo FireFly have we tried the "pick which image from this set matches x criteria" approach yet?: shachaf oerjan Sgeo FireFly
14:36:35 <ruddy> olist 930 no `olist huh, he hasn't yes, i didn't know they haven't `olist 930 no one did this yet? really? tertu sgeo ruddy HackEgo tertu sgeo ruddy HackEgo
14:37:11 -!- mrhmouse has joined.
14:41:18 <mrhmouse> FireFly: you managed to get rυddy to invoke HackEgo?
14:42:15 <FireFly> I think it decided to invoke HackEgo itself
14:42:19 -!- FreeFull has joined.
14:43:15 <mrhmouse> Just avoiding spamming the channel with its nonsense this early :P (Well, early in my timezone)
14:44:36 <HackEgo> [U+03C1 GREEK SMALL LETTER RHO] [U+0075 LATIN SMALL LETTER U] [U+0064 LATIN SMALL LETTER D] [U+0064 LATIN SMALL LETTER D] [U+03B9 GREEK SMALL LETTER IOTA]
14:44:59 <int-e> wow, ruddy exhibits more loop potential :)
14:44:59 <ruddy> there wow, what a movie wow, no break-in period! wow, that command actually works wow, thanks for showing that
14:45:23 <boily> @localtime mrhmouse
14:46:05 <mrhmouse> I still don't know what format lambdabot expects from that.
14:46:31 <lambdabot> Local time for boily is Wed, 04 Dec 2013 09:46:29 -0500
14:47:09 <int-e> `run echo -e '\001TIME 123\001'
14:47:47 <int-e> I believe that's the format, but as a NOTICE to lambdabot (and without hackego's replacement of control characters.)
14:50:19 <int-e> (CTCP uses PRIVMSG for requests, and NOTICE for replies; the \001...\001 marks the protocol; ... has a command first followed by arguments.)
14:51:32 -!- Phantom__Hoover has joined.
14:52:16 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
15:05:01 -!- variable has joined.
15:05:28 <fungot> fizzie: i've thought of throwing words on to a better low-level interface and use it
15:06:10 <fizzie> RAW >>> :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG fungot :Plugin `localtime' failed with: Prelude.init: empty list <<<
15:06:10 <fungot> fizzie: the book mentioned that bbs case where the natural number n and makes bf interpret bf... n times, and lisppaste its table?
15:06:13 <fungot> FireFly: undefined variable ' cd'.
15:06:21 <fizzie> I seem to recall it just printed out what it got, verbatim.
15:06:37 <fizzie> (I tried to have it say something "funny".)
15:11:28 <boily> fungot, stop being sentient.
15:11:28 <fungot> boily: i don't know if a value is entirely dependent on the stuff. :p))) als)), right
15:11:50 <boily> @localtime metasepia
15:11:53 <lambdabot> Local time for metasepia is Wed Dec 4 10:11:52 EST 2013
15:13:03 <boily> the time is right, the timezone is right, I'm just very surprised that my bot answers @localtime.
15:13:30 <mrhmouse> Is that not a feature of metasepia? o.O
15:13:40 -!- nisstyre has quit (Ping timeout: 260 seconds).
15:14:15 <fizzie> More sentient bots, I guess?
15:14:36 <boily> mrhmouse: metasepia is mysterious.
15:14:51 <mrhmouse> as long as ruddy doesn't become sentient..
15:14:51 <ruddy> eventually communication will become impossible heero <reply> my hero.|<reply> become an heero|cannot as long as we're golfing 3 vertical long lines huh, . in c and -> in c both become . in rust it's become something of a running pastime for this channel, now and again
15:18:56 <metasepia> --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi
15:48:45 <mrhmouse> boily: so yesterday I was looking for content to feed to ruddy, and I realized that I have all of the English subtitles for Nichijou..
15:48:52 <ruddy> star but no actual content oh i just looking at the content of the stack nevermind, i've just realized i had the milestone filter turned on... right, i just realized that's not necessarily the same ] in all cases
15:49:59 <boily> mrhmouse: the implications titillate me.
15:51:11 <boily> ruddy: 日本語をしゃべることができますか？
15:51:39 <boily> ruddy, ruddy ruddy?
15:51:56 <boily> ruddy: what about nipponifying you? do you accept?
15:51:57 <ruddy> will you? boily, thank you? how are you? where are you?
15:52:29 <boily> he will. thank us after the deed. I'm having trouble staying awake. in Montréal.
16:01:07 -!- conehead has joined.
16:03:54 <boily> mroman_: yeah, there was a linux meetup on the other side of the city.
16:03:55 -!- Sprocklem has joined.
16:04:05 <boily> s/mroman_/mrhmouse/
16:05:01 <boily> mroman_: not enough. I want to take further classes, but my current schedule conflicts with stuff that conflicts with other stuff that happens to happen at the same time as things.
16:07:39 <boily> mrhmouse: informal meeting with a presentation, food, weird people...
16:08:58 <boily> tonight, I'm attending the Montréal Haskellers Meetup :D
16:09:23 <boily> that one is going to be very promising. it happens at a nice place, not too far away, and you know, Haskell!
16:10:01 <boily> http://www.randolphpub.ca/
16:16:53 -!- oerjan has joined.
16:19:27 * oerjan swats ruddy for the fake `olist -----###
16:20:15 <ruddy> you've never asked me hth you've got to then you've been c++-infected. we're going to have to put you out, sorry. at least until you've used haskell and see how great it is who needs 3d glasses when you've got a beret and a casio calculator but you don't find out that you've lost until about 6 hours later
16:22:46 <oerjan> `addquote <Bike> i'm ten pages in to an ethernet-phy manual and i'm pretty sure the internet is impossible
16:22:50 <HackEgo> 1141) <Bike> i'm ten pages in to an ethernet-phy manual and i'm pretty sure the internet is impossible
16:25:01 <oerjan> <shachaf> oh so p. <-- i feel p. and w. and b. ?
16:26:31 <oerjan> one of my great dilemmas when i become world dictator will be whether to abolish sleep or not.
16:26:57 <oerjan> because, damn time zones and people not being online.
16:27:07 <oerjan> but also, damn sleep so good
16:35:46 <boily> the other Great Dilemma is: are you going to promote bokmål or nynorsk?
16:39:33 <oerjan> also the people in metropolitan france have to learn quebecois french, and vice versa.
16:40:24 -!- Taneb has joined.
16:41:32 <boily> oerjan: messemble.
16:44:15 -!- impomatic has quit (Ping timeout: 260 seconds).
16:46:10 <oerjan> i assume that's an example, since gt cannot understand it.
16:47:05 <boily> «messemble» → «il me semble» → “it seems to me”, used in a sarcastic manner, much like “yeah right.”
16:47:22 -!- Phantom_Hoover has joined.
16:47:50 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds).
16:51:38 * oerjan fixes some horrendous grammar at the top of wp's Québécois and Québécois people articles
17:00:29 <oerjan> <boily> ~duck totes <-- http://www.sheldoncomics.com/archive/130325.html
17:01:59 -!- Sprocklem has quit (Ping timeout: 260 seconds).
17:22:11 -!- oerjan has quit (Quit: leaving).
17:23:27 -!- Sprocklem has joined.
17:30:11 -!- augur has quit (Remote host closed the connection).
17:30:37 -!- augur has joined.
17:33:44 -!- Phantom__Hoover has joined.
17:34:26 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
17:35:00 -!- augur has quit (Ping timeout: 245 seconds).
17:38:45 <Taneb> Does anyone know of a fun-looking INTERCAL program that preferably can fit into a single slide
17:50:44 -!- Tod-Autojoined has joined.
17:51:41 -!- Tod-Autojoined2 has quit (Read error: Connection reset by peer).
18:06:38 -!- ^v has joined.
18:27:51 -!- augur has joined.
18:38:06 -!- Sprocklem has quit (Ping timeout: 240 seconds).
18:44:16 <tromp__> did you check the Comprehensive INTERCAL Archive Network ?
18:44:46 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds).
18:48:43 -!- Egbert9e9 has left.
18:54:25 <boily> @tell oerjan goats are nice. I like goats. they are fluffy.
18:56:35 <Taneb> tromp__, I did not
19:00:54 -!- Bike has quit (Ping timeout: 246 seconds).
19:02:52 -!- Bike has joined.
19:04:43 <int-e> haha. "You can also download the compiler via gopher: gopher.intercal.org.uk (IPv6 only)"
19:05:00 * int-e tries to find an ipv6 capable gopher client.
19:06:15 <boily> int-e: can I get the URL? I am curious.
19:08:13 <int-e> this? gopher://gopher.intercal.org.uk or this? http://intercal.freeshell.org/download/
19:09:40 <boily> I'll be gophering away, and see if it ipv6es...
19:11:06 <boily> well. it seems to work. downloading from gopher://gopher6.intercal.org.uk/1C-INTERCAL
19:11:53 <int-e> lynx works. that's ... almost boring.
19:12:29 <boily> firefox/overbite works.
19:14:20 <int-e> I guess I had not used gopher in 15 years.
19:14:39 <int-e> Naybe a bit less, possibly as low as 12.
19:17:37 <shachaf> oerjan: or "p. and w. and g." if you prefer
19:17:58 <boily> pretty and with and grok?
19:18:12 <shachaf> please fix HackEgo/ruddy interaction thx
19:18:35 <boily> please let ruddy Invoke the Power of HackEgo.
19:18:36 <ruddy> boily, i you managed yes, please the only chance you have is to get ruddy to invoke boily, really also, won't people be offended if i put religious texts in? ruddy, you made boily, right? ruddy, boily: you're both cute imo boily, meat ruddy. ruddy, this is boily. some people here tried matchmaking boily and ruddy, with no avail.
19:19:05 * boily strokes his cute beard
19:19:19 <shachaf> previously ruddy activated `olist
19:19:19 <ruddy> `olist (931) `olist (932) `olist 930 no one did this yet? really? it seems faster now with 224 kb than previously with 36kb but this does give me the idea to give `olist an incrementing counter.
19:19:21 <HackEgo> olist (931) `olist (932) `olist 930 no one did this yet? really? it seems faster now with 224 kb than previously with 36kb but this does give me the idea to give `olist an incrementing counter.: shachaf oerjan Sgeo FireFly
19:19:36 <ruddy> `olist (931) previously boily activated `olist 930 no one did this yet? really? `olist (931) `olist (932) `olist 930 no one did this yet? really? it seems faster now with 224 kb than previously with 36kb but this does give me the idea to give `olist an incrementing counter. but this does give me the idea to give `olist an incrementing counter.
19:19:37 <HackEgo> olist (931) previously boily activated `olist 930 no one did this yet? really? `olist (931) `olist (932) `olist 930 no one did this yet? really? it seems faster now with 224 kb than previously with 36kb but this does give me the idea to give `olist an incrementing counter. but this does give me the idea to give `olist an incrementing counter.: shac
19:20:06 <mrhmouse> shachaf: what does lambdabot use? zero-width space?
19:21:32 <shachaf> I don't know what the deal is with carious cross-bot interactions. Some bots have special cases for other bots.
19:21:48 <shachaf> I also don't know who runs ruddy.
19:21:49 <ruddy> okay, shachaf. never changing okay, shachaf. okay, shachaf. thanks, shachaf. thint-e.
19:22:15 <ruddy> @help run ``run run okay, mrhmouse. okay, mrhmouse. okay, mrhmouse.
19:22:16 <lambdabot> run <expr>. You have Haskell, 3 seconds and no IO. Go nuts!
19:22:17 <shachaf> I think ^O as the first character would probably work in IRC.
19:22:28 <ruddy> i guess thanks again for that tip about infants. i possibly the same thing that happens to all such things, like pesoix and psox. (a quiet death, that is.)
19:23:17 <kmc> ruddy on rails
19:23:26 <kmc> nice song ruddy
19:23:26 <ruddy> sing me a song kmc asked 14h 34m 2s ago: sing and now i have the title song in my head why does that look like a gy!be song title to me... nice
19:24:59 <ruddy> nighty night good night late night last night? anyway, good night now
19:25:03 -!- ruddy has quit (Remote host closed the connection).
19:25:35 -!- ruddy has joined.
19:25:46 <olsner> hmm, I think I haven't used gopher since I last used IBM's OS/2 web browser which iirc had gopher
19:27:29 <mrhmouse> kmc: yes, boily taught ruddy to sing I think
19:29:00 <kmc> well done boily
19:29:05 <FreeFull> Firefox used to have gopher built in
19:29:25 <boily> FreeFull: it had, but now you need to overbite it.
19:29:41 <boily> ruddy: sing him a song.
19:29:56 <boily> shachaf: seems that I shall be the one to sing you a song.
19:30:32 <mrhmouse> I think ruddy knows Row Your Boat
19:30:34 -!- muskrat has joined.
19:30:54 * boily sings a Canadian song, full with maple syrup, Québécois, beavers, pierogies, polar bears and hockey ♪
19:31:01 <int-e> ruddy wants a cracker!
19:31:02 <ruddy> and nobody wants to be illegal,
19:31:34 <ruddy> row god mollification is a big one, it's harder for chaotics harder and
19:31:50 <olsner> just do whatever rows your boat, ruddy
19:31:54 <boily> ruddy: you switched gods in a DCSS run?
19:31:55 <ruddy> we just switched these workstations to you
19:32:21 <boily> ruddy, why won't you shachaf?
19:32:22 <ruddy> mine does boily, have you met but no guarantees i won't go stale
19:32:26 <nooodl> that's clearly nethack
19:32:35 <boily> nooodl: DCSS I say.
19:33:06 <nooodl> god mollification *is* harder for chaotics in nethack. dcss doesn't even have alignments. also i remember it being ais523 talking about nethack? vaguely
19:33:14 <mrhmouse> if it can't find a suitable response, ruddy just stays silent. sorry, shachaf :P
19:33:57 <quintopia> mrhmouse: make it say "i don't know, what do you think, fungot?"
19:33:57 <fungot> quintopia: an error: integer division or modulo by zero...
19:34:22 <shachaf> ruddy: you're not a suitable response
19:34:23 <ruddy> more the internet fight or fight response
19:34:52 <mrhmouse> quintopia: I think ruddy is beyond my control at this point
19:34:54 <shachaf> ruddy: ♪ is that your only song ♪
19:34:56 <ruddy> shachaf ♪ hey shachaf ♪
19:35:05 <int-e> fight or flight, ruddy?
19:35:07 <boily> nooodl: “If the penance is reduced to zero you get the "<god> seems mollified." message.”
19:35:21 * int-e feels ignored by ruddy.
19:35:29 <boily> elliott: have you crawled you DCSS today?
19:35:43 <mrhmouse> int-e: ruddy also doesn't respond to /me or notices
19:35:43 <shachaf> ruddy: ♪ i like bugs, i like bugs, i like bugs, i like bugs ♪
19:35:45 <ruddy> `pastelogs ♪ shachaf ♪ hey
19:36:06 <ruddy> ♪ shachaf ♪ hey shachaf ♪
19:36:16 <mrhmouse> good thing I added that zero-width space.. it's pretty fond of invoking other bots lately
19:36:39 <FireFly> ruddy: what do you think of your fellow bots?
19:36:42 <ruddy> do you like cats? do shit
19:37:02 <fungot> FireFly: as the leftmost will be the wired connection between them.
19:37:08 <quintopia> mrhmouse: no, i mean, make that the fallback message when otherwise nothing would be said.
19:37:18 <FireFly> I guess it hasn't met fungot yet
19:37:18 <fungot> FireFly: don't swear. all of this stuff. might as well do it tomorrow. ' night
19:38:02 <int-e> good night fungot ;-)
19:38:03 <fungot> int-e: i dont know what to expect? it's never even explicit in that post?
19:38:30 <int-e> well, that was just mean. condescending, and mean.
19:39:02 <int-e> fungot and ruddy have bad bot personalities.
19:39:02 <fungot> int-e: i've lost the remote anyway.
19:40:25 <FireFly> ruddy: give us a better one, then
19:40:26 <int-e> so is there any bot chatter spinoff of #esoteric?
19:40:27 <ruddy> you have doomed us all
19:41:01 <FireFly> surprisingly fitting. possibly
19:41:04 <ruddy> night nighty night
19:41:07 -!- ruddy has quit (Remote host closed the connection).
19:41:26 -!- ruddy has joined.
19:41:32 -!- Sprocklem has joined.
19:41:46 <mrhmouse> ruddy: supercalifragilisticexpialidocious
19:42:30 <boily> ruddy: who is Sprocklem? why does he emulate Bike?
19:42:32 <ruddy> I don't know. What do you think, fungot?
19:43:01 <boily> mrhmouse: not quite nearly it.
19:43:11 <fungot> boily: i'm not. :( i'd really not fancy restarting it. if i had
19:43:23 <Bike> wait, am i being emulated?
19:43:24 <FireFly> ...or however you produced the list of ignored nicks
19:43:24 <boily> fungot: STOP BEING SENTIENT. I am disturbed.
19:43:24 <fungot> boily: the biggest problems of an fnord
19:43:44 <FireFly> boily: such is the life of a fungot
19:43:45 <fungot> FireFly: me still has the source.
19:43:47 <boily> Bike: I was subtly referring to you tendency to disconnect and rejoin.
19:44:12 <Bike> i'll get a bouncer by next year, i swear
19:44:21 <fungot> olsner: methinkx it was a interpreter on a very flimsy pretext. clearly you're actually a british secret agent. i am /still/ confused. you want a
19:44:45 -!- ruddy has quit (Remote host closed the connection).
19:45:08 -!- ruddy has joined.
19:45:36 <mrhmouse> int-e: what was the #esoteric variant for spammy text, again?
19:46:33 <int-e> coming from #haskell I expect #esoteric-blah, #esoteric-overflow and #esoteric-in-depth
19:46:58 <mrhmouse> boily, please direct your mapole towards Bike.
19:47:06 <mrhmouse> int-e: I think #esoteric-blah was it
19:47:25 <int-e> I like the ring of "#esoteric-in-depth"
19:47:49 * boily kinetically directs his mapole towards Bike
19:48:45 <int-e> boily: help? you're beyond help, I'm afraid.
19:49:31 <FireFly> int-e: you know, #haskell is a tad bigger
19:50:00 <int-e> FireFly: really now? And what are you doing about that? *g*
19:50:22 <int-e> . o O ( /mode +i #haskell ... hmmm. )
19:50:39 -!- zzo38 has joined.
19:51:04 <int-e> (clearly inviting a whole channel is a sorely missing feature of IRC servers)
20:05:01 <b_jonas> int-e: with freenode extended banmasks, you can give invite exempt to nicks joined to some other channel,
20:05:17 <b_jonas> or I think you can even quiet everyone who isn't joined on a particular other channel,
20:05:35 <b_jonas> with some permission limits.
20:06:13 -!- Bike has quit (Ping timeout: 246 seconds).
20:07:44 <zzo38> Why do you need this?
20:08:58 <int-e> zzo38: because it's nicely esoteric
20:10:56 <zzo38> Can you invite exempt everyone who is banned on the other channel?
20:12:04 <kmc> Esoteric Lens sounds like a D&D item
20:13:41 <zzo38> But what is its purpose? Does it have anything to do with the "Lens" in Haskell?
20:14:03 -!- zzo38 has quit (Quit: zzo38).
20:14:36 <int-e> I'd like to think that it is really focussed on esoteric matters.
20:16:50 <b_jonas> zzo38: no, I don't think you can do that with an extban,
20:17:06 <b_jonas> zzo38: but you could do it with an active bot that follows the other channel
20:18:18 * boily adds an item for his next Paranoïa campaign... “esoteric lens”
20:19:44 -!- evalj has joined.
20:19:59 <HackEgo> evalj: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
20:20:29 <b_jonas> zzo38: in fact, such a bot would be a fun application of the +D user mode
20:21:45 <boily> abort! abort! `unelcome evalj!
20:24:58 -!- conehead has quit (Quit: Computer has gone to sleep.).
20:26:13 <`^_^v> binary trees in the wild: https://pbs.twimg.com/media/BYDmkLSCEAEQZQa.png
20:26:46 <kmc> "Paranoïa" eh
20:27:43 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^_^v:: not found
20:28:51 <boily> kmc: I couldn't leave the word undiæresised.
20:42:16 -!- impomatic has joined.
20:42:20 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bf: not found
20:51:43 -!- Sprocklem has quit (Ping timeout: 246 seconds).
20:58:54 <boily> !bf +++++++++++++++++++++.
21:05:17 -!- conehead has joined.
21:16:28 <boily> ++++++++[>+>++>+++>++++>+++++>++++++>+++++++>++++++++>+++++++++>++++++++++>+++++++++++>++++++++++++>+++++++++++++>++++++++++++++>+++++++++++++++>++++++++++++++++<<<<<<<<<<<<<<<<-]>>>>>>>>>>---.+++<<<<<<<<<<>>>>>>>>>>>>>>>+.-<<<<<<<<<<<<<<<>>>>>>>>>>>>>>--.++<<<<<<<<<<<<<<>>>>>>>>>>>>>----.++++<<<<<<<<<<<<<>>>>>>>>>>>>>>>++.--<<<<<<<<<<<<<<<>>>>>>>>>>>>>+.-<<<<<<<<<<<<<>>>>.<<<<>>>>>>>>>>>>>+.-<<<<<<<<<<<<<>
21:16:30 <boily> >>>>>>>>>>>>>+++.---<<<<<<<<<<<<<<>>>>.<<<<>>>>>>>>>>>>+.-<<<<<<<<<<<<>>>>.<<<<>>>>>>>>>>>>++.--<<<<<<<<<<<<>>>>>>>>>>>>>>-.+<<<<<<<<<<<<<<>>>>>>>>>>>>>>>----.++++<<<<<<<<<<<<<<<>>>>>>--.++<<<<<<.
21:17:13 -!- muskrat_ has joined.
21:19:47 -!- muskrat has quit (Disconnected by services).
21:19:50 -!- muskrat_ has changed nick to muskrat.
21:20:38 -!- sebbu has quit (Ping timeout: 240 seconds).
21:26:49 <HackEgo> 2013-12-04 19:48:10: <Bike> help
21:29:21 -!- evalj has quit (Remote host closed the connection).
21:31:45 <FireFly> ruddy: settle things for us
21:32:26 <shachaf> ruddy: what's going on in here
21:32:34 -!- Sprocklem has joined.
21:32:37 <shachaf> ruddy: i love monoids. they are so easy.
21:32:39 <ruddy> I don't know. What do you think, fungot?
21:32:52 <shachaf> fungot: well? answer the nice bot
21:32:52 <fungot> shachaf: if you define a clone operation and have objects you want fnord handle it.
21:33:09 <fungot> shachaf: that's not linux, that's mmixware. http://people.csail.mit.edu/ rahimi/ helmet/ impossible, you mean? isn't it wiliki? http://www.kollektiv-hamburg.de/forcer/ fnord
21:33:09 <ruddy> <shachaf> shachaf, ruddy: as
21:33:15 -!- MindlessDrone has quit (Quit: MindlessDrone).
21:35:15 <boily> <ruddy> <ruddy> <ruddy>.
21:35:15 <ruddy> I don't know. What do you think, fungot?
21:35:35 <boily> fizzie: please nore ruddy.
21:35:52 <boily> fizzie: see, even he agrees.
21:36:03 <boily> (nore: v.t. to unignore.)
21:36:56 <mrhmouse> I still haven't gotten ruddy to sing "row, row, row your boat"...
21:36:58 <ruddy> row, row, row your boat
21:37:58 <shachaf> ruddy: tell me a story about pineapples and fountain pens and wheat
21:38:00 <ruddy> I don't know. What do you think, fungot?
21:39:17 <int-e> !bf ++++++++[>+>++>+++>++++>+++++>++++++>+++++++>++++++++>+++++++++>++++++++++>+++++++++++>++++++++++++>+++++++++++++>++++++++++++++>+++++++++++++++>++++++++++++++++<<<<<<<<<<<<<<<<-]>>>>>>>>>>---.+++>>>>>+.-<--.++<----.++++>>++.--<<+.-<<<<<<<<<.>>>>>>>>>+.->+++.---<<<<<<<<<<.>>>>>>>>+.-<<<<<<<<.>>>>>>>>++.-->>-.+>----.++++<<<<<<<<<--.++<<<<<<.
21:39:59 <mrhmouse> Hrm. I would think ruddy at least knows about pineapples.
21:40:01 <ruddy> nobody knows yet.
21:40:22 <int-e> pineapple ruddy ruddy pineapply pie
21:40:50 <HackEgo> Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, therefore making it a class 6 vegetable.
21:41:09 <boily> heh. one of my best wisdoms, if I may say so ^^
21:42:27 <FireFly> `run cd wisdom; ? $(ls | shuf -n 1)
21:43:28 <FireFly> `run ? $(cd wisdom | ls | shuf -n 1)
21:43:30 <HackEgo> bash: -: command not found
21:43:55 <boily> `run ? $(cd wisdom | ls | shuf -n 1)
21:43:57 <HackEgo> bash: -: command not found
21:43:58 * FireFly wonders why he wrote a pipe there
21:44:10 <FireFly> `run ? $(cd wisdom; ls | shuf -n 1)
21:44:12 <HackEgo> bash: -: command not found
21:44:26 <HackEgo> bash: -: command not found
21:44:32 <boily> I think the it is got.
21:44:49 <HackEgo> Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, therefore making it a class 6 vegetable.
21:45:02 <FireFly> `run \? $(cd wisdom; ls | shuf -n 1)
21:45:05 <HackEgo> A cocoonspirator is a collaborator wrapped in caterpillar silk
21:45:13 <boily> hm. another creation of mine.
21:46:16 <boily> `run \? $(cd wisdom; ls | shuf -n 1)
21:46:18 <HackEgo> A cocoonspirator is a collaborator wrapped in caterpillar silk
21:46:28 <boily> `run \? $(cd wisdom; ls | shuf -n 1)
21:46:31 <HackEgo> A cocoonspirator is a collaborator wrapped in caterpillar silk
21:46:45 <Taneb> Help I am really tempted to create a Haskell compiler
21:46:50 <boily> `run \? $(cd wisdom; ls -1 | shuf -n 1)
21:46:53 <HackEgo> A cocoonspirator is a collaborator wrapped in caterpillar silk
21:46:57 <Taneb> Due to being at York and the York Haskell Compiler being utterly dead
21:47:07 <int-e> !bf +++++++++++[>++++>+++>+++++++>+++++++++++>++++++++++<<<<<-]>>>.>.>.----------.<+.>+++++.<<<-.>>>.<-------.<<.>>>--------.<<<.>>>+.<----.+++++.<<<++.
21:47:11 <Taneb> I KNOW NOTHING OF COMPILERS THAT IS A SECOND YEAR MODULE
21:47:21 <int-e> there, a bit shorter.
21:53:56 <FireFly> Taneb: just rely on the interwebs instead, it'll probably work out okay
21:54:09 <Taneb> FireFly, also right now I am really busy
21:54:19 <Taneb> I have to right a talk on esolangs in the next 21 hours
21:54:34 <boily> have you read your SICP today?
21:54:37 <FireFly> maybe postpone the haskell compiler for 24-or-so hours
21:55:13 <boily> talking about talking about esolangs, what happened to jsvine?
22:03:26 -!- Sorella has joined.
22:04:02 -!- Sorella has quit (Changing host).
22:04:02 -!- Sorella has joined.
22:07:13 <HackEgo> Sorella: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
22:07:47 <Taneb> Also why the hell do I still watch all the totheark videos
22:08:15 -!- sebbu has joined.
22:08:26 <boily> there are still new episodes? I dropped MH a long time ago. not enough stuff happening.
22:09:23 -!- conehead has quit (Ping timeout: 272 seconds).
22:09:57 <Taneb> boily, I dropped it ages ago
22:10:03 <Taneb> Never bothered to drop totheark
22:16:58 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif).
22:17:04 <boily> are there any worthwile horror series on youtube anymore? I want to be scared and terrified and disquieted.
22:17:15 -!- ^v has joined.
22:17:18 <boily> (the best kind of videos there is! I watch them just before going to bed.)
22:18:19 <Taneb> boily, House of Leaves is a good bedtime read
22:18:53 <boily> I want to buy a copy. I've been bumping into it countless times on tvtropes, never to read the spoilers.
22:20:43 -!- ^v has quit (Client Quit).
22:21:01 -!- ^v has joined.
22:22:46 -!- Bike has joined.
22:23:57 <metasepia> CYUL 042200Z 15003KT 15SM FEW065 OVC075 01/M02 A3016 RMK SC1AC7 SLP214
22:24:08 <kmc> ~metar KSFO
22:24:08 <metasepia> KSFO 042156Z 06003KT 10SM CLR 11/M04 A3002 RMK AO2 SLP166 T01061044
22:24:29 -!- Sprocklem has quit (Ping timeout: 252 seconds).
22:25:08 <boily> time to go disappear so somewhere else where there are boardgames and beers.
22:25:25 -!- boily has quit (Quit: CHICKEN TRADING PROGRAMME).
22:25:25 -!- metasepia has quit (Remote host closed the connection).
22:25:48 <mrhmouse> @tell boily "Marble Hornets" is supposedly good, according to my SO. I haven't watched it, myself.
22:26:42 <Taneb> mrhmouse, boily had just said he's got bored of MH
22:27:10 -!- oerjan has joined.
22:27:29 <mrhmouse> Taneb: Ah, I didn't catch what the abbreviation was for. Thanks!
22:27:48 <mrhmouse> @tell boily Ignore that; I collect socks.
22:30:17 <oerjan> hm it seems to be sock synchronicity day
22:31:03 <kmc> sockpair(2)
22:31:14 <lambdabot> boily said 3h 36m 48s ago: goats are nice. I like goats. they are fluffy.
22:31:18 <shachaf> Bike: so btw i know about real-sided matrices now
22:31:29 <Bike> orly how's that work out
22:31:32 <Taneb> shachaf, are they like matrices of solidarity
22:31:43 <shachaf> except they're not the linear algebra sort of matrix
22:31:53 <Bike> so not the "matrix" sort of matrix
22:31:54 <shachaf> they're the CHU SPACE SORT OF MATRIX HA HA HA
22:32:09 <shachaf> (a chu space is just a matrix)
22:32:20 <Bike> do you actually have to go all the way up to chu spaces
22:32:25 <shachaf> I.e. a function : X x A -> K
22:33:57 -!- muskrat has quit (Quit: Leaving).
22:34:13 <oerjan> `run echo "A Chu space is just a matrix. Taneb invented them, then Chu stole his invention." >wisdom/chu\ space
22:36:46 <Taneb> Also, if I've got an ethernet cable running directly from my computer to my RPi how can I work out the IP of the RPi to ssh?
22:40:01 -!- conehead has joined.
22:40:58 <kmc> it won't necessarily have one
22:41:48 <kmc> probably it tried to get one using DHCP but your computer probably isn't running a DHCP server
22:42:04 <kmc> you could run a DHCP server, or set addresses manually on either end with ifconfig
22:42:10 <kmc> or use link-local IPv6 addresses
22:42:35 -!- Taneb has quit (Read error: Operation timed out).
22:42:36 <kmc> oh I guess IPv4 has those too
22:42:56 -!- augur has quit (Remote host closed the connection).
22:44:26 -!- Taneb has joined.
22:44:57 <Taneb> Slower than wirelss
22:45:05 <HackEgo> Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards, and five genders. (See also: d-modules)
22:45:46 <shachaf> oerjan: the important thing about chu spaces isn't what they are but what the morphisms between them are
22:46:16 <Taneb> Right, now I have no way to get onto my RPi
22:46:42 <Taneb> I rely on my desktop's wireless connection and plug my RPi into the socket in the wall thing
22:47:05 -!- conehead has quit (Ping timeout: 245 seconds).
22:48:14 <HackEgo> shachaf sprø som selleri and cosplays Nepeta Leijon on weekends.
22:49:15 <Bike> what's wrong with being cosplayed as by shacha
22:49:51 <shachaf> in dual russia, tree cosplays you!
22:52:11 -!- atriq has joined.
22:53:24 <FireFly> In Coratia, tree cosplays you
22:54:06 <shachaf> that's not a country. it's not even an untry
22:54:31 <shachaf> there are so many countries that start with co
22:55:19 -!- mrhmouse has quit (Quit: Leaving.).
22:55:53 <kmc> five genders? "gender is five but men have only one name for it"
22:56:09 -!- carado has quit (Ping timeout: 246 seconds).
22:56:20 -!- mrhmouse has joined.
22:56:36 -!- mrhmouse has quit (Client Quit).
22:56:38 -!- Taneb has quit (Ping timeout: 264 seconds).
22:56:43 -!- atriq has changed nick to Taneb.
23:02:34 -!- Bike has quit (Ping timeout: 240 seconds).
23:02:44 <shachaf> perhaps san jose is self-dual
23:03:35 <FreeFull> Dual Las Vegas is somewhere in Kansas
23:03:54 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif).
23:04:12 -!- ^v has joined.
23:05:34 <oerjan> colombia, costa rica, comoros, are there any others
23:06:38 <oerjan> right. this list also has côte d'ivoire
23:09:19 <oerjan> and cook islands is on this other list
23:09:33 <oerjan> (the only non-un member)
23:13:06 <oerjan> i think we may have discussed that before
23:14:02 <shachaf> how many ør- countries are there
23:14:36 -!- Bike has joined.
23:15:03 <oerjan> there's this municipality named ørland north of the fjord here, though
23:15:05 <Bike> i spent twenty earth dollars on a stereo dac with jack for my fpga that i have no idea how to use because i'm a foolish fool
23:16:03 <oerjan> maybe i should take it over and start conquering the world from it.
23:16:19 <oerjan> i will ironically leave neighboring bjugn out of my empire.
23:16:45 <shachaf> Bike: how much is that in america dollars
23:16:48 <oerjan> (they've been failing to agree to merge for years)
23:19:32 <Bike> shachaf: probably at least eleven?
23:25:36 -!- Phantom_Hoover has joined.
23:28:18 <FreeFull> How many countries start with Po?
23:30:03 <Bike> two, looks like.
23:30:41 <Bike> five to seven for co-, also
23:31:53 <Bike> according to wikipedia, yes. right between the philippines and pridnestrovie or qatar.
23:32:32 <Bike> (pridnestrovie is de jure part of moldova)
23:34:32 <kmc> are you looking at english endonyms only?
23:34:36 <kmc> er. exonyms.
23:34:50 <Bike> well, except that pridnestrovie is 'transnistria' in english most of the time.
23:35:20 <kmc> the first time I went to Europe I was like "really, everyone has a different name for every city, are you sure this isn't an elaborate practical joke"
23:35:42 <Bike> i assume that's the european version of pronouncing 'worcester'.
23:35:48 -!- nisstyre has joined.
23:36:01 <Taneb> Bike, what's weird about "Wooster"
23:36:32 <Bike> the one in new england, taneb.
23:37:31 <Bike> you kind of uh, slur the r. i don't know if it's slurring exactly
23:37:41 <Bike> i think it basically boils down to spitting on the foreigner.
23:38:15 -!- Phantom__Hoover has joined.
23:38:33 <Bike> huh, did you know pakistan doesn't recognize armenia's sovereignty
23:38:55 -!- tertu has joined.
23:39:24 <Taneb> My mum lived in Pakistan for a bit as a child
23:39:33 <kmc> somebody make a graph of which countries don't recognize each other
23:39:52 <Bike> kmc: because pakistan is buds with azerbaijan
23:40:00 <kmc> a graph of which widely recognized countries don't recognize each other, and another of which mostly not recognized countries do recognize each other
23:40:17 <Taneb> iirc Turkey does not recognize Cyprus?
23:40:29 <Bike> according to wikipedia there isn't much in that way, it's basically israel, cyprus, armenia, china, and the koreas
23:40:36 <Taneb> kmc, how do you pronounce "kmc"?
23:40:38 <Bike> for un states anyway
23:40:48 <kmc> Taneb: i don't use it in speech but uh as three letters i guess
23:40:50 <kmc> my name's keegan
23:41:02 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
23:41:04 <FireFly> "kmc" is pronounced "keegan" I guess
23:41:06 <Bike> hm, i supose that means that azerbaijan recognizes armenia.
23:42:15 <kmc> relationship status of Azerbaijan and Armenia has changed to "It's complicated"
23:42:18 <Bike> there is this whole network of eastern european breakaway states though
23:42:25 <Bike> that all recognize each other but nobody else does
23:42:34 <Bike> (except russia)
23:44:42 -!- muskrat has joined.
23:45:56 -!- ter2 has joined.
23:46:56 <oerjan> well apparently russia doesn't recognize transnistria either.
23:48:10 <Bike> ok, well, they still have a consolate there. also the army.
23:48:49 -!- tertu has quit (Ping timeout: 246 seconds).
23:48:53 <kmc> the US is moving its Holy See embassy into the same building complex as the Italian embassy
23:49:03 <kmc> and a bunch of people got upset that this means the US doesn't think the Holy See is a "real country" anymore
23:49:07 <kmc> and i was like …
23:51:43 <Bike> nobody in my circuits class wants to do boolean algebra ;_;
23:51:44 <oerjan> it's going to be in italy anyway, because the vatican state is too small to fit its embassies, i think.
23:52:09 <shachaf> Bike: hmm tell me about boolean algebra
23:52:12 -!- tertu has joined.
23:52:15 <oerjan> Bike: make an intuitionist logic circuit instead hth
23:52:25 <Bike> shachaf: uh, what don't you know
23:52:31 <shachaf> in particular complete atomic boolean algebras
23:52:34 * oerjan wonders how well kripke models work in hardware
23:52:40 -!- Taneb has quit (Ping timeout: 246 seconds).
23:52:48 <Bike> oerjan: i did think of jokingly bringing up double negation being controversial but it wouldn't have been funny
23:53:12 <kmc> you should tell people that the axiom of infinity is a large cardinal axiom, as well
23:53:20 <kmc> (speaking of the vatican?)
23:53:28 <shachaf> Bike: for instance what are they
23:53:52 <Bike> algebras over {0,1}?
23:53:54 <shachaf> kmc: these axioms are better anyway: http://arxiv.org/pdf/1212.6543v1.pdf
23:54:19 <shachaf> complete atomic boolean algebras?
23:54:26 <Bike> man i don't fucking know this is engineering
23:54:38 -!- ter2 has quit (Ping timeout: 240 seconds).
23:55:07 <oerjan> i don't think atomicity can be expressed with equations.
23:55:08 <shachaf> the point is that the dual chu set to the one representing a set is a caba
23:55:41 <shachaf> Bike: what do you think of those axioms
23:55:41 <oerjan> shachaf: that's just stone duality, no?
23:56:06 <Bike> "A model of the equational theory of the algebra of all operations on {0,1} of arity up to the cardinality of the model is called a complete atomic Boolean algebra"
23:56:13 <oerjan> which is something chu spaces generalize (i just cleaned up the references in wp's chu space article)
23:56:20 <Bike> i think i don't really give a damn about axioms most of the time
23:56:56 <shachaf> oerjan: Do you think you could switch X and A in the Wikipedia page?
23:57:06 <shachaf> See the [Note] at the top of http://chu.stanford.edu/
23:58:05 <kmc> shachaf: neat
23:58:35 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds).
23:59:45 <oerjan> hm there's an agreement between the holy see and italy that the same person cannot be ambassador to both