00:00:17 19:11:24: iconmaster 00:00:18 19:11:31: I did the unthinkable 00:00:18 19:11:40: I registered an account on a furry forum just to contact you 00:00:18 19:11:46: I hope you appreciate this 00:00:29 i too stalk esolang designers via furry forums 00:00:41 unthinkable 00:00:42 19:13:03: there are no crappy languages 00:00:43 19:13:06: only crappy programmers 00:00:43 no, there are also crappy languages 00:00:59 19:14:48: `quote #%%:]__t�# do you see that that is great progress taking place 00:01:00 congraultionas 00:01:11 `delquote 493 00:01:12 ​*poof* 00:01:20 `addquote #%%:]__t�# do you see that that is great progress taking place 00:01:21 496) #%%:]__t�# do you see that that is great progress taking place 00:01:33 it's nice that both quotes includes my nick, so I will get a highlight and can relive the quotes whenever they appear 00:01:44 19:19:34: `addquote iconmaster `quote iconmaster No output. Didnt think so. 00:01:44 19:19:35: 494) iconmaster `quote iconmaster No output. Didnt think so. 00:01:46 `quote iconmaster 00:01:47 493) iconmaster `quote iconmaster No output. Didnt think so. 00:01:52 `delquote 493 00:01:53 ​*poof* 00:04:00 22:17:36: "LC is a really nice language. I wasn't able to find a modern, untyped, lazy language." 00:04:01 22:17:42: LC means exactly what you think it meas. 00:04:03 come on though, lc is great 00:04:09 i've linked http://tinyconcepts.com/invaders.html that that post linksto before 00:04:14 lowercase? 00:04:19 lambda 00:04:24 no, lesbian cocks 00:04:32 mysterious 00:05:13 -!- DocHerrings has quit (Ping timeout: 250 seconds). 00:07:11 Do they exist any FPGAs that do not support any kind of design security? 00:09:49 is this because you don't like security 00:10:25 ?tell ais523 whats fpga design security 00:10:25 Consider it noted. 00:10:26 someone's insecure, huh? 00:11:58 energy drink so good but im gon be up all night :(( 00:12:16 you think you're doing bad? 00:12:32 i've spent the last 8 hours wading through german criminal law 00:12:43 It is because I don't want design security. I want it can be read/write without a special software, without keys, etc. 00:12:45 i have work tomorroy 00:12:47 *tomorrow 00:12:49 so do i 00:13:04 well it's 3 am and i need about 12 hours of sleep 00:13:14 try to beat that 00:13:15 why do you 00:13:25 are you recovering from serious trauma 00:13:28 because i have a very, very large brain. 00:13:33 or are you a toddler 00:13:36 which works so really really hard. 00:13:49 you have a hard brain? 00:14:02 ... 00:14:08 don't be a stupid 00:14:17 * cheater__ cracks a walnut with oklofok's cranium 00:14:22 practical! 00:14:31 my brain so big i can think anything. 00:14:49 can your brain think something your brain couldn't think? 00:14:49 come on gimme something and i'll think about it 00:15:05 ...i think i'm gonna need more than my usual 12 hours tonight :\ 00:15:16 ^_^ 00:15:16 no brain no 00:15:25 * oklofok enters loop 00:15:49 * cheater__ tears oklofok out of the loop, but oklofok loses a couple random limbs. 00:16:11 well all my important limbs are numb anyway so who cares. 00:16:13 -!- Gregor has set topic: Does steak love lettuce? This question is implacably hard to answer. Does an electron love a proton or a neutron? Does a man love a woman or, to be precise, does Bill love Diane? The response to this question is: no! He is obsessed and infatuated with her. He is loony and crazy about her. That is not the love of steak and lettuce, of electron and proton and neutron. | Logs: http://codu.o. 00:16:16 Foo :( 00:16:49 Won't fit. 00:16:58 you've got a nice threesome going there 00:17:04 * oklofok was so sure that was zzo38's topic 00:17:08 zzo38: I can see there :P 00:17:08 possible future cocktagon 00:17:09 *that 00:17:20 But I did see that quotation in the book titled "There Are Two Errors In The The Title Of This Book" 00:18:01 -!- Gregor has set topic: Does steak love lettuce? Does an electron love a proton or a neutron? Does a man love a woman or, to be precise, does Bill love Diane? No! He is obsessed and infatuated with her. He is loony and crazy about her. That is not the love of steak and lettuce, of electron and proton and neutron. | Logs: http://codu.org/logs/_esoteric/ and http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 00:18:17 zzo38: are there? 00:18:54 -!- elliott_ has joined. 00:18:54 -!- elliott has quit (Read error: Connection reset by peer). 00:18:58 they used that standard article trick but i can't see the other one 00:19:43 The second error is the number of errors. 00:20:01 bleh 00:21:28 -!- Wamanuz has quit (Remote host closed the connection). 00:23:41 The thing is I am trying to find some FPGA that is known exactly the format used to program it. 00:24:26 -!- pikhq has joined. 00:26:26 -!- pikhq_ has quit (Ping timeout: 252 seconds). 00:35:35 -!- oklopol has joined. 00:37:17 -!- oklofok has quit (Ping timeout: 250 seconds). 00:46:46 I found that the Atmel FPSLIC FPGA documentation is available and an open source implementation of the programs for dealing with it are available. However, how can you purchase this device? 00:48:23 -!- CakeProphet has quit (Ping timeout: 255 seconds). 00:51:40 Letting a phone with a glass screen slip underneath a couch pillow is a bad idea. 00:54:24 -!- Wamanuz has joined. 01:05:09 hey 01:05:15 what if i don't sleep and just go to work now 01:05:28 -!- pikhq has quit (Read error: Operation timed out). 01:06:35 -!- pikhq has joined. 01:06:38 Building attoparsec-0.9.1.1... 01:06:38 [1 of 9] Compiling Data.Attoparsec.Zepto ( Data/Attoparsec/Zepto.hs, dist/build/Data/Attoparsec/Zepto.o ) 01:06:40 monqy: oh my god 01:07:22 is synchronicity the right word for here and now 01:07:27 yes 01:09:41 -!- FireFly has quit (Quit: swatted to death). 01:10:31 Message Nothing (Command "ERROR") ["Closing Link: 127.0.0.1 (Connection timed out)"] 01:10:31 Message (Just (ServerPrefix "niven.freenode.net")) (Command "NOTICE") ["*","*** Couldn't look up your hostname"] 01:10:35 OMG ITS THE WRONG WAY AROUND YOU SHITHEAD :( 01:10:39 why won't this work 01:11:30 -!- DocHerrings has joined. 01:11:31 ante zepto bot????? 01:12:33 monqy: good idea but no i am taking a break from ante-zepto to let certain issues in its regard simmer through my mind so that the most zepto solution can be attained 01:21:27 -!- zzo38 has quit (Remote host closed the connection). 01:22:32 -!- DocHerrings has quit (Quit: ChatZilla 0.9.87 [Firefox 5.0/20110615151330]). 01:33:24 -!- azaq23 has joined. 01:51:12 02:38:23: How far do companies typically cyberstalk their employees? 01:51:12 02:38:42: To the VERY BRINK OF DEATH 01:51:13 02:39:06: If I mention on my resume some of the projects I've worked on, they may trace that to the name "Sgeo", and from there to the fact that I'm an atheist. Legally, they can't not hire me for that, but if I don't know that that's the reason... 01:52:48 I'm pretty sure that's super-olde, and I'm ALSO pretty sure that they CAN not hire you on religious grounds, perhaps depending on the particular business. 01:53:05 the churching business 01:53:26 christian greeting cards and plushies business 01:55:52 Gregor: Super-olde = last May :P 01:56:14 Good lawde that's olde. 01:56:16 Gregor: And I'm not too familiar with your strange American customs but is that kind of sentiment rampant in fucking New York? X-D 01:56:43 It would only be common in businesses such as the ones monqy mentioned :P 01:57:52 02:50:53: http://enphilistor.50megs.com/irtc.htm SQUEE 01:57:52 wat 01:58:04 squee? 01:58:15 squee 01:58:21 <3 IRTC 01:58:32 <3 God 02:00:10 04:36:09: You left ... speakeasy ... for comcast. 02:00:29 Go watch all of the Rusty animations 02:00:32 no 02:16:07 -!- rodgort has quit (Quit: ERC Version 5.3 (IRC client for Emacs)). 02:16:18 -!- rodgort has joined. 02:22:00 ... Someone would leave Speakeasy? 02:22:05 For anything? 02:22:52 Except maybe a felatotron 5000? 02:26:58 So who wants to know how to tie a (glorious) Richards knot? :P 02:28:23 wow my brain is broken 02:32:57 The fuck? This RAR is smaller uncompressed. 02:33:08 RAR: Negative compression. 02:39:15 pikhq, has to happen sometimes 02:39:30 Even if it shouldn't have to happen by more than a bit 02:44:42 Note: Do not mention diverse double-compiling to someone who wants to recompile all the software on his system to "keep devils out" 02:45:02 what 02:45:45 Sgeo: haha who 02:45:50 link/paste quote 02:46:03 Sgeo: dont tell em about DDC 02:46:08 Sgeo: just tell em about trusting trust 02:46:14 and let them rip out their own eyeballs in fear 02:46:20 elliott_, too late 02:46:40 Sgeo: paste quos 02:46:41 quotes 02:46:56 youre not allowed to tell us about crazies without showing :( 02:47:02 http://pastebin.com/KWJzdW9D 02:47:50 w e w i l l f i n d y o u 02:47:53 IASON is my bro 02:48:02 oh my god what is #jesus 02:48:06 and why are you in there 02:48:13 * Topic for #jesus is: https://github.com/chan-jesus :: Encouragement and prayer, love for Jesus Christ, open source development. Courtesy required, charity and patience appreciated. This channel is G-rated. biblebot format is: @bible book chapter:verse 02:48:14 why 02:48:15 arey ou in there 02:48:22 are you trying to deconvert them all please say no 02:48:57 Sgeo: why 02:49:14 Just like to watch and discuss sometimes 02:49:23 yeah right 02:49:41 im sure you talk to the christian programmers as equals to better understand their religious beliefs 02:51:00 -!- BeholdMyGlory has quit (Remote host closed the connection). 02:51:03 so starting from that github page 02:51:09 @MeredithGould 02:51:09 MeredithGould 02:51:09 Put my frozen GF mini-Jesus into my pyx & going to mass at St Iggy. Alert the media! 02:51:09 02:51:09 Unknown command, try @list 02:51:10 @michaelsbradley 02:51:11 Unknown command, try @list 02:51:11 Michael Bradley, Jr. 02:51:13 @MeredithGould hopefully that's low-gluten and not gluten-free, otherwise nothing would happen when the priest consecrates it :-/ 02:51:13 Unknown command, try @list 02:51:16 @MeredithGould 02:51:16 Unknown command, try @list 02:51:18 MeredithGould 02:51:20 .@michaelsbradley Teeny % of gluten, enuff for Jesus to be zapped in. ;-) 02:51:24 just enough gluten for jesus to be zapped in 02:51:41 ... 02:51:44 Wow. 02:51:49 im wowing silently 02:51:59 actually laughing 02:52:07 -!- elliott_ has set topic: Just enuff gluten for Jesus to be zapped in. ;-) | Logs: http://codu.org/logs/_esoteric/ and http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 02:52:25 i like the worried face on the middle tweet 02:52:34 I sure hope you're not missing out on your daily recommended amount of Jesus :-/ 02:52:38 elliott_: Can has link to that tweetthread? 02:52:55 http://twitter.com/#!/michaelsbradley second tweet on there 02:53:08 "new twitter" makes linking to things impossible sry 02:53:21 well http://twitter.com/#!/michaelsbradley/status/90169871169622016 for the record but it's a pain to navigate that way 02:54:05 "@CrypticSwarm also some crazy Func Prog thing called "join calculus" & Perl6's junctive operators..Func React turns out to be a compsci lens" 02:54:10 this guy is coherent :-| 02:54:48 oh hes a node.js user 02:54:51 that explains everything 02:54:51 elliott_: I would be laughing if I wasn't crying. 02:55:25 my tolerance for religious beliefs ends at people thinking that the priest consecrating the eucharist literally turns it into jesus flesh 02:55:50 elliott_, is that a quote? 02:56:01 cannibalisms cool if its jesus 02:56:02 no i wrote that with my arms 02:56:11 or is this god jesus not man jesus 02:56:15 this is confusing 02:56:23 how do i eat the holy ghost 02:56:24 SITES WHICH STEAL "/" AND TURN IT INTO THEIR SEARCH BAR: WORST EVER 02:56:36 he;lp i need a balanced trinity diet 02:57:00 Twitter seriously sucks arse >_< 02:57:14 the new twitter interface is amazing 02:57:20 its like a crash course in what the fuck were you thinking 02:58:17 Why the *fuck* would you want to make it impossible to hotlink to your site? 02:58:45 Nothing about that screams "good idea". Everything screams "bad idea and fuck you." 02:59:06 elliott_: I bet you love Catholicism. 03:13:53 -!- pingveno has quit (Ping timeout: 260 seconds). 03:15:17 elliott_, you actually msg'd IASON 03:15:33 drama time 03:18:47 Sgeo: ages ago yes 03:18:49 Sgeo: paste 03:18:55 paste what lead you to that information 03:18:56 that is 03:19:14 How about no, I don't feel like doing this for your amusement. 03:19:27 so only your amusement comes into consideration :( 03:19:32 what about for my amusement 03:19:36 <3 03:20:06 elliott_, your nastiness to someone is ... well, mean. I can't support it. 03:20:17 im not nasty 03:20:26 i just laugh behind backs 03:20:30 nobodys hurt 03:20:32 it sure would be cool if you stood up for yourself in situations where it actually mattered instead of just in situations where it doesn't matter, Sgeo 03:26:05 oh what, someone who i was once sort-of-in a small interweb community with is now famous 03:26:19 -!- Sgeo has left ("Leaving"). 03:26:20 congratulations, someone 03:26:27 -!- Sgeo has joined. 03:26:36 23:19:54 < elliott_> it sure would be cool if you stood up for yourself in situations where it actually mattered instead of just in situations where it doesn't matter, Sgeo 03:27:17 i love irc quote towers can we have one?? 03:27:31 monqy: yeah hooray someone 03:27:56 coppro, hmm, what about that? 03:28:15 -!- zzo38 has joined. 03:28:35 oh what, the guy's comic is now big, weird 03:28:40 Thanks for correcting the topic message; now it is not too long anymore. 03:29:07 happy tesla day! :D 03:30:21 *tesla-coil related innuendo* 03:30:49 ;o 03:31:12 Tesla: best thing to ever happen to Colorado Springs. 03:35:20 -!- azaq23 has quit (Ping timeout: 255 seconds). 03:35:46 oh, pratchett's took another step to the grave? 03:36:08 :( 03:37:28 elliott_, :( link? 03:37:57 http://blastr.com/2011/06/terry-pratchett-begins-fo.php 03:42:05 -!- cheater__ has quit (Ping timeout: 255 seconds). 03:43:01 Sgeo: caret 03:43:07 ^ 03:43:27 Sgeo: i meant i was pointing you to that link 03:43:38 I clicked 03:43:50 I just didn't say anything about it 03:43:53 maybe if you weren't a keyboard-cripple you wouldn't confuse poor sgeo 03:44:38 so when's the new version of whatever you're waiting for to get a new keyboard going to come out 03:45:00 this month, and its not etting a new keyboard 03:45:03 i have to send the whole laptop in 03:45:09 so since i'll want to wipe it anyway before i send it in 03:45:15 because i doubt they'll like it booting into linux 03:45:18 i'm waiting for the new os x 03:45:24 so that i can at least make something useful out of it 03:45:27 i.e. an upgrade of my other os 03:45:39 backup party 03:46:45 why wouldn't they like it booting into linux are they meanies 03:47:36 -!- pingveno has joined. 03:47:45 i dont want to read the warranty but i suspect youre not allowed to complain about your keyboard breaking if you install linux 03:48:19 -!- Lymee has quit (Ping timeout: 240 seconds). 03:48:55 how reasonable 03:51:50 -!- azaq23 has joined. 03:52:33 -!- Lymee has joined. 03:54:06 -!- cheater__ has joined. 03:54:19 elliott_: It should depend whether it is physical damage on outside or if it stopped working. 03:54:46 Maybe. 03:54:52 but that's complicated 04:00:38 Note to self: When someone thinks that their mouse has a virus, do NOT speculate on the possibility of manufacturing a trojan mouse 04:00:55 is this the same guy 04:01:04 Yes 04:01:12 i wish that channel was logged 04:05:16 Sgeo: It's entirely possible. 04:05:21 -!- pingveno has quit (Read error: Operation timed out). 04:05:25 Simply wire a USB flash drive into the mouse. 04:05:26 :) 04:07:34 IASON, at some point, somewhere along the line, you need to trust someone. It's theoretically possible to put some backdoor into the processor, but that's not a serious possibility 04:07:34 And it's nearly impossible for you to prevent it 04:07:40 Sgeo: thats why im buying a sparc next 04:07:41 -!- pingveno has joined. 04:08:01 ask him if he trusts god 04:09:22 iason..... 04:09:43 #jesus..... 04:09:52 Because Sun is more trustworthy than Intel? 04:10:17 pikhq: some sparcs are open source. 04:10:21 (verilog) 04:10:35 Oh, huh. 04:10:41 *cough*trusting trust*cough* 04:11:09 cough i can parrot irrelevant things too cough? 04:11:12 trusting trust is irrelevant here 04:11:33 elliott_: Verilog code has to be compiled. 04:12:03 The compiler itself could have a hack in it, perhaps even by a trusting trust attack on the C compiler. 04:12:24 Trusting trust is defeatable, in theory 04:12:49 Not sure how you'd do DDC with Verilog 04:13:26 Not to mention, the SPARC itself would have to have an actually trustworthy design, as (presumably) would the FPGA. 04:14:15 If you're that fucking paranoid, your only option is to start with transistors. And ensure no other human can access it. 04:14:26 By getting yourself to Alpha Centauri. And only you. 04:16:11 And then hope the universe isn't fucking with you. 04:16:19 how do you trustworthily get there 04:28:05 -!- copumpkin has changed nick to Phillipa. 04:28:35 -!- Phillipa has changed nick to Guest28613. 04:32:03 You can make any USB device with a virus without too much difficult. I do know some ways of preventing it by modifying the Linux kernel and stuff. 04:33:32 -!- Guest28613 has changed nick to copumpkin. 04:35:51 Make it to not automatically recognize or activate any USB device unless all of these conditions hold: * It is a keyboard * No other keyboards (not even PS/2) are connected * Nobody is logged in on a serial terminal 04:36:18 What if you want to be able to use mice/ 04:36:41 Also, won't stop a keyboard that transmits every keystroke... somehow 04:36:52 Of course this cannot prevent radio viruses. 04:39:18 If you want to use mouse, I propose it must meet all these conditions: * It is connected at boot time * A USB keyboard is also connected at boot time * No PS/2 keyboard or PS/2 mouse is connected * The operating system is configured to run a GUI by default 04:39:25 22:12:36: Brains in jars or translation? 04:39:25 22:12:44: Guess which one I want to talk about. 04:39:26 zzo38: Alternately, you could just remove the USB stack. 04:39:38 In other cases, you must use commands to activate them manually. 04:40:47 And if multiple USB keyboard/mouse are connected at boot time while no PS/2 keyboard/mouse are connected, it will also activate all of them automatically. 04:42:33 And one more: USB keyboard/mouse that have keys or mouse buttons keld down at boot time which are ones that the operating system does not know how to deal with, are not automatically activated. 04:42:45 I wish I could get this person some mental help 04:43:13 yeah shove them in an institution. that works well. 04:43:45 If you want a USB file system, connecting a mouse after it is booted, or a keyboard after it is booted if you already have a keyboard, USB printer, USB audio, etc, then you must type the commands to activate them manually. 04:44:08 But the USB port would still provide power to inactive devices. 04:44:32 Oh, he was referring to fluoridation. Which is stupid, but at least there's a thought process other than "Everyone's trying to kill me" 04:45:16 (in regards to his belief that they poisoned the tap water) 04:45:58 What do you think about these ideas for security of connecting USB devices? 04:48:19 zzo38: Seems like a decent scheme. 04:48:51 Aaah, fluoridation. 04:48:54 Cursed by the stupid. 04:49:10 Meanwhile, I live in a location where the water needs defluoridation. 04:54:43 These USB security scheme might make the computer a bit more difficult to use, but I don't care. You can still easily use the commands to activate it if you know how. 04:55:11 Now I invented a new word "radio virus". 04:56:03 Even devices such as SIM cards that might not actually have direct radio transmitter, are capable of radio viruses. 04:57:26 They could use a subliminal code to leak your address book to your service provider. 05:00:59 Even if a keyboard (USB or not) has no radio transmitter, it can still have a radio virus that retains all information so that when you resell it or return it (it could be designed to break after a few years so that you will return it to the manufacturer for warranty repair!) they can steal that information! 05:03:53 Do you think any manufacturers have actually done any of this stuff? 05:09:29 "I believe in a literal six-day creation event where the universe was spoken into existence by God six to ten thousand years ago. I don't believe this for scientific reasons (though significant known scientific evidence corroborates with this origin hypothesis)" 05:10:38 - a cool dude 05:11:20 * elliott_ waits for pikhq to see that (there is a specific reason) 05:14:18 ... *wince* 05:14:24 What scientific evidence? 05:14:26 guess who wrote that pikhq, no googling 05:14:32 zzo38: there is none, this guy is deluding himself :P 05:14:52 elliott_: I got nothing, but *wince* 05:15:12 pikhq: bobthj 05:15:18 There may be a few kinds of philosophical evidence (for some possible ways of defining "evidence", probably not the standard ways though) 05:15:36 elliott_: ... 05:15:44 elliott_: Fucking hell. 05:15:55 pikhq: his blog is literally the best i cant stop reading its like a trainwreck in slow motion 05:16:01 that's from the series "understanding a conservative christian" 05:16:17 the post literally blames nazism on darwinism 05:16:48 Y'mean "Gott Mit Uns" Nazis? 05:17:45 ALLOW ME TO QUOTE 05:18:17 "As an example, consider the Nazis of World War II era. Collectively as a culture they embraced a morality which permitted the murder of millions of innocent individuals. Few would agree with their callous disregard for human life, yet they were acting well within the (non-)limits allowed by darwinist/secular humanist morality." 05:18:24 wait he's not even blaming it on darwinism 05:18:32 He's blaming it on secular humanism. 05:18:33 hes just saying that darwinism is ok with nazis 05:18:38 no wait 05:18:39 "Not so with darwinist-based atrocities (the eugenics movement, nazism)" 05:18:42 We now have evidence that Darwin was wrong (although that doesn't mean evolution in general is wrong) 05:18:49 oh man he namedrops moral relativism A+ 05:18:50 zzo38: about what 05:18:53 in particular? 05:19:06 * elliott_ is curious to what you refer 05:19:20 elliott_: Probably some minor nitpick that nobody cares about. 05:19:32 zzo38: Nobody claims Darwin was 100% correct, or even *cares if he was*. 05:19:51 Some things Darwin wrote do not match the actual scientific evidence of evolution. 05:19:57 oh come on don't be hostile to people just because they dared insult the great darwin 05:19:58 The general concept works. Many of the details work. That's how science works. 05:19:59 i'm _curious_ 05:20:19 * Sgeo is also curious 05:20:33 elliott_: I'm not sure of the exact detail, but I'm going to take a guess that it has something to do with his lack of knowledge of genetics. 05:20:42 (which literally did not *exist* at the time he wrote) 05:20:42 how about you let the person who does know answer 05:20:47 Okay. 05:20:49 pikhq: OK. Of course even other things in science we correct over time. This is not the exception. 05:21:32 Anyways. Nazis, secular humanism? They were about as Catholic as you could get without being the Pope. 05:22:16 (and one particular Nazi is as Catholic as you can get.) 05:23:22 zzo38, so what did Darwin get wrong? 05:23:41 Unfortunately I forget the details. 05:24:03 But pikhq might be correct that it has to do with his lack of knowledge of genetics. I am not sure. 05:26:05 Hmm, oddly enough the one thing someone from that era would have been *most* likely to screw up, he didn't. 05:26:17 i finished my article in a few hours and now i'm wondering how to spend the rest of my workday 05:26:27 well first draft anyway 05:26:35 pikhq, hmm, what? 05:26:41 He deemed that all human beings were of the same species and that if races were even useful markers at all, they were mere variants or sub-species. 05:26:54 turns out you have to add (G surjective => G identity) since that was not implied by what i had and xor was a counterexample 05:26:58 interesting right 05:26:59 Which was in stark contrast to the prevailing view that, say, Africans were literally sub-human. 05:27:27 erm darwin was actually pretty racist iirc 05:27:33 istr something about ~primitive negroes~ 05:27:56 What is the significance if Africans are literally sub-humans? That you cannot perform medical advice? 05:27:56 elliott_: By modern standards, perhaps. 05:28:42 elliott_: By standards of the day, he could have been lynched for being too progressive in some areas. 05:29:03 what does that even mean, he may have been progressive for the time, but saying he wasn't racist is disingenuous 05:29:33 What I'm saying is, he was nowhere near as racist as his contemporaries. Though literally everyone was racist then. 05:30:07 http://esolangs.org/wiki/Image:Surface_logo.png is this an album cover or a language logo 05:30:13 OK, now maybe I can understand. 05:30:22 surface the album cover 05:30:26 by whatever that shape is 05:30:44 2d grid on a sphere? 05:32:31 I don't get why madk makes logos for all his languages and does them all in blitzbasic and they're all kind of samey in a way I can't quite pinpoint with words 05:32:50 where by does them I mean implements them 05:33:14 there's something about american high school that introduces that kind of bored mechanical timewasting in people 05:33:15 OR IS THERE 05:33:24 i have observed this, like, THREE times, so it must be true. 05:33:31 i am the best at theories. 05:34:02 Am I a bored mechanical timewaster? 05:34:25 you're special 05:34:30 why do you even ask questions like that 05:34:31 elliott_: Most probably. 05:34:35 why would anyone ask questions like that 05:34:49 answer: sgeo 05:34:52 asking that question practically guarantees you're going to get an answer you don't like 05:34:54 elliott_: American high school is designed to make you think bored mechanical timewasting is "adult". 05:34:55 it's self-fulfilling 05:35:08 oklopol is witnessing the Christian in-fighting in #jesus 05:35:14 pikhq: except that doesn't have any relation really because this is _pastime_ 05:35:23 and esolangs aren't particularly conforming 05:35:25 Sgeo: oh hm did that guy 05:35:30 Sgeo: make a big deal out of me messaging him 05:35:32 i would like to see 05:35:44 No, he didn't. 05:35:51 -!- elliott_ has changed nick to botanq. 05:35:59 gotta change hostname 05:36:03 I don't want to know 05:36:13 i made it up on the spot 05:36:16 its my disguise 05:36:22 Lazy K glued to a shell: best esolang ever? 05:36:23 remind me to change it back btw 05:36:30 -!- elliott has joined. 05:36:32 -!- botanq has changed nick to elliott_. 05:36:34 oh 05:36:36 fucking cloak 05:36:42 um 05:36:44 -!- elliott has changed nick to botanq. 05:36:50 oh come on 05:36:51 elliott_, whatever you're about to do sounds mean 05:36:55 im just going to observe 05:36:57 i just dont want to be seen 05:37:03 Ok 05:37:12 -!- elliott_ has changed nick to elliott. 05:37:19 -!- elliott has quit (Changing host). 05:37:19 -!- elliott has joined. 05:37:25 hehehehehehe 05:37:30 HOW DO I DECLOAK BOTANQ 05:37:57 -!- botanq has quit (Client Quit). 05:38:05 -!- elliott_ has joined. 05:38:08 -!- elliott_ has changed nick to botanq. 05:38:23 -ChanServ- [#jesus] Welcome! may the Lord bless you and your family abundantly! 05:38:27 -!- botanq has left. 05:38:41 oklopol: anything interesting so far????? this is like sports 05:39:37 Sgeo: i was promised infighting there is no infigthing 05:39:47 You kind of missed it 05:40:01 i demand logs for my effort :( 05:40:15 Probably if you mention Catholicism it would trigger it 05:40:30 like 05:40:30 just 05:40:32 "catholicism"? 05:40:40 Hold on, going to pasta a log 05:40:55 http://pastebin.com/SA0GALzf 05:40:56 pasta the verb 05:41:15 " oklopol: anything interesting so far????? this is like sports" <<< ? 05:41:28 oklopol: kristians 05:41:30 on #jesus? 05:41:31 yes 05:41:32 erm 05:41:35 i'm not really listening 05:41:37 :( 05:41:38 i can look 05:41:49 who is luke-jr 05:41:51 he seems crazy 05:42:03 oh everyone is crazy 05:42:08 oklopol: there are a few Christians here, but far more heretics and pagans 05:42:08 oklopol: such as Eliyahu, IASON, and Free-man 05:42:08 wow 05:42:08 elliott, a Catholic. Considers non-catholics to be heretics 05:42:18 luke-jr: i agree only a devil would demand not to burn heretical books 05:42:18 wow 05:42:20 would it be 05:42:21 they're just kidding around. 05:42:21 controversial 05:42:24 if i decried book burning 05:42:33 Sgeo: ?? 05:42:43 elliott: youre a devil 05:42:46 brainproxy is a sane Catholic 05:42:57 But isn't exactly awake right now I guess 05:43:06 Sgeo: He believes in something logically inconsistent. 05:43:13 oh my god pikhq i knew you were about to fucking butt in 05:43:24 the chances that you dont have some inconsistent belief are about 0 05:43:28 practically everyone does 05:43:33 everyone compartmentalises 05:43:38 I read that the person who invented the BBL/Abundance system invented the word "Kristians" 05:43:38 He also self-identifies primarily by that belief. 05:43:44 oh really?? 05:43:46 so you know him then? 05:43:59 elliott: Sorry, I was assuming, thereby making a potential ass of myself. 05:44:39 it just really sucks to dismiss people because they happen to be religious, it's pointlessly divisive imo 05:45:08 it is not The Enemy of rational thinking outside of extremism, there are far more pertinent day-to-day irrationalities that are more improtant 05:45:22 It's so very easy to do in a ridiculously extremist society, though. 05:45:35 Sgeo: so um is hash jesus like a weird extremist channel this is bizarre 05:45:48 There are some non extremists there 05:45:59 I basically cannot get elected to a public office in my country because I do not believe in the existence of a deity. 05:46:07 elliott: you have a point, but i'm sure you also agree that everyone with any kind of religious beliefs is completely retarded and wrong and stupid and should be killed. 05:46:22 oklopol: oh definitely obviously. 05:46:24 pikhq: yeah and you can't get elected as president of zimbabwe because you're not robert mugabe 05:46:31 pikhq: third world countries, have fun 05:47:05 ok dudes 05:47:10 there has to be a bible verse 05:47:14 saying that all people are fallible 05:47:15 surely 05:47:29 "For all have sinned and fallen short of the glory of God" is close, at least. 05:47:54 hmm 05:47:57 im probably really bad at being christian 05:48:01 its not something i have experience with 05:48:06 lets see how long until they RAT ME OUT 05:48:26 was picking the kjv translation right i figured there might be some crazies who demanded on it in there 05:48:37 dammit, beaten by bible verses 05:48:41 Keep in mind that people just shy of Westboro Baptist Church levels of crazy are considered *normal* in American society. My tendency to dismiss people because they're religious should be viewed in that light. 05:48:49 um um gotta save face WOW how do you remember all the verses???? 05:48:52 being christian is thirsty work 05:49:14 elliott: It's only maybe a few paragraphs that get cited over and over and over again. 05:49:27 why would an infallible man sin again 05:49:50 I'd estimate maybe 0.5% of Christians have actually read a significant portion of the Bible. 05:49:57 i havent been paying attention and my head hurts 05:50:28 There are some things in the Bible I agree, including that no person is good. Nevertheless, you can say some people are good, by opinion and by relative and by other purposes. 05:50:29 botanq: also, if "all" were absolute there, it would include Jesus 05:50:32 i need a verse about jesus just being a man or something 05:50:34 and imperfect 05:50:38 quick guys quick exclamation marks 05:51:01 didn't jesus do bad stuff one time because some dudes set sold stuff in a temple or something 05:51:02 elliott: Good luck; the bits that got canonized either claim he was *divine* or are ambiguous. 05:51:06 There's the one where he says why do you call me Good, only God is good 05:51:13 monqy: No, that was considered Good. 05:51:13 However, it is good thing trying be good, you can learn more good stuff than other people maybe 05:51:16 monqy: Not just good, Good. 05:51:17 luke-jr: if one is still a man, and this causes one to sin -- what is it that causes one to sin, that is being a man? 05:51:17 is it not fallibility? 05:51:19 got my pretentious lingo on 05:51:21 pikhq: jesus did not sin? 05:51:34 oklopol: That's nearly universally held doctrine. 05:51:43 huh 05:51:53 There's the one where he says why do you call me Good, only God is good 05:51:54 oh this is good 05:51:56 but do i stick with kjv 05:51:59 i dont want them to htink im crazy 05:52:01 but they might be crazy about that 05:52:06 http://bible.cc/mark/10-18.htm 05:52:14 oh noooooooo 05:52:16 they have fancy definitoins 05:52:17 of infallible 05:52:19 and impeccable 05:52:22 lhe;[p 05:52:25 i cant deal 05:52:25 "And Jesus said unto him, Why callest thou me good? there is none good but one, that is, God." 05:52:39 oh theyre the same 05:53:03 I asked about it once, or maybe I googled it? Saw some stuff about how it's saying "See how you're calling me good? Think about why that is" 05:53:04 do they hate botanq yet 05:53:13 no surprisingly 05:53:15 i dont think 05:53:20 oklopol: I mean, shit, even the Eastern Orthodox holds that. And these are people who hold that everyone will go to heaven, literally everyone. 05:53:31 pikhq: that's a nice position 05:53:37 i mean, nicer than most christian positions on the afterlife 05:53:49 hehehe christian positions on the afterlife 05:53:51 pikhq: but everyone else sins? 05:54:07 And then there are people who hold that heaven is not a place, but a feeling. 05:54:08 elliott: The non-Christians will just have more work to become like God than the Christians is all. No big. 05:54:20 like even people who just die 5 minutes after being born? 05:54:48 (they hold that your entire mission is to become more like God; you will be doing this in life *and* the afterlife. If you don't convert before death, you just have more work ahead of you is all.) 05:55:01 http://uncyclopedia.wikia.com/wiki/UnNews:%22Genetic%22_disorders_shown_to_be_the_fault_of_the_baby 05:55:25 oklopol: Entire libraries could be filled with the apologetics on that. 05:55:35 playing minecraft and having fun with christians on irc at seven am 05:55:38 i love my life choices 05:56:06 okay #jesus is way over my head atm 05:56:09 You do not go anywhere when dead you do not walk. Other people can move you. You can be destroyed or eaten or cut in half. 05:56:16 "Books which openly oppose the teaching of Christ are to be burned." -Pope Pius VII, Diu Satis, infallible 05:56:24 pikhq: is book burning a current catholic doctrine 05:56:33 elliott: No. I'm not sure how it's not. 05:56:44 oh right catholics believe popes are infallible don't they huh 05:56:47 what happens when popes disagree 05:56:57 elliott: you can't have life choices, you're too youn 05:56:59 g 05:57:07 life choices are for adults :\ 05:57:07 Poples are not considered infallible unless there is discussion in the Vatican about it as well to almost prove it. 05:57:20 monqy: Though they're only infallible on matters of doctrine. 05:57:25 pikhq: was that statement by pius ex cathedra ??? i am not sure why i expect you to know 05:57:25 but 05:57:39 elliott: I wouldn't know. I've never been Catholic. 05:57:57 Sgeo: so free-man is one of the loony catholics? 05:58:05 elliott, no 05:58:07 oh 05:58:11 he seems pretty loony 05:58:13 is he non-catholic 05:58:15 or just 05:58:18 less loony than the others 05:58:21 Popes say a lot of things that are not considered infallible, and they can disagree about these things, and do disagree about these things. 05:58:21 loony heretic 05:58:30 He's a loony non-catholic 05:59:10 wow he wants all books that say wrong things to be burned 06:00:03 Sgeo: hahahaha oh man he is cool 06:00:07 is he from the middle ages 06:00:30 elliott: This is not uncommon. 06:00:53 pikhq: i think hes saying he burned satans bible once 06:01:18 What, LaVey's Satanic Bible? 06:01:34 is "that book by LaVey" an ok euphemism 06:01:36 he seems very touchy about it 06:01:43 -!- Lymee has quit (Read error: Connection reset by peer). 06:01:50 Yeah, I suppose. 06:02:05 Though it's unlikely he knows about it. :P 06:02:09 i dont know who authd it; i didnt read it. 06:02:13 i think he burned The Satanic Bible 06:02:16 thinking it was actually satan's bible 06:02:17 this is amazing 06:02:22 i wanna have him as a pet :{ 06:02:39 cute or annoying 06:02:44 oklopol: of course 06:02:45 oklopol: freedom of speech is wrong 06:02:45 oklopol: freedom of religion is outright heresy 06:02:50 botanq when i saw the book on the for-sale table at a library, i paid the 10 cents for it, and then burned it. 06:03:20 dying 06:04:02 Sgeo: do these guys even program 06:04:15 elliott, I think luke-jr does a little. 06:04:27 Sgeo: I take it amigojapan is non-religious 06:04:30 catholic programming no devils allowed 06:04:32 elliott, yep 06:04:34 or at least non-christian 06:04:41 elliott: I actually know that for a fact. 06:04:42 (I think) 06:04:49 pikhq: know what 06:04:49 -!- Lymee has joined. 06:04:50 -!- Lymee has quit (Changing host). 06:04:50 -!- Lymee has joined. 06:04:56 elliott: amigojapan is non-religious. 06:05:04 do you know em 06:05:15 Ran into him here and there on freenode. 06:05:27 So, not *well*, but we've talked. 06:06:20 free-man is a very stupid human being 06:06:23 Mostly ##japanese when I was there for a couple months, IIRC. 06:06:29 * [Free-man] (~b@c-68-56-234-19.hsd1.fl.comcast.net): ConspiracyLover 06:06:31 conspiracylover 06:07:00 good name for a good person 06:07:28 Free-man is talking to me in pm now 06:08:11 oklopol: oh oh oh paste plz 06:10:04 all masons , jesuits , knights of templar , knights of malta , catholic priests need to repent and walk away from theri involvement of the new world order 06:10:11 * [Eliyahu] (~Eliyahu@ip68-8-234-181.sd.sd.cox.net): Jesus is LORD 06:10:31 elliott, he's nuttier than that 06:10:37 Sgeo: do tell :-D 06:10:58 elliott, the end of the world is coming soon, and Obama's signing some treaty is.. part of it 06:11:20 Oh, and I _think_ he's a programmer 06:11:30 "This User believes that 9/9 equals 1, but .999… does not." --http://en.wikipedia.org/wiki/User:Luke-Jr 06:11:38 crying and laughing 06:11:49 "believes" 06:11:55 god 06:12:10 ASJFOISDHIOHSDOIFHSDOF WHAT 06:12:11 "This user values 06:12:11 I sure as hell *hope* he's not a programmer. 06:12:11 reason over faith" 06:12:17 what i 06:12:19 i 06:12:19 YOU JUST DIRECTLY CONTRADICTED EVERY RELIGIOUS USERBOX ABOVE YOU 06:12:25 http://pastebin.com/EV955JhH 06:12:31 OK YOU CAN JUSTIFY SOME RELIGIOUS BELIEFS AS BEING REASON BASED MAYBE 06:12:31 BUT 06:12:33 NOT YOURS??? 06:12:42 YOU CANT CALL IT REASON ITS PURE FAITH 06:12:43 sdfk 06:12:45 elliott: Satanism, oddly enough, doesn't require much work for that. 06:12:46 oh god he watches anime 06:12:57 how is inherently insubstantiated belief ever reasonable 06:13:08 unless it's like 06:13:10 (helps that supernaturalism is not part of it) 06:13:21 people pull an elaborate hoax to make it look reasonable 06:13:27 ok so he watches anime, doesn't believe in the separation of church and state, favours absolute monarchy, wants a philosopher king, values reason over faith, and believes that 9/9 equals 1, but .999… does not. 06:13:32 erm 06:13:42 he sure is an 06:13:44 interesting person 06:13:50 i was supposed to paste that in pm actually, was busy being annoyed at vjn pastebin not working atm 06:13:50 elliott: And has a language box saying he does not speak Japanese at all. 06:14:31 Why you would feel like listing that is beyond me. 06:14:31 pikhq: they're irreligious homosexual heretic faggots 06:14:40 Who are? 06:14:41 also foreigners 06:14:43 pikhq: ALL JAPANESE 06:14:45 Ah. 06:15:19 "This user believes in freedom of all types of information for all. 06:15:20 " 06:15:28 But doesn't believe in seperation of church and state... 06:15:31 How? 06:15:41 pikhq: and supports book-burning?? 06:15:44 this is great 06:15:49 truly beautiful 06:15:59 im dead 06:16:12 And prefers neither SI nor US contemporary units. 06:16:19 Erm, customary. 06:16:21 What others are there? 06:17:06 ENGLISH UNITS 06:17:09 presumably 06:17:13 he seems like a ~traditionalist~ 06:17:15 He's American. 06:17:19 and said he supports English English 06:17:20 so um 06:17:23 imperial units 06:17:35 He claims to be a native citizen of the US. 06:17:40 ...and??? 06:18:02 So he's probably the only person here who knows what a "stone" is. 06:21:07 It is the Wikipedia userboxes? 06:21:33 people probably shouldnt put their politics on wikipedia...it is a good way to attract enemies. 06:21:57 it seems you christians didint have enough destroying one antient library 06:21:59 What is their username? 06:22:00 meh, hes not even trying 06:22:17 what's the fun if you just antagonis ethem 06:24:10 yeah that was kind of annoying 06:24:38 anyone can yell at some christians, the trick is to do it without them realising you're yelling 06:24:41 and Free-man just loves telling people how he can't be offended 06:24:53 i dont really understand how he can simultaneously consider himself libertarian and support laws against abortion and gay marriage...those are kind of central issues to libertarianism, eh? 06:24:59 everyone's so annoying when you haven't slept for a few nights 06:25:04 The good old Finnish units: http://en.wikipedia.org/wiki/Finnish_units_of_measurement -- at least the names are (probably) ridiculous. 06:25:30 "poronkusema – (approximately 7.5 km). A Lappish measurement of distance; the distance a reindeer can travel before needing to stop to urinate." 06:25:36 quintopia: Yes, one of the central tenants of libertarianism is "fuck off, government". 06:25:45 quintopia: That quite explicitly extends to abortion and gay marriage. 06:26:16 lets not talk about a satan bible ok 06:26:16 see topic 06:26:16 or else i will have to ping matiu 06:26:36 oh no 06:27:00 jason be quiet, adults are talking. 06:27:00 a-dults 06:27:03 "...but not me." 06:27:13 Sgeo: can you make the stupid people shut up i dunno what kinda influence yo uhvae 06:27:30 also how is amigojapan not banned 06:27:39 i hope someone bans him 06:27:41 soon 06:27:42 Atheists are allowed. 06:27:44 so soon 06:27:50 Sgeo: are retards allowed? 06:27:50 Sgeo: even trolls? 06:27:55 I've never seen amigojapan act so... annoying though 06:27:59 Is the things discussed above related to Wikipedia userpage and if so what is their Wikipedia username? 06:28:08 Krynn sometimes bothers me, but not amigojapan usually 06:28:17 12 miles, the distance of one day's travel? 06:28:26 Man, Finns suck. 06:28:26 if you listen to Coast to Coast AM, turn it on now 06:28:27 if you listen to Coast to Coast AM, turn it on now 06:28:27 if you listen to Coast to Coast AM, turn it on now 06:28:28 "usually" you regular #jesus? 06:28:42 we should listen to coast to coast am in unison now 06:29:10 http://www.coasttocoastam.com/ 06:29:15 who's in 06:29:20 Ricco is permanently banned. This is a good thing. 06:29:23 who is ricco 06:29:27 Only subscribers to Coast Insider can access Coast to Coast AM live radio broadcasts, radio show archives and daily radio show highlights. 06:29:29 FUCK YOU BITCH 06:29:30 :( 06:29:43 i just heard a good phrse, "morally reprehensible" -- exactly! 06:29:45 Annoying guy who always talks about "Anyone want to discuss the history of Christianity? PM me" 06:29:55 Not much else 06:30:10 how many christian discussion avenues do you frequent exactly 06:30:29 Right now, just #jesus 06:30:40 And why? I thought those people were fucktards even when I *was* a Christian. 06:31:43 O, I found their username 06:31:53 Sgeo: so i take it these guys are all religious-right 06:31:59 the channel-aligned people i mean 06:32:09 The ones talking right now 06:32:15 erm 06:32:17 s/religious-/ 06:32:20 politically-right aligned i mean 06:32:35 im just considering whether i should try and amass a bunch of biblical arguents for socialism or not 06:32:45 Um, I know they're all in unison about how bad homosexuality is 06:32:54 Even the nice ones, for the most part 06:32:59 is bisexuality ok 06:33:01 famous bisexuality 06:33:06 elliott: I'm afraid not. 06:33:17 asexuality? 06:33:28 Actually, even worse if you exercise it; fornication and all. 06:33:31 monqy: No issues. 06:33:39 monqy: And advocated by Peter. 06:33:40 Sgeo: i need to know their personal opinion on famous bisexuality 06:33:53 Famous bisexuality? 06:33:57 pikhq: sexual abstinence =/= asexuality 06:34:01 I mean, you've called me famous bisexual 06:34:15 Sgeo: :D 06:34:15 elliott: Sorry, right. 06:34:20 oklopol: please explain to the kind young famous bisexual 06:34:23 surely you know something about famous bisexuality 06:34:25 being one and all 06:34:54 elliott: Still. Peter advocated literally *not having sex ever* for *everyone*, because Jesus was coming soon, so why should you? 06:34:56 hell rides the wind; it is everywhere, has always bin 06:35:01 2000 years later, well. 06:35:05 are those lyrics 06:35:12 I wouldn't know. 06:35:26 2000 years is a hell of a long time to abstain from sex 06:35:38 who didn't give up after the first five hundred 06:35:39 I was last up-to-date on Christian music in 2004. 06:36:00 Is it sad that I've heard some Christian music recently 06:36:02 pikhq: i googled and it isn't :P 06:36:02 it was a joke 06:36:03 though 06:36:10 Sgeo: yes its so sad commit suicide. 06:36:13 Sgeo: Not inherently. 06:36:41 There's some nice acapella Latin pieces out there that the Church commissioned... 06:37:25 I found hexclocks are not only Hex Headquarters. There is also the Nystrom version of hexclock and hexadecimal numbers speech. 07:40:16 -!- monqy has quit (Quit: hello). 07:46:10 -!- choochter has joined. 07:49:41 zzo38, you need to start speaking english 07:56:25 zzo38: don't 07:57:29 I do type and speak English. 07:59:21 unbelievable 08:03:51 -!- CakeProphet has joined. 08:03:51 -!- CakeProphet has quit (Changing host). 08:03:52 -!- CakeProphet has joined. 08:04:24 -!- CakeProphet has quit (Client Quit). 08:05:02 -!- CakeProphet has joined. 08:12:14 -!- choochter has quit (Quit: lang may yer lum reek..). 08:12:39 -!- Choochter has joined. 08:12:47 brainproxy: what do you think much of an oxymoron that a king should authorize a bible? 08:12:47 ie king james authorized version? 08:12:47 the rulers of the gentiles lord it over them 08:12:47 NOT so amoung yu 08:12:47 Free-man: be careful listening to the AM radio 08:12:55 anything from out of this world comes directly to you luke-jr|otg upon this rock I build my church 08:12:58 wow 08:13:00 Sgeo: does he ever stop 08:14:26 -!- Choochter has quit (Client Quit). 08:15:38 -!- myndzi\ has joined. 08:16:59 -!- myndzi has quit (Ping timeout: 264 seconds). 08:20:54 -!- CakeProphet has quit (Ping timeout: 260 seconds). 08:21:32 -!- myndzi\ has quit (Ping timeout: 276 seconds). 08:27:39 elliott: ... Wut. 08:27:52 Is he KJV-only, or anything-but-KJV-only? 08:27:54 I can't tell. 08:28:14 -!- elliott has quit (Ping timeout: 276 seconds). 08:43:11 -!- myndzi has joined. 08:45:42 -!- CakeProphet has joined. 08:52:31 -!- CakeProphet has quit (Quit: leaving). 08:52:55 -!- CakeProphet has joined. 08:53:02 -!- myndzi has quit (Ping timeout: 240 seconds). 08:53:10 aha. 08:53:19 I can use GADTs to distinguish between continuous and discrete signals. 08:54:02 -!- EgoBot has quit (Ping timeout: 240 seconds). 08:54:13 -!- EgoBot has joined. 08:55:57 It's 3 and I'm not sleeping. 08:56:11 I suck at this "fulfilling basic needs" thing, apparently. 08:56:49 as long as you get a lot of sleep it doesn't matter a whole let when that happens. 08:57:02 though sleeping at night is the best kind of sleep for you. 08:57:18 I work nightshift, so I go to bed around 9 AM most days.. 08:58:14 hmmm, so what would be an alternative to using GADTs for that purpose? 08:58:31 I strongly suspect I have some sort of issue here. Every night I find that I'm going to bed later. 08:59:52 This has been a regular pattern for years. 09:00:32 Pretty much the only thing that stops it from being t3h fucked up is, basically, a hard reset of my sleeping time via being woken up at what feels like an ungodly hour. 09:00:35 basically: type Continuous; type Discrete; data Signal a t where { DSignal :: (Integral s) => [a] -> s -> Signal a Discrete; CSignal :: (Integral t) => (t -> a) -> Signal a Continuous;} 09:01:24 er... 09:01:43 basically: type Continuous; type Discrete; data Signal a b where { DSignal :: (Integral s) => [a] -> s -> Signal a Discrete; CSignal :: (Integral t) => (t -> a) -> Signal a Continuous;} 09:01:49 ...had two different t's there. 09:03:34 zzo38: 09:04:23 but now say I had a typeclass with a toSignal.. would every instances need two type parameters or could the Discrete/Continuous parameter be supplied via the type signature of the implemented method? 09:05:03 class IsSignal (s a) where toSingal :: s a -> Signal a t 09:11:20 or maybe I need fundeps? dunno. 09:12:11 quintopia: OK, what did you want, please? 09:13:29 to talk to you 09:14:28 About what? 09:16:24 you 09:16:42 but i forgot that you cant be arsed to reply in a privmsg 09:24:01 I can reply in a private message if you want, but you just wrote "hello" 09:24:08 I have no response to that. 09:25:10 Currently others are not typing on this channel so you can type public in case other people are interested and can view logs, or respond, too. 09:28:44 oh alright 09:29:28 you are officially diagnosed autism spectrum yes? 09:32:16 -!- Sgeo_ has joined. 09:36:31 -!- pingveno_ has joined. 09:37:38 alright, i figured that would be the answer 09:37:48 Hrm? 09:40:01 > fix (\x -> cycle (1:x)) 09:40:02 [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,... 09:40:38 -!- pumpkin has joined. 09:40:39 -!- pumpkin has quit (Changing host). 09:40:39 -!- pumpkin has joined. 09:41:03 -!- pingveno has quit (*.net *.split). 09:41:03 -!- cheater__ has quit (*.net *.split). 09:41:03 -!- rodgort has quit (*.net *.split). 09:41:03 -!- copumpkin has quit (*.net *.split). 09:41:04 -!- Sgeo has quit (*.net *.split). 09:41:05 -!- clog has quit (*.net *.split). 09:41:25 Yes I am Aspergers I think it is on my Wikipedia userpage. 09:42:16 -!- Phantom_Hoover has joined. 09:42:42 Hmm. 09:43:05 ah 09:43:36 how does that affect your life? 09:44:51 I'm going to guess "in ways that seem utterly bizzare." 09:45:36 -!- rodgort has joined. 09:47:49 -!- cheater__ has joined. 09:54:26 -!- myndzi has joined. 10:03:14 I don't know. 10:07:12 huh 10:07:53 I don't know how that affect my life. 10:20:23 a friend told me today that there are a number of variables involved in such a diagnosis, and that you would likely rank intermediate on speech. what do you do with the extra brainpower that frees up? 10:22:49 Pictured: quintopia does not understand how the brain works. 10:22:49 Phantom_Hoover: You have 3 new messages. '/msg lambdabot @messages' to read them. 10:23:40 pictured: ph is very popular 10:25:03 How is that pictured. 10:25:08 Am I standing at a party. 10:25:13 With some kind of suit on. 10:25:26 With people crowding around to hear my interesting and novel opinions? 10:26:46 you got three messages! no one left me any mail 10:28:19 I don't know if it necessarily means extra brainpower is freed up..... 10:34:04 04:42:45: I wish I could get this person some mental help 10:34:14 Send them on a hillwalking trip. 10:37:41 05:27:27: erm darwin was actually pretty racist iirc 10:37:41 05:27:33: istr something about ~primitive negroes~ 10:38:11 Yes elliott you are either completely racist or completely non-racist there is no spectrum in between, 10:38:45 05:20:42: (which literally did not *exist* at the time he wrote) 10:39:09 Mendel did his experiments before OoS was published IIRC, but nobody noticed. 10:41:22 05:36:51: elliott_, whatever you're about to do sounds mean 10:41:41 Sgeo_ getting flustered: perhaps the best part of any cross-channel trolling? 10:43:19 zzo38: that was a joke. but i am curious how you spend what time you dont spend programming 10:45:45 i'm curious what everyone here does with the time they don't spend here 10:45:49 or programming 10:45:51 let's hear it 10:46:12 personally i do math and watch tv shows and occasionally go to the office to play pool alone 10:46:15 quintopia: About thinking about stuff, reading about stuff, writing about stuff, etc. And eat, drink, bed, etc. And other things. 10:46:49 Pool for one: perhaps the best game? 10:47:33 i don't really like two-player games, hard to measure progress 10:48:06 math <3 10:48:41 zzo38: have you done more math 10:48:50 i recall you did some math earlier :o 10:49:04 like you proved the pythagorean theorem in your head right 10:49:54 -!- hiato has quit (Quit: "nothing so gives the illusion of intelligence as personal association with large sums"). 10:56:44 oklopol: Yes I have done some math, but not much and I don't remember much of what I have done. But yes I did prove the pythagorean theorem in my head once while resting on the couch 10:57:46 i do almost allllll my math headwise 10:58:00 that's the best of maths, head mathin' 10:58:18 O, and once while in school I had calculus class, and math class. In the textbook for math class, there was a page (the teacher didn't mention that page at all) giving the sum series for e to the x, sin x, cos x, so I decided to calculate the derivative of those functions. 10:58:54 makes sense 10:58:56 And a visitor to my school once asked me to try to prove the twin prime conjecture. 10:59:03 lol 10:59:26 i'm sure you got very far with it 10:59:58 I didn't prove it at all. But I did think of things about it and sometimes even recently. 11:00:21 And I still think about mathematics sometimes. 11:00:26 twin prime conjecture was that there's infinitely many primes n such that n+2 is prime 11:00:27 ? 11:00:33 Yes 11:00:37 right 11:00:49 there's absolutely no way you could get anywhere with that from scratch 11:01:05 don't touch it 11:01:13 well 11:01:37 of course i suppose you don't really care if you actually solve something 11:02:03 in any case that kind of stuff is a definite nono unless you really know what you're doing 11:02:10 It is possible to get anywhere in mathematics from scratch. However, it is very difficult and many people do not know how (in most cases I don't know how either). 11:02:45 it is possible to get somewhere in mathematics from scratch. it is absolutely impossible to get anywhere from scratch if you take something like the twin prime conjecture as your goal. 11:03:13 No, it is just extremely difficult, I think. 11:03:34 well of course, but the point is it takes way more than a single human life. 11:03:54 Maybe it does. I wouldn't know for sure, however. 11:04:12 a single mathematician's life i mean. quite a few hundred non-mathematician lives prolly. 11:04:30 well it's just how number theory is 11:05:09 do you study something btw? 11:05:27 11:05:09: do you study something btw? 11:05:32 I do sometimes use mathematics in various situation, including programming, games, and I have even used matrices in accounting. 11:05:39 Isn't zzo part of the dastardly legion of teenagers? 11:05:51 zzo38: you don't remember talking to me about your matrix accounting thing? 11:05:53 oklopol: No, I don't formally study anything. 11:06:22 oklopol: Not you specifically; I do remember on this channel. However, I was just mentioning it. 11:06:31 more like talking about it for a few hours 11:07:08 No, I mean *this* time I was just mentioning it. That time before, yes I wrote many things about it. 11:08:26 oh right 11:09:03 anyhow in conclusion, steer clear of the twin prime conjecture, i'll gladly give you fun little exercises if you like math 11:17:04 I find mathematics useful in programming sometimes. I have also used mathematics to invent a new kind of ability scores generation method for Dungeons&Dragons, calculus to solve some physics questions (the teacher didn't expect us to understand calculus and I was absent on the day they gave the equations), and I have calculated probabilities of various events in pokemon card, etc. 11:17:25 And the magical system in Icosahedral RPG is very mathematical. 11:19:08 -!- oerjan has joined. 11:19:11 all of that really sounds more like bore than math to me but w/e's 11:19:28 What is w/e's? 11:19:36 w/e means whatever 11:19:44 OK 11:20:13 it means i'm not particularly interested in defending my point, not that you'd ever attack a point 11:20:51 For example, do you know what a "mana" is in Icosahedral RPG? 11:21:02 nopes 11:21:16 icosahedron is like 20? 11:21:35 C'mon, oklopol, you should know that. 11:21:36 Icosahedron is a solid of 20 sides. 11:21:40 It's practically graph theory. 11:21:49 But that is irrelevant in this case. 11:22:13 eek no clog 11:22:27 oerjan, the connection's been clogged. 11:22:50 ("Icosahedral RPG" is simply the name of a role playing game system. Not important to my example.) 11:22:58 Phantom_Hoover: i often ask terms even if i know them so no one has to know anything. 11:23:08 just open up the definition 11:23:15 we got the time lol 11:23:36 zzo38: so what about the relevant part? 11:23:49 oklopol, also your ban in #jesus has expired. 11:24:04 Phantom_Hoover: i was actually going to leave after saying it was too fucked up for me 11:24:09 because it was way too fucked up for me 11:24:56 oklopol: It is what a "mana" is in this system. Is the relevant part. 11:25:35 i thought you were going to tell me about the math going on in the game 11:26:04 OK. 11:26:26 really i don't see how any interesting math could have anything to do with a game 11:26:46 A mana is a mathematical kind of thing, similar to working of prime numbers. However, there are only five primes. 11:26:52 Yeah, it's not like there's any kind of game theory. 11:26:55 well except perhaps proving some property of the game 11:27:00 Phantom_Hoover: yeah not what i meant 11:27:24 and game theory is not really about games, unless you count combinatorial game theory as a branch of gt 11:27:28 what i meant was 11:27:36 Spells can also be multiplied together and stuff, and possibly one spell to the power of another, etc. 11:27:38 i don't see how there could be a game where gameplay involved interesting math. 11:27:51 oklopol, what if you made Eodermdrome: the game. 11:28:39 The math of spells multiplying/adding/subtracting/dividing/etc is not used in most situations, though. Mana is used all the time in spellcasting though. 11:28:43 well you could get interesting puzzles surely, but an interesting puzzle is still basically a... search party. 11:28:51 mind my insane choice of wording 11:28:57 ..."mind" 11:28:58 yeah mind. 11:30:01 A mana cost can be described as a polynomial in X with the coefficients being manas. 11:30:02 so yeah games can be fun but good math puzzles tend to be one of a kind. 11:30:41 A spell level is the total number of manas being added together in the coefficient for 0 exponent of the spell's mana cost. 11:31:04 zzo38: and where does theorem proving come in? 11:31:53 conjecturing? restructuring your proof? generalizing it? 11:32:00 that's all math is 11:32:03 oklopol: It might help in some cases, maybe. There is no need to prove theorems simply to play the game, though. But maybe it helps to prove something mathematically. 11:32:47 i'm going to assume you are not doing math at all when you're playing, you are just tediously manipulating objects which are often used in math. 11:32:50 You might be able to prove things about this magical stuff and maybe it might help in strategy or something, I don't know. 11:33:23 my pretentiousness knows no limits 11:33:29 mwahaha 11:34:14 zzo38: you can also prove theorems about go, but playing go is very far from doing math. 11:34:26 oklopol: Actually in most cases you can just think of it in simpler ways and it is not as tedious. But this math makes it possible to be mathematically formal and proving. 11:35:15 There are many similaries between Wei-qi and Xiang-qi. 11:35:18 well i dunno the game, so i'll just stay sceptical no matter what you say 11:35:36 Is it OK to be sceptical then. 11:35:45 slightly sceptical 11:35:54 It is OK. 11:36:04 yes 11:36:08 06:16:21: What others are there? 11:36:09 CGS 11:36:15 ONE TRUE UNIT SYSTEM 11:37:24 Also is it just me or has zzo invented fields by accident with his mana system? 11:38:00 Let me see. 11:39:41 "In abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it is an algebraic structure with notions of addition, subtraction, multiplication, and division, satisfying certain axioms." No, when adding manas you do not result in a mana (you could call it a multimana). 11:39:54 doesn't take a genius to abstract fields out of Q. if you accidentally characterize the finite once tho, i would certainly be impressed. 11:39:55 Erm, zzo38, there's nothing polynomial about your mana system. 11:40:22 *ones 11:41:20 -!- clog has joined. 11:41:43 Phantom_Hoover: Manas can be used as coefficients in polynomials (or possibly as values of variables). More accurately, multimanas can. 11:42:27 zzo38, there is no exponentiation in it; it's not a polynomial. 11:43:01 yeah if you're not closed under multiplication, polynomial is kind of a weird term 11:43:24 since polynomials are just sums of products 11:43:44 The exponents have to be integers though. 11:44:47 And you can multiply numbers by manas, manas by manas, add, multiply, etc. So it is not a field. But maybe it is a "unique factorization domain". 11:45:20 That is, for manas. 11:45:44 I think multimanas are not. 11:46:03 Unless it can be proved that it is. 11:49:15 The system of manas does have identity element, which is called "colorless" in this system (written as 1 since it is also used the same way as the number 1 in polynomials and products, including products with numbers) 11:50:28 Manas which are neither prime nor composite are colorless. 11:50:48 you have multiple identity elements then? 11:50:59 -!- FireFly has joined. 11:51:17 No, only one identity element. 11:52:01 darn 11:52:35 What darn? 11:53:12 well you know because i could've used my "wtf, you have multiple identity elements smiley" o=oO=O 11:53:34 yeah, i have a smiley for everything. 11:56:28 You have a smiley for everything? 11:57:25 actually i can't come up with another one like that, and even that one didn't really look like a face 11:57:46 if someone comes up with a better one, i'd love to hear it 11:58:43 zzo38: did you get the joke? 12:01:32 -!- derrik has joined. 12:02:59 `addquote well you know because i could've used my "wtf, you have multiple identity elements smiley" o=oO=O yeah, i have a smiley for everything. 12:03:01 496) well you know because i could've used my "wtf, you have multiple identity elements smiley" o=oO=O yeah, i have a smiley for everything. 12:03:19 me me me me 12:04:22 oklopol: that's because it looked like _multiple_ faces, duh 12:06:46 :DDDDDDDDDDDDDDDDDDDDDDDDDDDDDD 12:06:51 oklopol, how many other smilies do you have for situations like this. 12:09:03 well i have my "wtf, x has two inverses" smiley p=p x q=q 12:11:26 but i may run out after that 12:12:57 /=/ x \=\ would be great but i'm not sure it's very readable. 12:24:19 -!- boily has joined. 12:26:10 I think manas cannot actually be the coefficients of polynomials, although multimanas can be (and a mana can be used as a multimana, so that it is a multimana and can be a coefficient in a polynomial) 12:26:53 But I don't know a lot about abstract algebra so I might be wrong 12:29:58 I invented a character sheet for my character of a Level 20 D&D campaign where you start with no money or equipment. What age/height/weight should I specify? 12:33:28 oklopol: perfectly readable, clearly those are multiple http://internetfamo.us/class/wp-content/uploads/2007/11/tiefighter.png 12:34:28 they are EYES 12:34:29 ... 12:34:42 ( 12:34:45 :( 12:34:59 oklopol: that's just something you are saying to deny blowing up that death star in the middle 12:36:08 -!- BeholdMyGlory has joined. 12:36:11 -!- cheater__ has quit (Ping timeout: 250 seconds). 12:38:42 zzo38: 15/20 m/70 Mg 12:43:24 oerjan: What units for the first number? Years? 12:43:33 yes 12:43:53 -!- olsner has quit (Read error: Operation timed out). 12:43:54 What kind of creature would have those numbers? 12:44:01 some kind of giant? 12:44:02 -!- derrik has quit (Quit: ChatZilla 0.9.86.1-rdmsoft [XULRunner 1.9.0.17/2009122204]). 12:44:12 Yes I would think so. 12:44:45 D&D does not use metric however. 12:44:47 basically i just blew up a human 10 times 12:44:55 well 20 m ~ 60 feet, i think 12:45:08 ok a little more 12:45:32 and i don't know US weight units 12:45:37 That isn't my character however. I put in different numbers for height and weight, and nothing for age yet. 12:45:46 bah 12:46:41 -!- iconmaster has joined. 12:46:41 `google is this working still? 12:46:42 No output. 12:47:06 seems not. but then google changes their APIs like others change shirts, iiuc 12:47:16 hm wait 12:47:20 `sh which google 12:47:22 No output. 12:47:32 that might not help 12:47:41 `sh ls bin/go* 12:47:42 No output. 12:47:55 `sh ls bin/ca* 12:47:57 No output. 12:48:00 wat 12:48:06 `sh ls bin/ 12:48:07 No output. 12:48:12 ... 12:48:21 `sh ls 12:48:23 No output. 12:48:24 `run which google 12:48:25 ​/tmp/hackenv.3400/bin/google 12:48:56 `run which calc 12:48:58 ​/tmp/hackenv.3492/bin/calc 12:49:11 `calc 20 m in feet 12:49:13 No output. 12:49:16 :( 12:50:31 -!- Taneb has joined. 12:50:45 Hello! 12:51:26 hi Taneb! 12:54:05 The book doesn't have monster age categories. But it would be useful to have it even in case of not monster player characters, such as the Object Reading power. 13:01:58 -!- olsner has joined. 13:03:10 O.o 13:03:18 Taneb: is noryshorts just replacing nand by nor in the description of nandypants? 13:03:33 pikhq: are you around? 13:03:34 Minecraft chests have a maximum density of 2 million times that inside a supermassive black hole. 13:03:45 @oerjan yeah 13:03:45 Unknown command, try @list 13:04:03 Taneb: @ is a dangerous prefix in our channel :P 13:04:26 I'll make sure to note that. 13:04:43 @tell me about it. 13:04:44 Consider it noted. 13:04:55 Taneb: which means they're not _entirely_ dual to each other, because they treat 0 and 1 differently 13:05:18 No, but I think they're both Turing Complete 13:05:43 probably 13:05:50 I'm working on translating boolfuck into noryshorts 13:06:10 It's the input that's the hardest 13:07:20 Phantom_Hoover: me is going to be somewhat confused if he frequents the haskell channels 13:07:40 Phantom_Hoover says: "about it" 13:08:10 @tell Phantom_Hoover We should just talk like this from now on. 13:08:10 Consider it noted. 13:10:17 elliott: http://www.youtube.com/user/dWhoFan9#p/c/C6995500E1B2A0ED/10/XNplESJ8gss 13:10:29 Phantom_Hoover: now my question is, where do you find a computer with enough memory to fill up that supermassive black hole chest. especially one which hasn't collapsed into a black hole itself. 13:11:05 oerjan, density, not volume. 13:11:06 Phantom_Hoover: You have 1 new message. '/msg lambdabot @messages' to read it. 13:11:19 @messages 13:11:19 Gregor said 3m 9s ago: We should just talk like this from now on. 13:11:26 Phantom_Hoover: um minecraft chests have zero volume? 13:11:27 @tell Gregor It is the best way to talk. 13:11:28 Consider it noted. 13:11:41 oerjan, density inside the Schwartzchild radius. 13:12:09 coppro, I love the part where it transfers into what I shall call forever the Scottish Hamster section. 13:12:10 Phantom_Hoover: i'm just pointing out that i doubt you can get hold of enough minecraft objects to fill it with to attain that density... 13:12:24 @messages 13:12:24 oerjan said 5m 10d 3h 35m 52s ago: I have been looking a bit at your egojoust parsing code and i think you are miscalculating the new size of the program after expansion, particularly if using ({})% 13:12:25 (you are clobbering llen for a different use) but also elsewhere (ignoring the atoi length). might you not end up looking at unitialized memory? 13:12:25 oerjan said 5m 10d 3h 29m 30s ago: I started looking because quintopia tells he cannot get ({})% to use with iteration count more than 20 or so, at least if the contents are slightly complicated 13:12:25 iiuc 13:12:25 oerjan said 5m 10d 3h 28m 56s ago: *to work 13:12:26 oerjan said 5m 10d 3h 23m 8s ago: the interaction of this with memmove(prog.buf + i + temp.bufused, prog.buf + end + 1, prog.bufused - end - 1); after a _nested_ expansion when prog.bufused has _ 13:12:28 already_ been miscalculated particularly worries me, that _could_ be the case giving quintopia problems... 13:12:30 oerjan said 5m 10d 2h 55m 5s ago: actually won't the memmove(prog.buf + i + temp.bufused, prog.buf + end + 1, prog.bufused - end - 1); end up copying the ) as well... _that_ would surely be a 13:12:32 Holy eff X-D 13:12:32 problem when nesting... 13:12:34 oerjan said 5m 10d 2h 54m ago: Scratch that last, i cannot read. also the atoi length is of course not a problem. the reuse of llen inside the % branch still is, i believe. 13:12:35 Sorry guys :P 13:12:36 oerjan said 5m 10d 2h 47m 10s ago: Summary (I don't know whether the previous messages were cleared or not): i think the reuse of llen in the % branch of egojoust.c's parseFile function is a problem 13:12:38 that causes the prog.bufused to be calculated wrong when using ({})%, conceivable leading to reading of unitialized memory 13:12:39 Gregor: wat 13:12:40 Plugin `tell' failed with: thread killed 13:12:45 ... lul 13:12:50 5 moths ago. 13:13:01 Also, love that bug with @messages. 13:13:10 hm _is_ it a bug? 13:13:13 @messages 13:13:13 You don't have any new messages. 13:13:16 darn 13:13:21 seems so 13:13:21 Phantom_Hoover: So what's the maximum-mass object you can put in a chest? 13:13:24 Many a time has elliott piled my inbox high with stuff that was then lost when it crashed. 13:13:33 Gregor, 64-stack of gold blocks. 13:14:07 Heh, that's a 1mx1mx1m block o' gold X-D 13:14:26 Phantom_Hoover: I Am the Doctor is also fantastic 13:14:51 Gregor, no, it's an 8x8x8m block of gold. 13:15:27 coppro, it doesn't have Scottish Hamster in it, though. 13:15:27 -!- derrik has joined. 13:15:41 Phantom_Hoover: I meant /each/ block is a 1x1x1m. 13:16:02 Gregor, yes. 13:16:11 Phantom_Hoover: is the Scottish Hamster the part missing from the televised title theme? 13:17:02 coppro, http://www.bbc.co.uk/doctorwho/classic/news/radiophonatron.shtml 13:17:14 Click the button called "Scottish Hamster" and all shall be revealed. 13:18:51 yep, that's the bit 13:18:56 best part of the theme in my opinion 13:19:30 Indeed. 13:19:33 I think I've got everything for the Boolfuck to Noryshorts conversion exceppt input 13:20:49 Nobody cares about input anyway. 13:20:54 !underload ((We also have a proper esolang bot)!a(:^)*S):^ 13:20:55 ​((We also have a proper esolang bot)!a(:^)*S):^ 13:21:07 XD 13:21:09 I want to do input for completion's sake 13:21:13 Or wait, was it meant to do that? 13:22:03 !underload ((_Could be..._)!a(:^)*S):^ 13:22:04 ​((_Could be..._)!a(:^)*S):^ 13:22:26 !underload ((((((( 13:22:26 Error: Expected ) at end of input 13:22:48 O_o Phantom_Hoover hasn't seen underload before? 13:23:25 oerjan, no, but this thing is confusing me although this is primarily due to my own laziness. 13:23:37 http://esoteric.voxelperfect.net/wiki/Underload 13:23:46 yep 13:24:00 one of my favorite languages, obviously :P 13:27:41 !slashes /*/\/.\\0\/,\\,0,\\,1\/\/.\\1\/,\\,1,\\,0\/\/,\\,\/.\//********/.//.0 13:27:42 0110100110010110100101100110100110010110011010010110100110010110100101100110100101101001100101100110100110010110100101100110100110010110011010010110100110010110011010011001011010010110011010010110100110010110100101100110100110010110011010010110100110010110 13:27:51 and that's another one 13:33:21 Right, I've think I've translated input from Boolfuck to Noryshorts 13:36:36 And I've had an idea for a simpler one for Nandypants 13:38:05 "Nandypants is a dual-tape bitwise language that ended up, completely accidentally, being extremely similar to brainfuck." 13:38:35 Invented by me 13:38:43 Well, you seem moderately nice, so I won't brickbrain you. 13:39:03 Thanks? 13:39:10 XD 13:39:35 See User:Phantom_Hoover on the wiki for more information. 13:41:43 Oh, ooh dear 13:42:13 Graa, I seriously need to fix fungot. 13:42:16 Don't worry, I'm not counting it as a derivative. 13:42:24 fizzie, just ignore the idiot who complained? 13:42:31 They've left by now, surely? 13:43:04 fizzie: YAY 13:43:35 fizzie, also, were you actually making a Homestuck set for him? 13:44:29 "It is currently unknown if BoolSpool is Turing Complete, as the specifications are not yet finished." 13:44:37 Hmm, that's a bit of an odd statement. 13:44:51 wioll haven been 13:45:49 Phantom_Hoover: Well, I crawled the pages and wrote a bit of Perl to heuristically HTML-scrape the pages into content. There's not *that* much easily extractable text, though, since quite a lot of it is in images/flash. The pesterlogs (and such), mainly. 13:46:18 I think I'll just bring fungot back as-is for now, though I think I finally located the proper place to fix. (It was even commented!) 13:46:21 If it includes pesterlogs then I am making another bot to make sure he's never changed off that setting. 13:46:34 -!- pumpkin has quit (Remote host closed the connection). 13:46:48 Taneb: oh hm i think your nandypants boolfuck has a bug 13:46:59 -!- copumpkin has joined. 13:47:00 -!- copumpkin has quit (Changing host). 13:47:00 -!- copumpkin has joined. 13:47:08 Go ahead... 13:47:43 when jumping between the even numbers in the [ ] translation, the b placement becomes wrong 13:48:02 Yeah, fixing that now 13:48:08 I even have the edit page open 13:49:04 -!- derrik has quit (Quit: laterzz). 13:52:36 -!- fungot has joined. 13:52:53 There 13:53:04 ^ul ((Happy happy joy joy! )S:^):^ 13:53:04 Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy happy joy joy! Happy hap ...too much output! 13:53:19 fungot there is another of our bot-herd. 13:53:20 fizzie: socket.write lambda self, x: x+x in python and its not maintainable code 13:53:28 ^source 13:53:28 http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 13:53:42 and the only one to be _written_ in an esolang. 13:53:49 (So far.) 13:53:50 well there _have_ been others. 13:53:57 thutubot, at least. 13:54:30 They haven't been as witty conversationalists as fungot, though. 13:54:31 fizzie: fnord?). the queue object should support the following operations: binding a variable x_cfg in a path from inert material to a cell phone... 13:54:39 indeed 13:54:52 ^style 13:54:53 Available: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube 13:56:20 -!- iconmaster has quit (Ping timeout: 255 seconds). 13:56:24 -!- augur has quit (Remote host closed the connection). 13:56:29 fungot! 13:56:30 Phantom_Hoover: ( which doesn't work... the mere *concept* of language is ineligible.' 13:56:34 HOW I HAVE MISSED YOU 13:57:08 fizzie, so wait, who was the little prick who got him taken down to start with? 13:57:19 Phantom_Hoover, does your brainfuck-derivative pledge include humorous animal themed brainfuck-equivaletns? 13:57:58 Taneb, yes, except brickbraining those people is pointless because it would just make their brain slightly harder. 13:58:14 Phantom_Hoover: I don't really recall the specifics. I just saw the "can be used to do CTCP" discussed on-channel and thought "well I'll take it offline and fix, shan't be hard", then managed to not get anything done evar. 13:58:26 i'd imagine it applies to those _especially_. 13:58:33 What about the at least one who has otherwise displayed originality in esoterica? 13:58:37 oerjan, do you know who it was? 13:58:54 Taneb, the only forgiveable one is Ook! 13:59:04 That was the one I was referring too 13:59:28 Phantom_Hoover: i don't think it was disclosed who _complained_. the staff member who came down on Gregor was plazma. 13:59:31 And that's because a) it was made by DMM and I can't hate DMM and b) it was the first one, so it was slightly amusing. 13:59:51 DMM is pretty much the only reason I'm here 14:00:00 We all love DMM. 14:01:51 I'm going to vote that the text "Well, not really, but h" to be replaced with "H" in DMM's article on the wiki 14:05:57 Also, bye everyone 14:06:16 heh 14:07:42 TbH, other than Piet, he didn't really make any good esolangs, but the rest were jokes back when joke esolangs were still funny, so that's OK. 14:08:40 -!- Behold has joined. 14:10:19 -!- Taneb has quit (Ping timeout: 260 seconds). 14:10:44 http://the-diplomat.com/2011/07/05/china%E2%80%99s-ticking-debt-bomb/ 14:10:47 Waitwaitwait. 14:11:03 I thought China was the one that *credited* money. 14:11:10 How can everyone be in debt. 14:11:13 It makes no sense. 14:11:25 -!- BeholdMyGlory has quit (Ping timeout: 240 seconds). 14:12:53 Phantom_Hoover: I agree. 14:13:21 altho' most inter-western debts aren't country-to-country, but country-to-bank 14:13:39 or country-to-international-organization or such 14:14:09 which explains it to some extent 14:23:37 -!- augur has joined. 14:34:52 ...so basically, we are hipster esolangers. 14:35:05 * oerjan leaves you to scream in despair 14:36:53 I am too hip to be a hipster. 14:40:50 I SAID DESPAIR, NOT SELF-DENIAL 14:46:22 -!- augur has quit (Remote host closed the connection). 15:16:37 -!- Taneb has joined. 15:16:47 Hello IRC! 15:17:48 -!- ais523 has joined. 15:18:20 Note to self: Stop abusing the computer 15:18:43 I think I wrote some of the most ridiculous code in my life today 15:18:43 ais523: You have 1 new message. '/msg lambdabot @messages' to read it. 15:18:44 Taneb: hello again. i fixed your [ ] code, or so i hope. 15:19:01 it created a new process, then errored out if its PID wasn't 2 15:19:06 -!- SgeoN1 has joined. 15:19:32 also, i had this realization the nandypants code would work for noryshorts too if you changed the initial setup to >^< instead. 15:20:05 because then everything becomes dual. 15:20:23 Hmm, yeah 15:20:30 So basically, you're writing init related stuff? 15:20:41 -!- monqy has joined. 15:20:43 -!- augur has joined. 15:20:48 SgeoN1: close 15:20:53 it was part of a fake init process 15:20:55 that pretends to be init 15:21:15 I'm making a sort of improved chroot 15:21:22 that hides the existence of other processes as well as other directories 15:21:29 My computer is now making very weird sounds 15:21:56 Why oh why did I mentally insert an "out with" into that sentence 15:21:59 as far as I can tell, all init actually needs to do is to spawn one process, then just do int s; for(;;) wait(&s); 15:22:09 Is there a way to check if it's from fan weirdness or hdd weirdness? 15:22:19 fan weirdness is likely to depend on temperature 15:22:23 Taneb: well SgeoN1 _was_ abusing it... 15:22:27 likewise, hdd weirdness will depend on disk activity 15:22:41 It started after I abruptly moved it 15:22:58 why did you abruptly move it? 15:23:02 and was it switched on at the time? 15:23:03 Probably HDD weirdness 15:23:13 anyway, if you haven't already, now would be a good time to make backups to external media 15:23:43 :/ 15:23:53 -!- Sgeo_ has quit (Ping timeout: 250 seconds). 15:24:13 Okay, that's worrying. 15:25:02 Taneb: there's some history here, Sgeo has managed to break one disk already by acting in a completely inappropriate way after a disk head crash 15:25:08 Um, I tried hibernating, got impatient, forced it off. Turning it on boots into grub like normal, but still with weird sounds. Turned it off again 15:25:15 I'd have thought he'd have learned to make backups 15:26:39 -!- oerjan has quit (Quit: Later). 15:27:10 I may make an esolang based on football (soccer) 15:28:16 Like "[player] scores!" would be output 15:28:23 hmm 15:28:30 such languages are either awesome or fail horribly 15:28:35 and it's hard to figure out which, often 15:29:10 And input would be "The manager is having words with [player]" 15:29:14 Or something 15:29:35 Well, that's interesting. Sound does not seem to be correlated with HDD light 15:33:19 No sound for a while 15:33:30 Going to try some SMART stuff 15:33:52 And passing would increment the the ball's variable 15:34:06 SgeoN1: Like backing up your stuff? 15:35:48 Also, is Deadfish a finite state automaton? 15:35:56 Reallocated Sector Count is at Warning. Toolyip says Failure is a sign of imminent disk failure 15:36:28 That may because something very bad is about to happen 15:36:44 That is not reflected in Overall Assessment, Whig just says that Disk has a few bad sectors 15:37:16 How much is a few? 15:38:08 Value for Reallocated Sector Count: Normalized: 100 Worst: 100 Threshold: 50 Value: 18 sectors 15:38:36 Oh, I have 23 bad sectors 15:38:45 It's going up 15:39:17 Um, no 15:39:39 I assume it was zero at some point 15:39:44 Current Pending Sector count: 5 sectors. 15:45:05 No nasty sounds for a while now. Going to turn off and on and see if the numbers get worse. 15:50:16 Shutdown has stalled at Stopping early crypto disks... 15:54:58 -!- ais523 has left (" fizzie: it makes demons fly out of my window, washing the windows api"). 15:58:21 Nothing seems to have gotten worse. I'm going to take this as a "just handle the computer with a bit more care" sign for today, will work on backups soon 15:59:53 No weird sounds for a log while now 16:04:28 -!- SgeoN1 has quit (Read error: Connection reset by peer). 16:04:41 -!- SgeoN1 has joined. 16:06:58 -!- Sgeo has joined. 16:11:06 Holding steady at 18/5 16:13:44 -!- jcp|1 has joined. 16:15:14 -!- jcp has quit (Read error: Operation timed out). 16:15:27 -!- jcp|other has quit (Ping timeout: 250 seconds). 16:16:56 -!- jcp has joined. 16:20:25 -!- augur has quit (Ping timeout: 260 seconds). 16:20:50 -!- augur has joined. 16:31:11 -!- Taneb has quit (Ping timeout: 276 seconds). 16:32:22 -!- MigoMipo has joined. 16:32:25 -!- Taneb has joined. 16:32:44 Hello 16:36:33 taneb: why world is like wtf 16:37:17 Um... what? 16:39:07 Do you have ideas about literate programming and/or related stuff? 16:41:33 -!- pingveno_ has changed nick to pingveno. 16:43:08 zzo38: no 16:43:28 do you have ideas on how to brainwash yourself? 16:44:26 I don't think so. 16:44:57 `quote wtf 16:44:58 131) alise: why internet is like wtf \ 136) And... WTF is it doing. :( Is it sexing? \ 197) pikhq, Okinawan? Wtf is that \ 236) elliott: just to bring you up to speed, you are now my baby nephew. wtf, elliott is a nephew and his uncle is here? what 16:47:48 -!- SgeoN1 has quit (Ping timeout: 255 seconds). 16:47:58 -!- Sgeo_ has joined. 16:48:37 -!- SgeoN1 has joined. 16:49:15 -!- Sgeo has quit (Ping timeout: 250 seconds). 16:50:26 -!- ais523 has joined. 16:51:39 Why does MiKTeX require postscript to print a document? 16:52:23 zzo38: Historical/hysterical reasons? 16:53:17 Gregor, *reasons/raisins. 16:53:37 Clearly hysterical raisins. 16:54:11 It ought to convert directly DVI to Windows printer format. 16:54:32 Which is probably postscript or something closely related ... 16:54:36 The Linux system does have directly DVI to PCL, for printing on PCL printer. 16:54:54 Is it postscript? If so, that would explain why it is needed. 16:57:10 I know that it was Postscript in Windows 3.11 8-D 17:05:21 DVI is very good designed format I think 17:05:22 -!- zzo38 has quit (Remote host closed the connection). 17:05:48 -!- Taneb has quit (Ping timeout: 255 seconds). 17:28:23 -!- Sgeo has joined. 17:29:39 -!- Sgeo_ has quit (Ping timeout: 255 seconds). 17:31:52 There are printing formats other than PS and PDF? 17:32:05 tswett: Microsoft have their own called XPS 17:32:10 which they tried to push for a while, but nobody used it anyway 17:33:31 -!- derrik has joined. 17:34:36 -!- derrik has left. 17:44:35 I thought Windows used the EMF format for storing stuff in the printer spool. 17:45:38 fizzie: perhaps in Windows 3.1 17:45:41 I doubt they use it nowadays 17:46:04 there was some sort of backlash against metafiles, because the format was really badly designed (you could put pointers to arbitrary memory in it which had to be executed to figure out what it meant) 17:46:31 http://support.microsoft.com/kb/179774 17:46:39 -!- Taneb has joined. 17:47:00 So it's a setting you can set, whether to spool "raw" (i.e. what the printer eats) or as EMF. 17:47:30 Hello again 17:48:07 (That was NT4.) 17:48:22 This article applies to a different operating system than the one you are using. Article content that may not be relevant to you is disabled. 17:48:26 I'm running a Linux-based OS 17:48:33 and yet the article still says something 17:49:56 probably they assume linux users are competent enough to grok the whole article and its context 17:57:40 -!- SgeoN1 has quit (Quit: Bye). 18:00:35 You could be administrating a Windows system and use Linux on your main system. 18:02:57 -!- Taneb has quit (Ping timeout: 252 seconds). 18:04:00 in that case, the warning would be pointless 18:17:21 -!- Taneb has joined. 18:18:39 -!- myndzi has quit (Ping timeout: 260 seconds). 18:18:52 -!- myndzi has joined. 18:19:51 Hello 18:19:56 Hi 18:22:17 What's up? 18:22:48 hmm, a bunch of Catholic missionaries just came to the door 18:22:55 which is relatively implausibly unlikely in modern-day UK 18:23:14 I answered most of their questions with answers which were unrelated to the question itself 18:23:27 o.O such as? 18:24:09 just giving random statements of fact 18:28:17 -!- pikhq_ has joined. 18:28:24 -!- pikhq has quit (Ping timeout: 264 seconds). 18:35:26 Well, NewsCorp is in a tricky situation in the UK 18:36:03 and across the world 18:36:33 Slashdot has attacked them with an article whose headline has nothing to do with the summary (the headline mentions 9/11 victims being phone-hacked, the summary doesn't) 18:38:10 Slashdot attacking NotW with that headline is hilarious. 18:38:49 I didn't read the actual article to see what it was about; it might be something entirely unrelated again 18:39:31 anyway, NotW (and NewsCorp generally) are in trouble because public opinion in the UK is so far against them atm that it would be political suicide to do anything that even vaguely favours them 18:40:26 There's a long time until the next general election, ais. 18:41:18 yep 18:41:38 Not necasohgodIcan'tsppellthatword. That bill for fixed term parliaments never passed 18:41:44 what I think the Government would be best advised to do, and probably will do, is to delay the whole BSkyB aquisition nonfatally on a pretext 18:41:58 and then look at it normally once it blows over 18:42:38 -!- Nisstyre has quit (Quit: Leaving). 18:43:13 there are any number of plausible pretexts, many related to the thing that sparked it in the first place 18:43:43 -!- Nisstyre has joined. 18:44:35 Hey, you can nowadays play Progress Quest (single-player style only) in the browser. 18:44:47 Progress Quest had multiplayer? 18:44:52 also, I assumed it was a browser game anyway 18:45:02 Yes, in the sense that there was a Hall of Fame. 18:45:09 -!- azaq23 has quit (Quit: Leaving.). 18:45:20 "Thanks to recent advances in technology, it has been possible to port Progress Quest to run in your browser. You no longer need to download or install anything to play Progress Quest; just hit the button: [Play] 18:45:25 Does that sound easy to you? Well it wasn't; we started with hardware emulation of a 80386-equipped PC clone running a novel Windows XP compatable operating system called ProgrOS, implemented in a clean room in the Seychelles by a team of people who had never programmed before (to keep the lawyers at bay). 18:45:30 Unfortuantely that wan't fast enough (there was too much lag death), so we instead emulated the much faster Cray-2 supercomputer and ran the 80386 emulator in that. But the 80386 kept getting hot, so we switched to a 6502 overclocked at 120GHz with emulated liquid helium coolant, and ported ProgrOS to that." 18:45:55 I think they may be... I don't want to say lying, but perhaps sort of slightly tweaking the truth there. 18:46:16 How can you say such a thing, fizzie. 18:46:19 And it was a Windows program; I ran it in Wine a few weeks "back then". 18:46:33 Do you know how Wine really works, fizzie. 18:47:12 I think it is related to the GABA receptors, but I'm no brain guy. 18:48:51 Phantom_Hoover: the WINE people are actually telling the truth when they say it isn't an emulator 18:49:03 it basically implements the Win32 API in terms of Linux primitives 18:49:24 -!- ais523 has quit (Remote host closed the connection). 18:49:57 ais523, sure, that's because it's an emulator of a forsaken child who has been enticingly shown a window and promised freedom if they run a binary as Windows would. 18:50:04 Dammit, ais, don't just quit like that. 18:57:39 -!- sebbu2 has quit (Read error: Connection reset by peer). 18:58:21 -!- sebbu has joined. 18:58:21 -!- sebbu has quit (Changing host). 18:58:21 -!- sebbu has joined. 19:10:15 -!- Taneb has quit (Ping timeout: 276 seconds). 19:20:29 -!- zzo38 has joined. 19:22:27 -!- elliott has joined. 19:30:26 -!- Taneb has joined. 19:30:58 -!- oerjan has joined. 19:31:56 08:53:10: aha. 19:31:57 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 19:31:57 08:53:19: I can use GADTs to distinguish between continuous and discrete signals. 19:32:05 CakeProphet: you could also just have two separate data types... 19:32:16 hello oerjan, Taneb 19:32:24 Hello 19:32:46 09:00:35: basically: type Continuous; type Discrete; data Signal a t where { DSignal :: (Integral s) => [a] -> s -> Signal a Discrete; CSignal :: (Integral t) => (t -> a) -> Signal a Continuous;} 19:32:46 CakeProphet: that's literally identical to having two separate data types, dude :P 19:33:10 Also, is Deadfish a finite state automaton? 19:33:19 heh 19:33:28 no, some implementations use unbounded integers 19:33:30 Taneb: Deadfish is super turing complete, HTH 19:33:40 oerjan: oh, that's even better 19:34:30 (including most of mine. well i haven't _explicitly_ made any bounded afair.) 19:36:38 dear logs-quintopia: please stop treating zzo like a circus attraction. thx 19:37:15 Taneb: deadfish _would_ have been an FSA except that the original implementation horribly broke the check for overflow in the case of squaring. and that's part of its charm. 19:37:27 10:37:41: 05:27:27: erm darwin was actually pretty racist iirc 19:37:27 10:37:41: 05:27:33: istr something about ~primitive negroes~ 19:37:27 10:38:11: Yes elliott you are either completely racist or completely non-racist there is no spectrum in between, 19:37:28 I was replying to an assertion that Darwin wasn't racist 19:38:12 before WW2 non-racists barely existed 19:38:53 perhaps before the 60s, even 19:39:55 * Sgeo curses out LibreOffice 19:42:24 Gregor: Why are you holding your hair in your Google+ photo. 19:42:25 -!- Treyno has joined. 19:42:33 It's like "hmm, hair, what is this". 19:42:34 -!- Treyno has left. 19:42:43 * elliott eyes Treyno suspiciously. 19:42:54 elliott: I'm pretty sure I was pulling my hair out of my mouth at the time, and it was there due to windness :P 19:43:29 "Mm, what a delicious meal of hair. Now that I am done I shall extract my hair from my mouth receptacle." 19:43:32 --Gregor's actual thoughts. 19:45:16 I think I'm going to switch to AbiWord 19:47:02 to me it looks more like Gregor is saying "Hey, how do you like my hair? It's real." 19:47:20 ... ladies 19:47:24 maybe he hasn't realized that real hair is completely normal and quite common 19:47:32 It is????? 19:47:35 My wig is even more shameful :( 19:49:27 * Sgeo knows someone who wears a wig 19:50:28 11:23:49: oklopol, also your ban in #jesus has expired. 19:50:35 He got banned? 19:50:36 oklopol: EXPLAIN 19:50:45 It autobans you if you say 'fuck'. 19:50:52 more importantly, he was in #jesus? 19:50:52 hahahahaha 19:50:57 olsner: yes we all were. 19:51:00 it was a beautiful day. 19:51:03 like rainbows and sunshine. 19:52:30 11:53:12: well you know because i could've used my "wtf, you have multiple identity elements smiley" o=oO=O 19:52:30 11:53:34: yeah, i have a smiley for everything. 19:52:33 quoted without comment 19:52:53 `delquote 496 19:52:55 ​*poof* 19:52:58 `addquote well you know because i could've used my "wtf, you have multiple identity elements smiley" o=oO=O yeah, i have a smiley for everything. 19:53:00 496) well you know because i could've used my "wtf, you have multiple identity elements smiley" o=oO=O yeah, i have a smiley for everything. 19:53:05 elliott: except the comment saying it was "quoted without comment"? 19:53:18 -!- Sgeo_ has joined. 19:53:35 Fucking crap Internet connection 19:53:43 olsner: yes. 19:53:45 Maybe it's the router's fault 19:54:32 12:47:06: seems not. but then google changes their APIs like others change shirts, iiuc 19:54:33 -!- Sgeo has quit (Ping timeout: 255 seconds). 19:54:34 doesn't api iirc 19:54:36 `url bin/google 19:54:37 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/google 19:55:19 Google search doesn't have an API. 19:55:34 "Mm, what a delicious meal of hair. Now that I am done I shall extract my hair from my mouth receptacle." <-- clearly hair is the fnarfiest of all substances, and it is only through force of will that Gregor still has any. which shows we should fear his willpower. 19:55:40 yes. 19:55:46 13:10:17: elliott: http://www.youtube.com/user/dWhoFan9#p/c/C6995500E1B2A0ED/10/XNplESJ8gss 19:55:47 this is good 19:56:05 13:03:34: Minecraft chests have a maximum density of 2 million times that inside a supermassive black hole. 19:56:06 How. 19:56:21 elliott, they can hold a crapton of gold. 19:56:34 13:12:09: coppro, I love the part where it transfers into what I shall call forever the Scottish Hamster section. 19:56:34 wat 19:56:37 Gregor: https://code.google.com/apis/customsearch/v1/overview.html 19:56:51 elliott, all would be revealed if you read the log for like 10 more lines. 19:56:55 pikhq_: I LIE 19:56:56 They charge, which is t3h lame. 19:56:58 Phantom_Hoover: ur mom is shit 19:57:01 But they have an API. 19:57:09 pikhq_: I right, yeah, no FREE API. 19:57:11 Phantom_Hoover: but what _is_ the scottish hamster section. 19:57:34 Seriously, the link I gave in the log illustrates it far better than I can with words. 19:57:35 Oh I see. 19:57:42 Google search doesn't have an API. <-- well output format, then. 19:57:45 I'm not entirely sure why they *would* charge, though. 19:58:12 pikhq_: volume 19:58:18 elliott: *Google*. 19:58:28 yep 19:58:42 pikhq_: The ads on that site are their #1 business, they don't want somebody making lulnoadsgoogle.com that just uses the Google API to do searches without showing ads or sponsored results. 19:59:29 Gregor: Of course, it'd be trivial to do that anyways. 19:59:36 see scroogle 19:59:50 pikhq_: They do what they can :P 20:00:04 * oerjan hugs fungot 20:00:04 oerjan: fnord/ fnord/ fnord is fnord is a mnemonic for doing exactly that. http://srfi.schemers.org/ srfi-8/? 20:00:20 very good mnemonic 20:03:00 fungot: omg i love you 20:03:00 elliott: oh yeah, been wanting to do 20:03:05 ^style 20:03:05 Available: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube 20:05:47 ^style irc* 20:05:47 Not found. 20:05:51 ... 20:06:00 That denotes the selected style. 20:06:04 Ohh, * means selected 20:06:06 Durp 20:06:14 apparently, "mod_rewrite loop apache eats all memory" is among the top searches that point to my blog 20:06:23 I like the idea of people searching for help to solve a problem instead finding more elaborate ways to create similar problems :) 20:06:54 :D 20:07:02 (then again "top searches" might just mean that one person searched for it once) 20:07:36 * Sgeo_ curses out Abiword 20:07:50 Sgeo_: Well, that lasted all of fifteen minutes. 20:08:10 today Sgeo_ has: broken hardware; hated software, twice 20:08:32 15:35:56: Reallocated Sector Count is at Warning. Toolyip says Failure is a sign of imminent disk failure 20:08:32 15:36:44: That is not reflected in Overall Assessment, Whig just says that Disk has a few bad sectors 20:08:32 am I reading Finnegans Wake 20:09:51 three disks for muster whig 20:10:09 zem.fi's top search for every month has quite long been "openttd logic gates" or some-such. 20:10:41 -!- asiekierkaDS has joined. 20:10:43 hey 20:10:55 hello 20:10:57 oh 20:10:58 (Though there are often people who seem to be actually trying to play the game.) 20:11:13 i wasnt here for a long time 20:11:24 indeed. 20:11:26 fungot still exists? yay 20:11:26 asiekierkaDS: it would be 20:11:28 clearly today is return of old friends day 20:11:31 fizzie: great timing >:( 20:11:37 who else returned? 20:11:42 fungot 20:11:43 monqy: how have we just called ep1 with an argument m that halts if it doesn't include the srfi title) etc.? can't we provide the same kind of purpose), decided to wget fnord to see if it helps 20:11:43 asiekierkaDS: fungot :P 20:11:43 oerjan: i like the alternative of designing a bf cpu too. ( unfortunately, it's not 20:11:47 fungot 20:11:48 elliott: i have yet to demonstrate that the sml community has less productive power than the real chunk of meat. 20:11:50 haha 20:11:53 `addquote elliott: i have yet to demonstrate that the sml community has less productive power than the real chunk of meat. 20:11:54 elliott: riastradh is larceny supposed to launch fast?" " why not a wind elemental 20:11:55 497) elliott: i have yet to demonstrate that the sml community has less productive power than the real chunk of meat. 20:12:35 to activate the fun, you just say fungot? 20:12:35 olsner: ( define ( foo) fnord, y) .6 fnord, y) with the chicken post. 20:13:00 olsner: yes. then you got the fun. 20:13:51 ='help 20:13:54 'help 20:14:00 `help 20:14:01 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/ 20:14:32 Gregor: Hey, prgmr has good latency. 20:14:47 elliott: SO DOES YOUR MOM 20:15:14 fungot: your previous fun ran out of fun, try again please 20:15:14 olsner: and it might well use some fnord or something. they killed a lot of motion in them? second, is there a short way to make a data/ value name 20:15:23 Gregor: hmm, the Debian installation seems quite minimal 20:15:37 elliott: It is. Install whatever you want :P 20:15:41 Yar. 20:15:56 Gregor: I'm just wary because there's no "trash the system and reinstall it" button like there is with Slicehost because it's all manual :-P 20:16:23 'run whoami 20:16:31 what is it with fungot and fnord 20:16:32 monqy: the instruction awe which multiplies every point of memory to use for the next 8 hours. 20:16:40 asiekierkaDS: still wrong kind of quote 20:16:48 you need the backtick 20:16:52 `run whoami 20:16:54 No output. 20:17:05 `run id 20:17:07 uid=1050370 gid=1050370 20:17:20 monqy: fnord is used for words that occur few times (at most once?) in the corpus 20:17:23 the numbers, what do they mean 20:18:08 I think they may be... I don't want to say lying, but perhaps sort of slightly tweaking the truth there. 20:18:13 argh 20:20:08 asiekierkaDS: HackEgo creates a random user to run each command under 20:20:18 `run id 20:20:20 uid=1471836 gid=1471836 20:20:25 what are the priveliges 20:20:29 ooh, indeed it does 20:21:16 asiekierkaDS: it's also sandboxed in a couple of other ways, so not very high :P 20:21:33 so no rm -rf $PWD? 20:22:13 asiekierkaDS: it doesn't have root, no. i assume. 20:22:26 can i check 20:22:35 sure. 20:22:45 `run rm -rf $PWD 20:22:46 No output. 20:22:51 `run ls 20:22:51 `ls 20:22:52 1 \ babies \ bin \ bluhbluh \ env \ foo \ paste \ ps \ quine.pl \ quine2.pl \ quine3.pl \ quotes \ quotese \ tekst \ tmpdir.1976 \ тэкст 20:22:53 1 \ babies \ bin \ bluhbluh \ env \ foo \ paste \ ps \ quine.pl \ quine2.pl \ quine3.pl \ quotes \ quotese \ tekst \ tmpdir.1988 \ тэкст 20:22:57 huh. 20:23:01 hm ah. 20:23:06 `run rm -rf . 20:23:08 No output. 20:23:10 `ls 20:23:12 1 \ babies \ bin \ bluhbluh \ env \ foo \ paste \ ps \ quine.pl \ quine2.pl \ quine3.pl \ quotes \ quotese \ tekst \ tmpdir.2118 \ тэкст 20:23:16 Huh. 20:23:19 you can't rm . 20:23:23 see posix 20:23:26 `run rm -rf $PWD 2&>1 20:23:28 No output. 20:23:30 `run rm -rf * 20:23:31 No output. 20:23:33 `ls 20:23:34 `run rm -rf $PWD 2>&1 20:23:35 babies \ bin \ paste \ tmpdir.2289 20:23:37 `help 20:23:37 ​/bin/rm: cannot remove `/tmp/hackenv.2302': Function not implemented 20:23:38 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/ 20:23:44 `ls 20:23:46 babies \ bin \ paste \ tmpdir.2467 20:23:46 `revert 526 20:23:48 Done. 20:23:49 `ls 20:23:51 1 \ babies \ bin \ bluhbluh \ env \ foo \ paste \ ps \ quine.pl \ quine2.pl \ quine3.pl \ quotes \ quotese \ tekst \ tmpdir.2565 \ тэкст 20:23:57 `run uname -a 20:23:59 Linux codu.org 2.6.32-5-xen-amd64 #1 SMP Tue Mar 8 00:01:30 UTC 2011 x86_64 GNU/Linux 20:24:04 old kernel 20:24:19 It's Debian stable. 20:24:30 but it's like, 7 versions behind 20:24:39 So? 20:25:21 oh noes old kernels 20:25:36 the bugs! 20:25:39 Hmm, I wonder why Debian sudo adds a sudo group instead of a wheel group. 20:25:43 asiekierkaDS: new versions introduce bugs too. 20:25:49 As in, why "sudo" instead of "wheel". 20:25:51 yes but 20:26:03 AbiWord at least isn't bloated 20:26:23 but usually (exception: minecraft) more are fixed than introduced 20:26:29 I was only complaining that it kept crashing when trying to read some .odt that may not have even been intended as anything other than recovery junk 20:26:36 asiekierkaDS: citation needed 20:26:46 asiekierkaDS: new versions introduce bugs too. 20:26:57 I thought asiekierka had made a DS when he made that./ 20:27:09 Yes. That is a thing that happened. 20:27:11 And the new version literally did nothing but introduce bugs. 20:29:09 elliott: Hmm. Maybe it has something to do with how GNU su doesn't support wheel? 20:29:20 heh 20:29:31 (because Stallman) 20:30:53 -!- zzo38 has quit (Remote host closed the connection). 20:30:57 What does adding a system user even do in comparison to adding a normal user 20:30:59 i.e. --system 20:31:06 Just gives it a different UID? 20:31:17 Yeah, seems so 20:31:23 And doesn't put it in any groups other than nogroup 20:31:30 And gives it the shell /bin/false 20:32:36 elliott: Yeah, by convention "system" accounts and "user" accounts have different ranges of UIDs. 20:32:51 Things like GDM use this when listing the user accounts on a system. 20:33:00 Hmm, it's a pain that HOME doesn't get set when you do "sudo -s -u" 20:33:13 Oh, -H works 20:34:14 There's also -i, which simulates a login. 20:39:52 Ugh, the atheist I don't like in #jesus is awake 20:40:16 Sgeo_: That annoying guy me and oklopol complained about? 20:40:19 amigo something. 20:40:23 japan 20:40:24 No 20:43:26 Ok, so he wrote only one or two lines 20:43:51 -!- Taneb has quit (Quit: Taneb). 20:44:02 -!- Taneb has joined. 20:46:09 Sgeo_, was Krynn the annoying atheist? 20:46:14 Yes 20:46:36 luke-jr: you know of any good zlib tutorials out there? I am too lazy to read the docs.. 20:46:36 zlib is the work of the devil esaym153 20:46:36 Krynn, sometimes, you're downright annoying 20:46:36 I know. :} 20:46:36 Sometimes I aim to be 20:47:53 Dropping my laptop is probably not the best thing that could have happened to it 20:48:11 18/5 still 20:55:19 it may not even be in the top ten 21:15:32 -!- MigoMipo has quit (Read error: Connection reset by peer). 21:20:16 -!- asiekierkaDS has quit (Ping timeout: 246 seconds). 21:28:04 -!- augur has quit (Remote host closed the connection). 21:34:23 -!- pumpkin has joined. 21:34:23 -!- pumpkin has quit (Changing host). 21:34:23 -!- pumpkin has joined. 21:36:42 -!- copumpkin has quit (Ping timeout: 255 seconds). 21:38:30 -!- pumpkin has quit (Client Quit). 22:00:26 -!- Taneb has quit (Remote host closed the connection). 22:01:05 -!- boily has quit (Ping timeout: 260 seconds). 22:07:47 -!- oklofok has joined. 22:10:19 -!- oklopol has quit (Ping timeout: 246 seconds). 22:16:37 -!- augur has joined. 22:17:30 -!- Tritonio has joined. 22:20:27 -!- Tritonio has quit (Client Quit). 22:23:45 -!- cheater_ has joined. 22:28:34 -!- Phantom__Hoover has joined. 22:29:03 -!- Phantom__Hoover has quit (Client Quit). 23:14:38 maybe i shouldn't have eaten that cheese 23:20:59 -!- nooga has joined. 23:44:56 -!- Nisstyre has quit (Remote host closed the connection). 23:46:14 -!- Nisstyre has joined. 23:50:21 -!- nooga has quit (Ping timeout: 240 seconds). 23:54:24 -!- cheater_ has quit (Ping timeout: 255 seconds). 23:56:00 o 23:58:31 oko