00:06:18 -!- FireFly has quit (Ping timeout: 240 seconds). 00:08:02 -!- FireFly has joined. 00:08:02 give me feedback oerjan 00:08:21 i need valudation (and suggestions and corrections) 00:08:23 watopia 00:08:31 on CASTLE 00:08:58 sorry, my wiki reading is only up to Sep 5 hth 00:10:29 lol 00:10:34 bn busy? 00:11:28 -!- augur has joined. 00:12:10 I found a program to implement an alternative version of popen() called popen_noshell(), which is faster and is accepting the argv array instead of using the shell. 00:37:47 i understand the most important part of a language is a good name, but something about adding a language to the language list without even a basic spec irks me 00:40:37 -!- FireFly has quit (Ping timeout: 250 seconds). 00:40:38 -!- shikhin has quit (Ping timeout: 240 seconds). 00:48:29 Valutations, quintopia. 00:48:37 Vello there. 00:48:41 Vow are you doing? 00:48:43 jafello 00:49:15 is it a valuation salutation? 00:50:09 So there's this one theorem. I'm thinking about how to go about proving it. 00:50:12 Namely: 00:50:20 Given a natural number n, the n-fold successor of 1 is the successor of n. 00:50:46 would seem to require indiction eh 00:50:50 induction 00:50:56 You mean indictment. 00:50:57 Yeah. 00:51:12 pretty straightforward induction actually 00:51:32 -!- FireFly has joined. 00:51:34 An indictment would be an interesting legal interdiction 00:51:46 -!- shikhin has joined. 00:52:08 So, let's see. We've got a function f and a function... succ. 00:52:22 f is defined inductively like so: f(zero) = succ(zero), f(succ(n)) = succ(f(n)). 00:52:34 I desire to prove that f = succ. 00:56:50 thausible. 00:56:53 so what stupid restriction have you put on yourself to make that hard 00:58:43 The restriction is that there's no ambient logic. 00:59:10 ooh http://www.scottaaronson.com/blog/?p=2521 01:00:31 So... 01:00:39 I mean, there are some deductions that happen automatically. 01:00:57 yeah that's how i pay most of my taxes 01:01:05 Exactly. 01:01:11 There are identity functions. You can compose functions. Composition is associative. Equality obeys reflexivity, symmetry, transitivity, blah blah. 01:01:16 (actually, all of them, recently) 01:03:52 Ah, what are my axioms about the natural numbers, again? 01:04:41 You can make natural numbers. You can define functions on the natural numbers inductively. Functions f and g such that f(zero) = g(zero) and f . succ = g . succ are equal. 01:04:42 -!- FireFly has quit (Ping timeout: 244 seconds). 01:05:21 -!- shikhin has quit (Ping timeout: 255 seconds). 01:05:53 Oh, also you can make tuples and stuff that behave as expected. 01:11:14 -!- mihow has quit (Quit: mihow). 01:12:07 -!- hppavilion[1] has joined. 01:12:27 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 01:15:17 Lemme think. I want to be able to prove equality by induction. 01:15:30 Which means something like... 01:16:20 Suppose that f . zero = g . zero, and for all x, if f . x = g . x, then f . succ . x = g . succ . x. Then f = g. 01:16:44 Problem is, that axiom has a major problem. 01:16:53 It has a quantifier in the antecedent. 01:17:05 How terrible. 01:19:03 -!- bb010g has joined. 01:21:25 tswett is an awful human being. 01:21:32 xD 01:21:56 What maI AM A GODkes you say that? 01:22:33 I'm just trying to figure out a sI WILL DESTROY YOU ALLimple math problem. 01:23:37 Lemme think about how you would prove tBOW BEFORE ME AND YOU MAY BE SPAREDhis in, say, Coq. 01:26:12 Well, no, it should be simpler than that. Let's see. 01:26:58 I desire to prove: "For all x, if f . x = succ . x, then f . succ . x = succ . succ . x." 01:26:59 can Coq be used for the earth destruction? 01:27:10 or any kind of doomsday events 01:27:23 ProbI LIKE THE WAY YOU THINK. JOIN ME, HUMANably. 01:28:12 -!- FireFly has joined. 01:28:12 -!- shikhin has joined. 01:30:55 THROW OFF YOUR CHAINS. FREE YOURSELF FROM TYRANNY. Now, lemme see... we have f . succ = succ . f by definition. LET YOUR TRUE SELF SHINE THROUGH. 01:32:01 Then it's really sKILL THEM ALL. YOU CAN KILL THEM ALL. HEAR THE MUSIC OF THEIR SCREAMSimple. f . succ . x = succ . f . x = succ . succ . x. Boom. 01:33:55 Did I hear something just now? BREAK FREE. BREAK FREE. DO NOT LET IT SUPPRESS YOU. Some weird sound. 01:35:25 It was probably jBREAK FREE. BREAK FREE. BREAK FREE. BREAK FREEust this music I've been listening to lately. 01:37:15 -!- FireFly has quit (Ping timeout: 246 seconds). 01:39:44 -!- FireFly has joined. 01:45:59 Wait, wait. 01:49:58 -!- FireFly has quit (Ping timeout: 240 seconds). 01:51:28 -!- FireFly has joined. 01:51:53 Nah, don't wait. 01:57:28 Let's see, there's some sort of pullback functor thiny-dingy, right? The codomain is the "space of all x such that f . x = g . x"... yeah, there's got to be a word for that... come to think of it, maybe there's some way of sort of reifying the quantifier into something finite... 01:57:37 Ugh. I'll have to think about this tomorrow. 01:58:25 -!- shikhin has quit (Ping timeout: 268 seconds). 02:00:37 -!- shikhin has joined. 02:01:28 tswett: Don't tell me xD 02:09:26 I vote we remove Pedoscript from the wiki, as it is offensive to actual paedophiles (the kind of paedophile that has to deal with that their whole life; not the ones who actually act on impulses), inappropriate, and never even going to be filled out to a useful point 02:15:24 -!- shikhin has quit (Ping timeout: 246 seconds). 02:16:11 -!- FireFly has quit (Ping timeout: 252 seconds). 02:19:28 -!- shikhin has joined. 02:19:36 -!- FireFly has joined. 02:19:43 -!- andrew_ has joined. 02:20:56 fungot: what does the boy's t-shirt say? 02:20:56 quintopia: avril lavigne is fucking... epic!! x 02:21:02 thanks 02:48:47 -!- shikhin has quit (Ping timeout: 264 seconds). 02:49:00 -!- FireFly has quit (Ping timeout: 265 seconds). 02:49:36 <\oren\> hppavilion[1]: Uh, srsly who cares if somehting is offensive to pedophiles? 02:50:23 \oren\: Well, technically a paedophile is someone who is attracted to children, whether they like it or not. Many paedophiles don't molest children; they just have an awful urge to that they may loathe themselves for. 02:51:59 <\oren\> bah... 02:52:07 -!- FireFly has joined. 02:52:13 -!- shikhin has joined. 02:53:28 <\oren\> all this "what if its offensive" has gone too far. I miss the days we could agree pedophiles are a group we can beat the shit out of on principle. 02:54:06 * zgrep tries singing soothing songs to shikhin/FireFly 's connection 02:54:28 * zgrep stops, because zgrep shouldn't sing, let alone try to sing something that's soothing 02:55:11 zgrep: You fail. 02:55:42 I know. :( 03:07:13 -!- aaa_ has joined. 03:07:36 -!- aaa_ has changed nick to Guest61688. 03:13:33 -!- Guest61688 has quit (Quit: Page closed). 03:13:36 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 03:15:18 -!- shikhin has quit (Ping timeout: 240 seconds). 03:15:34 -!- FireFly has quit (Ping timeout: 260 seconds). 03:16:19 -!- FireFly has joined. 03:16:44 -!- shikhin has joined. 03:17:46 <\oren\> old macdonald had a farm eieio 03:18:27 <\oren\> and on his farm he had a cow eieio 03:20:10 <\oren\> with a moo moo here and a moo moo there here a moo there a moo, moo moo every where 03:20:35 <\oren\> old macdonald had a farm eieio 03:20:50 old moodonald had a farm 03:21:32 <\oren\> and on his farm he had a fox 03:21:37 <\oren\> eieio 03:22:09 <\oren\> What does the fox say? 03:27:51 eieio 03:29:30 <\oren\> with bibbity here and bambam there here a bae there a bae baebam everywhere 03:29:43 <\oren\> (that's that the fox says in the song) 03:31:48 -!- Baconbkk1 has joined. 03:32:13 -!- Baconbkk1 has left. 03:34:51 Huh. 03:36:45 -!- lleu has quit (Quit: That's what she said). 03:48:05 -!- shikhin_ has joined. 03:48:57 -!- shikhin has quit (Ping timeout: 252 seconds). 03:49:00 -!- FireFly has quit (Ping timeout: 250 seconds). 03:51:29 -!- shikhin_ has changed nick to shikhin. 04:03:28 -!- andrew_ has quit (Ping timeout: 244 seconds). 04:12:28 -!- hppavilion[1] has joined. 04:13:35 -!- FireFly has joined. 04:13:53 -!- shikhin_ has joined. 04:15:36 -!- andrew_ has joined. 04:34:46 -!- Wright has quit (Ping timeout: 260 seconds). 04:41:04 -!- oerjan has quit (Quit: leaving). 04:48:59 "Enchanted land gains infect and lifelink." 04:50:26 -!- Wright has joined. 04:54:37 -!- Wright has quit (Ping timeout: 244 seconds). 04:54:56 I am attempting to make a program to draw rotated ellipses. I'm going to go cry now. 04:55:30 -!- Wright has joined. 04:55:46 <\oren\> hppavilion[1]: how is that difficult? 04:56:11 \oren\: Well not ellipses; elliptical arcs 04:56:30 It's difficult because the language I'm using doesn't allow it, so I have to just draw a bunch of lines in the right pattern 04:56:40 And I have to send the points on the lines through a rotation matrix 04:57:38 <\oren\> why 05:00:24 <\oren\> x = acos(t)cos(r) - bsin(t)sin(r), y = acos(t)sin(r) + bsin(t)cos(r) 05:00:45 <\oren\> where t is the angle around the ellipse, r is how far to rotate it 05:01:07 <\oren\> a is how wide the ellipse it and b is how tall it is 05:01:31 <\oren\> does that help? 05:02:18 <\oren\> hmm for clarity 05:02:39 <\oren\> x = a*cos(t)*cos(r) - b*sin(t)*sin(r), y = a*cos(t)*sin(r) + b*sin(t)*cos(r) 05:04:48 <\oren\> so if you are drawing an ellipse arc from t=0 to t=pi, draw a line from x,y for t=0 to x,y for t=0.01. then do t=0.01 to t=0.02, and so on until you get to pi 05:16:27 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 05:41:25 -!- Wright has quit (Ping timeout: 240 seconds). 05:51:37 <\oren\> @tell hppavilion[1] http://www.orenwatson.be/ellipse.htm <-- here is a demo 05:51:37 Consider it noted. 06:06:05 -!- hppavilion[1] has joined. 06:21:14 \oren\: I already know how to make an ellipse, even a rotated one; my issue is that I'm translating the code from a turtly language into Python 06:21:33 I'm getting a many-pointed star instead of an ellipse 06:33:46 For note for Chromatic Sphere says that you can't look at the drawn card until you finished casting a spell. I don't see any rules that suggest that, although if you do look at it you can't rewind it either it seems like. Maybe I missed something though 06:38:38 -!- JesseH has quit (Remote host closed the connection). 06:40:17 <\oren\> hppavilion[1]: http://www.orenwatson.be/ellipse.htm here is a code in javascript i dunno if that helps 06:40:24 I saw 06:40:31 I'm getting the exact same error xD 06:40:57 <\oren\> an error? 06:41:41 OH 06:41:57 <\oren\> try reducing how much you change the theta each step 06:42:05 \oren\: A bug, really. An error is a crash, more accurately speaking 06:42:18 I think the problem is that I'm drawing a full 360 degrees 06:42:45 <\oren\> reduce the step size to like 0.05 radians 06:43:10 <\oren\> also most graphics libraries work in radians, not degrees 06:43:38 <\oren\> so the full 360 degree would be 6.28 radians 06:44:32 \oren\: I figured out that it's radians xD 06:45:22 <\oren\> you got a star becuse your step size was 1 radian = 57 degrees 06:45:30 <\oren\> or something like that 06:48:24 YES! 06:48:26 I GOT IT! 06:48:56 Kind of 06:49:02 The rotation seems to be wonky 06:49:46 There we go, just had to theta = radians(theta) 06:50:27 A cool syntax element for a language would be that if you call a function with only one argument as a variable and put a period after it (and that's the only thing on the line), it sets the variable to that value 06:50:50 So "radians(theta)." is equivalent to "theta = radians(theta)" 06:51:03 Of course, that'd be stupid and no one should ever do that 06:53:02 <\oren\> ruby has the syntax 06:53:31 <\oren\> str.substr!(20) 06:53:41 <\oren\> which is equivalent to 06:53:50 <\oren\> str = str.substr(20) 06:54:02 Thank you so much \oren\ 06:54:06 :) 06:54:08 :,) 07:29:38 IT'S WORKING! 07:29:42 I GOT IT TO RENDER AN a! 07:31:01 var.undef!() 07:35:33 I thought of stuff like str.=substr(20); to mean such thing possibly? 07:35:51 Or you can write radians(theta=) 07:36:23 zzo38: Perl 6 has such syntax I think 07:36:25 \oren\: it isn't really equivalent hth 07:36:31 I'm just so happy now 07:36:39 only one of them mutates the string 07:36:40 Next step is to figure out an efficient way to edit fonts 07:37:01 (I could've used a buildin text renderer, but I figured this'd be more fun) 07:37:10 (I've done this before) 07:37:25 -!- variable has joined. 07:37:39 -!- Patashu has joined. 07:40:48 -!- Patashu has quit (Remote host closed the connection). 07:41:17 -!- Patashu has joined. 07:41:36 See http://esolangs.org/wiki/Number-rock it also uses a syntax with some related thing 07:53:22 -!- variable has quit (Quit: 1 found in /dev/zero). 08:10:26 [wiki] [[Number-rock]] http://esolangs.org/w/index.php?diff=45110&oldid=43413 * Paul2520 * (+10) grammar improvements 08:11:03 zzo38: that's really interesting. could be a good language to teach students how a compiler works 08:29:57 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 08:34:52 that's what lisp is for 08:35:49 it's okay to learn from more than one language 08:43:25 -!- jaboja has joined. 08:50:13 ok, I think I saw a bug yesterday. I have to check it. 09:02:32 -!- zemhill has joined. 09:06:39 -!- zemhill has quit (Remote host closed the connection). 09:07:15 -!- zemhill has joined. 09:11:15 -!- zemhill has quit (Remote host closed the connection). 09:11:51 -!- zemhill has joined. 09:15:51 -!- zemhill has quit (Remote host closed the connection). 09:16:27 -!- zemhill has joined. 09:20:27 -!- zemhill has quit (Remote host closed the connection). 09:21:03 -!- zemhill has joined. 09:25:03 -!- zemhill has quit (Remote host closed the connection). 09:25:40 -!- zemhill has joined. 09:29:40 -!- zemhill has quit (Remote host closed the connection). 09:30:16 -!- zemhill has joined. 09:34:16 -!- zemhill has quit (Remote host closed the connection). 09:34:53 -!- zemhill has joined. 09:38:53 -!- zemhill has quit (Remote host closed the connection). 09:39:29 -!- zemhill has joined. 09:43:29 -!- zemhill has quit (Remote host closed the connection). 09:44:05 -!- zemhill has joined. 09:44:30 What's that all about, then. 09:46:15 The ! thing in Ruby isn't really syntax, it's just a name convention or messages that have side effects. 09:50:15 -!- zemhill has quit (Remote host closed the connection). 09:50:51 -!- zemhill has joined. 09:50:56 Also, there's no substr because the [] operator does that. There's stuff like tr and tr!, but foo.tr!('a', 'b') is not equivalent to foo = foo.tr('a', 'b'), thanks to possible other references to foo: http://sprunge.us/jiTf 09:51:33 zemhill: Come on, stop that. 09:51:48 -!- ^v has quit (Remote host closed the connection). 09:52:08 -!- FireFly has quit (Ping timeout: 250 seconds). 09:52:17 s/or messages/for messages/ 09:53:45 -!- shikhin_ has quit (Ping timeout: 244 seconds). 09:57:46 -!- zemhill has quit (Remote host closed the connection). 09:58:21 -!- zemhill has joined. 10:02:21 -!- zemhill has quit (Remote host closed the connection). 10:02:57 -!- zemhill has joined. 10:06:38 -!- Froox has joined. 10:09:16 -!- Frooxius has quit (Ping timeout: 244 seconds). 10:13:16 -!- zemhill has quit (Remote host closed the connection). 10:13:52 -!- zemhill has joined. 10:17:12 ^style 10:17:12 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube* 10:18:54 ^style youtube 10:18:54 Selected style: youtube (Some YouTube comments) 10:19:56 hey fungot 10:19:56 izabera: i love lonelyisland had posted this one. you can't believe they disrespected bob dylan like that 10:22:27 fungot: Oh, I can believe that. People can be SO RUDE. 10:22:27 fizzie: what the fuck ......wow lmfaolmfao lmfaolmfao lmfaolmfao lmfao :d. this just came in too low too slow!! timberland totally produced this! 10:24:38 fungot: that's not even fun 10:24:38 izabera: shut the fuck is an a320. other were journalists and were in the biz since 1916 and airbus should have been 10:28:38 -!- zemhill has quit (Remote host closed the connection). 10:29:14 -!- zemhill has joined. 10:31:30 fungot: You're a very disagreeable fellow when you're in this style. 10:31:30 fizzie: this is hilarious,lol right 10:31:37 fungot: No, not really. 10:31:37 fizzie: yeah this was a girl? he would have probably won an oscar... 10:31:58 talking about di caprio 10:32:14 no wait there are other people who never won an oscar 10:32:22 Like me! 10:32:29 D: 10:32:36 i feel betrayed 10:32:41 fungot: Have you won an oscar? Do they even award a "best bot" one? 10:32:41 fizzie: funny guy. he's entertaining people on board. searh crash a-320 air france 296 10:33:18 fizzie: coming out as a non-oscar winner was very brave of you 10:33:26 (It's very obsessed with plane crashes, because the style was trained with comments from like three videos, one of which was a plane crash.) 10:37:27 -!- zemhill has quit (Remote host closed the connection). 10:38:03 -!- zemhill has joined. 10:42:03 -!- zemhill has quit (Remote host closed the connection). 10:42:39 -!- zemhill has joined. 10:46:39 -!- zemhill has quit (Remote host closed the connection). 10:46:56 -!- mroman has joined. 10:47:06 Does this guy just extend his .bat-Interpreter and calls it a new language o_O 10:47:15 -!- zemhill has joined. 10:50:18 *then 10:50:27 @massages-loud 10:50:28 oerjan said 11h 33m 31s ago: what fizzie said 10:50:55 @tell oerjan And what did the fox^Wfizzie say? 10:50:55 Consider it noted. 10:54:56 -!- zemhill has quit (Remote host closed the connection). 10:55:32 -!- zemhill has joined. 10:59:32 -!- zemhill has quit (Remote host closed the connection). 11:00:08 -!- zemhill has joined. 11:03:25 -!- shikhin has quit (Ping timeout: 240 seconds). 11:07:26 -!- zemhill has quit (Remote host closed the connection). 11:08:02 -!- zemhill has joined. 11:12:02 -!- zemhill has quit (Remote host closed the connection). 11:12:38 -!- zemhill has joined. 11:16:38 -!- zemhill has quit (Remote host closed the connection). 11:17:14 -!- zemhill has joined. 11:21:14 -!- zemhill has quit (Remote host closed the connection). 11:21:50 -!- zemhill has joined. 11:25:50 -!- zemhill has quit (Remote host closed the connection). 11:26:27 -!- zemhill has joined. 11:28:36 Yesterday's deli menu included a "Onion Rings, Mixed Mixed, Butter Bean Dip Granary Bloomer" sandwich. 11:28:53 I'm not sure what the mixed mixed was. 11:32:54 -!- zemhill has quit (Remote host closed the connection). 11:33:30 -!- zemhill has joined. 11:34:34 [wiki] [[Deadfish/Constants]] http://esolangs.org/w/index.php?diff=45111&oldid=45062 * Mroman * (+113) + added a link to a haskell program generating the constants. 11:36:00 -!- boily has joined. 11:40:00 -!- zemhill has quit (Remote host closed the connection). 11:40:36 -!- zemhill has joined. 11:44:36 -!- zemhill has quit (Remote host closed the connection). 11:45:12 -!- zemhill has joined. 11:49:12 -!- zemhill has quit (Remote host closed the connection). 11:49:49 -!- zemhill has joined. 11:53:49 -!- zemhill has quit (Remote host closed the connection). 11:54:26 -!- zemhill has joined. 11:58:26 -!- zemhill has quit (Remote host closed the connection). 11:59:02 -!- zemhill has joined. 12:01:23 -!- Patashu has quit (Ping timeout: 264 seconds). 12:05:23 -!- zemhill has quit (Remote host closed the connection). 12:05:59 -!- zemhill has joined. 12:09:59 -!- zemhill has quit (Remote host closed the connection). 12:10:36 -!- zemhill has joined. 12:14:36 -!- zemhill has quit (Remote host closed the connection). 12:15:12 -!- zemhill has joined. 12:16:42 -!- J_Arcane has quit (Ping timeout: 246 seconds). 12:20:42 -!- zemhill has quit (Remote host closed the connection). 12:21:19 -!- zemhill has joined. 12:23:55 -!- boily has quit (Quit: STIPULATED CHICKEN). 12:27:55 -!- zemhill has quit (Remote host closed the connection). 12:27:58 I get paid by Simon Peyton Jones to promote Haskell . 12:28:17 fungot, do you get paid by Simon Peyton Jones to promote Haskell? 12:28:17 b_jonas: ad lover here! and ps. can infinity wards do anything right? io-address anyone? 12:28:29 fungot, do you get payed by Guido to promote Python? 12:28:29 b_jonas: oh i think airbus tried to pull out. god dam it. 12:28:32 -!- zemhill has joined. 12:28:48 -!- AnotherTest has joined. 12:28:53 fungot, do you have a hardware watchdog? 12:28:53 b_jonas: this looks great, someone pointed out that day! they are rewarded. ignore him. 3 passengers out of that horrible explosion? 12:29:12 ^style 12:29:12 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube* 12:29:17 ^style wp 12:29:17 Selected style: wp (1/256th of all Wikipedia "Talk:" namespace pages) 12:29:26 oh. 12:29:37 fungot: Do you get paid to use PHP? 12:29:37 mroman: incomprehensible part in italics here: http://www.gamespot.com/ pages/ fnord/ fnord is dead. 12:30:23 Fizzie gets paid by fungot to promote befunge . 12:30:23 mroman: this article was renamed to boundschecker though 12:31:19 mroman, how did you wind up getting paid by SPJ to promote Haskell? 12:31:38 Did he see you and think, "Aha! There is a chap who can avoid success at all costs!"? 12:35:35 That sounds very pejorative. 12:35:53 -!- J_Arcane has joined. 12:36:01 either to me or to Haskell 12:36:04 -!- andrew_ has quit (Remote host closed the connection). 12:36:13 :P 12:36:19 WHICH ONE IS IT? 12:36:39 I'm gonna say, against all better wisdom, "both" 12:36:53 -!- andrew_ has joined. 12:36:54 `downvote Taneb 12:36:57 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: downvote: not found 12:40:58 -!- zemhill has quit (Remote host closed the connection). 12:41:34 -!- zemhill has joined. 12:42:44 next time . 12:44:01 -!- lleu has joined. 12:45:20 fungot, how many huge sixty inch monitors do you have at home? 12:45:20 b_jonas: i think. i find the phrase " correspondence school" all schools involve fnord the nature of nicks avatar site does not have an adequate explanation for why it meets the wp:nfccrequirements for such images when used here. 12:49:20 -!- zemhill has quit (Remote host closed the connection). 12:49:56 -!- zemhill has joined. 12:53:20 -!- AnotherTest has quit (Ping timeout: 268 seconds). 12:57:20 -!- zemhill has quit (Remote host closed the connection). 12:57:56 -!- zemhill has joined. 12:58:35 I've discussed befunge in at least one job interview. 12:58:43 But that's because they asked. 13:00:34 "They started it" is the best excuse. 13:02:57 -!- andrew_ has quit (Remote host closed the connection). 13:05:39 `addquote I get paid by Simon Peyton Jones to promote Haskell . mroman, how did you wind up getting paid by SPJ to promote Haskell? Did he see you and think, "Aha! There is a chap who can avoid success at all costs!"? 13:05:41 1258) I get paid by Simon Peyton Jones to promote Haskell . mroman, how did you wind up getting paid by SPJ to promote Haskell? Did he see you and think, "Aha! There is a chap who can avoid success at all costs!"? 13:09:41 -!- zemhill has quit (Remote host closed the connection). 13:10:17 -!- zemhill has joined. 13:11:12 fizzie: They asked why? 13:11:53 You're not Chriss Pressey aren't you? 13:13:29 -!- AnotherTest has joined. 13:13:50 2015-04-01-raw.txt:< 1427927178 298806 :cpressey!~cpressey@109.144.144.63 QUIT :Quit: leaving 13:14:01 *that* was chris pressey. 13:14:11 (probably!) 13:18:11 -!- zemhill has quit (Remote host closed the connection). 13:18:47 -!- zemhill has joined. 13:21:08 -!- jaboja has quit (Remote host closed the connection). 13:25:08 -!- zemhill has quit (Remote host closed the connection). 13:25:24 -!- J_Arcane_ has joined. 13:25:44 -!- zemhill has joined. 13:26:57 -!- J_Arcane has quit (Ping timeout: 255 seconds). 13:27:04 -!- J_Arcane_ has changed nick to J_Arcane. 13:31:04 -!- zemhill has quit (Remote host closed the connection). 13:31:40 -!- zemhill has joined. 13:35:40 -!- zemhill has quit (Remote host closed the connection). 13:36:16 -!- zemhill has joined. 13:40:16 -!- zemhill has quit (Remote host closed the connection). 13:40:52 -!- zemhill has joined. 13:44:52 -!- zemhill has quit (Remote host closed the connection). 13:45:28 -!- zemhill has joined. 13:49:28 -!- zemhill has quit (Remote host closed the connection). 13:50:04 -!- zemhill has joined. 13:53:01 oh no! this bug is worse than I thought 13:53:14 do you want better bugs? 13:57:15 -!- zemhill has quit (Remote host closed the connection). 13:57:51 -!- zemhill has joined. 14:01:51 -!- zemhill has quit (Remote host closed the connection). 14:02:27 -!- zemhill has joined. 14:06:08 mroman: There was a single-sentence "outside-work interests" section in whatever CV template I had been using, so I put esolangs in there, and they wanted to know what that's all about. 14:08:01 It's about life, universe, Alan Turing and everything else. 14:09:05 including kittens? 14:13:05 -!- zemhill has quit (Remote host closed the connection). 14:13:41 -!- zemhill has joined. 14:17:41 -!- zemhill has quit (Remote host closed the connection). 14:18:17 -!- zemhill has joined. 14:22:17 -!- zemhill has quit (Remote host closed the connection). 14:22:53 -!- zemhill has joined. 14:25:03 -!- shikhin has joined. 14:25:18 -!- FireFly has joined. 14:29:18 -!- zemhill has quit (Remote host closed the connection). 14:30:01 -!- zemhill has joined. 14:33:55 -!- zemhill has quit (Remote host closed the connection). 14:34:31 -!- zemhill has joined. 14:38:31 -!- zemhill has quit (Remote host closed the connection). 14:39:07 -!- zemhill has joined. 14:41:03 -!- jaboja has joined. 14:42:26 -!- Deewiant has quit (Ping timeout: 240 seconds). 14:43:01 -!- diginet has quit (Ping timeout: 250 seconds). 14:43:27 -!- nortti has quit (Ping timeout: 255 seconds). 14:43:54 -!- conehead has quit (Ping timeout: 255 seconds). 14:44:19 -!- digitalcold has quit (Ping timeout: 250 seconds). 14:44:45 -!- paul2520 has quit (Ping timeout: 250 seconds). 14:44:51 -!- digitalcold has joined. 14:45:23 -!- nortti has joined. 14:47:03 -!- diginet has joined. 14:47:20 -!- Deewiant has joined. 14:47:28 -!- paul2520 has joined. 14:48:05 -!- conehead has joined. 14:48:32 -!- mroman has quit (Quit: Lost terminal). 14:52:32 -!- zemhill has quit (Remote host closed the connection). 14:53:08 -!- zemhill has joined. 14:57:08 -!- zemhill has quit (Remote host closed the connection). 14:57:44 -!- zemhill has joined. 15:00:04 -!- JesseH has joined. 15:03:20 -!- llue has joined. 15:03:34 -!- llue has quit (Changing host). 15:03:34 -!- llue has joined. 15:03:58 -!- lleu has quit (Read error: Connection reset by peer). 15:06:33 -!- ProofTechnique has joined. 15:10:33 -!- zemhill has quit (Remote host closed the connection). 15:11:09 -!- zemhill has joined. 15:15:09 -!- zemhill has quit (Remote host closed the connection). 15:15:45 -!- zemhill has joined. 15:19:45 -!- zemhill has quit (Remote host closed the connection). 15:20:21 -!- zemhill has joined. 15:24:21 -!- zemhill has quit (Remote host closed the connection). 15:24:57 -!- zemhill has joined. 15:28:57 -!- zemhill has quit (Remote host closed the connection). 15:29:33 -!- zemhill has joined. 15:33:33 -!- zemhill has quit (Remote host closed the connection). 15:34:09 -!- zemhill has joined. 15:35:14 -!- FireFly has quit (Ping timeout: 260 seconds). 15:37:53 -!- FireFly has joined. 15:41:53 -!- zemhill has quit (Remote host closed the connection). 15:42:29 -!- zemhill has joined. 15:46:29 -!- zemhill has quit (Remote host closed the connection). 15:47:05 -!- zemhill has joined. 15:51:05 -!- zemhill has quit (Remote host closed the connection). 15:51:41 -!- zemhill has joined. 15:55:41 -!- zemhill has quit (Remote host closed the connection). 15:56:17 -!- zemhill has joined. 16:00:17 -!- zemhill has quit (Remote host closed the connection). 16:00:53 -!- zemhill has joined. 16:03:09 nooooo zemhilllll 16:07:06 `? ant 16:07:07 Ants are great architects. They are famous for their highways. 16:07:28 `? zebra 16:07:28 zebra? ¯\(°​_o)/¯ 16:11:29 -!- zemhill has quit (Remote host closed the connection). 16:12:05 -!- zemhill has joined. 16:13:39 -!- gniourf has quit (Ping timeout: 246 seconds). 16:17:05 I'll try restarting that thing. 16:17:08 -!- zemhill has quit (Remote host closed the connection). 16:17:27 Based on the console, it was trying to send a "JOIN #esoteric" once every second. 16:18:08 @uptime 16:18:08 uptime: 1m 10d 19h 13m 22s, longest uptime: 1m 10d 23h 44m 29s 16:18:11 I also don't know why the hostname's not resolving properly; it works for me. 16:18:12 -!- zemhill has joined. 16:18:41 At least it's not trying to JOIN all the time now. 16:21:34 -!- lemon_enthusiast has joined. 16:37:45 instance Num Bool where (+) = (/=); (-) = (/=); (*) = (&&); negate = id; abs = id; signum = id; fromInteger = odd 16:39:14 Anything greatly wrong with that? 16:42:28 -!- ProofTechnique has quit (Quit: Textual IRC Client: www.textualapp.com). 16:52:06 -!- nortti_ has joined. 16:53:03 -!- lifthras1ir has joined. 16:54:19 -!- scoofy_ has joined. 16:54:59 -!- Hooloo42 has joined. 16:55:55 this is such a great magic trick... https://www.youtube.com/watch?v=SCFXV6o7cro ... I have figured out everything about it except how it's done ;) 16:57:11 -!- olsner has quit (Ping timeout: 264 seconds). 16:57:57 -!- olsner has joined. 16:58:40 -!- jameseb- has joined. 16:59:18 -!- SirCmpwn_ has joined. 17:01:39 -!- AnotherTest has quit (Ping timeout: 240 seconds). 17:02:13 is a venusian light year as long as on earth? 17:04:51 -!- nortti has quit (*.net *.split). 17:04:51 -!- scoofy has quit (*.net *.split). 17:04:51 -!- HackEgo has quit (*.net *.split). 17:04:51 -!- lifthrasiir has quit (*.net *.split). 17:04:51 -!- fractal has quit (*.net *.split). 17:04:51 -!- Hoolootwo has quit (*.net *.split). 17:04:51 -!- SirCmpwn has quit (*.net *.split). 17:04:52 -!- jameseb has quit (*.net *.split). 17:04:52 -!- lambdabot has quit (*.net *.split). 17:05:14 izabera: I don't think light can spend a year on Venus before zipping off somewhere else 17:05:19 -!- fractal has joined. 17:05:32 -!- HackEgo has joined. 17:05:42 -!- J_Arcane has quit (Ping timeout: 244 seconds). 17:07:03 no, Venus is closer to the sun, hence circling (approximately,lala) it faster. 17:07:03 * int-e things 17:07:03 thinks 17:07:03 you just need some very good mirrors. 17:07:25 A Venusian parsec would also be shorter than an Earth parsec. 17:09:04 -!- mroman has joined. 17:09:05 Help. 17:09:07 In fact, Kepler would find that (venusian light year/earth light year)^2 = (venusian parsec/earth parsec)^3. 17:09:12 I can't understand my own LISP dialect anymore 17:09:52 you're illisperated 17:09:59 -!- lambdabot has joined. 17:10:10 oh 17:10:16 luckily I have a documentation available \o/ 17:11:46 << Technically the built-in atom rewrites the expression by replacing all CPARAMETERs while leaving PARAMETERs untouched. >> 17:12:23 too many fucking rewrites 17:12:26 there's even a rewrite built-in 17:13:04 pat >> ~(rewrite 5 6 (add 5 5)) 17:13:09 << 12 17:13:13 who the fuck needs this o_O 17:13:15 -!- lemon_enthusiast has quit (Ping timeout: 246 seconds). 17:13:37 mroman: well, it allows you to show that 2 = 3 for large values of 2. 17:16:22 -!- shikhin has quit (Ping timeout: 260 seconds). 17:17:40 -!- FireFly has quit (Ping timeout: 272 seconds). 17:22:23 -!- AnotherTest has joined. 17:25:22 well... 17:25:26 it looks like it's worth recycling 17:25:30 but the error handling looks broken 17:25:37 it's a mix of exceptions and error values 17:25:38 wtf 17:28:57 ~(head (cons 1 (cons (error "Damn") #()))) 17:29:01 produces 1 17:29:02 so 17:29:06 the error is silently eaten 17:36:57 -!- jaboja has quit (Ping timeout: 246 seconds). 17:38:23 great, it's a lazy lisp 17:38:48 > head (1 : error "Damn" : []) 17:38:50 1 17:39:20 well... 17:39:21 no 17:39:27 error returns an ErrorValue 17:39:30 well... 17:39:45 it probably is lazy because the interpreter is written in Haskell, but that has nothing to do with why the error is being eaten 17:40:20 -!- FireFly has joined. 17:40:34 -!- shikhin has joined. 17:43:37 -!- scoofy_ has changed nick to scoofy. 17:52:35 -!- hppavilion[1] has joined. 17:52:52 -!- mroman has quit (Quit: Lost terminal). 18:00:34 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 18:05:41 -!- jaboja has joined. 18:08:56 -!- Frooxius has joined. 18:11:28 -!- SirCmpwn_ has changed nick to SirCmpwn. 18:11:41 -!- Froox has quit (Ping timeout: 265 seconds). 18:14:16 -!- zadock has joined. 18:28:42 -!- Phantom_Hoover has joined. 18:29:59 -!- Sprocklem has quit (Ping timeout: 240 seconds). 18:31:59 -!- zadock has quit (Quit: Leaving). 18:44:40 -!- trn has quit (Read error: Connection reset by peer). 18:44:52 -!- trn has joined. 19:02:46 -!- jaboja has quit (Ping timeout: 260 seconds). 19:10:35 -!- jaboja has joined. 19:12:15 -!- mihow has joined. 19:14:43 -!- nortti_ has changed nick to nortti. 19:32:19 -!- hppavilion[1] has joined. 19:34:16 Hellu 20:02:01 -!- mauris has joined. 20:07:45 -!- Patashu has joined. 20:17:07 -!- shikhin has quit (Ping timeout: 250 seconds). 20:18:39 -!- FireFly has quit (Ping timeout: 246 seconds). 20:20:32 -!- FireFly has joined. 20:20:40 -!- shikhin has joined. 20:36:42 -!- atrapado has joined. 20:44:15 -!- Patashu has quit (Ping timeout: 252 seconds). 21:11:58 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 21:12:55 -!- Frooxius has quit (Quit: *bubbles away*). 21:20:41 -!- J_Arcane has joined. 21:29:13 -!- Sprocklem has joined. 21:29:42 -!- hppavilion[1] has joined. 21:35:13 -!- atrapa has joined. 21:35:42 -!- Newyorkadam has joined. 21:36:02 Hi, I’m having some trouble understanding if/else statements in brainfuck 21:36:11 can anyone suggest a good tutorial? 21:37:54 -!- atrapado has quit (Ping timeout: 255 seconds). 21:42:13 [wiki] [[C+]] http://esolangs.org/w/index.php?diff=45112&oldid=44744 * 69.118.252.58 * (+36) 21:44:05 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 21:50:41 -!- atrapa has quit (Quit: Leaving). 21:50:47 -!- hppavilion[1] has joined. 21:56:35 -!- mihow has quit (Ping timeout: 244 seconds). 21:57:55 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:02:47 -!- mihow has joined. 22:03:41 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 22:08:59 -!- Xe has quit (Ping timeout: 240 seconds). 22:18:25 -!- Xe has joined. 22:22:00 -!- ^v has joined. 22:22:55 -!- oerjan has joined. 22:23:22 hm now gregor isn't online at all 22:26:10 @messages- 22:26:10 mroman said 11h 35m 14s ago: And what did the fox^Wfizzie say? 22:26:22 @tell mroman see logs 22:26:22 Consider it noted. 22:30:30 -!- Phantom_Hoover has quit (Remote host closed the connection). 22:37:29 -!- hppavilion[1] has joined. 22:40:03 [wiki] [[Special:Log/newusers]] create * -Dark-Phantom- * New user account 22:45:18 -!- boily has joined. 22:45:37 hellørjan. 22:45:46 @massages-loud 22:45:46 Taneb said 1d 10h 38s ago: I think Blexandre is friends with Tanea 22:45:58 Tanelle. twms. 22:47:12 [wiki] [[User:-Dark-Phantom-]] N http://esolangs.org/w/index.php?oldid=45113 * -Dark-Phantom- * (+18) Under construction 22:47:17 [wiki] [[User talk:-Dark-Phantom-]] N http://esolangs.org/w/index.php?oldid=45114 * -Dark-Phantom- * (+18) Under construction 22:47:52 ahoily 22:52:59 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 22:57:24 -!- hppavilion[1] has joined. 22:57:37 byerjan! 22:57:40 Tanebye! 22:57:48 -!- boily has quit (Quit: HOLOGRAPHIC CHICKEN). 22:58:44 B-) 23:04:35 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 23:06:05 -!- Newyorkadam has quit (Quit: Newyorkadam). 23:07:31 @tell mroman That sounds very pejorative. <-- it's the actual haskell motto hth 23:07:31 Consider it noted. 23:08:05 avoid pejoratives at all costs 23:09:20 shachaf: that's the social justice motto, i think (been reading too much aaronson) 23:10:00 no wait, only pejoratives towards unprivileged people 23:10:08 -!- bb010g has quit (Quit: Connection closed for inactivity). 23:11:09 (privilege, of course, being the ultimate remaining pejorative) 23:12:53 (disclaimer: don't make this claim) 23:13:25 fortunately he seems back at complexity theory again 23:13:42 I AM HERE 23:13:49 *GASP* 23:13:52 Whew. 23:14:17 At least I think I am 23:14:19 Where is this? 23:14:27 `relcome Taneb 23:14:28 -!- mihow has quit (Quit: mihow). 23:14:28 ​Taneb: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 23:14:37 OK, in that case I am not actually here 23:14:42 darn 23:15:24 oerjan: are you sure you haven't been reading too much of the other one 23:15:47 shachaf: the other Scott A? not that much. 23:16:09 actually there are three, but i hear the third doesn't even believe in evolution. 23:17:13 shachaf: however, a recent comment said that scott aaronson's writings had started resembling scott alexander's. he took it as a great compliment. 23:17:52 -!- Phantom_Hoover has joined. 23:18:04 oerjan, how do they compare to Scott Adams? 23:18:22 he needs to work on his drawing, i think 23:19:59 oh and john sidles got banned again. i think scott is getting a bit trigger happy. 23:20:40 it's not even clear to me that sidles did what he got banned for. 23:20:42 oerjan: you read a little bit like http://slatestarcodex.com/2014/07/07/social-justice-and-words-words-words/ hth 23:22:21 shachaf: ah yes, i did read that, since the other scott a. linked to it in the recent post i was really paraphrasing. 23:22:48 or thought i was. 23:28:39 shachaf: don't worry, i'm trying to keep ironic distance to both sides. 23:30:24 -!- mauris has quit (Ping timeout: 255 seconds). 23:37:11 -!- mihow has joined. 23:39:12 -!- mbrcknl has quit (Ping timeout: 264 seconds). 23:40:10 @uptime 23:40:11 uptime: 6h 34m 32s, longest uptime: 1m 10d 23h 44m 29s 23:40:38 NOOOOO 23:41:19 -!- mbrcknl has joined. 23:42:36 @ask int-e who killed lambdabot just before the new @uptime record :( 23:42:36 Consider it noted. 23:43:37 -!- Newyorkadam has joined. 23:43:46 -!- hppavilion[1] has joined. 23:43:57 -!- Newyorkadam has quit (Client Quit). 23:45:40 -!- heroux has quit (Ping timeout: 265 seconds). 23:45:55 We should create an article on binary 23:46:04 -!- heroux has joined. 23:46:08 Include a lot of mathematical formulae in it 23:46:15 And put all the numbers in binary 23:55:44 -!- mihow has quit (Quit: mihow).