00:07:13 -!- ^v has joined. 00:09:40 -!- Sgeo has joined. 00:09:59 i wonder if i can convince the prof that seeing what an hdl system synthesizes to on the fpga would be educational 00:10:25 HDL system? 00:10:47 I think it would be helpful to see such things 00:11:02 Fiora: i was going to say 'verilog program' but that's not really a thing 00:11:32 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:12:59 ah 00:15:30 but hey, i turned a monitor red. i am a god. 00:18:57 -!- nooodl has quit (Ping timeout: 252 seconds). 00:20:34 hooray 00:20:51 vga is surprisingly simple to understand even though i'm still terrible at it. 00:21:24 there's something amusing about running a fancy-ass flatscreen monitor with a specification designed for cathode ray guns 00:21:47 (i could call them tubes, but guns are cooler) 00:22:23 I am also using a flatscreen monitor with VGA 00:22:33 rayguns 00:23:07 The VGA pinout is listed in the book that comes with the monitor, even. 00:23:19 i can turn Bike's monitor red 00:23:24 -!- Oj742 has quit (Ping timeout: 246 seconds). 00:23:33 what! 00:23:45 Bike 00:23:51 this project only uses a few of the color pins. amazing three-bit color depth. 00:24:04 that's a lot of bits 00:24:37 This lists "Hot Plug Detect", "SDA", and "SCL" which are things I don't know. 00:24:50 sexay 00:25:07 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 However, VGA is analog video rather than digital, and has a display data channel. 00:36:25 Bike: make an o-scope 00:36:33 ꙮ-scope 00:36:37 a digital oscilloscope? 00:38:32 presumably 00:40:05 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 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 Bike: Yes you can make the converter like that 00:42:14 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 how many things have you invented 00:42:40 I don't know. 00:44:01 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 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 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 you're an incredible person, zzo. 00:51:08 -!- Sellyme has joined. 00:51:20 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 Do you know if DOSBox can emulate composite video mode? 00:52:01 -!- Phantom_Hoover has quit (Quit: Leaving). 01:17:01 https://events.ccc.de/congress/2013/Fahrplan/events/5394.html hot damn 01:17:10 "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 i have moved on to animating a moving square. worship me 01:18:42 kmc: that sounds good 01:19:06 is it going to be recorded or whatever it is they do 01:22:51 i think so 01:22:57 Bike: is this building to a particular project? 01:23:21 -!- ^v has quit (Remote host closed the connection). 01:23:25 nah, it's all in the homework 01:23:36 i think i could make pong though 01:23:54 though i have no idea how the angle computation works. 01:24:00 Bike: does that mean you can soon explain what a quadrilateral is? 01:24:10 for bounces? 01:24:15 yeah. 01:24:26 everything you can bounce off in pong is axis-aligned right? 01:24:29 did the original pong just have all perpendicular bounces? i've only played it once 01:24:31 so you just flip the sign on one of the velocities 01:24:38 does that work? hm 01:24:53 i'm used to modern breakouty games where the angle changes based on the paddle speed 01:25:13 imo implement plasma pong 01:25:28 Bike: huh, like proper galilean transformation? 01:25:49 http://www.youtube.com/watch?v=SHsYjWm8XSI yeah these aren't perpendicular 01:25:52 imo implement hugz 01:26:10 @hug shachaf 01:26:10 http://hackage.haskell.org/trac/ghc/newticket?type=bug 01:26:13 oerjan: given this is an atari it's probably not proper anything... 01:26:38 but you can see them demonstrate that the reflecting angle varies based on paddle velocity 01:26:43 Bike: i mean if the angle changes based on speed 01:27:08 i mean that it might get near that but it will basically be a hack. 01:27:24 hm 01:27:47 ideally the ball speed should also change 01:27:50 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 I think the ball speed also changes. 01:28:07 -!- Sprocklem has quit (Ping timeout: 260 seconds). 01:28:09 although only horizontally, hm 01:28:23 maybe i should just make an atari. 01:29:55 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 kmc: this game is weird 01:30:33 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 maybe you need a 59.94Hz clock instead 01:31:37 guess not for VGA tho 01:31:47 i don't get it. 01:32:18 and actually the frequency will be a bit different i suppose... 01:32:28 NTSC-US is 29.97 fps 01:32:29 > 100000000 / (800 * 525) 01:32:30 238.0952380952381 01:32:33 you had me thinking about TVs 01:32:36 well that's probably wrong 01:32:44 kmc: i have no idea how tvs work ;_; 01:33:01 Bike: i have no idea how tvs work either 01:33:09 as a matter of fact, i don't even own one 01:33:19 well neither do i, but still. 01:33:27 i only have even heard of ntsc and pal from game emulation people. 01:35:03 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 hm wouldn't the proper reflection algorithm just be: v = vp-(v-vp) or v = 2*vp - v 01:36:17 why no trig 01:36:20 so you just do the usual thing, then add twice the paddle velocity 01:36:45 kmc: no trig that would involve me writing cosine circuits, anyway 01:36:47 oh wait 01:36:59 maybe they want you to use a lookup table 01:37:13 which is basically the same as hardcoding a set of points around a circle 01:37:21 that's obviously wrong 01:37:29 -!- Sellyme has quit (Excess Flood). 01:38:01 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 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:06 how boring. 01:42:29 well any speed from the paddle would have to be imparted through friction, right? 01:42:37 or MAGNETS 01:42:45 maybe. 01:42:55 anyway not by a totally elastic collision. 01:43:24 right. 01:44:44 magnets tho 01:45:17 magnets 01:45:25 https://www.youtube.com/watch?v=JDQOvzFetxs 01:46:12 -!- drlemon has quit (Remote host closed the connection). 01:50:24 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:14 oerjan: are you talking breakout? 02:18:47 in a general sense yes 02:19:04 oerjan: billiard breakout is the most fun, where you can put some english on it with the paddle and get curved trajectories 02:19:22 wat 02:20:09 -!- Bike has joined. 02:20:30 now that i'm on an analog crusade, next i should figure out how to repair earbuds 02:22:01 headphones tend to have tiny wires that are awful to solder 02:22:51 damn. 02:23:16 zzo38: someone a few years ago implemented enough of a NES to play games, i hear 02:23:20 in my class, i mean 02:23:45 quintopia: i've never seen that, can you give me an example in mindless internet game form 02:24:05 Bike: nope 02:24:17 you bastard 02:27:05 Bike: just write one yourself 02:27:59 i don'tthink i really get the concept 02:28:47 especially given that i've never played billiards. 02:30:17 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 and the paddle can impart torques around an axis perpendicular to the plane of motion 02:30:51 that's all you need to make it possible 02:31:06 correctly implement the physics and everything else handles itself 02:31:18 i'd like to remind you that i am as far as "square moving at constant velocity" 02:32:36 it's never too late to learn to fizzix 02:34:12 -!- qlkzy has quit (Excess Flood). 02:36:23 i want to go to a physics class taught by fizzie 02:36:28 fizzie's fizzix 02:36:39 do you know any fizzix fizzie? 02:36:45 -!- qlkzy has joined. 02:38:57 i fear this idea will fizzle out. 02:42:33 oh phooey 02:46:44 -!- Lymia has joined. 02:49:47 fungot: do you know any fizzix 02:49:47 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 hm, my fpga board apparently doesn't have a serial port 02:51:35 "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 (from aaronson's blog) 02:52:02 oh, you use a... virtual serial over usb 02:52:06 that seems kind of ridiculous. 02:53:00 lots of things have those 02:53:08 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 that's also how you program arduinos 02:53:42 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 the former's what i got :V 02:53:58 (what's AVR again) 02:54:00 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 "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 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 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 Which is just a fancy arrowy way of talking about global elements, which you then generalize to a generalized element. 03:00:42 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 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 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 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 (also the css was ugly as hell, which i think i mentioned back then) 03:24:26 saw this today http://i.imgur.com/ojwJZ2H.jpg 03:24:27 *mentioned here 03:24:38 looks like a tree grew around this power line and then they cut off the part above and below the line 03:25:08 oh 03:25:15 cyborg trees 03:33:33 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 Are there foot-pedals that can attach to a computer like a keyboard and will function as media control keys? 03:34:47 yes 03:34:51 you can buy USB foot pedals on ebay 03:35:14 also the Kinesis Advantage has a foot pedal accessory, and you can bind them to any key on the keyboard 03:35:22 (although I don't remember if it has media keys in the first place) 03:35:35 Bike: AVR is a line of popular 8-bit microcontrollers from Atmel 03:35:37 now i want my computer desk to have - to need - a carburator 03:35:42 kmc: oh ok 03:36:03 (well there's also AVR32 but it's a completely different thing) 03:37:08 kmc: I am looking for the foot-pedals themself; I already have a keyboard. 03:37:34 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 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 the Guitar Hero for Xbox controller has a whammy bar and is USB 03:59:11 zzo38: what are you going to use your pedals for? 03:59:18 zzo38: i mean, what activity 03:59:51 quintopia: To play, stop, and rewind an audio file, clearly. 04:00:06 So that it can be done even when working on something else too. 04:00:24 zzo38: oh right i should have known. carry on. 04:01:40 Does anyone else think it would be useful like this too? 04:02:22 i think there are analog tape recorders with pedals 04:02:25 you could use one 04:02:51 I do have a tape recorder but it doesn't have pedals and isn't usable with the computer. 04:05:49 (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 "In terms of scalability, there is a clear winner throughout our experiments." 04:08:30 I misread that as "in our thought experiments" 04:11:57 -!- Sprocklem has joined. 04:14:02 for you bfjousters http://www.scottaaronson.com/blog/?p=1558#comment-89317 04:14:30 (and elliott) 04:15:22 @tell elliott http://www.scottaaronson.com/blog/?p=1558#comment-89317 04:15:22 Consider it noted. 04:31:22 -!- floret has quit (Quit: Leaving). 05:03:24 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 "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 "It is easy to define a new control structure just by defining a function. 05:38:43 " 05:38:46 I hate you 05:38:54 ? 05:38:57 what did i do 05:38:58 what's wrong with that statement 05:39:39 Definining one's own control structures (well, imperative ones) has little to do with laziness in Haskell 05:39:54 And more to do with the monadic view of IO 05:40:09 yes, but not all control structures are imperative ones 05:40:13 how about things like if 05:40:18 if is a p. good control structure 05:40:29 conditionals are p.erfectly good control structures 05:41:31 -!- Sellyme has quit (Excess Flood). 05:44:22 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 well that's the motivation for monadic IO yeah 05:45:31 Eh, sort of. 05:45:42 You could do IO the way Haskell does it in a strict language just as well. 05:45:55 sure, i just mean i can see it being motivating 05:45:57 right, but there's less reason to 05:46:09 at least until you've used Haskell and see how great it is 05:46:09 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 Purity is valuable on its own. 05:46:15 it's a /historical/ motivation 05:46:16 right 05:46:17 In practice laziness was a motivation, I suppose. 05:46:30 SPJ says so, so it's hard to argue with it. 05:46:38 here's where i go a long tangent about lakatos 05:46:57 pls do 05:51:52 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 or something like that, anyway. 05:55:14 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:00 'often' 05:56:27 and the 'rationalized' is supposed to allude to, like, not having to go through heat equations to understand fourier series :p 05:57:11 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 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 zzo, meanwhile, is fully on the axiomatic side 05:59:42 I think "reasonable, rather than merely logical, steps" is almost always a good idea. 06:00:09 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 Oh I forgot to erfdate 06:45:33 -!- trout has quit (Remote host closed the connection). 06:49:18 what 06:51:00 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 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 apparently urxvt has a literal "print screen" key shortcut and i keep hitting it by accident 08:14:28 so i have all these printouts of #esoteric in my livin' room 08:14:40 reason #9999 to disable cups by default 08:15:43 dude i literally did that 08:15:56 that sounds unexceptionally great 08:15:58 -!- lifthras1ir has changed nick to lifthrasiir. 08:16:18 i have a physical printout of MEANWHILE IN /R/BITCOIN/ and shachaf wondering about generalizations of matrices 08:16:39 :-( 08:16:54 I shouldn't talk in logged channels. Especially not in publicly logged channels. 08:17:01 It's a v. bad habit. 08:17:13 it's not from logs, it's from urxvt 08:17:36 Yes. Even so. 08:17:55 hi lifthrasiir 08:19:06 -!- L8D has joined. 08:19:48 fungot: Is your code v. p.? 08:19:48 fizzie: ' so young a child." 08:19:59 Sounds suspicious. 08:21:45 i feel p. 08:21:48 oh so p. 08:21:50 wow 08:21:53 kmc, hi 08:22:22 fungot: what do you stand for 08:22:22 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 ^style 08:23:11 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:16 ^style irc 08:23:17 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 08:23:22 i miss the old fungot 08:23:22 shachaf: that could simplify quite a few 08:23:33 -!- L8D has quit (Ping timeout: 248 seconds). 08:24:41 year of the fungot 08:24:42 kmc: when i properly javadoc my code, and a negative way of fleeing from real problems. 08:25:19 an actor who played luigi in the movie or such died this year 08:25:24 horrible irony 08:26:04 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 because you haven't been paying atttention that's why 08:27:09 fungot: fnord 08:27:09 shachaf: ( define-syntax letn working. but now it infinitely loops 08:29:00 shachaf: http://sweetjs.org/ has scheme-style (or rust-style?) macros for javascript 08:29:04 it's pretty cool 08:30:15 is it p. sweet 08:30:20 m. 08:30:41 remember that javascript->javascript compiler edwardk was writing 08:30:46 yes 08:30:52 it had some g. things 08:31:17 c. 08:33:14 http://arstechnica.com/security/2013/12/flying-hacker-contraption-hunts-other-drones-turns-them-into-zombies/ anyone remember samy 08:41:35 no 08:43:22 -!- Frooxius has quit (Quit: *bubbles away*). 08:44:53 -!- Frooxius has joined. 08:49:15 kmc: did you hear about the thing where java substring() switched to copying strings 08:49:32 no 08:50:01 i guess so that big strings can be gced 08:50:14 that as an exciting to consider memory leak. 08:50:17 was* 08:50:32 i wonder if a fancy gc can do that on the fly 08:50:50 i have wondered about that in the past 08:51:00 there is a lot of research on gc with interior pointers, I'm sure 08:58:49 ion: make yourself useful, learn about categories 08:59:09 ok! 08:59:18 thx 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 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 It’s false. 09:10:20 -!- nisstyre has joined. 09:10:31 -!- fizzie` has joined. 09:11:31 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 Huh. Everything broke. 09:13:58 what did you think would happen? 09:14:42 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 And the website redirects to a "wwwdown" host that has front page news from April. 09:15:42 April 1? 09:16:01 (Non-work 3G and interwebs at home still works.) 09:16:19 Non-work 3G sounds like it shouldn’t work. 09:16:31 April 18th. 09:17:19 Looks like it's a site for a scheduled network break at that time. 09:17:45 maybe it got delayed 09:17:56 -!- Sellyme has quit (Excess Flood). 09:19:22 (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 We just switched these workstations to university accounts the other week, otherwise I might even have a chance of logging in. 09:25:43 can't you switch them back to local accounts? 09:27:03 By "we" I meant the IT administrative people of the department. We're not authorized to do much anything to them. 09:27:53 I guess technically I could boot from a memory stick if I really wanted to. 09:32:16 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 "Aallon IT-palveluissa on häiriö. Vian syytä selvitetään parhaillaan. #aalto #aaltouni" at least the twitter account still works. 09:40:57 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 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 "A truck carrying "dangerous" radioactive medical material has been stolen near Mexico City, the UN's nuclear watchdog says." 10:15:49 For some reason I went back to #haskell after more than a month of being away. 10:16:02 It turns out it's terrible. 10:16:25 02:08 BoR0: Just wave your hands vigorously while saying "unwrap" and look annoyed. 10:16:30 02:14 bind is the operation to use the magic wand 10:16:34 etc. etc. 10:17:00 perhaps it will collapse into a black hole of terribleness 10:17:06 It's possible. 10:17:24 `run grep -h terrible wisdom/* 10:17:26 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 Everyone will leave and it'll become a cesspool of stupid jokes and clueless bad advice and such. 10:19:29 yeah 10:19:43 pretty sure i gave my share of bad advice and stupid jokes when i was new there 10:19:50 maybe it's a never ending thing 10:20:29 a shepard tone of shit 10:20:43 I did also. 10:21:01 Maybe I thought it was good due to having bad taste. 10:21:05 Or maybe being less grouchy. 10:45:55 -!- MindlessDrone has joined. 10:46:25 `run grep terrible wisdom/* | cut -d: -f1 10:46:27 wisdom/brainfuck \ wisdom/gregor 10:50:27 `run grep -l terrible wisdom/* # easier 10:50:29 wisdom/brainfuck \ wisdom/gregor 10:57:16 branfuck 10:59:06 Android swipe keyboard is refusing to type "fuck". It keeps saying duck instead. 11:00:07 Oh, there's a flag for that 11:00:15 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 prodanities be damned. 11:50:57 prodamnities? 11:51:33 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 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:22 good morning! 13:23:29 @messages-loud 13:23:29 mrhmouse asked 14h 34m 2s ago: sing me a song 13:23:43 -!- Lymia has quit (Ping timeout: 246 seconds). 13:24:04 @tell mrhmouse play me my song... ♪♪ here it comes again ♪ 13:24:04 Consider it noted. 13:32:30 ion: ouchhhh 13:33:23 i felt sorta bad for the one kid who asked a pretty clear question and just got ignored, though 13:34:37 (4:21) 13:38:12 -!- Phantom_Hoover has joined. 13:40:52 there are some weird things going on in the logs... apparently I said « “oh baby... give up and use mushroom hunting ♪”» once... 13:41:13 -!- Phantom__Hoover has quit (Ping timeout: 265 seconds). 13:42:27 ruddy, hunt me some mushroom 13:42:27 there are some weird things int-e, you? int-e, surely int-e, totes 13:42:40 totes. totoes?! 13:43:48 oh well, ddg helped. 13:44:23 ddg helped? BLASPHEMY! 13:44:27 ~duck totes 13:44:27 or TOTE, standing for "Test - Operate - Test - Exit", is an iterative problem solving strategy based on feedback loops. 13:45:18 boily: what, why, what do you thing ddg means? 13:47:04 int-e: this, because, this means duck duck go. 13:58:16 those "s huh 13:59:52 you are not seeing them. they are akin to fungot's fnords. hth. 13:59:52 boily: the receiver is ( lambda ( f. g)...) where the begin really is just as stupid 14:05:23 -!- L8D has joined. 14:06:10 `ello L8D 14:06:13 L8Dello 14:06:32 `ello l8d 14:06:33 l8dello 14:06:45 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:13 hi ruddy 14:36:14 hi 14:36:25 ruddy: are you sentinent yet? 14:36:26 `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 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:31 ... 14:36:35 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 FireFly: you managed to get rυddy to invoke HackEgo? 14:42:15 I think it decided to invoke HackEgo itself 14:42:19 -!- FreeFull has joined. 14:42:46 rυddy. creative 14:43:15 Just avoiding spamming the channel with its nonsense this early :P (Well, early in my timezone) 14:43:27 ρuddι ρuddι 14:44:34 `unidecode ρuddι 14:44:36 [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 wow, ruddy exhibits more loop potential :) 14:44:59 there wow, what a movie wow, no break-in period! wow, that command actually works wow, thanks for showing that 14:45:10 haha. 14:45:23 @localtime mrhmouse 14:46:05 I still don't know what format lambdabot expects from that. 14:46:29 @localtime boily 14:46:31 Local time for boily is Wed, 04 Dec 2013 09:46:29 -0500 14:47:09 `run echo -e '\001TIME 123\001' 14:47:11 .TIME 123. 14:47:47 I believe that's the format, but as a NOTICE to lambdabot (and without hackego's replacement of control characters.) 14:48:27