00:02:24 -!- augur has quit (Remote host closed the connection). 00:02:59 -!- augur has joined. 00:06:06 -!- nooodl has quit (Ping timeout: 264 seconds). 00:07:56 -!- augur has quit (Ping timeout: 245 seconds). 00:10:50 -!- nooga has quit (Ping timeout: 245 seconds). 00:10:56 null (_:_) = False 00:11:08 (_:_) looks like a butt 00:13:58 Um. Wikipedia's down. 00:14:23 er, thought it was. Weird. 00:14:35 `slist 00:14:37 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 00:15:51 again? 00:19:13 yes 00:19:16 lot of updates today 00:19:40 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:21:51 Fiora, no 00:37:07 -!- DHeadshot has quit (Read error: Connection reset by peer). 00:43:22 -!- DHeadshot has joined. 00:46:20 -!- augur has joined. 00:49:09 -!- augur has quit (Remote host closed the connection). 00:52:09 FreeFull: yup 00:52:23 it has been observed 00:57:32 * Sgeo wonders if kmc has yet been subjected to my horrible Haskell pun 00:58:57 do it 00:59:19 What did Goldilocks say when she say Maybe (b -> Either a b)? 00:59:27 *saw 01:02:56 -_- 01:03:04 It's Just Right! 01:03:16 yep 01:24:02 -!- TeruFSX has joined. 01:29:59 -!- WeThePeople has joined. 01:37:46 Sgeo: i'm sure i've heard that a long time ago, although i cannot recall if you were the one who told it. 01:42:12 Probably 01:42:38 http://www.haskell.org/haskellwiki/index.php?title=Humor/Goldilocks&action=history 01:43:04 -!- augur has joined. 01:43:57 good enough for me 01:45:22 is there seriously a humor section 01:47:08 -!- augur_ has joined. 01:47:27 -!- augur_ has quit (Remote host closed the connection). 01:48:26 also why is return called return, it doesn't seem remotely like any return i've heard of even in IO do 01:49:54 -!- augur has quit (Ping timeout: 264 seconds). 01:50:08 bad decisions 01:51:33 i guess, on occasion, when placed at the end of a function, it has a slightly analogous role. 01:51:58 hardly :/ 02:02:03 -!- madbr has joined. 02:03:14 -!- WeThePeople has quit (Quit: Leaving). 02:03:20 yeah it is one of the most confusing names you could pick 02:03:59 there isn't necessarily a great alternative, but there are alternatives which don't come with misleading existing meaning 02:05:53 i see "unit" a lot or like at all i guess 02:06:03 one thing I learned from Haskell is that people will complain if you use crazy math words like monad, but they'll also complain if you use familiar words in a slightly different way 02:06:08 you can't win 02:06:14 also another dumb haskell question 02:06:23 what's wrong with «dumbTest x = do { y <- assocValue x [(4,5),(7,8)]; z <- 10 + y; z }», it says I'm asking for Num (Maybe a) 02:06:33 what's assocValue 02:06:41 (Eq key) => key -> [(key,value)] -> Maybe value 02:06:45 anyway the problem is «z <- 10 + y» i think 02:06:55 maybe you wanted «let z = 10 + y» 02:07:00 Also the z right after it 02:07:09 return z 02:07:16 right, that should become «return z» but then it's not necessary at all 02:07:27 rather you would write do { y <- assocValue ...; return (10 + y) } 02:07:55 hm, so i guess <- doesn't do what i thought it did 02:07:56 -!- azaq23 has quit (Quit: Leaving.). 02:07:57 Bike: in «x <- e», e :: M a, and x :: a 02:08:09 because it's sugar for «e >>= (\x -> ...)» 02:08:17 and (>>=) :: M a -> (a -> M b) -> M b 02:08:56 ok, i think i see. 02:09:07 so it wants «10 + y» to be Maybe something 02:09:14 right 02:11:40 -!- TeruFSX has quit (Read error: Connection reset by peer). 02:14:24 so i can write it without do as «dumbTest x = (assocValue x [(4,5),(7,8)]) >>= (return . (+ 10))». sensible enough 02:14:55 yeah 02:14:57 but additionally 02:15:21 «e >>= (return . f)» is equivalent to «fmap f e» 02:15:32 ooh, i tried fmap earlier but it barfed 02:15:36 or «f <$> e» if you prefer the infix operators from Control.Applicative 02:15:46 nope :D 02:15:51 Bike: you have way extraneous parens there 02:15:53 i would still use return on the last line of a do, sometimes, depending on what makes it most readable 02:16:01 you can elim the ones around the assocValue expression without even knowing relative precedences 02:16:03 elliott: i am aware 02:16:07 by the function application binds tightest (modulo record syntax) rule 02:16:08 i would keep the others 02:16:27 i would eliminate the other parens by not doing >>= return . :p 02:16:58 dumbTest x = fmap (+ 10) (assocValue x [(4,5),(7,8)]) 02:17:02 it's like i really know haskell 02:23:17 dumbTest x = (+ 10) <$> assocValue x [(4,5),(7,8)] -- death to parens 02:36:30 -!- augur has joined. 02:36:57 -!- augur has quit (Remote host closed the connection). 02:45:05 -!- augur has joined. 02:50:39 -!- augur has quit (Ping timeout: 258 seconds). 02:54:40 -!- monqy has quit (Quit: hello). 02:54:52 anyone know how to include graphics in reddit comments? 02:55:52 i think you can only include graphics that have been enabled by the subreddit moderators 02:56:49 (the ones i've seen have always been choices from a list of pictures) 03:00:30 elliott: (+ 10) has parens hth 03:01:06 oerjan: if only addition was infix. 03:01:31 ... 03:01:46 > subtract . negate 10 $ 42 03:01:48 Could not deduce (GHC.Num.Num (a0 -> a)) 03:01:48 arising from the ambiguity chec... 03:01:52 wat 03:02:10 :t subtract . negate 10 03:02:13 (Functor f, Num (f a), Num a) => f (a -> a) 03:02:25 * oerjan blinks 03:02:33 very nice 03:02:35 :t subtract 03:02:37 Num a => a -> a -> a 03:02:54 oh hm 03:02:58 it's (Num b, Num (a -> b)) => a -> b -> b locally, clearly this is what you meant 03:03:12 -!- Nisstyre-laptop has joined. 03:03:13 > subtract `id` negate 10 $ 42 03:03:15 52 03:03:24 there you go, no parentheses needed 03:03:30 good caleskell there too 03:03:31 mixfix clearly forms a monoid. 03:03:56 Bike: clearly. 03:07:24 radio.php?out=inline&shuffle=1&limit=1&filter=*MitamineLab*, good filename 03:11:45 -!- Arc_Koen has quit (Quit: Arc_Koen). 03:11:56 oerjan, it works by each subreddit customizing the CSS 03:12:04 I should be sleeping 12 minutes ago 03:12:07 Interview etc. etc. 03:12:19 Except I can't stop thinking about OI 03:12:48 And before elliott screams that OI doesn't work, I'd love to really understand what it is exactly that doesn't work. 03:12:59 i dont scream 03:13:01 oh dear. starting to think about abstract things just before bed? _bad_ move. 03:13:03 usually anyway 03:13:53 He just stares disapprovingly, communicating the information in subtle microsaccades. 03:14:41 @wn microsaccade 03:14:41 No match for "microsaccade". 03:14:46 @wn saccade 03:14:47 *** "saccade" wn "WordNet (r) 3.0 (2006)" 03:14:47 saccade 03:14:47 n 1: a rapid, jerky movement of the eyes between positions of 03:14:47 rest 03:14:47 2: an abrupt spasmodic movement [syn: {jerk}, {jerking}, {jolt}, 03:14:49 {saccade}] 03:15:18 so, being a jerk about it? 03:15:25 http://en.wikipedia.org/wiki/Microsaccade 03:15:26 but, sure. 03:18:15 Sgeo: i was going to tell you you haven't updated the language list for your rename. however it is not on there at all. 03:18:48 ty 03:20:32 So many languages that begin with brain :( 03:20:57 Also it's less googleable now 03:21:00 meh 03:21:09 sgeo's new language, mindshit 03:21:45 -!- impomatic has left. 03:30:08 -!- WeThePeople has joined. 03:32:14 WeThePeop. WeThePope 03:32:54 there may, or may not, be a pope. 03:33:12 most likely there isn't. 03:33:47 -!- augur has joined. 03:34:06 -!- augur has quit (Read error: Connection reset by peer). 03:34:15 -!- augur has joined. 03:34:29 oh, they're still 'claving 03:52:55 'The tradition dates back to 1268, when after nearly three years of deliberation the cardinals had still not agreed on a new pope, prompting the people of Rome to hurry things up by locking them up and cutting their rations.' 03:53:38 papal politics are the best 03:55:23 "Gregory's election came as a complete surprise to him, partially because it happened while he was engaged in the Ninth Crusade at Acre with King Edward I of England in Israel." 03:55:42 hahaha 03:56:30 "As a result of the length of the election, during which three of the twenty cardinal-electors died and one resigned," 03:57:17 is there any risk of the cardinals actually starving to death during the conclave 03:57:20 or are they given enough to live on? 03:57:38 -!- TeruFSX has joined. 03:57:44 they get rations 03:57:44 Nowadays they are given enough to survive 03:57:51 but after a time it goes down to just bread and water iirc 03:57:55 so not great 03:58:30 incentive! 03:58:40 well it _is_ lent, anyhow. 03:58:51 oerjan: we'll find out pretty quickly when there is a pope 03:58:59 unless they screw up the smoke again like in the sixties 03:59:08 they did? 03:59:42 http://www.youtube.com/watch?v=GGBHfXPqbgI 04:06:56 oerjan: yeah, it was when they stopped using sealed ballots 04:07:19 they previously used damp straw to make the smoke black 04:07:39 but it turned out that the sealing wax was a vital component in the reaction as well 04:07:54 so the first smoke was gray, much to everyone's confusion 04:08:28 after that they started using chemicals to color the smoke 04:09:11 snerk. 04:12:43 @wn snerk 04:12:43 No match for "snerk". 04:12:50 hello 04:12:59 Bike: hi 04:13:10 -!- monqy has joined. 04:13:56 what's shakin' 04:14:15 what is this slang 04:14:37 hello 04:15:08 hi 04:16:22 ok let's see this... trying to make a replacement for chip8, so I'm making a RISC cpu ripoff 04:18:06 all instructions can take either format 1 (reg, reg, reg), or format 2 (reg, reg, immediate) 04:18:11 math: add/sub/mul/cmp/cmu 04:18:12 logic: and/or/xor/shl/shr/sar 04:18:12 mem: ldr/str 04:18:12 jump: jez/jnz/sys 04:18:42 why not use mmix? 04:18:53 mmix? 04:18:57 from the makers of chip8 come this new architecture with all your favorite characters! 04:19:04 mmix is knuth's thing 04:20:27 trying to minimize opcodes 04:21:19 going for 32 bits too 04:22:01 MMIX is intended to be a hypothetical fully-functional assembly language 04:22:09 and instruction set 04:22:16 it has virtual memory, floating point, etc. 04:22:23 predictive branching even 04:22:39 don't care about virtual memory 04:22:48 though floating point could be nice 04:23:01 hm, didn't know it had branch prediction 04:23:12 wonder if the early volumes are ever coming out again -_- 04:24:42 it will also need a calling convention... I'll probably just rip off ARM's convention for that 04:24:54 -!- TeruFSX has quit (Ping timeout: 256 seconds). 04:25:03 Bike: UNLIKELY 04:25:30 :( 04:26:03 apparently someone's implemented MMIX in verilog; neat 04:26:12 "arguments in registers #,#,#,# stack pointer in register # return address in register # you can overwrite registers #### but you have to save registers ####" 04:27:42 I guess I also need a drawing function, some input reading function, a buffer flip/vsync function, and something to play sfx/music 04:29:36 -!- Nisstyre-laptop has quit (Ping timeout: 245 seconds). 04:36:36 * coppro downloads mmixware to tablet 04:42:33 hmm, I could make pixel data just like other data 04:43:02 but then I'd probably need a byte load/store function (and byte addressing instead of word) 04:44:21 only 256 color, huh 04:44:46 yeah 256 color is fun 04:44:53 though it sucks for transparency 04:44:56 are you designing a small CPU for writing demos? 04:45:19 kmc : trying to come up with something retarded simple yet useful to replace chip8 04:45:25 for games actually 04:47:16 pros for 256: retro chic, palette effects are fun, can write 4 pixels at once 04:47:41 cons: have to draw everything with the same palette, transparencies and lighting effects don't work too well 04:47:58 also sucks for art that isn't drawn 04:49:25 definitely ups the difficulty of deving for the platform too 04:49:59 also makes hardware accelerated emulation of gfx hard 04:51:04 you can switch palette on every scanline! 04:51:21 I'm not sure I'm going to allow HDMA effects 04:52:02 is that what it's called 04:52:12 well, hdma is the SNES version 04:52:24 horizontal blank dma or something 04:53:09 you could call it copper effects too (amiga chip that does the same stuff) 05:03:14 i know some microcomputers only run program code in the blanking intervals 05:03:20 but I guess game consoles never worked that way 05:03:49 costs a lot of cpu cycles 05:04:08 I guess the 2600 sorta worked that way 05:04:26 because the cpu had to update the gfx registers on each scanline 05:04:31 -!- copumpkin has quit (Ping timeout: 240 seconds). 05:05:10 -!- copumpkin has joined. 05:08:17 -!- Nisstyre-laptop has joined. 05:16:32 the Galaksija only runs the user program during the blank intervals 05:17:24 while scanning the visible region, it runs a kind of dummy program and uses the Z80's DRAM refresh counter to index the character buffer 05:17:55 is the Galaksija like the 80s version of a Galaxy Note 05:18:07 the bytes of the dummy program also happen to make up string constants used by the BASIC interpreter 05:18:15 Bike: yes and from yugoslavia 05:18:27 excellent 05:18:43 "What country is this computer from?" "It... no longer exists." 05:20:27 Good sales pitch if I ever heard one. 05:25:18 -!- carado_ has joined. 05:26:28 -!- carado has quit (Ping timeout: 256 seconds). 05:27:24 -!- WeThePeople has quit (Remote host closed the connection). 05:46:52 yay this fits in one switch/case 05:46:53 http://pastebin.com/qkVskLAa 05:49:57 hm, mul discards the high half of the result? 05:50:03 like in c++ 05:50:37 also why is the halt instruction named 'vbl' 05:50:46 vblank 05:50:56 wait 1/60th of a second :D 05:51:19 (and let the rest of the machine read the picture to display from memory) 05:52:02 ok 05:58:26 it would probably just read the graphics in 320x200x32bit off some memory location every frame 05:58:46 I think this is fast enough just to draw the frame buffer over on each frame 06:00:46 -!- Jafet has joined. 06:01:19 and for controls it could probaby just write the input state at some memory offset just before the vm is run 06:03:45 hmm 06:04:03 but then no palette effects :( 06:04:15 also transparency would be hard :( 06:04:58 -!- oonbotti has joined. 06:05:12 well not had but kinda slow 06:05:44 hmm maybe not even 06:07:05 pixel = ((pixel & 0xfefefe) + (in & 0xfefefe)) >> 1; 06:08:40 would be hard to do clamped colors though :( 06:10:06 still need a way to handle sfx + music too 06:14:41 ooh, I see simd within a register 06:15:04 yeah demoscene kinda trick :D 06:16:56 or pixel = ((((pixel & 0xff00ff) * light) & 0xff00ff00) + (((pixel & 0xff00) * light) & 0xff0000)) >>> 8 06:17:39 hmm I guess real simd would help there 06:18:00 probably a lot XD 06:18:12 for the average you have pavgb which is super fast 06:18:17 for the multiply.... hmmm 06:18:55 unpack to 16-bit then use pmulhrsw? pmulhw I guess if you don't really care about rounding 06:19:03 -!- Jafet has quit (Quit: Leaving.). 06:19:09 the best one was on ARM 06:19:13 vqdmulh 06:19:16 interleave+pmaddubsw might be super nice if you need to add two 06:19:24 like pixA*lightA+pixB*lightB 06:19:38 16*16 mul, * 2 keep high word saturare 32768 to 32767 06:19:53 1 cycle throughput 06:19:58 it's mad useful 06:20:47 works on 4 shorts at the same time, doesn't change size or anything 06:21:11 so you can effectively do 4 interpolations at the same time (for sound mixing) 06:23:34 I guess for something like that I guess I might try pmaddwd + packssdw? 06:32:34 yeah perhaps 06:33:13 or maybe use 16bits and have SIMD operations that operate on 1:5:5:5:1:5:5:5 data :D 06:34:51 oh gosh that'd be nutty XD 06:36:02 Doesn't AltiVec do something slightly like that? I mean, it wasn't 1:5:5:5, but it has a RGB "pixel" datatype, the format of which I don't recall, and related operations. 06:36:20 5:6:5 is used sometimes too 06:36:41 I don't recall anything using 4:4:4:4 tho 06:37:16 -!- epicmonkey has joined. 06:37:55 It is a 16-bit RGB pixel format (of which there are 8 in the register), unless I completely misremember. 06:38:27 oh man, worst idea 06:38:32 12 bit rgb 06:38:34 8 16-bit pixels or 4 32-bit pixels, says one page, but does not go into detail. 06:38:55 but with red/green/blue on separate video memory pages 06:39:17 and 4:4:4:4:4:4:4:4 SIMD instructions :D 06:40:16 though that would more or less torpedo pixel drawing stuff like particle effects 06:41:00 or worse even 06:41:05 YUV 06:41:20 with 4 bits per component and 2:1 undersampling on U and V 06:41:39 so it's something like VYUYVYUY on each 32 bit word :D 06:45:28 I think I can guess what altivec does.. something like expand the 1:5:5:5 pixels to 8:8:8:8 06:46:27 madbr: That 12 bit RGB thing sounds suspiciously like something VGA would do. 06:46:54 nah 06:47:26 more of a crazy amiga thing imho :D 06:47:54 they had... I think it was a 6 bit format 06:47:59 using bit planes ofc 06:48:16 where color 0..15 = set red to 0..15 06:48:23 16..31 = set green to 0..15 06:48:31 32..47 = set blue to 0..15 06:48:43 48..63 = load from palette index 0..15 06:49:32 they even came up with a 8bit version later on (giving roughly 18bit color...) 06:50:18 of course some programs would also HDMA the palette so that it had optimal 16 colors for each scanline 06:52:40 sleep 06:52:41 -!- madbr has quit (Quit: Radiateur). 06:53:57 -!- kallisti has joined. 06:53:58 -!- kallisti has quit (Changing host). 06:53:58 -!- kallisti has joined. 06:59:48 -!- epicmonkey has quit (Ping timeout: 258 seconds). 07:05:24 -!- kallisti has quit (Ping timeout: 248 seconds). 07:05:38 -!- Nisstyre-laptop has quit (Quit: Leaving). 07:11:52 -!- carado_ has quit (Ping timeout: 256 seconds). 07:34:10 HAM (the thing described above) is such a screwy mode indeed. 07:40:38 And the AltiVec 16-bit pixel in fact *is* a 1:5:5:5 format. 07:42:49 There's a vec_packpx to pack a 4+4 (two SIMD registers) 8:8:8:8 pixels into 8 1:5:5:5 pixels by taking the 5 high bits of the R, G and B channels, and the least significant bit of the A channel. 07:49:56 -!- Canaimero-15d3 has joined. 07:51:55 Canaimero-15d3: are you a human, or a spambot? 07:52:02 -!- Canaimero-15d3 has left. 07:52:10 guessing spambot 07:52:22 it turned up, sent me a bunch of random gibberish in a PM, then parted again 07:56:30 I didn't get any spam. :/ 07:56:42 Must be some kind of a "for better folks only" thing. 07:56:45 me neither. 08:11:29 -!- Timsole has joined. 08:11:57 -!- Timsole has quit (Client Quit). 08:21:01 -!- epicmonkey has joined. 08:34:17 -!- nooga has joined. 08:45:31 -!- Bike has quit (Ping timeout: 264 seconds). 08:49:19 -!- ais523 has quit. 09:06:55 -!- FreeFull has quit. 09:23:51 -!- m93 has joined. 09:24:18 -!- m93 has left. 09:29:31 -!- oerjan has quit (Quit: leaving). 09:29:43 -!- Mathnerd314_ has joined. 09:31:49 -!- ineiros_ has joined. 09:36:21 -!- Mathnerd314 has quit (*.net *.split). 09:36:21 -!- ineiros has quit (*.net *.split). 09:55:58 -!- Jafet has joined. 10:06:51 -!- epicmonkey has quit (Ping timeout: 258 seconds). 10:14:18 -!- ais523 has joined. 10:18:22 -!- FireFly has quit (Excess Flood). 10:18:40 -!- FireFly has joined. 10:19:59 -!- epicmonkey has joined. 10:52:37 -!- Phantom_Hoover has joined. 11:04:40 `olist 11:04:48 olist: shachaf oerjan Sgeo 11:34:53 -!- kidanger has joined. 11:40:33 Thgeo 11:46:10 fuck where's my wallet 12:00:32 fuckfuckfuckfuckfuckl' 12:03:36 have you checked your pocket 12:03:39 your hair 12:03:48 your sofa/couch/???, your chair 12:04:02 your trash can, your car, your friend's car 12:04:13 your other pocket 12:04:16 your coat pocket 12:04:19 your jacket pocket 12:04:28 your purse??? 12:04:38 your dufflebag your fannypack 12:04:44 your laundry 12:04:58 i'm running out of ideas man 12:05:28 Your fridge. 12:05:36 I think that's where my father found his wallet once. 12:05:53 hm maybe they're in your pants but not in the pocket part. like you tried to put them in your pants but you kinda missed it 12:06:01 if you missed it in the other direction they could be on your floor 12:06:05 maybe you put it in a drawer 12:06:23 hm, microwave/oven/stove might also be worth checking? you could have confused it with your meal 12:06:58 medicine cabinet, pets, bookshelves, other shelves 12:07:00 It's like this: you use money to buy food, it's a reasonable mistake to think you can cut out the middleman. 12:08:18 http://www.supermegacomics.com/images/361.gif i hear it works out pretty well 12:10:19 Sgeo, have you checked your wallet 12:10:46 maybe it's a wallet from the future that only appears when you need money from it 12:10:59 do you have any time machines lying around, that could explain it 12:11:10 alt. explanation is you dropped it in the time machine and now it's who knows when 12:11:35 dinosaur could have eaten it, butterfly effect and that's why (?????weird thing?????) 12:11:48 that's why his wallet vanished 12:12:00 that is pretty dang weird 12:13:59 -!- myname has quit (Remote host closed the connection). 12:15:58 are we even sure it was Sgeo's wallet to start with 12:16:24 well he said it's his 12:16:26 could he be lying 12:16:33 are we sure it's even a wallet 12:16:39 maybe it's a metaphor for something far more sinister 12:16:52 a wallet is a state of mind 12:16:57 fuck you all 12:17:08 maybe it was a wallet made of ice/on fire? 12:17:16 (well, I guess I'm not actually counting on IRC help. so n/m) 12:17:44 maybe it was just a pile of money and credit cards and whatever else sgeo keeps in his wallet 12:18:36 FOUND IT 12:18:44 It also has my keys 12:18:48 or did you 12:18:56 So kind of need it to get back into building 12:19:01 So can't really leave without it 12:19:05 are you sure they're your keys 12:22:49 -!- DHeadshot has quit (Read error: Connection reset by peer). 12:22:55 -!- DH____ has joined. 12:31:57 -!- azaq23 has joined. 12:46:26 -!- ais523 has quit (Ping timeout: 252 seconds). 12:53:53 -!- Arc_Koen has joined. 12:54:48 -!- carado_ has joined. 12:55:03 -!- nooodl has joined. 12:56:05 Putting this shampoo in was a mistake. It smells horrific. 12:56:40 is that the head&shoulder we were talking aboutyesterday? 12:59:14 yes 12:59:37 you know I watched that Green Lantern film yesterday. I'm really not a fan of reynolds and the movie was about as good as the third spiderman film, but when he used his ring for the first time the only thing I could think of was "if I get a ring like that, able to build anything out of my imagination, I'll never need to program in any language ever again" 13:00:19 fine structure comes to mind 13:10:42 Sgeo: if your itnerviewer is a woman you probably need to go fetch a better shampoo :) 13:11:31 -!- metasepia has joined. 13:12:16 -!- boily has joined. 13:15:28 -!- ais523 has joined. 13:24:12 Arc_Koen, er... 13:25:00 wtf I look like I'm going to a fancy dress party, not an interview 13:25:11 you'll `pop 13:25:11 ' 13:25:31 Phantom_Hoover: You don't believe in the power of shampoo? 13:25:45 what sort of power are we talking here 13:25:59 the unimaginable sort 13:26:14 today is a sginteorview day. how many excrutiating seconds left before it? 13:26:15 sounds dangerous 13:26:26 yes 13:26:31 as Sgeo has just found out 13:26:50 how do you think I managed to go so far in my studies without attending the exams!! 13:27:02 These men's dress socks look feminine 13:27:07 -!- monqy has quit (Quit: hello). 13:28:03 wtf are you wearing men's dress socks for 13:28:27 It's what my friend guided me to buy for my interview 13:28:39 http://4.bp.blogspot.com/-8UYKnFltKEQ/UITnD74CCfI/AAAAAAAAAeQ/OgNHMSU7_rg/s1600/socks-men-dress%5B1%5D.jpg 13:28:43 THESE ARE JUST NORMAL SOCKS 13:29:00 or did you get, like, calf-high ones 13:29:11 There's a pattern on these 13:29:17 god I was imagining Sgeo wearing stockings 13:29:36 you are the worst person 13:30:33 Sgeo, patterns are very feminine, yes 13:30:40 -!- kidanger has left ("WeeChat 0.3.2"). 13:31:07 especially flowers and kitties 13:31:29 squares too 13:31:30 (meanwhile, I just upgraded a package in my local haskell installation, without anything breaking. it feels strange.) 13:31:44 flowers are not feminine. what about hawaiian shirts? 13:31:59 well it depends on what part of the flower you're talking about 13:32:23 catkins are very manly 13:36:33 Ok, heading out now 13:40:30 http://answers.ea.com/t5/Miscellaneous-Issues/Traffic-quot-AI-quot-This-is-why-services-and-traffic-are-broken/m-p/737060#U737060[ 13:40:32 hahaha 13:40:47 i'd have thought maxis of all people would have learnt the dangers of oversimulation 13:41:51 -!- ais523_ has joined. 13:42:06 -!- ais523 has quit (Read error: Connection reset by peer). 13:42:18 -!- ais523_ has changed nick to ais523. 13:43:23 -!- carado_ has changed nick to carado. 13:59:49 -!- sirdancealot has quit (Quit: ragequit). 14:02:25 -!- augur has quit (Remote host closed the connection). 14:04:43 -!- ais523 has quit. 14:30:00 -!- carado_ has joined. 14:33:52 -!- carado has quit (Ping timeout: 256 seconds). 14:34:50 -!- augur has joined. 15:27:14 -!- FreeFull has joined. 15:45:14 -!- carado has joined. 16:04:23 -!- epicmonkey has quit (Ping timeout: 260 seconds). 16:05:30 http://bpaste.net/show/OrlKdQFBXpBmf21nXX1n/ i wrote a small python lazy-k interpreter 16:05:40 only supports `ski, though 16:09:22 -!- carado has quit (Quit: Leaving). 16:15:42 -!- sebbu has quit (Ping timeout: 264 seconds). 16:26:31 -!- AnotherTest has joined. 16:37:35 nooodl, what, only that one expression? 16:38:06 also: that looks strict 16:38:35 since when is having lazy evaluation an important part of lazy k 16:38:51 is it necessary for tcness? 16:38:55 strict k 16:44:01 -!- Bike has joined. 16:44:48 -!- ogrom has joined. 16:45:26 @tell ais523 any idea about http://esolangs.org/w/index.php?title=DNA-Sharp&curid=2720&diff=35666&oldid=31940? site owner, maybe? 16:45:27 Consider it noted. 16:45:55 also guys 16:45:57 http://esolangs.org/wiki/Amelia 16:45:57 help 16:46:38 give it a week 16:47:09 History: None 16:47:11 Philosophy: None 16:47:13 Uses: None 16:47:54 what a well designed page 16:48:28 http://esolangs.org/w/index.php?title=Amelia&oldid=35657 16:48:31 http://esolangs.org/w/index.php?title=Amelia&oldid=35658 16:48:33 evolution of amelia 16:48:39 Amelia. 1 day old. No history. No philosophy. No uses. No-- 16:49:07 is this poetry Phantom_Hoover 16:49:51 it's a reference to deus ex 16:51:37 so: yes 16:51:41 i should probably play deus ex 16:51:42 well i have 16:51:45 but only for like five minutes 16:51:56 turns out to be an esolang based on mediawiki formatting 16:52:07 Bike: we already have that 16:52:15 http://esolangs.org/wiki/Wiki_Cyclic_Tag 16:52:36 -!- azaq23 has quit (Quit: Leaving.). 16:54:00 I don't see a History OR a Philosophy section! 16:54:37 precisely 16:59:05 -!- sebbu has joined. 17:09:14 -!- Phantom_Hoover has quit (Remote host closed the connection). 17:13:11 -!- bouchou has joined. 17:13:44 -!- olsner has quit (Ping timeout: 272 seconds). 17:14:40 ffgf 17:14:42 -!- olsner has joined. 17:15:47 `WELCOME bouchou 17:15:51 BOUCHOU: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE. (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON IRC.DAL.NET.) 17:18:24 -!- Phantom_Hoover has joined. 17:18:44 that link is still broken :( 17:18:48 -!- bouchou has left. 17:22:02 elliott: you scared bouchou. 17:22:24 that's ok. this is a scary place 17:24:39 I'm alive. 17:25:14 thanks for the update 17:26:11 nice, nooodl! 17:26:13 thank god, we weren't sure you'd survive the shampoo fumes 17:27:48 -!- ogrom has quit (Quit: Left). 17:28:01 -!- oerjan has joined. 17:31:05 an Sgeo is a unit of time equivalent to ~3h48min. 17:31:37 boily: how... how do you pronounce sgeo 17:32:39 /ɛs.ʒe.ə.o/, why? 17:32:39 "Esgio"? 17:33:27 well I am wondering where the "an" came from 17:33:48 10:18 hi 17:33:56 What's this? 17:34:32 It's better than "ffgf". 17:34:37 (I got a "hi" too.) 17:34:57 I didn't 17:36:03 there weren't any hi here. 17:41:33 It was in PRIVATE. 17:41:42 You don't want to be saying "hi" in public, it's not seemly. 17:42:44 you don't want to be "the monqy" of the channel. 17:43:12 No hi for me :( 17:43:27 It's a general sort of a rule that, in any given situation, if you don't know who the monqy is, chances are it's you. 17:43:39 Mind you, my reply would have been /ignore bouchou!*@* 17:49:10 -!- hagb4rd has joined. 17:49:40 Gregor: hi 17:49:59 Man, I've ignored bouchou like three times now. 17:50:03 That's just not fair to the poor guy. 17:54:12 his nick is ambiguous. does it mean hearing, expansion, counterintelligence or protection against the tide? 17:54:23 yes 18:06:44 -!- oerjan has quit (Quit: leaving). 18:20:11 -!- abumirqaan has quit (Ping timeout: 260 seconds). 18:26:54 -!- copumpkin has quit (Ping timeout: 252 seconds). 18:27:30 -!- copumpkin has joined. 18:27:31 -!- ssue_ has quit (Ping timeout: 245 seconds). 18:28:53 There is a Pope. 18:29:32 Or, well, a future Pope has been selected. 18:30:26 So, OI a are things that functions can't really make on their own, but can get values out of? 18:30:40 adept segue 18:30:45 Every IO a becomes a way to get an a out of an OI a, I think 18:31:00 So an OI is almost like a secret key into the real world? 18:32:37 -!- TeruFSX has joined. 18:34:08 darn. they is chosen, but not announced. 18:34:11 -!- nooga has quit (Ping timeout: 246 seconds). 18:34:22 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds). 18:40:43 Sgeo: So is OI a comonad? 18:41:18 FreeFull, it's supposed to be. Somehow or other OI doesn't work, but I don't know enough about OI to even understand claims that it doesn't work. 18:45:37 http://24.media.tumblr.com/919ba5543de04d4d7f9d3e27cfd41d10/tumblr_mjm40mAwrq1qkinreo1_1280.gif 18:46:57 Sgeo: Probably doesn't work because there is no way to construct an OI value, other than using bottom =P 18:47:37 -!- wareya has quit (Read error: Connection reset by peer). 18:47:38 The package I saw had a runInteraction :: (OI a -> b) -> IO b 18:47:39 iirc 18:47:56 So runInteraction must internally create an OI 18:48:13 -!- wareya has joined. 18:48:18 If the language were OI based, runInteraction might be external to the system 18:48:37 The same way that with current Haskell, executing IO actions are external to the system 18:50:36 -!- sivoais has quit (Ping timeout: 252 seconds). 19:03:50 -!- monqy has joined. 19:06:52 -!- augur has quit (Remote host closed the connection). 19:08:25 -!- augur has joined. 19:08:43 -!- Phantom_Hoover has joined. 19:10:45 -!- sivoais has joined. 19:10:49 Bike: so like. um. do you think I should start an asm/programmy sideblog so that people can follow me without being flooded by fandom things? and so I don't scare people off with scary asm things 19:11:13 if that means you posting more asm things then yes 19:11:14 I wonder what I could call it. "fiora progterma" is terrible 19:11:26 you want more of them? 19:11:43 Sgeo: If OI is a comonad, then what stops you from doing extract 19:12:31 duh, fiora 19:13:32 fiorasm 19:15:35 ... that... works 19:18:27 robofiora 19:18:48 -!- sivoais has quit (Ping timeout: 264 seconds). 19:19:12 tromp__: i think it isn't actually lazy, as Phantom_Hoover mentioned hours ago 19:19:14 -!- epicmonkey has joined. 19:19:45 -!- sivoais has joined. 19:22:44 -!- Taneb has joined. 19:23:38 right; it's call-by-need, but without sharing 19:23:58 `run echo "new pope" | uuu 19:24:01 uuu uuuu 19:24:10 `run echo "francis i" | uuu 19:24:13 uuuuuuu u 19:24:26 so call-by-name 19:24:36 why would it be strict? 19:24:46 un echo "francis \n i" | uuu 19:24:51 wop 19:25:09 Fiora: Name it Fiora 090h 19:26:01 but h literal syntax is sin 19:26:21 I was thinking of trying to turn the name into asm puns 19:26:33 but FILDa AESENCa doesn't have the same ring 19:26:50 0xF1074 19:26:58 elliott, but sin(90) = is sqrt 2/2! 19:26:59 ah, i see. you don't delay argument evaluation in combinator s 19:27:33 Fiora: snerk 19:27:37 -!- sivoais has quit (Ping timeout: 256 seconds). 19:27:49 Fiora: just come up with a quick url like fiorasm and then obsess over the displayed title for the rest of your life 19:28:07 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 19:28:10 XD 19:28:18 imo make the title be the same as the subdomain 19:28:34 and no subtitle 19:29:10 mov F10,R4 19:29:12 (what's Fiora dooing?) 19:29:18 I was thinking of making an asm sideblog thing 19:29:23 there's no f10 :< 19:29:26 -!- sivoais has joined. 19:29:43 :P 19:30:09 I'm mildly afraid of asm 19:30:28 Fiora: how did you memorize all the SSE instructions 19:30:33 did you make flashcards or something 19:30:34 nooodl: i once wrote the prime number sieve in python pure lambda style: http://bpaste.net/show/VZJSFQs3eDZf2SqgMi1C/ 19:30:47 You memoriszed all the SSE instructions? 19:30:49 Why? 19:30:54 but you quickly run into python's recursion limit 19:31:08 you can run it with python primes.py 2> /dev/null | head -c 100 19:31:13 oppa lambda style 19:31:23 tromp__, translate it into Lazy K 19:31:28 that joke is a thousand years too late 19:31:29 kmc....................... 19:31:51 no you see now it's self consciously bad 19:32:02 * boily swats kmc with a jar of kimchi 19:32:20 kmc you can't be a hipster about jokes about popular music, it just doesn't work 19:32:31 hipster about internet memes 19:32:32 you mean 19:33:12 you should feel honoured. such a nice, handcrafted jar, with the finest organic virtual ballistic cabbage! 19:36:45 wasn't gangnam style a song at some point 19:37:42 kmc: I definitely didn't memorize them all 19:37:55 I know most of the basic ones but I mean, the ones I know best are just ones I've used a lot 19:37:59 what's pbroadcastvb 19:38:05 I am extremely bad at memorizing things actually 19:38:16 like, I can remember concepts and processes pretty well, but outright memorization is very hard 19:38:25 in 4 years of german in school I learned like a few hundred vocab words 19:38:26 -!- sivoais has quit (Ping timeout: 255 seconds). 19:38:44 so like, when I think "pmaddubsw", I don't think some raw manual definition of what it does, I think of all the stuff I use it for and the tricks I know with it 19:39:04 and performance characteristics and stuff 19:39:26 ummm I think vpbroadcast only has "b", "w", "d", and "q" 19:39:56 -!- sivoais has joined. 19:39:59 ¬_¬ 19:40:00 ok 19:40:03 makes sense 19:40:46 -!- sivoais has quit (Read error: Connection reset by peer). 19:41:00 -!- heroux has quit (Ping timeout: 240 seconds). 19:41:03 oh, b, w, d, q, and "i128" 19:41:29 double quad super octo-word 19:41:29 -!- sivoais has joined. 19:41:39 kmc: one result of "not memorizing" like that is that I often don't remember 'exactly' what something does, and I do have to look things up a lot 19:42:10 like. don't ask me which direction palignr works in. I know it's supposed to be "right" (the "r"), but what's "right"? with all the mess of endianness, I have no idea <.< 19:42:18 I kinda just try both and see which works 19:42:51 -!- sivoais has quit (Read error: Connection reset by peer). 19:43:10 * Bike notes down: do not ask fiora what "palignr" is or does 19:43:37 palignr is just a way to take AAAAAAAA,BBBBBBBB and get AAAAAABB (for some number of Bs you want to shove into the As) 19:43:38 Bike, it aligns p's to the right 19:43:46 -!- heroux has joined. 19:43:50 fiora, you're not helping your case here 19:44:06 what ;-; 19:44:20 Fiora, Bike's sayin you're awesome 19:44:42 yes, i order you to be less competent 19:48:39 .-. 19:49:09 palignr is like, fun for things like FIR filters 19:52:06 -!- hagb4rd has quit (Ping timeout: 245 seconds). 19:52:41 -!- sivoais has joined. 19:59:12 do fir filters care about fun? 20:03:43 -!- impomatic has joined. 20:05:16 olsner: yes, but it's a birch. 20:06:19 i am evergreen with envy over those puns 20:06:45 I'm pining for more 20:09:11 -!- nooga has joined. 20:10:54 glade to see other deranged minds punning with me, even if it's not oak-ay for this channel. 20:13:23 if I had any non-bad puns I'd concedar joining you 20:13:24 I tried to right a pun, but I made an ash of it 20:14:39 * Gregor sets fire to the channel. 20:14:46 IT'S A PUN 20:14:47 DO YOU GET IT 20:14:50 BECAUSE TREES BURN 20:14:52 AND SO WILL YOU 20:16:01 Why do ducks have flat feet? 20:16:11 To stamp out forest fires 20:16:15 Why do elephants have flat feet? 20:16:22 To stamp out burning ducks 20:16:24 -!- AnotherTest has quit (Read error: Connection reset by peer). 20:17:37 -!- abumirqaan has joined. 20:19:03 -!- AnotherTest has joined. 20:23:49 -!- ssue_ has joined. 20:25:06 -!- Phantom_Hoover has joined. 20:25:40 weird 20:25:46 so apparently in order to see my own posts on my dash 20:25:46 agreed 20:25:49 I have to follow myself 20:25:54 oh i preferred it when it was just weird 20:26:10 Fiora, yeah, I don't see PH's posts on Tumblr 20:27:11 Fiora: you should probably anounce it on your main one 20:27:48 "Cardinal Bergoglio has encouraged his clergy and laity to oppose both abortion and euthanasia.[11] He supports the use of contraception to prevent the spread of disease, meaning he is not a completely hidebound prude.[12] 20:27:48 " 20:27:51 real npov there wp 20:28:32 looks like someone has an opinion 20:28:34 brace yourselves, edit wars are coming. 20:28:42 it's already locked 20:29:02 does the new one also have a supervillain lookalike? 20:29:25 http://en.wikipedia.org/wiki/File:Card._Jorge_Bergoglio_SJ,_2008.jpg iunno, he looks boring mostly 20:29:47 haha is it protected with that on the page 20:30:04 yes, yes it is. 20:30:08 that's good 20:30:10 It has a cite though! 20:30:12 boily, are you meming 20:30:16 So it's fine. 20:30:26 no it's not i just checked 20:30:28 you suck 20:30:35 it was when i looked at it four seconds ago :( 20:30:38 now i'm on to the talk page 20:30:40 «Include information pertaining to the Popes stance regarding SCIENTOLOGy's religious status (in Argentina).99.8.125.39 (talk) 20:22, 13 March 2013 (UTC)» 20:30:55 agreed 20:30:56 Phantom_Hoover: sorry, my brain is partially out of order today. I'm usually more impervious to memetification. 20:31:16 «I have never posted on Wikipedia before and have no real plans to post later.. but i think the sentence "He is another homophobic bastard indeed." should probably be removed» 20:31:48 i like how there have been a good few hundred edits to that page today 20:33:51 https://twitter.com/Pontifex/status/311922995633455104 i'm scared 20:34:16 the idea of the vatican fucking tweeting in latin 100% seriously is the funniest thing 20:34:38 dude the trends 20:34:47 -!- augur has quit (Remote host closed the connection). 20:34:53 "#HabemusPapam" "#PrimerasPalabrasDelPapa" "#LosArgentinosDominamosElMundo" "#ReplaceMovieTitlesWithPope" 20:35:16 tuit. he he he. I shouldn't be laughing, but I mean, tuit. 20:35:33 tuit? 20:35:54 tuit. 20:36:01 tuit 20:36:23 unfortunately Bergoglio's personal twitter is just in Spanish 20:36:46 he has retweeted somebody named "mitt romney" wearing a Scream mask, though 20:38:24 sounds like someone hip with the culture of todayt 20:38:26 haha link 20:39:09 https://twitter.com/cassin2851/status/232854175040552960 20:39:23 bergoglio is the guy on the right in vestments 20:40:03 that's not mitt romney, that's mitt rommey 20:40:20 If I'm the new pope, children will love me more than the Santa Claus # Vatican 20:40:24 republicano conservador adherente al tea party 20:40:28 actual tweet by pope 20:40:56 is this a fake account 20:41:15 "#LosArgentinosDominamosElMundo" :| 20:41:18 this bergoglio guy sure is rewteet ing a lot of hip stuff, like this one guy he retweeted has as his avatar that picture of a cat with a thing on his head 20:41:34 elliott: that would explain why a guy who's been accused of war crimes retweeted HIJOS 20:41:35 im sure there are lots of fake accounts 20:41:37 nooodl: inorite. 20:41:42 is monqy a fake account 20:41:54 ¿Y por qué #NoALosHomosexuales directamente? #NoALaAdopciónEntreHomosexuales 20:42:12 Sólo la iglesia debe protejer a esos niños, abrazarlos, mimarlos, darles calor, darles amor, darles... eh eh #NoALaAdopciónEntreHomosexuales 20:42:13 sorry, this isn't #pontifex is it? 20:42:20 er, @pontifex 20:42:21 no, it's JMBergoglio 20:42:32 pontifex deleted all their tweets and replaced them with latin 20:42:33 i see this guy also retweeted a tweet with "fuck you" in it 20:42:42 'That Twitter Account for the New Pope Is Fake, Fake, Fake 20:42:45 :( 20:42:45 IM GETTING THE FEELING THIS ISNT ACTUALLY THE POPE GYUYAS 20:42:50 *GUYZ 20:42:51 *ES 20:42:54 ugh 20:42:55 news.va 20:43:00 isn't available in latin... 20:43:14 i am so disappointed 20:43:19 nuntii.va 20:43:36 Not a website 20:43:43 Looks like it ought to be Finnish 20:43:43 http://yle.fi/radio1/tiede/nuntii_latini/ is 20:43:49 Q:which pope is the real pope??? 20:43:59 A:Elijah Wood 20:43:59 the real pope is peter two of spain 20:44:02 turns out theres multiple popes 20:44:07 each one thinks they've been elected 20:44:12 each one thinks they're francis 20:44:13 congrats on your papacy, everyone 20:44:15 only one will survive 20:44:20 "Proelium Stalingradense commemorabatur" 20:44:26 is this "Stalingrad" in latin 20:44:48 "Stalingradens" is probably "from Stalingrad" 20:45:02 Obama alterum quadriennium coepit 20:45:19 The battle of Stalingrad is commemorated? 20:45:24 -!- augur has joined. 20:45:24 yeah 20:45:34 probably, i mean two million people died 20:45:34 let's partake of a hot dog bun! 20:45:46 it kind of sucked, speaking overall 20:45:59 Obama gains another term? 20:46:16 coepisse is "to begin" 20:46:27 Bah 20:46:31 I need to learn this 20:46:37 Bike: would you say it was kind of a bummer. totally lame 20:46:47 Seriously, I've ended up doing A-level latin even though I suck at it 20:46:52 you're thinking, uh, capit? 20:47:02 Perhaps 20:47:06 no that's present, ugh 20:47:09 I think I was just thinking what makes sense 20:47:14 elliott: yes i think most survivors would agree that it was, quote, "totally lame" and/or "sucktastic". 20:47:15 cepit 20:47:18 Censorship? Micaela Lisola? Mary Elizabeth Censorship Larrauri not let you take the microphone to whom she wants! 20:47:19 thanks wiktionary 20:47:22 - the pope 20:47:24 Because I knew I didn't know coepit 20:48:31 the latin tweet on @Pontifex disappeared... 20:49:01 http://en.wikipedia.org/wiki/Talk:Pope_Francis#It.27s_Francis_I_.E2.80.93_A_New_Pope anyway the important thing is whether he's I or not. 20:49:46 Bike: pretty sure this is an elaborate setup to an ARG 20:49:54 -!- DH____ has quit (Ping timeout: 264 seconds). 20:49:59 "He was not born in India - FIX THAT" 20:50:02 wouldn't it be Francis IV - A New Pope? 20:50:04 fake twitter accounts, mysterious uppercase latin tweet that's then deleted 20:50:08 no shut up fiora 20:50:15 :< 20:50:16 fiora....................... 20:50:33 elliott: jesus returns, catholicism turns out to be an elaborate role-playing game 20:50:41 guys can we stop for a second and recognise that a papal ARG would be the best thing in the universe 20:50:49 i had no idea how much i wanted this in my life until now 20:50:53 ARG? 20:50:58 alternate-reality game 20:50:59 @google alternate reality game 20:51:01 http://en.wikipedia.org/wiki/Alternate_reality_game 20:51:01 Title: Alternate reality game - Wikipedia, the free encyclopedia 20:51:11 elliott: that sounds very good 20:51:27 maybe it'd be a lot like a dan brown book though?? 20:51:37 -!- DHeadshot has joined. 20:51:48 ok but face it being in a dan brown book would actually be awesome (unless you died) 20:51:52 how can anything that stupid not be awesome 20:51:53 elliott: are you still making a roguelike you could make a papal roguelike. you could you could. 20:52:01 monqy: wow papal roguelike....... 20:52:04 trivia: "angels and demons" is like the only novel i've ever stopped reading out of boredom 20:52:07 EVERYTHING is better with more catholicism 20:52:19 papal roguelike would work pretty well, i mean have you seen those catacombs? 20:52:25 you haven't, because they're off-limits. 20:52:29 i'm not gonna lie i loved the da vinci code film 20:52:32 but not to the pope 20:52:33 i mean it was terrible 20:52:36 and i loved it 20:52:41 Bike, Assassin's Creed II and Brotherhood? 20:52:49 what is that, thath sounds dumb 20:52:50 i think i saw that film 20:53:01 ive never seen any of these things 20:53:02 i bet you hardly ever play as the pope 20:53:25 elliott: make "vagrant 3: papal vagrant" 20:53:33 in the arg you'd have to literally travel to vatican city 20:53:35 sneak in 20:53:38 experience of a lifetime 20:54:02 yes!! 20:54:25 "Are you here on a pilgrimage?" "no, i'm just roleplaying" 20:54:27 and everyone there's in on the "game" and they know you're on a mission and they're like "welcome, sir" 20:55:15 note: preceding statement was by a bad roleplayer 20:55:23 nooodl no 20:55:35 it would just be very illegal tresspassing 20:55:39 the budget doesn't cover that 20:55:48 is it illegal to enter vatican city. can you enter vatican city i honestly don't know. 20:55:51 what's a vatican, what's a pope 20:55:55 this just got extra intense 20:56:01 well you need a passport 20:56:03 no it's illegal 20:56:15 you need an illuminati passport 20:56:17 but they have fucktons of tourists and pilgrims and probably roleplayers? 20:56:45 Bike, all trespassers 20:57:27 dastardly. 20:57:32 Opposed - Keep as "Pope Francis". According to the Pope's official Twitter "HABEMUS PAPAM FRANCISCUM" no use of ordinal [8]. --Zimbabweed (talk) 19:40, 13 March 2013 (UTC) 20:57:34 I trespassed there twice. once for the great circle thing, after that for the museums. 20:57:42 oh wow i just noticed their username 20:57:45 zimbabweed 20:58:02 i'm so glad we're all bonding over the new pope 20:58:07 Being a musician as well, Francis also played the violin frequently for the natives, which helped them relate better to him. He is often depicted playing this instrument. 20:58:09 is there even a single catholic here 20:58:12 -!- nooga has quit (Ping timeout: 252 seconds). 20:58:25 my family is catholic does that count 20:58:42 It's "HABEMUS PAPAM FRANCISCUM" instead of "HABEMVS PAPAM FRANCISCVM"? 20:58:43 Lame! 20:58:49 whats it like to have a religious family thats such a weird idea to me 20:58:52 i love all these people saying popes ALWAYS have an ordinal number 20:58:54 america is baffling 20:58:55 it's weird 20:59:00 do you have to go to church 20:59:01 going off of three examples, one of which was over a thousand years ago 20:59:02 elliott: It's uncomfortable. 20:59:16 nah i was able get my parents to stop making me go years ago 20:59:24 congratulations 20:59:29 heathen 20:59:43 i've been in a church like 20:59:46 five times in my life? 20:59:50 monqy: do they make you go in the present instead now 20:59:58 shachaf: :-) 21:00:05 monqy: btw if your parents are married that makes them not single catholics 21:00:08 and i went to a church of england school 21:00:09 so it doesn't count 21:00:12 -!- nooga has joined. 21:00:26 You call it the church of england? not anglicanism or something 21:00:32 shachaf: :-) 21:00:41 Bike: well they're "C of E schools" (you say see of ee) 21:00:49 monqy: are you disapproving 21:00:50 nice 21:01:10 Bike: i think anglicanism is like more broad?? 21:01:11 church of england but only for historical reasons 21:01:30 church of england vs church of wales, fight 21:01:39 how christian i am: just baptized, really 21:02:17 did your family bap you and stop caring 21:02:24 yes 21:02:27 literally that 21:02:35 i haven't been baptised unless i was and nobody ever told me and i forgot about it 21:02:44 or maybe someone told me and i forgot about it? but i'm pretty sure i wasn't!! 21:02:44 ohhhhh the last non-european pope was actually syrian 21:03:21 monqy: well there was still like, a daily prayer thing in the school 21:03:30 but that was like literally it 21:03:36 i'm pretty sure going to a religious school makes you at least half a bishop. 21:03:49 Are queens half-bishops? 21:04:01 like aren't religious schools in america really religious or something 21:04:06 I guess they're full bishops and also rooks on top of that. 21:04:08 elliott: Generally, yes. 21:04:37 They are schools that straight-up indoctrinate in religion, rather than being schools that happen to be associated with a religiou organization. 21:04:38 All i know about american catholic schools i learned from You Damn Kid so i'm going to go with yes 21:04:47 Non-Catholic religious schools more so. 21:04:53 wasn't there some state that required a pledge to God and Country before allowing you to graduate from high school? 21:05:13 it's standard to pledge to god and country every day anyway 21:05:19 olsner: Probably multiple, but such a thing is blatantly unconstitutional. 21:05:57 i remember my family being upset that people didnt have to pledge to God in the pledge of allegiance in schools, or something like that. i dont understand my family. 21:06:03 yikes monqy yikes 21:06:07 your family is scary!!! 21:06:24 * Bike had been assuming that monqy was some kind of non-american foreigner. what is this 21:06:50 My father thinks that gay people are pedophiles, and you become gay by being raped as a child. 21:07:00 Bike: americans are all foreigners, hth 21:07:06 my life is a lie. 21:07:23 Bike, that is, except for the Swedish ones 21:07:25 i dont talk to my parents about things like that because i know it would be unproductive and upsetting 21:11:22 -!- boily has quit (Quit: Poulet!). 21:11:25 -!- metasepia has quit (Remote host closed the connection). 21:11:50 monqy: scary 21:11:52 -!- DHeadshot has quit (Ping timeout: 272 seconds). 21:12:38 -!- augur has quit (Remote host closed the connection). 21:13:36 -!- nooga_ has joined. 21:14:19 -!- DHeadshot has joined. 21:14:34 -!- nooga has quit (Ping timeout: 245 seconds). 21:15:38 -!- Nisstyre has quit (Ping timeout: 255 seconds). 21:19:10 the church is such an absolutist institute - I did not vote for a cardinal yet he does represent my vote 21:24:46 -!- AnotherTest has quit (Quit: Leaving.). 21:27:04 -!- DHeadshot has quit (Ping timeout: 272 seconds). 21:28:21 that's called representative democracy, anothertest 21:28:48 -!- sebbu3 has joined. 21:29:17 -!- sebbu3 has quit (Changing host). 21:29:17 -!- sebbu3 has joined. 21:29:17 they get locked in and put on rations, their pain makes them good representatives 21:29:40 -!- Nisstyre has joined. 21:29:55 -!- sebbu has quit (Ping timeout: 258 seconds). 21:30:03 -!- sebbu3 has changed nick to sebbu. 21:30:04 it would work better if they didn't get fed 21:31:15 they did that the first time, a guy died. 21:31:29 worked pretty well though yes 21:31:30 haha did they really 21:31:33 please tell me that's true 21:31:35 yes 21:31:41 amazing 21:31:48 the papal conclave system got started because they'd gone three years without picking one 21:31:56 right i knew that much 21:31:57 so the magistrates were all "uuuugh fuck you guys" and locked them in 21:32:45 and put them on bread and water (which is less than they do now, FUCKIN SOFTIES) 21:34:06 http://en.wikipedia.org/wiki/Henry_of_Segusio and this guy was taken out to die 21:40:41 okay but by not fed 21:40:44 i didn't mean fed with bread and water 21:40:50 i could live for months on bread and water 21:41:17 Have you considered becoming a medieval French monarch? I think you've got what it takes. 21:41:19 why does this not contain info about his death i want my money back 21:41:30 Bike: um that would require me to become french 21:41:36 which would destroy my soul and worse, make me french 21:41:38 Hardly. 21:41:54 I mean you know the present queen of England is like, Dutch or something. 21:45:07 that's way better than being french. 21:46:03 yes the point is that all you have to do is fabricate some evidence that twelve thousand years ago your ancestor was the (spanish) queen of the gauls and you're golden 21:48:04 -!- Taneb has quit (Quit: Leaving). 21:49:27 ok but also I'll have to rule over french people 21:49:32 a fate worse than death 21:50:03 there presently isn't a french monarch so they probably wouldn't take you seriously 21:50:17 i'd be mediææval!!! 21:50:22 mediEVIL 22:10:12 Bike: the popes twitter got suspended rip 22:10:52 :( 22:11:06 where did you go wrong, franky 22:11:11 ? 22:12:31 probably tried to troll 4chan 22:13:08 its pretty cute how each of the pontifex accounts follow each other 22:13:25 do the other language ones have translations of the latin 22:13:30 if so why doesnt the english account have a translation of the latin???? 22:13:31 theyre all latin 22:13:33 good 22:13:41 "fuck you we're doing latin" ------ church 22:14:05 mass sounds a lot better to me in latin, no lie 22:20:47 -!- hagb4rd has joined. 22:21:00 I'm somewhat confused why people seem to care so much about this. (Note by this I'm not saying it is completely unimportant, just that I'm wondering why a lot of non-catholics seems to care so /much/ about it...) 22:21:27 just some silly ol pop culture to bond over 22:21:34 hah 22:21:43 like celebrities but in the real world 22:22:14 well, I never got the point of celebrities either, so I guess that explains it 22:22:48 i've only gotten celebrities by analogy with actually fascinating things like pope 22:23:16 Vorpal: he's a major political figure, kinda like that obama dude, I think 22:23:39 Fiora, technically he commands the smallest country in the world, both by area and population. 22:23:59 catholicism has more 'citizens' than china ^^; 22:24:00 a relatively minor major political figure 22:24:10 Fiora, in that sense, true 22:25:07 http://www.theonion.com/articles/focus-who-is,31657/ hth. 22:25:14 Fiora, but he has no military to speak of 22:25:15 is the weather nice in catholicism 22:25:17 maybe i'll move there 22:25:46 compared to the US hardly anybody has a military to speak of anyway, so that's no problem 22:26:10 Well, China kind of does iirc 22:26:31 they still spend like, half as much 22:26:37 well yes 22:27:22 doesn't the us spend more than the rest of the world combined 22:27:35 basically 22:27:46 PLUS the pope's military wears cool hats 22:27:48 i think they're good 22:28:09 looks like china spends $143.0Bn 22:28:12 us spends $711.0Bn 22:28:14 i like these .0s 22:28:28 Anyway, the pope commands a tiny country, and does not have much real political power on stuff that matters for non-catholics, possibly apart from the question of abortion in certain countries. 22:28:36 so us spends 5x as much as china 22:28:53 Vorpal: you realise that stuff catholics do affect non-catholics too right 22:29:03 the catholic church kind of has quite a lot of power in parts of the world other than america... 22:29:08 especially africa and south america 22:29:09 and also more generally there are an awful lot of catholics so from a world politics pov what happens to them is relevant 22:29:24 and their policies kind of affect a billion people 22:30:12 elliott, sure, but I'm questioning if the pope has much effect on (or even could have the potential to have) the question of, for example, EU agricultural politics. 22:30:16 afaik I've met exactly one catholic 22:30:34 well how is EU agricultural politics any more or less relevant to people in #esoteric than catholicism 22:30:42 i guess it's more since a bunch of people are european here but still 22:30:46 like the catholic church's policy on condoms literally affects the future of an entire continent almost 22:31:20 elliott, that was just an example. My point is that outside a few specific areas, what he says will have very little effect on non-catholics as far as I can tell 22:31:51 good point? 22:31:55 a few specific huge areas??? 22:31:58 Except where governments with a lot of Catholic people may listen to the Pope and be swayed against things such as legalizing gay marriage 22:32:10 thgeo 22:32:23 elliott, really? I can only think of abortion and safe sex. What am I missing? 22:32:28 "only" 22:32:37 do you know how many people AIDS kills dude 22:33:19 I'm not denying they are important questions. But they are just two questions out of many. 22:33:24 something about people being treated badly for something about homosexuality 22:33:35 monqy, ah yes, good point, forgot that. 22:33:37 human rights generally "a thing" 22:33:58 well, i'm sure that that the cardinal referred to an argentinian civil marriage law as being the work of Satan won't affect anything 22:34:12 monqy, Fairly significant area indeed, good point 22:34:23 wasn't that elliott's point 22:34:33 Bike, it won't affect the majority of the world no 22:34:36 or uhh maybe someone before that 22:34:41 you're charismatic enough that you can take others' points, monqy. 22:34:49 a dangerous power 22:34:50 take them and mold them into beautiful birds. 22:36:14 Bike, perhaps it is because I live in an extremely secular country (Sweden) that this seems so foreign to me. But if some priests here proclaimed such a thing, sure it would cause a bit of discussion, but eh, in the end, who would care much. 22:37:18 I consider the church over here a minority. A fairly vocal minority at times yes, but still a minority. 22:37:43 anyway, good night 22:37:46 -!- epicmonkey has quit (Ping timeout: 258 seconds). 22:40:30 -!- Bike has quit (Ping timeout: 252 seconds). 22:44:22 Vorpal: all i can parse out of your statement is "i do not notice when religion affects politics and daily life in my home country" 22:45:26 22:25:07 http://www.theonion.com/articles/focus-who-is,31657/ hth. 22:45:31 i didnt get around to looking at this tab until now but its good 22:45:33 too bad bike left already!!! 22:49:21 http://upload.wikimedia.org/wikipedia/commons/5/50/Life_expectancy_in_some_Southern_African_countries_1958_to_2003.png 22:49:21 wow 22:49:42 Wow, why did it drop down like that 22:50:03 HIV? 22:50:49 yeah... 22:51:30 oops 22:51:38 hi nooodl 22:51:43 hey 22:51:53 What I want to know is why Uganda went so badly. 22:52:51 Oh, Idi Amin is why. 22:53:37 http://nl.wikipedia.org/wiki/Idi_Amin wow stay classy dutch wikipedia 22:53:52 -!- augur has joined. 22:54:58 -!- Bike has joined. 22:55:43 hi Bike welcome back 22:56:11 helliott 22:56:17 did i miss anything remotely interesting 22:56:23 22:45:25 22:25:07 http://www.theonion.com/articles/focus-who-is,31657/ hth. 22:56:26 22:45:31 i didnt get around to looking at this tab until now but its good 22:56:29 22:45:33 too bad bike left already!!! 22:56:31 hth 22:56:35 other than let's see *looks at logs* death 22:58:14 you also missed shitty dutch wikipedia 22:58:23 always good to learn about death and shitty wikipediaa 22:58:46 wikipedipodes 22:58:54 you know what's more fun than wikipedia orienteering? 22:59:00 wikipedia orienteering in dutch 22:59:18 well, i can't read this language, but i assume the text goes downhill from using a caricature as his picture 22:59:46 what i did was i pressed the translate button on my browser 22:59:48 because i live in the future 23:00:22 hehe wikipedipodes 23:01:43 http://en.wikipedia.org/wiki/In_My_Defens_God_Me_Defend 23:01:49 wow we have the shittiest motto 23:03:20 http://www.theonion.com/articles/how-the-papal-conclave-selects-the-pope,31614/ 23:03:54 nice 23:04:05 In my defence God me defend And bring my sawl to ane good end ane vertuous lyf procureth ane happie death... 23:04:40 -!- boily has joined. 23:04:41 scots is basically just english written by someone who hasn't quite gotten the hang of things but thinks themselves quite good anyway 23:04:45 which also describes scots themselves 23:04:52 In my defense God me defend and bring my saulle to ane guid end O Lord. 23:05:41 chinese wikipedia is an even better challenge 23:05:46 but! the philosophy trick works 23:06:09 the philosophy trick works when you don't know what the chinese for 'Philosophy' is? 23:06:34 i don't know chinese but i do know greek orthography 23:06:44 and also the page image is called 'the death of socrates' 23:08:52 good deduction then 23:09:16 however it doesn't have the short cycle that makes philosophy an obvious terminal point 23:10:09 In fact I don't think it's terminal at all; I think human is. 23:10:30 now can you find an article that's terminanl for all wikipediae 23:10:36 Which then leads to a very roundabout loop through the biology articles. 23:15:33 Phantom_Hoover: have you realised that scots are ridiculous 23:15:45 i mean you think you're a people but you're actually just fake english 23:16:13 see this is why even the english hate the english 23:16:14 i have this weird urge to strangle you right now, i wonder if one of my ancestors was from scotsworld 23:16:41 Bike: it is probably because i mentioned scots, they inspire murderous rage in us all 23:17:05 i've never even seen braveheart 23:21:31 -!- nooga_ has quit (Ping timeout: 264 seconds). 23:22:21 https://twitter.com/Non_Cunningham more papal news 23:22:45 man i wish popes stopped being pope more often 23:22:56 i could make a "sports night" out of this 23:23:07 get everyone around to watch the vatican news intensely 23:23:19 what do you think they do in st peter's square 23:23:25 i bet they have a fucking jumbotron set up 23:23:36 can we get sports commentators in the place where they elect the dudes 23:23:43 i'd listen 23:24:15 it's super secret, they've thrown out reporters posing as maids and shit all the time 23:24:23 they go over it with a bug detector 23:25:05 scots reminds me of old zzo 23:25:08 i think attempting to get information out gets you automatically excommunicated, even if you're a cardinal 23:25:13 -!- sirdancealo2 has joined. 23:25:16 reporters posing as maids.................... 23:25:19 are you just making this shit up 23:25:46 i don't think you understand why i follow this stuff, elliott 23:25:51 it is because it is balls to the wall crazy 23:25:55 there are dozens of balls on that wall 23:26:02 http://www.youtube.com/watch?v=pP1rmsCPbQU 23:26:04 which wall are a we talking 23:26:04 will this do? 23:26:09 vatican city walls 23:26:38 They probably got found out when the see got around to doing whatever they do with the maids. 23:26:56 Bike: is that why you follow #esoteric 23:27:02 yes, i am referring to the servian walls 23:27:07 elliott: finally someone gets it 23:27:23 Phantom_Hoover: ?? is this english 23:27:35 destroyer of the nonce-sphere 23:27:45 if you're not sure whether something is english or not it's probably scots 23:28:07 digitox, the removable hard drive planet 23:28:23 "Shut up you precious bellend" 23:28:27 quality youtube comments 23:28:27 -!- hagb4rd has quit (Quit: hagb4rd). 23:28:51 elliott: http://en.wikipedia.org/wiki/Papal_conclave#Expelling_the_outsiders but no, i'm quite serious 23:29:39 they are very serious about their popes 23:29:40 Cardinals who arrive after the conclave has begun are admitted nevertheless. An ill cardinal may leave the conclave and later be readmitted; a cardinal who leaves for any reason other than illness may not return to the conclave.[74] 23:29:50 you're telling me they're allowed to leave for reasons other than illness???? 23:29:56 also shouldn't they just like have a hospital ward in the building 23:30:00 they're not dedicated enough 23:30:34 Only three cardinals electors are permitted to communicate with the outside world under grave circumstances, prior to approval of the College, to fulfil their duties: the Major Penitentiary, the Cardinal Vicar for the Diocese of Rome, and the Vicar General for the Vatican City State.[4] 23:30:36 a hospital ward in the sistine chapel? 23:30:43 i wonder what could possibly be grave enough to report to the outside world but not like 23:30:45 i think attempting to get information out gets you automatically excommunicated, even if you're a cardinal 23:30:46 to leave the building 23:30:46 omg 23:30:51 Bike: yes 23:30:56 getting excommunicated is on my to do list 23:31:12 vatican architects must be quite creative 23:31:23 i assume that they've made a deal with the mole people or something, there can't be room to build otherwise 23:31:41 Before the conclave that elected Pope Benedict XVI, the Sistine Chapel was "swept" using the latest electronic devices to detect any hidden "bugs" or surveillance devices (there were no reports that any were found, but in previous conclaves press reporters who had disguised themselves as conclave servants were discovered). Universi Dominici Gregis specifically prohibits media such as newspapers, the radio, and television.[75] Wi-Fi access is blocked 23:31:53 cut off after "Wi-Fi access is blocked" 23:31:54 i just completely love the catholic church's blend of existing in 2013 23:31:58 and totally not even remotely existing in 2013 in the slightest 23:32:02 Wi-Fi access is blocked in Vatican City and wireless signal jammers are deployed at the Sistine Chapel to prevent any form of electronic communications to or from the Cardinal electors.[76] 23:32:17 like can you even imagine a cardinal using wifi 23:32:20 it's unthinkable to me 23:32:30 do they have iphones 23:32:34 did you know that one of the popes in the nineteenth century banned jews from going out after dark 23:32:54 good jurisdiction 23:32:55 more news from xantiar: http://www.youtube.com/watch?v=W5xnznFzLek http://www.youtube.com/watch?v=X2o4W4-ULjM 23:34:38 the lower head. i can't handle this 23:34:53 wow i was reading the exact same paragraph elliott 23:35:36 what a coinky-dink!!!!!!!!! 23:37:32 Bike: this twitter is puzzling and i think i like it 23:38:09 apparently it's a parody of some theologian but i don't think that's important 23:38:44 i like how the prince is sub-lord utalax both times, phantom_hoover, it's nice to see some consistency in the news for once 23:38:48 Bike: i was thinking it might be a really cool theologician who only posts on twitter sarcastically 23:39:05 but then i was like: probably not 23:39:10 then i briefly entertained the idea that they might be serious 23:39:12 Bike, i'm not sure if supercommander dek lazer is the same in both though 23:39:46 "Am I the JEFF GOLDBLUM of THEOLOGY??!???" 23:40:18 "Fucking nihilist" "Fucking creationist" "Fucking anonymous atheist" "Fucking philosophers" "Really I just want to be the Alain de Bottom of American pseudo-intellectual evangelicalism. Is that too much to ask?" 23:41:04 "Reminder: without the incarnation you CANNOT differentiate a Thai massage from MURDER-SEX." 23:41:39 that reminds me, did you know that a person named Nimrod Meggido actually exists 23:41:40 "In this article I argue that secularist care more about POLAR BEARS than UNBORN BABIES (I actually make this point)" 23:41:46 Megiddo, sorry 23:41:55 he's into game theory 23:42:03 Alain de Bottom 23:42:50 "grace makes you MORE of a GIRAFFE (i actually said this)" 23:43:45 -!- carado_ has quit (Quit: Leaving). 23:44:11 "Finding out a theological mentor is gay is like finding out your lovers vagina is made of tesco value slices of ham" 23:44:15 -!- carado has joined. 23:50:05 better than horse meat 23:50:13 am i right folks? 23:50:23 because of all the horse meat that tesco recently sold 23:50:26 Yes, I would rather eat human reproductive organs than horses. 23:50:36 -!- nooodl has quit (Ping timeout: 258 seconds). 23:50:46 is there something you know about 'value slices of ham' that i don't 23:51:20 Are you a virgin? Then yes. 23:51:28 nope 23:51:53 Are you a third degree SexMaster yet? 23:52:33 You too can become a Third Degree SexMaster™ for only $29.95 23:53:06 is this scientology 23:53:13 sexentology 23:58:00 hm, the same site has articles titled "WATCH: Halle Berry’s Cleavage Stole The Show Last Night On Leno" and "Pope Francis I Is No Fan Of Homosexuality, Abortion, Contraception, And Same-Sex Adoption" 23:58:20 is it buzzfeed 23:58:40 Mediaite, so probably yes? I don't know. 23:59:09 oh nice, he called gay marriage "a real and dire anthropological throwback" 23:59:32 thanks, american anthropological association, for giving me something to cite for this shit