00:03:45 -!- BeingToDeath has quit (Ping timeout: 240 seconds). 00:05:41 -!- Bicyclidine has quit (Ping timeout: 264 seconds). 00:08:39 -!- conehead has quit (Ping timeout: 276 seconds). 00:21:52 -!- yorick has quit (Remote host closed the connection). 00:27:56 * boily is a little bit overwhelmed by all those minecraft mods. just a little bit. in fact, I'm completely terrified. 00:28:53 * olsner just finished baking in the middle of the night 00:29:22 midnight baking. that's one activity I never tried yet. 00:29:32 (midnight coffee and other fluids, tho...) 00:29:32 the book said "about 2h", but I think it took more like 5 00:29:44 what were you cooking? 00:30:00 granted, the last hour and half was more watching a movie waiting for things to cool down 00:30:23 and at least 1h of dough raising time 00:31:02 sounds like something bready. 00:32:13 basically http://en.wikipedia.org/wiki/Cinnamon_roll but I did them different shapes and only half the batch with cinnamon 00:32:40 the other half with almond paste 00:33:56 oooooooh... 00:35:15 (something ostensibly like http://lillafavoriten.com/wp-content/uploads/bild-32.jpg, but not even nearly as pretty) 00:38:23 weird. very weird. that may be the first picture I ever saw that progressively loaded to the left. 00:38:37 `olist 00:38:45 954 is out? :D 00:39:04 olsner: something about Fettisdag, and that special royal pastry. 00:40:10 it's probably loading progressively from the top, but also includes jfif tags saying it's rotated 00:40:30 that can also give you progressive loading from the bottom 00:41:08 -!- conehead has joined. 00:41:33 boily: nah, just ordinary swedish fika ... my turn to bake for tomorrow 00:43:19 fettisdagen is before lent, whenever that is 00:44:16 eh, anyway, good night 00:44:36 bolsnernne nuit! 00:49:59 -!- Bike has quit (Ping timeout: 252 seconds). 00:50:40 olsner, is it... regular... ordinary swedish fika 00:51:49 -!- Bike has joined. 01:08:41 -!- Bike has quit (Ping timeout: 264 seconds). 01:09:22 -!- boily has quit (Quit: IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII). 01:10:00 @tell boily needs more chicken 01:10:01 Consider it noted. 01:10:14 -!- Bike has joined. 01:16:35 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 01:19:59 -!- TodPunk has quit (Read error: Connection reset by peer). 01:20:16 -!- Tod-Autojoined has joined. 01:33:51 What's with .json extensions? They say nothing about the meaning of the thing, just the format? 01:35:01 isn't that true in some sense for most file extensions 01:35:12 .xml 01:37:05 what about it 01:37:28 I know I've seen .xml, I may have been hallucinating .json 01:37:36 -!- conehead has quit (Quit: Computer has gone to sleep). 01:37:37 . 01:37:37 i have seen .json 01:37:51 XML files may or may not describe their own meaning internally 01:43:05 in C++ a method's local variables can have automatic or static storage, but I wonder if there are other langugaes where you can also do object storage 01:43:17 i.e. the variable implicitly becomes a bit of member data, which is only visible within that method 01:43:33 this isn't really possible in C++, where you need to know an object's layout without seeing the implementations of all its methods 01:44:17 it would seem fairly useful, though 01:44:54 possibly good for concurrency 01:45:12 What makes this different than member variables of the object? 01:45:19 other than scoping 01:45:26 the implicitness 01:45:45 the idea is you have a method that has some local variables, and they're made into fields of the object rather than locals of the function 01:46:35 So it's a purely syntactic distinction 01:47:33 Uh, no? 01:47:39 scp: scoping is the whole point 01:47:48 what makes a static local different from a file-level static or a global? 01:48:06 (the answer is time of initialization, but i'm ignoring that for the moment) 01:48:38 (these would be initialized on first call, like static locals, because you can't name them in the constructor or initializer list) 01:48:42 well that varies by language too. But yes, the fundamental difference is that two functions can have different 'static int foo's 01:48:47 (but I don't remember if that's guaranteed threadsafe) 01:49:50 -!- Burton has joined. 01:53:03 ISTR g++ has a global lock for all non-POD local static initializers, which is not great 01:53:16 also I am very bad at pinball, even when sober 01:53:59 kmc: That is what the generated code suggests. Or what it did last time I looked at this, maybe a year ago. 01:54:03 is being good at pinball even possible 01:54:17 Bike: the machines showed much higher high scores than I could attain, but maybe they were hacked. 01:54:32 I did get a top 10 score on Asteroids and Tempest, though, which I found weird 01:54:35 maybe they reset them frequently 01:54:45 asteroids like, spaceship, shooting? 01:54:48 I know I've said this before but original vector Asteroids is amazingly beautiful 01:54:51 yes 01:56:05 -!- Tod-Autojoined has changed nick to TodPunk. 01:56:23 although I noticed the lines are not perfectly smooth because the DAC has only a 10 bit resolution 01:56:33 I wonder if you could fix that with a switchable low-pass filter 01:59:22 * kmc -> dinner 02:04:30 kmc: vector displays are too pretty 02:04:38 I miss my analog scope :( 02:04:47 jj2baile: has it now 02:08:44 -!- BeingToDeath has joined. 02:10:23 -!- MoALTz__ has joined. 02:13:31 -!- MoALTz_ has quit (Ping timeout: 260 seconds). 02:27:31 So, the reason the docs on x3dom.runtime were empty is because they killed x3dom.runtime 02:27:46 rip in pieces 02:31:33 No they didn't 02:31:53 rip in one piece 02:32:17 -!- blitter64 has quit (Ping timeout: 252 seconds). 02:40:14 Web pages can independently open view-source: urls now? 02:40:20 And they don't even say view-source: in the URL bar? 02:40:25 What is this world coming to? 02:41:05 https://www.youtube.com/watch?v=u7BnMnr-KSY this should explain 02:41:14 What the world is coming to 02:49:08 :/ the only reason I realized I left this 'CORS EVERYTHING' extension enabled is because something that relied on CORS broke 02:49:09 :/ :/ 02:49:12 -!- ter2 has quit (Ping timeout: 276 seconds). 02:49:26 "The 'Access-Control-Allow-Origin' header contains multiple values 'http://threejs.org, *', but only one is allowed. Origin 'http://threejs.org' is therefore not allowed access. " 03:04:19 -!- BeingToDeath has quit (Ping timeout: 240 seconds). 03:15:20 -!- ter2 has joined. 03:19:52 -!- ter2 has changed nick to tertu. 03:30:09 -!- Sorella has quit (Quit: It is tiem!). 03:41:13 -!- edwardk has joined. 03:44:01 -!- oerjan has joined. 03:58:14 -!- tertu has quit (Disconnected by services). 03:58:14 -!- ter2 has joined. 03:58:32 -!- ter2 has quit (Read error: Connection reset by peer). 04:06:17 -!- mtve has quit (Ping timeout: 264 seconds). 04:10:15 -!- conehead has joined. 04:20:41 hello party people 04:21:38 more like hangover 04:21:53 (not literally) 04:22:28 -!- M28_ has joined. 04:24:46 at the moment, i'm calling a middle ear simulator written in C, from matlab. <-- well you cannot expect labyrinthic code to be bug free hth 04:25:19 -!- M28 has quit (Ping timeout: 252 seconds). 04:25:21 * kmc looks some things up 04:25:22 oh, I get it. 04:25:54 oerjan: i was kind of hung over today 04:25:59 MIDDLE ear, FUCKER 04:26:08 oh darn 04:26:22 btw the problem was just a buffer overflow 04:26:24 -!- not^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 04:26:28 is it like normal for those to fuck up malloc data 04:26:44 brazilian coworkers and their caipirinhas 04:26:53 Bike: if it's a heap allocated buffer, yes 04:27:00 malloc metadata is typically stored right next to allocated blocks 04:27:03 darn, and here i was thinking i was interesting 04:27:09 this is one of the main ways of exploiting heap overflows 04:27:35 if the allocator does something like "foo->prev->next = foo->next" and you control those fields, then you have a write-what-where primitive 04:28:01 Bike: you should play http://io.smashthestack.org/ 04:28:09 this is clearly highly relevant to your work in computational biology 04:28:46 clearly 04:29:35 Bike: i guess my pun should have been more anvilicious :( 04:30:52 mostly i just felt shitty due to only sleeping 4 or 5 hours last night 04:30:54 that would probably have made it more clear 04:30:57 and i have no fucking idea why that was 04:30:57 aw 04:31:03 alcohol may have been a factor 04:33:18 fungot: what is your favorite alcohol 04:33:18 kmc: 2. compile the externally-called files. ( the resulting combination. ( `next from' is likely to get two versions of some other intercal compilers; types are calculated at compile time, at least to the c temporary files to object files and include files, and this is a more portable way to pop the top of the resulting value being discarded. 04:47:17 I want a browser that's not afraid to break compatibility with the web 04:47:39 Something that webmasters can strive to meet compatibility with, but is more secure for users of that browser 04:47:53 No cross-domain cookied GETs and POSTs 04:48:15 Hmm, that could make the site less secure for other browsers, if those assumptions are relied upon 05:02:11 var split = true; 05:02:11 if(split) 05:02:15 o...k.... 05:02:22 https://github.com/schteppe/cannon.js/blob/master/examples/threejs_fps.html#L185 05:03:22 i want a god that stays dead, not plays dead 05:03:31 Sgeo: we have various ideas about this kind of thing 05:03:34 mostly for perf not security 05:03:47 e.g. "asm.css" where you opt in to a faster layout algorithm that disables certain corner cases 05:04:14 and new APIs like getBoundingClientRectAsync() 05:04:57 That reminds me, is NodeJS likely to start using generators when they're available? 05:05:04 And make them well-integrated in the stdlib? 05:05:09 That would make me actually look at it 05:06:10 Sgeo: did you see http://jsfiddle.net/B85pH/2/ 05:06:50 Now I have. 05:06:51 Wat. 05:07:04 That... can't be part of the JS standard? 05:07:09 I believe it is, now 05:07:25 it would be pretty bad if your implementation had to account for the possibility that *any* function call could change the caller's scope 05:07:32 so wrt this particular power, `eval` is special syntax 05:08:25 -!- M28__ has joined. 05:08:30 huh, thought it was a security thing. Make it blatanly obvious when eval is being used 05:08:41 that's a nice side benefit I guess 05:09:24 Do setInterval and family also have this power, or just eval? 05:09:50 um, imagine what it would be like if setInterval *did* 05:10:03 http://media.bestofmicro.com/silent-pc-passive-cooling,8-C-367068-22.jpg 05:10:36 Was going to try it, then realized that.... wait, hmm, maybe it could... no... can't pass both a string and closure in, can I? 05:11:33 this is why eval with explicit environments is the superior eval 05:11:45 -!- M28_ has quit (Ping timeout: 240 seconds). 05:12:03 Sgeo: I dearly hope not even JS has a way to say "change the variable x in my scope in some random amount of time not less than some constant". 05:12:47 I wonder if Rebol has... 05:13:02 matlab does, probably 05:13:38 today i found out there's an undocumentedmatlab dot com, disproving the existence of god 05:14:55 Doesn't really count: var foo = [0]; 05:14:55 setTimeout(function(){foo[0] = 1;}, 5); 05:14:55 setTimeout(function(){show(foo[0]);}, 10); 05:15:56 Now, give me yield... 05:16:09 wait, can't you just do it with los clojures 05:16:58 I just tried it by assigning to foo directly instead of modifying array if that's what you mean. Worked. 05:17:11 bam 05:19:30 oh yeah there's that java 'randomly change all ints in the vm at random intervals' thing too 05:19:57 nondeterminism ftw 05:20:47 true become: false 05:21:03 elliott: that sounds like a good feature for intercal 05:21:17 it's for security testing, ovviously 05:21:41 true become: false. makes things go blank on Pharo 3.0. false become: true causes things to freeze 05:21:46 Hardened Intercal 05:21:51 I guess the problem here is just "race conditions exist". 05:21:54 SECal 05:21:58 it's just shared memory. 05:22:12 It would suck if messing around with this actually did something screwy outside the Smalltalk VM 05:24:54 i bet everything will go fine if you switch true and false both at once 05:25:01 become: swaps, I think. 05:25:13 why would they have different consequences then 05:25:40 "i was just talking about races, bike" yeah well you wouldn't help me think of a good name 05:26:22 elliott: it does, although I didn't think it did 05:26:42 elliott confirmed for jerk with dumb face 05:26:54 what :( 05:29:10 https://24.media.tumblr.com/f7ad90b05a4a5ff18783b09ed2de9d45/tumblr_n6kcs32i921rk8yano1_500.png 05:31:31 That looks like a BYOND game.. graphics for the dialogue are better though 06:01:25 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 06:01:46 -!- mtve has joined. 06:38:26 -!- MoALTz__ has quit (Quit: Leaving). 07:43:18 -!- slereah has joined. 08:02:02 -!- conehead has quit (Quit: Computer has gone to sleep). 08:40:03 -!- Phantom_Hoover has joined. 08:41:45 -!- Patashu has joined. 08:42:24 -!- stuntaneous has joined. 08:48:35 -!- Bike has quit (*.net *.split). 08:48:36 -!- aloril has quit (*.net *.split). 08:48:36 -!- tromp_ has quit (*.net *.split). 08:48:49 -!- Bike has joined. 08:49:08 -!- tromp_ has joined. 08:49:28 -!- aloril has joined. 08:52:40 -!- Patashu has quit (Disconnected by services). 08:52:40 -!- Patashu_ has joined. 09:03:06 eek girl genius site redesign 09:08:09 -!- EgoBot has quit (Ping timeout: 276 seconds). 09:08:50 -!- EgoBot has joined. 09:16:00 -!- esowiki has joined. 09:16:04 -!- esowiki has joined. 09:16:04 -!- esowiki has joined. 09:16:39 -!- esowiki has joined. 09:16:39 -!- glogbot has joined. 09:16:43 -!- esowiki has joined. 09:16:43 -!- esowiki has joined. 09:33:57 -!- ais523 has joined. 09:40:54 -!- oerjan has quit (Quit: leaving). 10:15:56 -!- boily has joined. 10:20:25 pong. (I saw earlier that lambdabot joined #nicta-course, so it didn't seem urgent to reply) ... for how long is this course taking place? I can add the channel to lambdabot's configuration so it will rejoin by itself when restarted. 10:20:31 uhm 10:20:38 missing privmsg. whatever. 10:22:40 no, that was a privmsg 10:22:45 just a channel privmsg 10:24:14 * impomatic didn't see any privmsg 10:24:38 impomatic: you should read more irc spec 10:25:58 ais523: you are correct as usual, but you probably know what I intended to say. 10:26:09 -!- Gregor has quit (Ping timeout: 240 seconds). 10:26:14 Not a privmsg. 10:26:16 -!- Gregor has joined. 10:26:34 ordinary messages sent to channels are privmsgs, technically speaking 10:26:41 int-e's notice is not a privmsg, but it's one of the few things that isn't 10:26:46 * ais523 notes that this is a privmsg too 10:27:06 the IRC spec won't save you this time, read the CTCP one 10:27:23 int-e: yes it will, PRIVMSG and NOTICE are defined in the IRC spec 10:27:27 test. test. un deux un deux check. 10:27:42 SQUERY is too 10:27:47 but nobody uses that 10:27:56 coppro: but then you will never see any emotes 10:27:58 what's a SQUERY? 10:28:15 a message to a service 10:28:17 just unmotivated \001 thingies 10:28:34 anyway, according to the spec, bots are supposed to talk only in notices 10:28:36 to avoid botloops 10:28:50 but that's generally ignored because mIRC's interpretation of the spec tends to outweigh the actual spec 10:28:57 at least in terms of users getting annoyed at you 10:29:13 (mIRC treats all notices as pingworthy by default, for whatever reason) 10:29:28 perhaps the IRC commands should just have had better names 10:29:50 (why would anybody POP UP a message box for a message that by specification is deemed less important than a privmsg?) 10:30:00 now if NOTICE were named REPLY ... 10:30:10 (following ais523' thought) 10:30:33 anyway. 10:30:52 ais523: yeah, the mIRC thing pisses me off 10:30:56 I wanted a privmsg targeted at a particular nickname, not a whole channel. 10:30:57 especially with regards to color codes 10:31:23 I wish a server operator had had the spine to say "no, fuck your stupid spec, I'm filtering out your color codes until you fix them" 10:31:31 @massages-loud 10:31:31 kmc said 9h 21m 30s ago: needs more chicken 10:31:43 coppro: /set hide_colors on keeps me calm and happy 10:31:50 int-e: that was my solution too 10:31:51 (irssi) 10:32:03 although the way you do that's different in Konversation 10:32:11 coppro: actually, the best response 10:32:14 is to write a bot 10:32:20 where whenever anyone uses a mIRC color code 10:32:23 it replies with a notice 10:32:28 @tell kmc I couldn't chicken yesterday, I was minecraftedly disturbed. 10:32:28 Consider it noted. 10:32:40 ais523: hahaha 10:32:52 int-e: that doesn't solve the problem 10:33:10 the problem is that mIRC has a fundamentally broken spec, and everyone else follows along because mIRC has an insane and stupid amount of momentum 10:34:03 regardless of any individual user's preference to colors, the implementation is flawed, and implementations should insist on one that works (like the one in the CTCP spec) 10:34:29 coppro: where did I write that it solved the problem? "calm and happy", ignorance is bliss. :P 10:34:52 it also doesn't solve the other big problem, which is that people use mIRC 10:36:27 Sorry, I just can't seem to get worked up on *this* minor problem (unlike many others). 10:38:50 int-e: IRC is an extremely heterogenous spec. It is frustrating that there is no standard. 10:39:05 There is the RFC, which has bad design but that no one has actually stepped up and shot 10:39:22 what's wrong with mirc's colour codes 10:39:41 it has an increasing variety of server-specific controls, as the proliferation of IRCds get their own modes (sometimes really bizarre ones) and services become more integrated with them 10:40:05 the increasing trend towards centrally adminsitered networks also leads to more of this 10:40:27 Phantom_Hoover: They are ambiguous 10:40:40 There are string/colour combinations which cannot be expressed 10:44:44 Ceci n'est pas un code de couleur 10:46:56 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 10:55:42 xmpp would probably be much better but irc has an insane and stupid amount of momentum 11:01:04 -!- boily has quit (Quit: MOMENTARY CHICKEN). 11:01:45 -!- nooodl has joined. 11:06:18 xmpp is a basis for a protocol I thought, rather than an actual protocol? 11:37:00 -!- blitter64 has joined. 11:37:40 -!- edwardk has quit (Quit: Leaving...). 11:38:02 -!- edwardk has joined. 11:49:25 -!- MindlessDrone has joined. 12:03:58 -!- Sgeo has quit (Read error: Connection reset by peer). 12:12:06 -!- blitter64 has quit (Ping timeout: 276 seconds). 12:21:56 -!- blitter64 has joined. 12:28:15 -!- edwardk has quit (Quit: Computer has gone to sleep.). 12:42:13 -!- yorick has joined. 13:01:51 -!- blitter64 has quit (Ping timeout: 252 seconds). 14:02:16 coppro: re. colour codes/unrepresentable strings, do you have any example? 14:03:19 AFAIK ^C04 is legal for switching to red, and can't be confused with anything else 14:03:54 The single-digit variants are problematic though 14:13:33 -!- edwardk has joined. 14:44:16 FireFly: What if you want ,10 in red? 14:44:34 With the default background 14:48:56 -!- mihow has joined. 14:52:17 -!- ais523 has quit. 15:03:52 FireFly: ^C is CTCP, the %C spec is mirc 15:09:52 -!- Patashu_ has quit (Ping timeout: 265 seconds). 15:11:12 http://dcoj.wmh3.com/cscos/h/ this is going to be the next big thing! 15:16:52 -!- mihow has quit (Quit: mihow). 15:18:37 -!- KingOfKarlsruhe has joined. 15:21:55 -!- lollo64it has joined. 15:22:25 -!- drdanmaku has joined. 15:28:40 -!- edwardk has quit (Quit: Computer has gone to sleep.). 15:28:49 -!- mellifluous has joined. 15:35:02 using the address of a static object to identify a resource is pretty handy 15:35:16 because then the linker takes care of assigning unique IDs, even if you have dynamically loaded plugins and what-not 15:45:20 doing dlopen()-style plugins in Rust is really easy 15:45:27 there's no particular reason it wouldn't be, but still, I was pleased 15:45:33 there's no typechecking, though :/ 15:48:09 -!- lollo64it has quit (Quit: Leaving). 15:48:14 -!- mihow has joined. 16:04:01 -!- slereah has quit (Quit: Leaving). 16:11:43 -!- edwardk has joined. 16:17:20 -!- mihow has quit (Ping timeout: 240 seconds). 16:20:06 -!- shikhin has joined. 16:20:33 -!- Bike has quit (Ping timeout: 240 seconds). 16:22:32 -!- Bike has joined. 16:28:57 -!- nooodl has quit (Ping timeout: 240 seconds). 16:29:33 -!- Sprocklem has joined. 16:37:02 -!- mihow has joined. 16:39:39 -!- MoALTz has joined. 16:50:15 -!- oerjan has joined. 17:12:20 -!- mihow has quit (Quit: mihow). 17:26:21 -!- shikhin has changed nick to lawspeaker. 17:26:28 -!- lawspeaker has quit (Disconnected by services). 17:27:10 -!- shikhin has joined. 17:28:06 -!- shikhin has changed nick to lawspeaker_. 17:28:47 -!- lawspeaker_ has changed nick to shikhin. 17:28:51 -!- nortti has changed nick to lawspeaker. 17:29:10 -!- lawspeaker has changed nick to nortti. 17:29:38 -!- nortti has changed nick to lawspeaker_. 17:29:49 -!- lawspeaker_ has changed nick to nortti. 17:32:04 -!- Slereah has joined. 17:34:29 -!- Slereah_ has quit (Ping timeout: 264 seconds). 17:34:48 -!- Sprocklem has quit (Quit: Politics are overrated). 17:42:14 FreeFull: hm oh, good point 17:42:34 coppro: CTCP is ^A, no? 17:42:50 but eh, whatever 17:45:14 -!- shikhin has quit (Remote host closed the connection). 17:48:28 It is 17:48:45 ^A is CTCP, ^C is colours 17:49:00 Test 17:49:08 17:49:24 I figured it out 17:49:39 -!- Bike has quit (Ping timeout: 260 seconds). 17:51:08 -!- Bike has joined. 17:55:53 -!- Bike_ has joined. 17:56:31 -!- Bike_ has changed nick to Bicyclidine. 17:57:05 -!- conehead has joined. 17:58:37 -!- mihow has joined. 18:02:32 FireFly: ^A is used to introduce a CTCP command. But CTCP specifies other control codes, like ^C for colours and a few other formatting characters 18:03:22 Oh, I didn't know that 18:06:30 they just aren't widely implemented because mIRC 18:06:57 and that's basically because Khaled went "here's how I do it" and presented a poorly formatted spec, and then resisted all efforts to fix it to something sane or get him to use the spec everyone else was using 18:07:05 no other irc client dev is as stubborn, so he won 18:09:41 esoteric computation medium: pulleys http://vimeo.com/93042377 18:21:45 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:25:56 `olist 954 18:26:05 erh 18:26:20 I think we've already had that one. 18:26:29 Not that HackEgo was up back then. 18:26:59 or now. 18:27:25 OR IN TWO MINUTES 18:27:48 Gregor: quick, you can make Bicyclidine be wrong if you hurry! 18:28:09 what an incentive 18:28:25 indeed, i am known for never being wrong 18:28:52 shachaf: hey it might work. 18:39:09 < int-e> coppro: /set hide_colors on keeps me calm and happy – Aww, but then you can’t see when idris-bot is showing the unit value vs. the unit type. 18:44:37 -!- HackEgo has joined. 18:45:19 ( () 18:45:19 () : () 18:45:51 ( (.).(.) 18:45:51 When elaborating an application of function Control.Category..: 18:45:51 Can't disambiguate name: Prelude.Basics.., Control.Category.. 18:46:39 ( with Basics ((.).(.)) 18:46:39 (input):0:0:Incomplete term (.) . (.) 18:46:46 bah 18:46:50 boobs? 18:47:33 c.c 18:53:05 ( the (HVect [Type, (Type, Type), (Type, ()), ((), Type), ((),())]) [((),()),((),()),((),()),((),()),((),())] 18:53:05 [((), ()), ((), ()), ((), ()), ((), ()), ((), ())] : HVect [Type, (Type, Type), (Type, ()), ((), Type), ((), ())] 18:56:19 yikes 18:57:29 (ty the 18:57:37 eh, I guess I can just do 18:57:39 ( the 18:57:40 the : (a : Type) -> a -> a 18:58:03 ( :t the 18:58:03 Prelude.Basics.the : (a : Type) -> a -> a 18:58:09 ( :doc the 18:58:09 the : (a : Type) -> (x : a) -> a 18:58:09 Manually assign a type to an expression. 18:58:09 Arguments: 18:58:09 a : Type -- the type to assign 18:58:09 x : a -- the element to get the type 19:14:03 :t ((),()) 19:14:05 ((), ()) 19:14:14 :k ((),()) 19:14:15 * 19:14:46 -!- oerjan has quit (Quit: leaving). 19:16:28 -!- mihow has quit (Quit: mihow). 19:21:43 -!- mihow has joined. 19:27:18 http://pastebin.com/uFF9LsFg spot the backdoor 19:28:06 terrible 19:54:54 -!- TodPunk has quit (Ping timeout: 276 seconds). 19:55:07 -!- mihow has quit (Quit: mihow). 19:58:27 -!- `^_^v has quit (Ping timeout: 260 seconds). 20:03:58 -!- `^_^v has joined. 20:04:01 -!- Phantom_Hoover has joined. 20:14:07 kmc: Please explain. 20:14:50 it has to do with C deals with arrays in function parameters 20:14:56 i.e., it doesn't :V 20:15:28 so master_key is just a uint8_t*. 20:17:20 spoiler: http://codepad.org/bDAlhNYy 20:17:52 Ah, nice. 20:17:57 so it uses a (probably) 64-bit key, which is enough to seem secure, but not actually secure 20:18:00 :3 20:18:21 it's enough to be secure against casual attackers, even, but not against the NSA 20:18:35 So where was this code spotted? 20:18:52 don't know 20:19:02 i got it from someone on IRC who got it from someone on Twitter 20:19:46 It was supposedly somebodys own code 20:20:00 not a deliberate backdoor, just a dumb error 20:20:09 yeah, they said they accidentally backdoored their own code 20:20:12 (presumably: if it was a backdoor you wouldn't tweet about it) 20:20:27 https://twitter.com/aris_ada this individual 20:24:55 -!- Bicyclidine has quit (Quit: leaving). 20:44:03 -!- Zuu has quit (Ping timeout: 245 seconds). 20:45:34 -!- conehead has quit (Read error: Connection reset by peer). 20:54:42 -!- Patashu has joined. 20:54:46 -!- mhi^ has joined. 20:55:06 -!- conehead has joined. 20:57:03 -!- tertu has joined. 20:58:41 http://www.slate.com/articles/technology/future_tense/2014/06/alice_bliss_robo_take_our_drug_or_programming_language_quiz.html 21:00:53 -!- nooodl has joined. 21:05:58 -!- `^_^v has quit (Ping timeout: 240 seconds). 21:12:07 -!- `^_^v has joined. 21:21:25 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 21:27:20 -!- drdanmaku has joined. 21:35:53 -!- Patashu_ has joined. 21:35:56 -!- Patashu has quit (Disconnected by services). 21:52:27 -!- Slereah has quit. 21:52:44 -!- Slereah_ has joined. 21:54:54 -!- Bike has quit (Ping timeout: 265 seconds). 21:56:18 -!- Bike has joined. 22:06:17 -!- spiette has quit (Quit: .). 22:10:01 -!- M28__ has changed nick to M28. 22:11:47 -!- yorick has quit (Read error: Connection reset by peer). 22:11:49 -!- yorick has joined. 22:20:28 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 29.0.1/20140506152807]). 22:21:02 -!- boily has joined. 22:32:27 -!- tertu has quit (Ping timeout: 260 seconds). 22:32:52 -!- tertu has joined. 22:33:13 -!- Slereah has joined. 22:34:47 -!- Slereah_ has quit (Ping timeout: 260 seconds). 22:39:01 -!- mhi^ has quit (Quit: Lost terminal). 22:39:27 -!- edwardk has quit (Ping timeout: 260 seconds). 22:44:35 -!- Sorella has joined. 23:08:54 -!- Sgeo has joined. 23:10:47 -!- scp has quit (Ping timeout: 265 seconds). 23:18:21 -!- kwertii has joined. 23:18:21 -!- kwertii has quit (Changing host). 23:18:21 -!- kwertii has joined. 23:21:53 -!- edwardk has joined. 23:35:27 -!- edwardk has quit (Ping timeout: 260 seconds). 23:36:26 -!- yorick has quit (Remote host closed the connection). 23:38:10 -!- nooodl has quit (Quit: Ik ga weg). 23:39:46 -!- mihow has joined. 23:44:59 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 23:46:22 -!- scp has joined. 23:52:57 -!- mihow has quit (Quit: mihow).