00:00:07 elliott: although you wouldn't know since by what i see you haven't been there in six months. unless you have another account? but then i would be recalling recent r/haskell comments, i expect. 00:01:19 * oerjan finds u/elliott which seems completely unused but six years old. 00:01:22 i read /r/haskell (and /r/roguelikes though that's mostly to laugh at people saying silly things) 00:01:30 nothing else and i never comment any more 00:02:06 well I also laugh at people saying silly things in /r/haskell 00:03:01 well i hope you have more interesting things to do instead. 00:03:20 what could be more interesting than reddit *laugh track* 00:03:55 Bike: i'm sorry that needs to be a link to quickmeme 00:04:01 thankfully /r/haskell is getting worse 00:04:04 I'm sorry too 00:04:07 so I may be able to quit entirely 00:04:10 about that 00:05:06 actually i'm not sure if quickmeme is still prevalent, since i stopped browsing the largest subreddits 00:06:06 i still have r/science there, but lately i've rarely got around to it since i browse my subreddits mostly smallest first 00:07:16 and r/programming but i don't think that's very memy. or maybe i'm just mind ignoring. 00:07:33 /r/programming is awful 00:07:57 pop quiz: elliott, name something that isn't awful 00:08:02 elliott: i've realized i mostly just click the haskell links in it 00:08:12 is there an r/lambda calculus ? 00:08:15 Bike: hmmmm 00:08:17 Bike: maybe dreams 00:08:17 doesthiswork: yes 00:08:20 i recall it 00:08:26 oh i only have nightmares 00:08:30 it was pretty tiny though 00:09:53 r/physics and r/math are probably my favorite intermediate size ones 00:11:31 i find r/askhistorians nearly as addictive as tvtropes once i start browsing it, but it's big so i rarely do 00:14:41 what's wrong with mezzacotta today :( ... oh there it finally loaded 00:16:19 what about a lang without global variables 00:16:32 you have to pass to a function everything you want it to know 00:16:35 forth? 00:16:46 Regis__: welcome to haskell 00:17:09 the way i pictured it it'd be imperative 00:17:31 imagine there's no heaven, it's easy if you try 00:19:27 this is old news but the fact that a function can have a different function hidden inside it is fascinating to me 00:19:41 that'd be a pure dataflow language 00:20:07 hidden? 00:20:27 like when you only care about wether a number is even '+' is equivalent to iff 00:20:51 and multiply is 'or' 00:21:50 doesthiswork: ah algebraic quotients 00:25:22 like this 00:25:24 http://pastebin.com/UzKjsgPd 00:26:05 unsummon self 00:26:55 what kind of witchery is this? 00:29:07 oerjan has it right 00:29:10 (thumbs up) 00:29:54 all functions are loops, except the builtins 00:30:48 so you have to tell it when to stop 00:31:09 regis__ have you read the iterate manual? 00:31:23 Regis__, Newspeak? 00:31:40 haven't 00:31:52 what's newspeak? 00:32:03 http://newspeaklanguage.org/ 00:32:11 Language based on Smalltalk that tries to have no global state 00:33:44 message-based? 00:33:51 yeah 00:33:53 And OO 00:34:10 Regis__: could you walk me through this program? 00:34:16 yes 00:34:26 Not intended to be esoteric 00:34:49 I made loopxy first 00:34:54 which is the inner loop 00:35:25 in loopxy x is constant, only y varies 00:35:34 so "bind self loopxy conjure empty" is the function signature? 00:35:49 bindself creates a variable 00:36:06 it starts with an empty function, then you add commands 00:36:26 enchant adds commands? 00:36:29 yes 00:36:33 ah 00:37:04 now I think I can read it 00:37:19 I thought it'd be fun for functions altering functions at run time 00:37:26 but haven't done any of that yet 00:39:26 what does "skip 2" do? 00:41:11 -!- Regis__ has quit (Read error: Connection reset by peer). 00:41:37 -!- Regis__ has joined. 00:43:24 Regis__: what does "skip 2" do? 00:50:44 -!- copumpkin has quit (Ping timeout: 255 seconds). 00:50:45 * Your friends and colleagues describe you as a "rockstar" programmer; your programming ability is way above average; 00:50:49 http://www.haskell.org/pipermail/haskell-cafe/2013-April/107479.html 00:51:08 it skips two commands 00:51:08 -!- augur has joined. 00:51:14 what's "agile" mean, if anything 00:51:16 ;_; 00:51:24 -!- copumpkin has joined. 00:51:45 it will go right to set y (+ y 1) 00:51:58 man at least job applications in biosciences are just like "you are willing to put your arms through a cow" 00:52:09 I was above average in my below average school. Does that count? 00:52:11 hahaha 00:52:40 Bike: please send us a link to your CowHub profile of cows you have previously put your arms through on your own time for fun 00:52:58 we find that people who put their arms through cows on thier own for fun are at least 10x more effective at doing so on the job 00:53:00 please provide at least two zebrafish you have modified to glow in the dark 00:53:29 my school had a box on the application that was just "put anything you want here" 00:53:32 Bike: have you put your arm through a cow ever 00:53:34 my friend stapled a dirty sock to it 00:53:43 haha 00:53:54 elliott: thankfully i'm not that much of a farmboy 00:54:00 -!- SDr has quit (Disconnected by services). 00:54:01 `addquote man at least job applications in biosciences are just like "you are willing to put your arms through a cow" Bike: please send us a link to your CowHub profile of cows you have previously put your arms through on your own time for fun 00:54:05 1017) man at least job applications in biosciences are just like "you are willing to put your arms through a cow" Bike: please send us a link to your CowHub profile of cows you have previously put your arms through on your own time for fun 00:54:06 "You are not afraid to get your hands dirty on low-level code, hijack 00:54:07 a malloc() call in the standard C library, port the latest gdb 00:54:07 debugger to Android on a jail-broken tablet? You get it done." 00:54:14 Bike: good (i can't be friends with anyone who has had their arm through a cow) 00:54:17 (sorry) 00:54:23 cowist 00:54:25 (it's nothing personal) 00:54:33 That.... if I felt a need to do anything like that, I'd be alarmed that either I was doing something wrong, or the libraries I was using were broken. 00:54:37 "Applicants must possess a BSc with a 1st class degree with a background in molecular biology, physiology, biology, zoology, or a related subject." see, how hard is that 00:54:42 elliott, what if you are 00:54:45 elliott: um ive gone "kinda deep" into some copy on write code............. 00:54:53 does that count 00:54:56 oerjan: imo the zebrafish line should be included 00:55:00 Phantom_Hoover: what if i am... what 00:55:08 yes but are you a rock star 00:55:10 already friends with someone who etc. 00:55:14 a cow star 00:55:20 do you have ridiculous 80s hair, a bad drug habit, and own 17 guitars? 00:55:21 a roc star 00:55:37 Fiora: yes. absolutely 00:55:39 copy on write code = libraries that can only be used by copying them into your project and then extensively modifying them 00:55:41 "The ideal candidate for the Ph.D. position would have a strong background in neuroscience and would be highly motivated to carry out demanding experimental procedures." i read "demeaning" 00:55:44 Fiora: that is my dream 00:55:59 Bike: Demanding, demeaning. Same thing. 00:56:08 oh man this other one? it puts "virtual reality" in scare quotes 00:56:12 kmc: zlib is generally treated as such. :) 00:56:16 «a “virtual reality” wind tunnel» 00:56:32 apparently this involves a real wind tunnel 00:56:37 that's p. virtual 00:56:47 You'd be surprised how many projects have straight copies of zlib in them. 00:56:48 `run sed -i '1017s/$/ please provide at least two zebrafish you have modified to glow in the dark/' quotes 00:56:50 No output. 00:56:52 Bike: which part is real, the wind or the tunnel 00:57:13 well, the tunnel 00:57:20 really the wind in a wind tunnel is always manufactured 00:57:39 virtual wind 00:57:40 I have some tomatoes I've geneticaly modified to grow galls, if that counts 00:57:44 literal wind 00:58:12 `quote 1017 00:58:14 No output. 00:58:19 nice 00:58:21 wat 00:58:33 `quote 1017 00:58:34 No output. 00:58:42 `quote 1016 00:58:43 1016) healthy immune system is a wonderful thing, you gotta take advantage sometimes i eat food off the ground just to keep mine on its toes 00:58:54 @quote kmc 00:58:54 kmc says: I enjoy it when people write "C/C++" on their resume as if it were one language... so "F#/FORTRAN/Forth", "Perl/Python/Pascal", "Ruby/REBOL/R" 00:58:56 wow the heck did you do 00:59:07 oerjan.................................. 00:59:10 `paste quotes 00:59:13 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/quotes 00:59:21 -!- ChanServ has set channel mode: +o oerjan. 00:59:29 `run tail -n 5 quotes 00:59:29 elliott: correction, actually. you own 16. you just smashed one :P 00:59:31 in category theory, category theory is a theory in the category of theories \ It appears magenta in my computer only because it is programmed to display bold text as magenta. \ It's like narnia only with dicks \ My opinion is that you are all wrong, as far as I can tell. \ healthy immune system is a wonderfu 00:59:36 wait why did i think that would work 00:59:39 `run tail -n 2 quotes 00:59:41 My opinion is that you are all wrong, as far as I can tell. \ healthy immune system is a wonderful thing, you gotta take advantage sometimes i eat food off the ground just to keep mine on its toes 00:59:42 -!- oerjan has set channel mode: +b *!*phantomho@unaffiliated/phantom-hoover/x-3377486. 00:59:42 -!- oerjan has kicked Phantom_Hoover If you are going to delete quotes, do it in public. 00:59:58 help 00:59:58 `help 00:59:58 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 01:00:04 thx 01:00:27 oerjan: I take back every ellipsis. 01:00:29 -!- oerjan has set channel mode: -o oerjan. 01:00:37 Fiora: i'll smash this guitar like i'll smash your inefficient coding styles *bashes interviewer's head in* 01:00:44 shachaf: OKAY 01:01:02 Bike: you smash bugs and functions missing unit tests! 01:01:11 `quote 999 01:01:12 999) ok im sober now and DNS makes sense again [...] Domain Name System [...] ♫ domain name system ♫ 01:01:18 `quote 1000 01:01:19 1000) `quote 1000 01:02:07 so.... am i a zebrafish or not 01:02:40 how's your swimming endurance? 01:02:47 oh gosh, from that haskell thread 01:02:49 "I get a high score in http://areyouabrogrammer.com - does that qualifyme for the above point? :D" 01:04:19 doesthiswork: one time i was completely underwater for five whole minutes! i was unconscious for most of it but still 01:04:44 `quote 1017 01:04:46 No output. 01:04:48 `revert 01:04:50 Done. 01:04:54 `quote 1017 01:04:55 1017) man at least job applications in biosciences are just like "you are willing to put your arms through a cow" Bike: please send us a link to your CowHub profile of cows you have previously put your arms through on your own time for fun 01:05:57 `run sed -i '1017s/$/ please provide at least two zebrafish you have modified to glow in the dark/' quotes 01:06:13 `run sed -i '1017s/$/ please provide at least two zebrafish you have modified to glow in the dark/' quotes 01:06:16 No output. 01:06:20 SUPER ED! 01:07:13 I tasted avocado 01:07:20 It was very messy on my hands :( 01:07:46 um you don't eat avocado with your hands 01:07:52 you eat it with your mouth 01:07:55 hth 01:08:53 sgeo..... 01:09:26 kmc: Why is it that sometimes I press up-arrow enter, and I get [A? 01:09:34 shouldn't mosh ""handle that"""" 01:10:20 `quote 1017 01:10:22 1017) man at least job applications in biosciences are just like "you are willing to put your arms through a cow" Bike: please send us a link to your CowHub profile of cows you have previously put your arms through on your own time for fun please provide at least two zebrafish you have modified to glow in the dark 01:10:32 excellent 01:10:42 excel lent 01:12:05 shachaf: is that when you have make do with a single column spreadsheet? 01:12:11 *+to 01:13:04 @quote kmc 01:13:04 kmc says: if you can't see ∈ might i suggest € 01:13:12 €xcellent 01:13:20 @quote kmc 01:13:20 kmc says: time to play "transfinite ordinal or asian emoticon" 01:13:39 @quote kmc 01:13:40 kmc says: $ ($) <$> 01:13:47 ? 01:13:47 @quote kmc 01:13:48 kmc says: > compare "trifecta" "parsec" —> GT 01:14:21 —> 01:14:58 wow 01:15:00 -!- Nisstyre has quit (Ping timeout: 245 seconds). 01:15:23 good quotes. 01:15:34 is there any reason -ever- to write that and not go all the way to → or ⇒ 01:15:44 this is pretty funny : "Thanks to the individual who discovered the SQL injection hole. Please contact us if you want to claim your prize" 01:15:51 monqy: those are "kinda small" 01:16:10 monqy: I can type — on my keyboard, but I can't type → on my keyboard. 01:16:25 So the answer to your question is yes. 01:16:28 @forget kmc > compare "trifecta" "parsec" —> GT 01:16:29 Done. 01:16:32 @remember kmc > compare "trifecta" "parsec" → GT 01:16:33 It is forever etched in my memory. 01:16:37 now people will think better of kmc 01:16:56 @quote kmc 01:16:57 kmc says: head [] = peek . intPtrToPtr . fromIntegral . unsafePerformIO . randomRIO $ (0, 2^32) 01:17:03 sure by DOCTORING THE HISTORICAL RECORD 01:17:21 @quote Warrigal 01:17:22 Warrigal says: Hey, the module loaded. I didn't expect that. 01:17:36 is tswett = Warrigal 01:17:41 Yes. 01:17:45 @quote tswett 01:17:46 No quotes match. You untyped fool! 01:17:49 who says good quotes, just kmc? 01:17:49 @quote uorygl 01:17:50 No quotes match. I am sorry. 01:17:52 ha, ha, untyped 01:17:53 @quote kerlo 01:17:53 kerlo says: It's pretty convenient that Parsec isn't bound by any rules. I use it in my gas tank; it works pretty well. 01:17:53 @quote kmc 01:17:54 kmc says: monads are like containers, as long as you forget everything you know about the meaning of the word "container" and take it to be a totally abstract word synonymous with "monad" 01:18:01 `run rm -rf tswett 01:18:02 No output. 01:18:14 I don't get that kerlo quote. 01:18:18 Someone ask kerlo what he meant by that. 01:18:30 jerkiL what did you meant by that 01:18:32 > compare "trifecta" "parsec" 01:18:32 @forget kmc head [] = peek . intPtrToPtr . fromIntegral . unsafePerformIO . randomRIO $ (0, 2^32) 01:18:32 Done. 01:18:33 GT 01:18:37 @remember kmc head [] = unsafePerformIO . peek . intPtrToPtr . fromIntegral . unsafePerformIO . randomRIO $ (0, 2^32) 01:18:38 Nice! 01:18:44 i am head of kmc's PR department 01:18:59 @quote kmc 01:19:00 kmc says: φ you lambdabot 01:19:09 elliott u r fabricating history 01:19:52 elliott!! !! 01:19:57 ….. 01:20:50 Should I go to the Berkeley ASCE GM? 01:20:55 yeah. 01:20:57 For some reason I'm invited? 01:21:07 maybe im secretly a civil engineer 01:21:20 amoral sex committee experience game master 01:21:24 the joke is that im not very civil 01:21:27 brought to you by berkeley 01:21:53 > compare "trifecta" "parsec" 01:21:55 GT 01:22:06 oh hm 01:22:32 STUPID REFERENTIAL TRANSPARENCY 01:22:54 @quote kmc 01:22:55 kmc says: most CS courses will teach you four kinds of Java 01:23:24 @quote kmc 01:23:25 kmc says: Haskell isn't really designed by mathematicians. it's designed by people who programmers would consider to be mathematicians and mathematicians would consider to be programmers 01:23:28 i wonder if all these fake quotes will be automatically in the next hwn 01:23:46 No, HWN is based on scanning #haskell logs 01:23:52 oh. 01:24:08 Lame. 01:24:11 wait do i believe that. 01:24:19 imo yes. 01:24:25 oh okay 01:24:26 imo listen to Bike 01:24:49 Bike, more like Trike 01:25:21 shachaf more like mircea eliade 01:25:38 oerjan: it's actually true 01:25:58 Bike more like hi monqy 01:26:00 (hi monqy) 01:26:00 very clever, elliott. i'm actually starting to believe it now. 01:26:14 hi shachaf 01:26:30 monqy: when are we going to get the next super mega comics update 01:26:37 soon i hope!!! 01:26:43 im getting withdrawal 01:26:47 yes 01:26:51 "we can see" 01:26:58 help 01:27:28 -!- Mathnerd626 has quit (Read error: Connection reset by peer). 01:27:34 monqy: can i have a hug 01:27:45 -!- Regis__ has quit (Ping timeout: 276 seconds). 01:28:15 what sort of hug are we talking here 01:28:20 im not a "contact guy" 01:28:28 @hug 01:28:29 http://hackage.haskell.org/trac/ghc/newticket?type=bug 01:29:00 kmc: the 20th is the date when all the high school students and their parents will come to visit uc berkeley 01:29:12 my friend tells me there will be ""trouble"" 01:29:20 and make it double? 01:30:23 -!- Nisstyre has joined. 01:33:52 ???? 01:37:37 Maybe they make it even more than double this time. 01:37:55 Possible. 01:38:00 zzo38: did you know you're the best thing about #esoteric 01:39:35 shachaf: Well, it is kind of subjective, I guess, so maybe it is. 01:40:06 No, objectively. 01:40:16 Objectively, I am not sure. 01:41:58 Saying something doesn't (normally) make it true or false. 01:42:33 http://codepad.org/9oV2YO9k zzo38_ebooks 01:43:05 kmc: I would follow that account! 01:43:37 imo do it 01:44:03 zzo38: if I made a twitter bot that tweets things generated by a Markov chain trained on things you have said in #esoteric, how would you feel about that? 01:44:09 kmc are you like stalking zzo 01:44:22 kmc: I don't care whether you do it or not. 01:44:22 oh this is generated. 01:44:42 * No direct even cheese, you everything multiply thing words have invent thinking preferer or none or two separately improve* it (even in their ladders too. 01:45:04 i can generate about 3000 of these per second 01:45:06 But perhaps you should mention what it is (put a "spoiler" message if you want people to guess at first). 01:45:15 kmc: But they're not limited at 140 character, are they? 01:45:27 kmc: I don't cheater_: [Joke]]]]]]]]]]]] 01:45:58 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:46:28 kmc: If you like to, include stuff from my computer games and Dungeons&Dragons game too (conversion might be required; I have already converted the MZX games to plain text a while ago, though). 01:47:13 -!- nooodl has quit (Ping timeout: 245 seconds). 01:47:35 http://codepad.org/dCU2oBN0 some thoughts on the Famicom 01:47:54 Famicompetent? 01:47:56 "4#92L17+2L17,L26+2L38 3#96L12+2L36 #124L23 150L30 21L13 #35L15+D33 108L26 249L55 ENERGY { po }" looks a slightly mixed up listing of a Pokemon card deck. 01:48:24 > kmc: Well, yes. You can try at the different name out, Famicom music using diagram, and mpappend to be display the text, or I agree without powerful but OK than EBCDIC? 01:48:25 :1:10: parse error on input `,' 01:48:38 kmc: you might want to strip out names from this 01:48:38 I do like Famicom making on religion in "all" instead one 01:48:45 like just discard "foo:" from the beginning of the line for every foo 01:48:50 » A lot of monads a bytes and ever you have to bijective-C, too; if the human try, in ordinates than HTTP requiring, ignored immediate looked, NTSC Famicom exponents. 01:48:53 that's poetry 01:48:56 Use gopher, Rlogin, a few other the Famicompo Mini vol.9 see that advertically valid) 01:49:05 kmc: also your markov chain generator needs to balance various forms of brackets better 01:49:14 A lot of it doesn't make a lot of sense, but it is made up at random so I can see how. 01:49:54 » However using Famicom; imports 42 redpill | man is, than the slash? 01:49:58 "- { * } HP: 5 W: { # }" is also a part of a Pokemon card game 01:50:02 Then the damagine in difference -sr (equal to Y iff the moveToZone -> ObjMinor.Revision and the Famicom_noise,phase it doesn't 01:50:29 » Imakuni?'s cartridge. When though ASIC isn't it? Any fill as strings that checked output it might also compiled to pay though (Decompiler in modules? I was long; however, however, somethings, my idea: If not know what is a digraph in the Meta-Meta-Meta-Lamp in WEB or Pascal coording to themselves on semigroup is some in Curry-Howard of the DVI and the challenge idea. Even therefore 1989 something event at the way must the moon, ev 01:50:55 could just make a zzo38 model for fungot; reuse that enterprise code 01:50:56 elliott: and the next handler. there is not 01:50:58 in fact fungot can already tweet 01:50:58 elliott: i found it, chill. :) if you can, for instance 01:51:08 http://twitter.com/fungot 01:51:08 elliott: no mutta mä fnord. tack. " how stella got her car keys back". 01:51:34 » #!/bin/son!fuckyou.php" 01:51:38 About NetHack: coleridge. 01:51:40 why did fungot stop tweeting 01:51:40 monqy: spaces are ethereal, and for port-80 connections... well: just something like a woman 01:51:44 The Markov in fungot seems working a bit better, though, not combining two words incorrectly a lot. 01:53:38 languages used in generating this text: Perl, Python, sh, Haskell, C of course 01:53:43 a wonderful world we live in 01:53:53 C/C of course 01:54:48 what was the haskell for 01:54:52 » gopher://zzo38computer Modern before dead laws imports *many* other. 01:54:54 imo good motto 01:55:02 elliott: the generator program is detrospector 01:55:03 the one i wrote 01:55:14 what was the perl for, and also the python 01:55:24 perl for grepping out lines said by zzo 01:55:36 python for generating a curl command line to download all the esoteric logs 01:55:44 sh for running that curl command line 01:55:48 or wget, i forgot 01:55:50 w/e 01:55:56 isn't there an rsync for that job 01:56:03 ye there is 01:56:06 say !logs to see it 01:56:11 !logs 01:56:17 !LOGS 01:56:21 oh 01:56:22 shachaf...... 01:56:38 monqy: hey i don't watch window 1 01:56:47 you should!! 01:56:53 do i look like a person who watches window 1 2 u 01:57:01 hmmmm 01:57:24 btw i look like this: http://slbkbs.org/sb/1.png 01:58:26 kmc can confirm i look like that 01:59:34 ah... 02:01:59 !logs 02:02:08 damn that's fancy 02:02:17 ye its p. fancy 02:02:20 !logs 02:02:21 !logs 02:02:28 mmmmmm 02:04:01 get a room. a room far away from me. 02:06:05 kmc: Did you want to include the MegaZeux games and Dungeons&Dragons recordings too? This is what I have suggested way before this. 02:06:28 i think not for now 02:06:28 thanks 02:24:43 `slist 02:24:45 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 02:25:45 can I even do this? 02:26:12 no. 02:26:20 good to know 02:26:22 nope, this doesn't work 02:27:01 does that message everyone separately or just display it in the channel? 02:27:13 Displays in the channel. 02:27:23 Now THIS displays differently. 02:27:32 Thanks, Sgeo. 02:27:50 OH SHIT IT'S A SPOOKY GHOST 02:27:51 Oh, and I think some clients interpret it as a ping 02:28:14 Which is dumb but hey 02:29:05 sgheost 02:29:09 notices don't show up in the channel log 02:29:11 If a tablet is like 2.75 bitcoins... then shit, bitcoins are pricey. 02:29:27 one day bitcoins will be over $9,000 02:29:59 kmc: you saw that bitcoin stalky paper fiora linked, right 02:31:32 Bike, linky? 02:32:08 uh 02:32:11 let's say it's http://eprint.iacr.org/2012/584.pdf this one 02:33:25 cool 02:34:06 the S from RSA, apparently 02:34:49 90,000 bitcoins on one day, what 02:35:16 that's "just" ~$13.5M 02:35:52 heh heh, bitcoins 02:36:16 more like dumbcoins 02:36:49 i need bitcoins to crash soon so i can stop kicking myself for not getting a bunch before they became worth like $160 a piece 02:37:00 and start laughing at all the people who didn't cash out instead 02:37:12 you're a sad man, elliott 02:37:26 In addition, we isolated all the large 02:37:26 transactions in the system, and discovered that almost all of them are 02:37:26 closely related to a single large transaction that took place in November 02:37:26 2010, even though the associated users apparently tried to hide this fact 02:37:26 with many strange looking long chains and fork-merge structures in the 02:37:28 transaction graph. 02:37:31 oh this is going to be interesting 02:37:45 i assume someone bought the maldives 02:38:16 why did they download the log in html form rather than whatever form the actual client uses 02:38:20 imo this is silly 02:39:52 elliott: what's your expected value if you invest in /every/ cypherpunk libertard scheme, tho 02:40:30 what if you invested $1 in bitcoins when they cost ~¢0 each 02:40:35 then you would have ~all of them 02:41:12 hm. what if the 90k transaction is the pizza one 02:41:32 can i have pizza 02:41:40 do you have 90 thousand bitcoins? 02:41:47 kmc: well bitcoins were sort of kind of stable and worth ok amounts of money a while ago, i could have invested some of the money i don't even use at all then... but it's pointless to dwell on 02:46:34 I guess if these were actual savings accounts there'd be small transactions out for loans and stuff. 02:50:26 http://data.worldbank.org/indicator/NY.GNS.ICTR.ZS 03:18:17 "Those silly bitcoin users, someday their system will fall to bits and we will all laugh at them" 03:29:48 I didn't invest because I didn't investigate how good an idea that would be. 03:31:26 I am making a Z-machine assembler. There are already a few, such as ZAPF which only supports version 3 to 8 and is written in C#, and ZAP which is no longer available, and Inform which has an assembler has part of its code but also has various limits. The one I am making supports version 1 to 9, and also has macros. 03:31:48 Sgeo: oh 90,000 bitcoins in november 2010 03:31:50 was not that much 03:31:57 i think it was less than $90k even 03:32:12 here we use "a lot" in the financial sense of "astronomical" 03:32:20 but i think it might have been like $9k or something 03:33:39 Can you even answer some of the strange questions that kmc's program made up recently? 03:35:16 Even some new words are made up by combining other words. 03:38:58 is Mon the category of monoids? 03:39:29 yes 03:39:49 is there any particular reason names of categories are denoted with capitalized three-letter words 03:40:50 Maybe to abbreviate them when using them within other mathematical formulas? 03:41:01 i would like you to point you to the rest of mathematical notation 03:41:08 this should answer any questions about why any particular part of it is weird 03:41:17 i'm not saying it's uniquely terrible, just that it's terrible 03:42:20 yeah i have no hope of understanding this. oh well. 03:42:54 i think i'm going to join a monastery instead of all this mathy crap. 03:43:23 i don't think it's terrible 03:43:25 btw what are you reading 03:43:44 the Kernel spec again 03:43:56 that throwaway comment in the definition of map 03:45:03 For readers with a passing familiarity with category theory, it may be of interest to 03:45:06 note that auxiliary applicative acc is approximately the counit of the usual adjunction 03:45:09 from Set to Mon — of which map is, approximately, the unit. 03:45:21 ah 03:45:54 i'm glad that makes 4sense to me 03:45:56 *¾ 03:46:24 do you have a "passing familiarity" with category theory 03:47:12 one could call it that 03:47:29 john shutt's kernel? 03:47:58 yeah. 03:48:01 (is there another one) 03:48:39 there a lot of things named kernel, that just happens to be my favorite 03:48:45 (right) 03:48:55 (i mean, how many have specs, though) 03:49:16 i forgot how much the cyclic list thing made everything super fucking weird 03:49:37 oh no are people talking about categories 03:49:47 scrollback thyme!!!!!!!! 03:49:48 nope get with the times it's all popcorn now 03:50:37 I don't quite understand how fexprs have nontrivial equational theory 03:50:40 What's the counit of the adjunction? 03:50:44 Why is map the unit? 03:51:02 doesthiswork: maybe you could read his nine trillion page thesis on that 03:51:07 I did 03:51:17 I forgot it all 03:51:24 my brother 03:51:38 perhaps bonghits will fix your understanding of the equational theory of fexprs 03:51:49 let's see maybe i'll just paste the definition of acc. yeah i'll do that. 03:51:57 Sometimes numbers are used to mean the ordered thin categories of that many elements, but I prefer to have them mean the discrete categories of that number of elements, which is more logical and more consistent with all other mathematical notation, and also means that 2+3=5 and so on still holds. 03:52:07 psate the definition of map 03:53:05 ($define! acc ($lambda (input (k1 k2) base-result head tail sum) ($define! aux ($lambda (input count) ($if (=? count 0) base-result (sum (head input) (aux (tail input) (- count 1)))))) (aux input (+ k1 k2)))) 03:53:07 i don't really know anything about the theory of fexprs :'( 03:53:10 hth, sarcasm etcc. 03:53:12 they are just fun to program with 03:53:49 are counits usually six-argument functions i bet they are. 03:54:16 uh 03:54:26 they're natural transformations hth 03:54:45 (They're one-argument functions. Is there any other kind of function?) 03:55:31 I guess all those arguments could represent a functor. 03:56:01 Do you know if shift-locks are used when encoding text to search in the dictionary in Z-machine? 03:56:12 Nope. 03:57:29 I will assume it isn't, since that is the simpler case. 03:58:46 Is there any variant of Lisp where [a b c;x y z] is just another syntax for ((a b c) (x y z)) ? 04:00:12 SO you say F -| U : Mon -> Set, right? 04:00:15 s/O/o/ 04:00:22 And the counit is : FU -> 1? 04:01:06 Is that foldMap? 04:01:12 Er, just fold? 04:02:02 Bike? 04:02:21 shachaf: Set isn't really like that, though? 04:02:27 Set? 04:02:30 Set. 04:02:33 it's probably treating sets as monoids or something 04:02:42 where mempty = {} and mappend = union or such 04:02:42 This is "extract" in a Mon comonad. 04:02:49 oh hm 04:02:55 never mind 04:03:32 You take some monoid (S,*_S,1_S), forget everything except the set, and then go back to Mon with ([S],(++),[]) 04:03:45 And then you have a monoid homomorphism : [S] -> S 04:03:49 That looks like fold to me. 04:04:13 (Unless I'm making things up?) 04:04:14 yeah 04:04:37 So presumably Bike means that acc is a fold, or something? 04:05:25 * shachaf can't tell if that was "yeah you're making things up" 04:05:53 yeah that's what expect FU : Mon -> Mon to do 04:05:58 *what i 04:06:45 er 04:06:48 -!- Jafet has quit (Quit: Leaving.). 04:07:16 counit : FU -> 1 04:09:40 -!- oerjan has quit (Quit: leaving). 04:12:24 oh boy is shachaf asking about adjunctions again 04:13:32 -!- Bike_ has joined. 04:13:34 But yeah acc is a fold, probably. 04:14:03 acc looks like sum, maybe. 04:14:09 I don't know why it has all those inputs 04:14:20 monqy: Bike started it........................... 04:14:32 because it's Generalized 04:14:39 -!- Bike has quit (Disconnected by services). 04:14:40 -!- Bike_ has changed nick to Bike. 04:16:17 if you have sum = fn, head = car, tail = cdr then it's pretty much boring fold fn i guess 04:16:32 the county stuff is because cyclic lists are fucked. 04:17:48 submit to haskell, Bike 04:18:34 does haskell have enough fexprs to make compilation impossible? i don't think so 04:19:03 why is my connection fucked. am i even here. where am i 04:19:14 hi 04:19:18 hi monqy 04:19:20 WHO ARE YOU 04:19:21 `welcome monqy 04:19:22 shachaf: ??? 04:19:23 monqy: 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.) 04:19:25 shachaf: ??? 04:21:06 i guess plenty of kernel is kind of dumb pattern matching 04:32:33 kmc: do you think it would be far off for me to say most uses of fexprs amount to macros? 04:33:15 you cant pass a macro to a function 04:33:58 in a lazy language I think you can get by with just macros 04:34:20 If you're passing a fexpr to something expecting a function you've probably made a weird to debug mistake. 04:34:52 sometime I want to map 'if' across a sequence 04:35:16 "if" takes three forms.. 04:35:38 ok I want to map it across 3 sequences 04:35:49 I've actually never seen that before, could you show me? 04:36:04 what do you mean by map across 3 sequences 04:36:15 Anyway, I just mean the fexprs defined as ($vau whatever env (eval ...something... env)). They're certainly common in the standard library. 04:36:51 monqy: (map if seq1 seq2 eq3) 04:37:02 is that zipWith3 04:37:08 I think so 04:37:12 :t zipWith3 04:37:14 (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d] 04:37:18 Yeah. 04:37:27 Bike: whoa don't jump to conclusions! 04:37:29 :t liftA3 04:37:31 Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d 04:37:36 Yeah whatever. 04:37:37 same sig but way different 04:37:48 doesthiswork: kernel's 'map' takes an applicative. 04:38:01 damn 04:38:08 Which makes sense, of course. 04:38:23 I'll go check why 04:38:28 You could map (wrap $if), though. 04:38:44 Which is like (lambda (a b c) (if a b c)) if you don't have first-class operatives. 04:39:14 doesthiswork: you're actually going to want to look at the rationale for 'apply'. 04:40:02 I thought that in most languages map didn't evaluate the arguments it fed to the function 04:40:57 Not /again/. 04:41:09 again? 04:41:14 again. 04:41:27 They're already evaluated as part of normal evaluation. 04:41:36 http://codepad.org/t29NgA3I topics 04:41:39 yes 04:41:49 I thought you meant the topic 04:42:11 Welcome to ESME. 04:42:23 Behold! The encephalopathies, human colors! | Best tryin' to Haskell america 04:42:56 » Behold! The encephalopathies, human colors! | Best tryin' to Haskell america | "Function overlords | E5081A06F9E364E179B336A2C6D6831D4B50CD7739C7E1565E03EBF2 | Gregor: Do you eat. | This channel: itidus21 (ex cat trendy subversion of soline here | Necessingly one here x is importage cathedra), Gregor's uteric-mine her. If your #matrix of end of supervision overlords 04:43:01 yes 04:43:10 Gregor: Do you eat. 04:43:20 -!- augur_ has joined. 04:43:46 -!- augur has quit (Read error: Connection reset by peer). 04:43:48 that would be a very long channel topic 04:43:50 NOW WITH EDIT WARNED: There! | Feynman's Trivial! 04:44:14 waking spam blackout run infatuated | God made that this time fruits 04:44:14 Breedom is what's the ence somebody new scoring! | Well, hardly knew PHP 04:44:22 -!- augur_ has changed nick to augur. 04:44:25 Don't topic :( | Now open fold gum | anyway? 04:44:25 The good is what now | anyway? 04:44:29 i thing channel | manifold of thus volting on Freenode. You can never sciently log. 04:44:43 -!- copumpkin has quit (Ping timeout: 245 seconds). 04:44:44 Good is the programming the in oerjan 04:44:57 Tropics. Anemoment of weapons for Joe Chinese creative" Centions of trainfuck Derivative" Centipede | Glorious optator in air) STARS STARS | This is replace to combustional problem) in Channel of an esoil and on irc: the really agreed to Use is supposed on 3.10.2011: http://esoteric/?C=M;O=D 04:45:10 Now failings and design and esoterical | Get you know what it is atrix of Truth 04:45:12 elliott is sufficial channel loony realized in generate-bays-lawsuit-again the new PHP 04:45:14 -!- copumpkin has joined. 04:45:17 kmc: so do you have an opinion on the thing or should i assume you've been replaced by one of zzo38's world takeover drones 04:45:26 The IOCCC is frowned upon, the requent @ Hel/Finland the bfjoust plasma 04:45:28 Good hips. 04:45:28 which thing 04:45:41 kmc: do you think it would be far off for me to say most uses of fexprs amount to macros? 04:46:10 The IOCCC is time for the fire by greate grating family! | Glorious topic 04:46:12 i don't know 04:46:20 if they're macros, they're a nicer way of writing macros which is hygenic and yet direct 04:46:22 This channel of esolidity and on 3.10.2011: http://5z8.inforce ceiling family! | Of all rule #2: Ignore alternating | Enjoy being attentipede | Gregor (ex cathere welcoming and esoteric/?C=M;O=D 04:46:22 Boring but honest. 04:46:26 BEWARE THE ERRØNEØUS MØØSE | Esoteric; it is obsessed to be femtobarn story of mass banniversion on a couple being in THX deep remote computed ZARDOZ | Channel on the matrix of N>=1 IOCCC is just a removed servers!” he work of Americ program for the sewers! 04:46:32 of course i haven't done more than a little toy programming with fexprs 04:46:37 it might all fall apart horribly at scale 04:46:49 this channel of soline here welcoming langs.org/~nef/logs/esolanguage 04:46:54 i am proud to not even know what fexprs are 04:47:01 PROUD OF IGNORANCE 04:47:03 Poison | IGMuYwpjLmMuYwpjLmMuYwpjLmMuYwpjLmMuYwpjLmMuYwogYy5jCg== 04:47:09 CAUTIONS DREAM OF THE PERIPHERY SHIELD OF COMRADE GLOGBOT 04:47:12 #esoterica | 12345678 04:47:13 kmc: I'm thinking of the ones that are just ($vau ... env (eval ...code... env)), which are equivalent to macros in that you could just dump the code in as a combination for optimization (discounting redefinitions) 04:47:23 i thing channel | manifold of thus volting on Freenode. You can never sciently log. 04:47:27 hi | http://tinyurl.com/ 04:47:29 IGMuYwpjLmMuYwpjLmMuYwpjLmMuYwpjLmMuYwpjLmMuYwogYy5jCg== is a bigger multiocular c.c than the last one... 04:47:40 kmc: i thing channel | manifold of thus volting on Freenode. You can never sciently log. 04:47:45 help 04:47:50 shachaf: so tall 04:47:50 this clearly means we need a new set of topics 04:48:01 #esoteric is ALMOST TERRING AND OR MORE SO TOTALLEST 04:48:01 Nothing here 04:48:15 oonbotti, you're my favorite bot. 04:48:15 Bike: Are we talking about you, or me? 04:48:24 Welcome our logs) 04:48:37 oonbotti, don't give me that eliza bullshit. I'll rogerian you up your ass. 04:48:37 Bike: Why do you say that don't give you that eliza bullshit. you will rogerian me up my ass.? 04:49:14 i'm naming my next band Nicolaas Goverlords 04:49:25 wow me too 04:49:44 is it the same band 04:49:52 i would twitterfollow a kmc-monqy band 04:50:01 wow me too 04:50:18 TOPIC. 04:50:49 I'm short is NOT APPROACHING SELF-CONSISTENT 04:50:55 good topics 04:51:01 imo we never need to handwrite a topic again 04:51:11 @topic-cons "hi" 04:51:11 I do not know the channel "hi" 04:51:12 hi | http://tinyurl.com/ 04:51:20 @topic-cons #esoteric "hi" 04:51:21 Topic does not parse. Should be of the form ["...",...,"..."] 04:51:36 Jesus fuck, lambdabot. 04:51:37 lambdabot............................. 04:51:45 @list topic 04:51:45 topic provides: topic-tell topic-cons topic-snoc topic-tail topic-init topic-null 04:51:56 @topic-null 04:51:57 Plugin `topic' failed with: Prelude.last: empty list 04:51:59 wow 04:52:03 does lambdabot really maintain the #haskell topic 04:52:03 That's amazing. 04:52:09 -!- shachaf has set topic: []. 04:52:14 -!- shachaf has set topic: At or in this place: Stop here for a rest | Wire mesh Supply与您共享了相册。| roäld.dahl.net | http://codu.org/logs/_esoteric/. 04:52:19 @topic-null #esoteric 04:52:19 -!- lambdabot has set topic: []. 04:52:26 :o 04:52:29 @topic-const http://codu.org/logs/_esoteric/ 04:52:29 I do not know the channel http://codu.org/logs/_esoteric/ 04:52:33 @topic-cons #esoteric http://codu.org/logs/_esoteric/ 04:52:33 -!- lambdabot has set topic: ["http://codu.org/logs/_esoteric/"]. 04:52:38 haha wow 04:52:41 This is a good system. 04:52:49 can only lambdabot admins use it, or 04:52:53 @topic-snoc #esoteric hi 04:52:54 -!- lambdabot has set topic: ["http://codu.org/logs/_esoteric/","hi"]. 04:52:54 can anyone append to the #haskell topic 04:52:56 Does it like... does it seriously just read the topic 04:53:03 @topic-cons #esoteric hi 04:53:03 -!- lambdabot has set topic: ["hi","http://codu.org/logs/_esoteric/","hi"]. 04:53:05 @topic-tell #esoteric 04:53:05 ["hi","http://codu.org/logs/_esoteric/","hi"] 04:53:11 elliott: well lambdabot isn't an op.............. 04:53:11 it probably tracks it 04:53:17 shachaf: I can fix that 04:53:20 No, it reads the topic. 04:53:27 As in the function read 04:53:27 Good system? Good syste. 04:53:30 ::[String] 04:53:32 Yesssss. 04:53:37 Enjoy bearer of experiencephalopathies, but is nor Finland no for more the joke lates the rage is time for that in you will will be in the enchannel 04:53:53 if i put a ☺ in the topic will lambdabot choke 04:54:03 @topic-snoc #esoteric ☺ 04:54:04 -!- lambdabot has set topic: ["hi","http://codu.org/logs/_esoteric/","hi","\226\152\186"]. 04:54:07 yesssss 04:54:07 good topic 04:54:10 wait is snoc a thing 04:54:12 :t snoc 04:54:14 Snoc Control.Lens.Internal.Review.Reviewed Identity s s a a => s -> a -> s 04:54:18 wow yes 04:54:21 Bike what have you done 04:54:21 -!- monqy has set topic: ["hi","http://codu.org/logs/_esoteric/","hi","☺"]. 04:54:22 no 04:54:28 @topic-tell #esoteric 04:54:28 ["hi","http://codu.org/logs/_esoteric/","hi","☺"] 04:54:31 :o 04:54:37 I can't stop laughing 04:54:38 "BEWARE THE. WORST. POSSIBLE. TOPIC." 04:54:40 @topic-snoc #esoteric bike 04:54:41 -!- lambdabot has set topic: ["hi","http://codu.org/logs/_esoteric/","hi","\226\152\186","bike"]. 04:54:41 @topic-snoc #esoteric norway 04:54:42 -!- lambdabot has set topic: ["hi","http://codu.org/logs/_esoteric/","hi","\226\152\186","bike","norway"]. 04:54:46 oh 04:54:49 RIP 04:54:58 i'm going to die 04:55:12 OK. OK. I'm OK now. 04:55:28 i preferred it when you were ding 04:55:29 dying 04:55:33 I can generate about 3,500 of these per second 04:55:46 is that the best you can do 04:55:49 02:45:03 i can generate about 3000 of these per second 04:55:53 how did you get the 500 extra 04:55:57 elliott: That was only a period of a few seconds. It must be sad for you, now that your entire life is a downward spiral after those moments. 04:56:00 is it "even paralleliszed" 04:56:10 Bike: Did you die for a few seconds? 04:56:17 Bike "the next jesus" 04:56:17 No I was dying for a few seconds duh. 04:56:21 elliott: uh I think it's because the zzo-chain used a 5-character window and the topic-chain uses a 4-character window 04:56:32 Bi "Jesus "H." Christ" ke 04:57:09 hey i was reading a book that had jesus in it.. 04:57:18 Master and Margarita? 04:57:21 was it the bible 04:57:48 Bike wins 04:57:50 M&M is the best book with jesus in it after Revelations, imo 04:57:55 elliott gets no points 04:58:05 Oh, really? Good choice. 04:58:25 it also had the devil 04:58:26 in the time it takes light to travel from Hexham to Finland, I can generate almost 20 new topics for #esoteric 04:58:29 isn't it Revelation, Bike... 04:58:46 black holes and revelations 04:58:50 elliott: each one of them is a book of Revelation 04:58:57 together they're books of Revelations 04:59:00 plz use logic next time 04:59:08 kmc: not their best 04:59:15 Helsingfors-Vanda flygplats 04:59:18 books of a revelation each 04:59:20 flygplats 04:59:22 anyway the new testament isn't part of the bible?? 04:59:28 p. sure i learned that in school 04:59:45 i didnt have bible education in school 05:00:01 i had bible class 05:00:05 amazing 05:00:07 starting in first grade?? or was it second 05:01:16 in Israel? 05:01:19 Yes. 05:01:33 Woland is pretty good too, yeah. 05:01:36 Bike: is M&M a jesus book or more of a yeshua book 05:01:51 bike: so i thought wrap turned and fexpr into an eager function but he says that (eval (cons c t) e) is equivalent to (apply (wrap c) t e) 05:02:01 well it's neither 05:02:01 *an not and 05:02:06 doesthiswork: eager/lazy isn't really the distinction here. 05:02:14 shachaf: Jesus. 05:02:17 Do you actually learn Bible in Bible education, or do they teach you other things? 05:02:28 You learn a lot of hermeneutics, probably. 05:02:48 Church officials HATE this 1 old secret book of the Bible that the Pope doesn't want you to know about! 05:02:58 bike I know that fexprs aren't lazy functions, but I thought his applicatives were eager ones 05:03:23 Well they sort of are. 05:03:29 You can wrap things more than once, though. 05:03:57 its amazing how much a markov chain can brighten my day 05:04:10 ((wrap (wrap identity)) (list list 4 + 5)) => 9, probably, maybe not. 05:04:12 kmc: What book? Do you mean current pope, or the other one? 05:04:19 the markov the beast 05:04:40 Bike, wrapping masta b 05:05:00 You know what's crap? Dubstep remixes of anime theme songs. 05:05:16 really? because i would have guessed those are the pinnacle of human achievement 05:05:26 I'm just saying. 05:06:35 Bike: Which translation of M&M should I read? 05:06:43 Or should I learn Russian and then read the identity translation? 05:06:56 ignoring the existence of unwrap, is (wrap or) equivilant to (lambda (a b) (or (eval a e) (eval b e))) (where e is the calling environment) ? 05:07:06 so or no longer shortcuts 05:07:30 i honestly don't know why kernel separates applicatives and stuff 05:07:35 shachaf: My copy is Mirra Ginsburg. 05:07:42 it's harder to write apply if you don't 05:07:51 Maybe I should read a Hebrew translation. 05:07:58 Would that be better or worse than an English one? 05:08:04 kmc: but then he makes apply only take applicatives 05:08:06 doesthiswork: no 05:08:10 ok 05:08:26 It's equivalent to (lambda (a b) (or a b)). 05:08:33 doesthiswork: it's not really defined for non-applicatives 05:09:03 shachaf: Note that I'm a pleb and know shit about quality prose and stuff, though. 05:09:03 in my thingy we define apply in library code, but if you apply apply to a non-applicative then it sees some arbitrary crap from the implementation of apply 05:09:11 Aren't we all? 05:09:11 that also happens if you try to map a non-applicative or something 05:09:12 bike: woops I went redundant there 05:09:20 Bike: what are other books to read 05:09:27 kmc: the original fexpr problem. sweet 05:09:47 shachaf: my favorite novel is probably Middlemarch. Unfortunately it's very British. 05:09:51 The Bible is simply another book, which is made up from the collection of other books. 05:10:01 The Bible, book 1: The Bible 05:10:18 bible ∈ bible ∈ bible ∈ … 05:10:29 MY religious text is well-founded, SIR 05:10:37 bible € bible € bible € ⋮ 05:10:54 BIB£€ 05:11:00 shachaf: I also like "anything by Calvino", that was a pretty good book. 05:11:21 i should train a markov chain on x86 machine code 05:11:31 Bike: Your religious text is well-founded? Please be more specific, such as what text you mean. 05:11:58 zzo38: It was a joke about non-well-founded set theories, like kmc implied. 05:12:28 Bike: I know that, but I still wanted to know if you meant some specific text. 05:12:37 Nope. 05:13:15 it was an implicitly quantified free variable or something 05:13:46 @quote skolem 05:13:47 chrisdone says: anyone got a fixed version of the split library for ghc7? some Tolkienesque error messages about skolems escaping 05:14:14 kmc: shutt gives a definition for non-applicative but then decides that we don't need it 05:14:26 for apply? 05:14:33 That's because it's just (eval (cons op args) env). 05:14:37 @quote skolem 05:14:37 chrisdone says: anyone got a fixed version of the split library for ghc7? some Tolkienesque error messages about skolems escaping 05:14:39 @quote skolem 05:14:39 @quote skolem 05:14:39 byorgey says: Escaped skolem! Authorities mount massive search. News at 11. 05:14:40 byorgey says: Escaped skolem! Authorities mount massive search. News at 11. 05:14:43 I think it would be kind of nice but it's easy to see how it's trivial. 05:14:47 lambdabot ........... 05:14:48 lambdabot ........... 05:14:49 amber alert 05:14:50 er 05:14:51 @quote skolem 05:14:52 byorgey says: Escaped skolem! Authorities mount massive search. News at 11. 05:14:56 USELESS BOT 05:15:00 help 05:15:07 ok but that 'apply' does something different from the other one 05:15:26 what does it do differently? 05:15:26 How about a language where programs resemble code in some other language, but actually do something totally different? 05:15:56 That's every language. 05:16:05 hm, I think it does... 05:16:21 Maybe "if (x) {foo}" evaluates "foo" and sets the variable "x" to the result or something like that. 05:16:28 just from the semantics of apply on applicatives, you have no idea what (apply quote (list 1)) should be 05:18:12 Freudian mouth-cent | Get you know conclusion overlords | Enjoy being spam for DIPERT 05:18:32 lambdabot cool." -- John McCain 05:18:59 ah I see now 05:21:39 apply evaluates the argument for the applicative 05:22:35 yeah 05:23:05 that's why my attempt to write apply without unwrap ends up using quote 05:23:48 (define apply (wrap (vau (operative args) env (eval env (cons operative (map (lambda (x) (list quote x)) args)))))) 05:23:53 which is near the bottom of http://mainisusuallyafunction.blogspot.com/2012/04/scheme-without-special-forms.html 05:24:03 there's probably a more elegant way, that's a kinda long and ugly definition 05:24:19 man i can't think of quote without thinking of oleg's definition. wtf. 05:26:19 what is oleg's 05:27:01 how about $apply? 05:27:35 There must be some group theoretic thing you could build an esolang out of or something... 05:29:42 kmc: http://okmij.org/ftp/Scheme/quote-as-macro.txt 05:30:32 on a related note what is this define-macro thing oleg uses, it looks suspiciously totally not like syntax-rules 05:31:05 Ooh, I've got it. An esoteric programming language based on order books and control systems. 05:32:39 The program consists entirely of an unordered collection of "when" blocks. Each block is conditional upon the last trade price of some symbol. 05:33:23 Of course this quote lacks any coalescence or constancy stuff... I don't know if scheme even has that. 05:34:47 All instructions are of the form ( "BUY" | "SELL" ) number symbol ( "MARKET" | "LIMIT" number). 05:45:13 -!- ThatOtherPerson has joined. 05:46:37 kmc: I see you have operate 05:48:06 doesthiswork: no, this doesn't work 05:49:27 ThatOtherPerson: what would be wrong with haveing operate? 05:50:06 he's just punning on your name. 05:50:22 or well, not punning. i don't know. some kind of unconditioned autonomous reponse 05:50:24 -!- monqy has quit (Quit: hello). 05:51:33 doesthiswork: Have you seen maru? 05:51:36 on another irc thingy I go by the name 'hi', every so often I get messages from people that are still figuring out how to post to a channel 05:52:15 `seen maru 05:52:21 not lately; try `seen maru ever 05:52:26 Uh. No, it's a lisp. 05:52:38 I thought maru was a cat 05:52:44 hi hi 05:52:47 Hiora 05:52:48 The lisp is named after the cat. It's all very civil. 05:52:48 Hike 05:52:52 Hachaf! 05:53:10 more like hahahachaf am i right 05:53:39 the joke is that im making a joke 05:53:42 help 05:54:15 um, hi 05:54:26 got any good second-hand puns 05:54:47 not really, I'm kind of just coming out of a migraine, migraines are not conducive to good puns 05:54:53 aw. 05:55:32 what is notable about maru other than bootstrapyness? 05:55:45 Eval and apply are generic functions. 05:55:52 nifty 05:55:54 Or... whatever you want to call things you can define multimethods on. 05:56:10 I think if you replaced apply with operate and made it all kernely you could do something kinda cool. 05:56:21 I haven't tried yet. I forget why. 05:57:04 because lisp = poo 05:57:11 oh snap 05:58:34 lisp more like "bad language"isp 05:58:46 "bl"isp 05:58:47 the joke is that lisp isn't haskell 05:58:57 "bl"askell 05:59:24 As you can see, Fiora, the channel's sense of humor is rather down the drain without puns. 05:59:50 thanks elliot 05:59:56 th'elliott 06:00:03 "bl"ike 06:00:12 the joke is i wouldn't want to program in you 06:01:11 That's OK. 06:01:25 "bl"achaf 06:01:31 the joke is i don't speak finnish 06:01:50 does finnish have a b? 06:01:57 no 06:03:01 http://esolangs.org/wiki/Markont 06:03:11 What a beiuetuifiul language I just created. 06:03:26 indeed 06:03:53 I think later, I'm going to add more features to it. 06:04:08 Like accounts and balances. 06:04:39 And order cancellation. 06:05:07 And corporations and dividends. 06:05:48 What about a stock market? 06:06:05 Of course. You can't have corporations and markets without having a stock market. 06:06:15 Right 06:06:59 Will you be able to choose between a capitalist or a communist government? 06:08:59 Mm... possibly. 06:09:16 imo market socialism 06:11:06 hth 06:12:48 imo Bike 06:24:33 imo mutualism 06:24:38 (i know almost nothing about mutualism) 06:24:46 imo hugs 06:26:26 hugs! 06:26:27 yay, hugs. 06:26:40 hugs! 06:26:50 * Fiora hugs Bike 06:26:55 * Bike hugs back 06:27:35 Hugs are nice. 06:29:04 * ThatOtherPerson hugs everyone in the channel 06:29:11 they're... pretty wonderful 06:29:18 ... this is going to take a while 06:41:36 -!- Jafet has joined. 06:47:39 hugging just bike is easier 06:48:23 it's nice to know your place in the lattice 06:48:27 Fiora's had to train a lot to be able to hug a bike effectively, tho. 06:49:52 I think I'm finally done 06:52:53 I did not :< 06:53:01 bike is very huggable 06:53:32 I thought bikes were sort of hard and awkwardly shaped. 06:53:59 Thus training. 06:54:00 Laterally stiff and vertically compliant. 06:55:02 t-that's not what I meant! 06:56:31 Hugs are made of Haskell, or so I understand. 06:58:05 Quick! Hug me so I learn Haskell! 06:59:21 hugs user's gofer system 06:59:59 * Fiora hugs ThatOtherPerson ? 07:00:15 * ThatOtherPerson hugs Fiora 07:00:24 the haskell must spread 07:00:30 I thought hugs were made of warm, soft arms though 07:00:36 warm, soft haskell 07:00:39 ? 07:00:43 Arms? What are arms? 07:01:32 Is ARMS a programming language? 07:01:46 they're um. thin warm fleshy skin-covered things that I have two of 07:01:49 they have hands at the ends 07:02:02 sounds like a haskell 07:03:16 Those sound more like tentacles. Are you sure you don't have two hand-tentacles instea? 07:03:19 Huh, that sounds strange. What are they used for? 07:03:55 um. I can hug people with them? 07:03:59 and type on keyboards 07:04:01 oh boy here's Fiora talking about NEON2 as always 07:04:28 Oh, you don't live on the Internet, do you? 07:05:11 I'm starting to get the feeling that some of the people here are not bots 07:05:32 I've never met a bot with these "arms" you talk about 07:07:08 ??? @_@ 07:07:28 oh shachaf is making an ARM pun -_- 07:08:07 ThatOtherPerson: unfortunately I am a poor ordinary human with a small fleshy human body 07:08:49 --------- 07:08:50 | (# #) | 07:08:50 | _ | 07:08:50 +-------+ 07:08:51 fungot: Have YOU got any ARMS in you? 07:08:51 fizzie: ( they're called structures in t, but that 07:09:00 Oh, so that's yet another term for them. 07:09:22 Arms, hand-tentacles, thin-fleshy-skinny-things, "structures in t". 07:09:48 * ThatOtherPerson hugs Fiora again, this time trying to do so with "arms" 07:14:54 * Fiora likes this fleshy body though 07:15:00 -!- epicmonkey has joined. 07:15:56 -!- copumpkin has quit (Ping timeout: 252 seconds). 07:16:26 -!- copumpkin has joined. 07:17:01 except your migraine-racked brain, evidently 07:18:24 those only happen like once every month or two :< 07:18:45 they're just a minor design flaw, that's all 07:19:04 there's a lot of things higher up on the issue tracker before that one! 07:19:11 I get kernel panics every once in a while, and they hurt A LOT 07:26:25 And don't get me started on segfaults -_- 07:26:53 * FireFly guesses that's an intentional reference to http://xkcd.com/371/ 07:29:08 -!- Bike has quit (Quit: leaving). 07:32:59 -!- epicmonkey has quit (Ping timeout: 252 seconds). 07:33:22 -!- conehead has quit (Quit: Computer has gone to sleep.). 07:41:13 -!- nooga has joined. 07:44:02 -!- nooodl has joined. 07:48:38 -!- nooodl has quit (Ping timeout: 256 seconds). 07:49:42 -!- impomatic has left. 07:51:20 -!- DHeadshot has joined. 07:52:35 -!- Jafet has quit (Quit: Leaving.). 08:17:26 -!- Taneb has joined. 08:17:51 -!- ThatOtherPerson has quit (Quit: Leaving). 08:28:01 -!- DHeadshot has quit (Ping timeout: 256 seconds). 08:34:08 -!- zzo38 has quit (Remote host closed the connection). 08:36:17 -!- carado has joined. 08:46:33 -!- epicmonkey has joined. 09:19:41 -!- Taneb has quit (Ping timeout: 256 seconds). 09:45:41 -!- nooodl has joined. 09:47:37 -!- doesthiswork has quit (Quit: Leaving.). 10:29:36 `slist 10:29:40 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 10:40:36 huh, how did lambdabot set the topic 10:40:39 -!- ThatOtherPerson has joined. 11:14:36 -!- ThatOtherPerson has quit (Ping timeout: 264 seconds). 11:33:19 -!- Taneb has joined. 11:34:24 -!- nooodl has quit (Ping timeout: 264 seconds). 11:43:30 Error: Impossible to unify "sup (fun n : nat => f n)" with "sup (fun n : nat => f n)". 11:52:02 -!- TeruFSX has quit (Ping timeout: 252 seconds). 12:11:15 -!- boily has joined. 12:15:45 -!- ThatOtherPerson has joined. 12:28:57 -!- Taneb has quit (Quit: Leaving). 12:35:32 -!- Jafet has joined. 12:40:25 -!- carado has quit (Ping timeout: 246 seconds). 12:47:07 -!- carado has joined. 13:09:14 -!- Taneb has joined. 13:21:01 -!- ThatOtherPerson has quit (Ping timeout: 246 seconds). 14:14:07 -!- GOMADWarrior has joined. 14:18:44 -!- joop has joined. 14:37:43 -!- nooga has quit (Ping timeout: 264 seconds). 14:43:51 -!- joop has quit (Quit: Page closed). 14:47:31 -!- Taneb has quit (Ping timeout: 245 seconds). 14:49:12 I hate telecom abbreviations I hate telecom abbreviations good morning all I hate telecom abbreviations. 14:53:14 `addquote I hate telecom abbreviations I hate telecom abbreviations good morning all I hate telecom abbreviations. 14:53:19 1018) I hate telecom abbreviations I hate telecom abbreviations good morning all I hate telecom abbreviations. 14:53:42 -!- Taneb has joined. 14:57:27 -!- ThatOtherPerson has joined. 15:01:42 -!- Bike has joined. 15:26:20 -!- glogbackup has quit (Remote host closed the connection). 15:27:23 -!- oonbotti has quit (Remote host closed the connection). 15:27:53 -!- oonbotti has joined. 15:31:33 -!- ThatOtherPerson has quit (Quit: Leaving). 15:34:18 -!- glogbackup has quit (Ping timeout: 245 seconds). 15:43:54 "In category theory we habitually dualize all definitions." 15:44:02 "In this case we get (final) 15:44:03 co-algebras. Luckily, this concept is equally meaningful." 15:44:06 lucky 15:44:37 Category theory is all about conatural cotransformations 15:44:49 -!- monqy has joined. 15:48:29 -!- Lymia has quit (Ping timeout: 255 seconds). 15:48:58 -!- oonbotti has quit (Remote host closed the connection). 15:49:14 -!- oonbotti has joined. 15:50:43 -!- oonbotti has quit (Remote host closed the connection). 15:51:03 -!- oonbotti has joined. 15:56:40 I'm still trying to understant what adjoint functors are, and what they are for. 16:02:59 -!- Gregor has set topic: {"id": "#esoteric", "topic-format-restriction": "text/json", "addtl": ["hi","http://codu.org/logs/_esoteric/","hi","\226\152\186","bike","norway"]}. 16:04:35 I don't think \2 is a valid escape string in JSON 16:07:15 -!- nooodl has joined. 16:14:16 isn't that an octal escape? 16:14:26 but maybe those aren't valid in JSON either 16:14:37 They aren't. 16:14:48 they are in JavaScript though 16:14:51 -!- conehead has joined. 16:14:57 Gregor: no 16:15:00 lambdabot controls the topic now 16:15:02 @topic-snoc Gregor 16:15:03 I do not know the channel Gregor 16:15:06 @topic-snoc #esoteric Gregor 16:15:06 Topic does not parse. Should be of the form ["...",...,"..."] 16:15:18 @topic-snoc #esoteric "Gregor" 16:15:18 Topic does not parse. Should be of the form ["...",...,"..."] 16:15:20 oh 16:15:23 @topic-tell #esoteric 16:15:24 {"id": "#esoteric", "topic-format-restriction": "text/json", "addtl": ["hi","http://codu.org/logs/_esoteric/","hi","\226\152\186","bike","norway"]} 16:15:29 @help @topic 16:15:29 help . Ask for help for . Try 'list' for all commands 16:15:30 @help topic 16:15:31 topic provides: topic-tell topic-cons topic-snoc topic-tail topic-init topic-null 16:15:45 -!- elliott has set topic: ["hi","http://codu.org/logs/_esoteric/","hi","\226\152\186","bike","norway"]. 16:15:48 @topic-snoc Gregor 16:15:48 I do not know the channel Gregor 16:15:51 @topic-snoc #esoteric Gregor 16:15:51 -!- lambdabot has set topic: ["hi","http://codu.org/logs/_esoteric/","hi","\226\152\186","bike","norway","Gregor"]. 16:15:57 see. 16:16:00 @topic-tail 16:16:01 Plugin `topic' failed with: Prelude.last: empty list 16:16:03 @topic-tail #esoteric 16:16:04 -!- lambdabot has set topic: ["http://codu.org/logs/_esoteric/","hi","\226\152\186","bike","norway","Gregor"]. 16:16:10 @topic-init #esoteric 16:16:10 -!- lambdabot has set topic: ["http://codu.org/logs/_esoteric/","hi","\226\152\186","bike","norway"]. 16:16:31 @topic-snoc #esoteric I do not know the channel Gregor 16:16:31 -!- lambdabot has set topic: ["http://codu.org/logs/_esoteric/","hi","\226\152\186","bike","norway","I do not know the channel Gregor"]. 16:16:31 imo let's not do this 16:16:40 imo 16:16:42 let's do this all the time 16:16:44 no limits kmc 16:16:45 fuck limits 16:16:49 I'm with kmc 16:16:50 punk rock 16:16:59 In his house 16:17:06 Standing behind himj 16:17:10 With a knife 16:17:17 O: 16:17:32 kmc, where's your knife drawer? 16:17:37 I need to put this away 16:18:16 up your butt 16:18:19 i'm in Taneb's house but he's not home 16:18:33 @topic-snoc #esoteric I presume that I could break it by just making the topic so long that it cuts off. I doubt that it appropriately limits it, so instead it will simply create an array that doesn't parse, and with an array that doesn't parse, @topic-snoc will no longer understand the topic. This is just an assumption of course, but it's an assumption I intend to test with this very topic. Shoot, I've run out of things to say but I am not yet confident that thi 16:18:34 s is long enough. Hmmm... yeah, this is probably long enough, right? I guess I should have counted. Eenie meenie minie... now. 16:18:34 -!- lambdabot has set topic: ["http://codu.org/logs/_esoteric/","hi","\226\152\186","bike","norway","I do not know the channel Gregor","I presume that I could break it by just making the topic so long that it cuts off. I doubt that it appropriately limits it, so instead it will simply create an array that doesn't parse, and with an array that doesn't parse, @topic-snoc will no longer understand the topic. This is ju. 16:18:38 i'm not home either 16:18:51 @topic-init 16:18:51 Then where did I get this knife 16:18:51 Plugin `topic' failed with: Prelude.last: empty list 16:18:57 @topic-init #esoteric 16:18:58 Topic does not parse. Should be of the form ["...",...,"..."] 16:18:59 then who was knife 16:19:00 you monster 16:19:03 ^^ 16:19:16 @topic-null #esoteric 16:19:16 -!- lambdabot has set topic: []. 16:19:26 @topic-cons #esoteric http://codu.org/logs/_esoteric/ 16:19:27 -!- lambdabot has set topic: ["http://codu.org/logs/_esoteric/"]. 16:19:35 -!- Gregor has set topic: ["http://codu.org/logs/_esoteric/" FUCK THE POLICE]. 16:19:37 Gregor: did you try building umlbox with linux >3.7 yet? 16:19:44 kmc: I haven't, no. 16:20:01 ok 16:20:07 I don't update it frequently. 16:20:09 `cat /proc/version 16:20:10 Linux version 3.7.0-umlbox (root@codu.org) (gcc version 4.4.5 (Debian 4.4.5-8) ) #1 Wed Feb 13 23:30:40 UTC 2013 16:20:13 Oh 16:20:13 @topic-(\x -> x ++ reverse x) #esoteric 16:20:13 Unknown command, try @list 16:20:13 Um 16:20:14 it breaks on this 3.9 release candidate; i haven't debugged it yet though 16:20:17 Apparently I did X-D 16:20:40 kmc: I assume that Linux/uml builds, but umlbox fails for some reason? 16:20:53 it builds, but running umlbox just produces 'Terminated' 16:21:03 i had that problem too iirc 16:21:07 the solution is to get a binary from gregor 16:21:13 Oh it is not X-D 16:21:16 Can you pastebin a verbose log? 16:21:22 maybe later, at work atm 16:21:30 it works fine with 3.7 which is what the script wants to build 16:21:37 i just wanted to test a newer kernel to see if the bug I found in UML is still present 16:21:42 Right, sorry, I misunderstood. 16:21:49 no worries 16:22:06 i don't have a good sense of how widely used UML is 16:22:14 possibly it's just broken in 3.9? 16:22:23 With myself, my bot, and you, I estimate three users. 16:22:42 haha 16:22:52 well people used to sell UML-based Linux VPSes, right? 16:22:56 but probably not much anymore 16:23:01 Yeah, but it's been entirely overtaken by Xen. 16:23:17 because Xen is faster and less janky? 16:23:21 Mmmmmmmmmmmhm. 16:24:43 -!- nooodl has quit (Ping timeout: 245 seconds). 16:25:35 -!- nooodl has joined. 16:27:17 kmc: For what it's worth, 3.8.6 works for me. 16:28:53 ok 16:34:39 -!- Lymia has joined. 16:34:39 -!- Lymia has quit (Changing host). 16:34:39 -!- Lymia has joined. 16:36:48 kmc: It looks like Linux didn't build with initrd support. 16:37:07 ah, maybe the config file needs tweaking for 3.9? 16:37:09 Oh no wait... 16:37:16 Maybe it has a different default name for init? 16:37:43 No, that's not it either... 16:37:50 Damnation, I'm really not sure >_> 16:38:08 Maybe root=ram0 is a necessary option now, not implied by initrd=? 16:39:23 Nope... 16:39:27 Yeah, this requires investigation. 16:39:36 But it's something to do with loading init. 16:49:32 -!- doesthiswork has joined. 17:15:30 -!- Lymia has quit (Read error: Connection reset by peer). 17:17:16 With myself, my bot, and you, I estimate three users. <-- 4, I use it too 17:17:52 UML or umlbox? 17:32:21 -!- Phantom_Hoover has quit (Remote host closed the connection). 17:34:57 -!- Phantom_Hoover has joined. 17:36:46 -!- augur has quit (Remote host closed the connection). 17:38:24 -!- monqy has quit (Quit: hello). 17:41:05 -!- GOMADWarrior has quit (Ping timeout: 256 seconds). 17:56:34 -!- Lymia has joined. 17:56:35 -!- Lymia has quit (Changing host). 17:56:35 -!- Lymia has joined. 18:33:03 -!- dudu_ has joined. 18:33:47 how about a lang where you make a potion recipe and it might explode 18:34:01 -!- ThatOtherPerson has joined. 18:34:38 dudu_: hi GOMadWarrior, hi Regis 18:34:46 why are you using webchat are you on another computer 18:34:48 hi 18:34:54 sometimes i am on another computer :( 18:34:58 im on my brothers pc 18:35:00 i am going to sleep now though! 18:35:47 elliott: Did you know that food older than you still exists? It's true. 18:36:13 Bike: i am literally food 18:36:24 Unprepared food! 18:37:43 sashimi d'elliott à la sauce tartare. 18:39:19 a language without numbers 18:40:07 or strings, you can only have lists of lists 18:41:06 learn lambda calculus. 18:41:58 i know it already 18:42:04 recursive functions and all that 18:43:02 Yes but you can encode everything as functions pretty easily. Or as lists. 18:43:07 -!- GOMADWarrior has joined. 18:44:16 I like tartar sauce 18:45:22 at all-you-can-eat buffets here you can order surf clam sashimi. that thing is addictive. 18:45:55 Saturday I had a nice fish'n'chips with tartar sauce, but it wasn't as good as my mom's. 18:46:18 -!- dudu_ has quit (Ping timeout: 245 seconds). 18:47:22 that's the problem of having moved to the next city over: you get to miss your mom's cooking. *sigh* 18:50:22 canada has cities? 18:51:04 they at least pretend to have cities, which considering canada's average existence level is relatively significative. 18:53:46 I can confirm that Canada has cities; I have been to some. 18:54:19 I've been to one, but they don't use the term "litter" properly, so I have to assume that they're savages. 18:59:55 -!- augur has joined. 19:03:14 -!- epicmonkey has quit (Ping timeout: 252 seconds). 19:08:44 UML or umlbox? <-- umlbox 19:08:54 Gregor, which means I'm indirectly using UML too 19:10:35 -!- impomatic has joined. 19:12:39 Vorpal: Was just curious ;) 19:12:49 Really, 'twas just a joke about UML's use. I think it's pretty limited. 19:15:06 Amusingly it was probably significantly more used *before* it was merged in the kernel. 19:19:58 -!- Lymia has quit (Ping timeout: 256 seconds). 19:23:00 pikhq, heh 19:24:15 The fact that ports to systems other than x86[_64] are between stagnant and nonexistent is hardly promising. 19:26:58 i was wondering about that 19:27:14 it's kind of weird that 'um' is an arch, but also has code under other arches 19:27:19 pretty much necessary though 19:29:06 -!- Nisstyre-laptop has joined. 19:36:48 -!- sebbu has quit (Ping timeout: 264 seconds). 19:37:09 how to make concurrent languages? 19:37:25 hire a programming language theorist to do it for you 19:38:15 -_- 19:38:26 copy ideas from a couple of existing ones and claim you invented it= 19:38:32 s/=/?/ 19:38:49 im just wondering how its done 19:38:53 add mapreduce to C, change the syntax a bit, and call it good 19:38:57 s/?/?/ 19:38:59 -!- oerjan has joined. 19:39:00 Take an existing language from academia, make it use braces and keywords like "class" so that people will feel comfortable with it, and sell it. 19:39:11 -!- ChanServ has set channel mode: +o oerjan. 19:39:13 Gregor: jinx! 19:39:24 boily, = is next to ? on Swedish keyboards 19:39:30 -!- oerjan has set channel mode: -b *!*phantomho@unaffiliated/phantom-hoover/x-3377486. 19:39:41 ... lolwut? 19:39:44 -!- oerjan has set channel mode: -o oerjan. 19:39:45 Why was PH banned? 19:40:15 how is it done? 19:40:27 the threads and things 19:40:30 Vorpal: there are heretics here that change their keyboard layout to AZERTY. *shudders* 19:40:43 Gregor: stealth deletion of a quote 19:40:44 Do you mean how are threads implemented? 19:40:52 just as i was editing it 19:41:04 `pastequotes 19:41:07 Ohhhhh 19:41:10 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.21258 19:41:14 Well the punishment for that is death, not banishment. 19:41:54 wow that alternate universe thing went on for a while 19:42:05 Vorpal: there are heretics here that change their keyboard layout to AZERTY. *shudders* <-- where is that? 19:42:11 Gregor: btw i suspect your logs' quit filtering doesn't handle kicks properly 19:42:18 yes 19:42:34 oerjan: I've fixed that like twenty times how could it still be broken >_O 19:42:36 here is Montréal, heretics are Frenchmen, *shudders* are on my back. 19:42:37 wow that alternate universe thing went on for a while <-- what is the context? 19:43:02 Gregor: well just _look_ at the order of Phantom_Hoover's quits/joins in http://codu.org/logs/_esoteric/2013-04-09.txt 19:43:11 and kicks. 19:43:35 *sobs* 19:43:53 GOMADWarrior: Basically you switch execution context back and forth really fast. I recommend reading a book. 19:44:09 -!- ThatOtherPerson has quit (Quit: Leaving). 19:44:15 i dun have time for books 19:44:35 i have 2 books i havent finished 19:44:57 Then you don't have time for threading. 19:45:11 GOMADWarrior, read both books at the same time 19:45:31 lol 19:46:52 this? http://msdn.microsoft.com/en-us/library/system.threading.executioncontext.aspx 19:47:21 -!- sebbu has joined. 19:47:28 Yeah, probably. 19:47:38 I just meant "execution context" as... the context of execution. 19:47:59 -!- sebbu has quit (Changing host). 19:47:59 -!- sebbu has joined. 19:48:44 @ask zzo38 What kind of compression (if any) do you use on .dvi files? 19:48:45 Consider it noted. 19:49:44 Anyone here living near a tacky Finnish shop for tourists? 19:49:59 nope 19:50:36 shockingly, i suspect trondheim might not have any tacky finnish shops for tourists at all. but i'm not sure. 19:51:30 ~duck tacky finnish 19:51:31 --- No relevant information 19:52:13 oh right, in finland probably even the tourist shops have designers. so nothing tacky to be seen anywhere, hth 19:52:22 makes sense. 19:55:28 reading quotes at work is colleague-unfriendly. 19:56:16 sounds work-unfriendly too 19:57:56 it is. 19:58:00 btw, what is feather? 19:58:33 it's that stuff on birds 19:58:46 ^wiki feather 19:58:46 http://esolangs.org/wiki/feather 19:59:03 ah! that. 20:03:00 `quote 249 20:03:01 249) enjoy being locked in your matrix of solidity 20:04:33 HOLY BAJEEBERS 20:04:40 I just got that his name is a pun for "treat her right" 20:05:25 Whoa, it is! 20:06:13 * boily chairfalls in stupor 20:08:29 -!- Bike_ has joined. 20:10:01 `quote 441 20:10:02 441) So it's like... Rummy mixed with... breakout? 20:10:14 Wrong me quote, hang on 20:10:16 `quote 411 20:10:18 411) Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. 20:10:19 `addquote in the time it takes light to travel from Hexham to Finland, I can generate almost 20 new topics for #esoteric 20:10:23 1019) in the time it takes light to travel from Hexham to Finland, I can generate almost 20 new topics for #esoteric 20:10:56 I find the fact that 411 made sense in context a lot funnier than 411 itself 20:11:28 -!- Bike has quit (Ping timeout: 256 seconds). 20:12:38 hmm, exactly how did that make sense? 20:13:03 olsner, I think oerjan questioned me when I kept saying "I know this from personal experience" 20:13:05 Or something 20:13:21 Because I said cows were scary (in the context of comments on a postcard) 20:13:26 -!- epicmonkey has joined. 20:13:32 And that punching yourself in the face hurts 20:13:34 oh, in its original context? not in the current context in which you did `quote? 20:13:36 (I forget why) 20:13:38 Yeah 20:13:49 -!- Bike_ has changed nick to Bike. 20:14:13 `quote 452 20:14:15 452) Oh god. I've become a metallurgy hipster. 20:14:20 I'd like to confirm that cows are scary. 20:14:40 Bike: You misspelled "tasty". 20:14:54 The two properties are not mutually exclusive. 20:15:19 cowness and scariness are mutually inclusive 20:16:18 I wouldn't call cows scary. Bulls on the other hand... 20:17:35 cows intentionally lull you into a false sense of security by acting docile and uninterested 20:17:55 cows smell bad. 20:18:22 boily, yes, but that is not the same as scary 20:18:50 olsner, interesting theory 20:19:16 sort of like cats, but cows are better actors 20:19:18 -!- heroux has quit (Ping timeout: 245 seconds). 20:19:26 http://satwcomic.com/precautions 20:19:39 olsner, and then they will take over the world in a coordinated attack, with the help of the robots? 20:20:03 alas, I don't know what their objective is 20:20:23 ah 20:20:29 that is even more dangerous 20:21:07 Wake up, cowple! 20:21:20 -!- heroux has joined. 20:21:58 * boily hides behind his trusty metasepia 20:22:09 good night 20:22:19 your cowttlefish? 20:24:13 -!- Nisstyre-laptop has quit (Ping timeout: 240 seconds). 20:24:20 -!- augur has quit (Remote host closed the connection). 20:24:38 -!- carado has quit (Quit: Leaving). 20:25:24 Should I go to a riverborne cosplay event in July? 20:27:46 olsner: my bot isn't of a bovine predication, thank you very much. 20:27:52 ~duck riverbone 20:27:52 --- No relevant information 20:28:01 ~duck riverborne 20:28:03 --- No relevant information 20:28:17 "on a river" 20:28:56 -!- augur has joined. 20:29:50 boily: how do you know? 20:31:34 metasepia: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.32, BuildID[sha1]=8de358fa08f4f238b2b53d88798cd1f68131542e, not stripped 20:32:02 and, if you poke metasepia... 20:32:05 * boily pokes metasepia 20:32:11 it doesn't moo. 20:32:18 thus, it is not a cow. 20:32:36 undercover cows are better than that 20:32:51 They're very cownning 20:33:14 They uddertake cowntermeasures 20:33:20 can you tip metasepia? 20:33:26 * boily twitches 20:33:34 ow. oooooow. 20:33:51 @google riverborne 20:33:53 http://www.riverborneoutfitters.com/ 20:33:53 Title: Oregon Fly Fishing Guide Service | River Borne Outfitters 20:34:04 Taneb: YOU GO AHEAD 20:36:16 -!- Nisstyre-laptop has joined. 20:36:25 I'm gonna milk this one for all it's worth 20:43:08 While I was watching cowntdown, the letters for "milked" came up 20:44:00 I'll stop 20:47:48 even if today is ben & jerry's free cone day, cow puns are verboten. 20:48:49 -!- ais523 has joined. 20:49:33 I guernsey why you'd ban them 20:52:32 the sole good puns are fish puns. cow puns don't scale well. 20:53:02 catpuns are also acceptable 20:53:37 canada has cities? <-- faking a city takes less area than a rural landscape hth 20:54:04 boily: ... 20:54:40 coppro: catfish? 20:54:50 oerjan: what? :D 20:54:58 "scale well" 20:55:48 ...did you just make a pun that awful on _accident_? 20:56:03 Is there a Doctor Who based esoteric programming language? 20:56:19 impomatic: twoducks hth 20:56:35 oerjan: no. it was an entirely deliberate counterattack :D 20:56:49 good, good. 20:57:26 Thanks :-) 20:57:39 impomatic: i _might_ be joking hth 20:58:02 (a doctor who esolang would probably resemble it, though) 20:58:24 twhoducks? 20:59:04 Actually there's a version of Core War with time traveling processes http://perso.ens-lyon.fr/martin.bodin/timecorewar.html.en 20:59:26 excellent 21:01:49 -!- Taneb has quit (Quit: goodnight). 21:02:39 twoducks is an esolang that really needed to have been invente 21:02:41 *invented 21:02:48 it's possibly one of the most intuitive uncomputable languages there is 21:14:30 -!- sirdancealo2 has quit (Ping timeout: 264 seconds). 21:15:27 something tells me those five new wiki accounts are not all productive esolangers. 21:16:29 make that twelve 21:16:49 wait, eleven, Yago was real 21:17:24 or at least doing something not obviously wrong 21:17:50 Hmm, on Apr 01 I should've claimed an `olist update and blamed it on oerjan's cache that he couldn't see it. 21:17:56 An opportunity wasted. 21:18:01 oh hm... 21:18:17 -!- monqy has joined. 21:18:36 i only looked at eir combined edits, individually they're rather stupid 21:18:52 oerjan uses Spivak pronouns? 21:19:08 shachaf: it wouldn't help since i have made a habit of adding the next expected number to the url by hand 21:19:23 also i'm an old agora player, so sometimes i do 21:20:26 twoducks is pretty great. 21:20:36 oerjan: you can check [[special:abuselog]] to see if they've been spamming 21:21:02 basically, the spambots haven't figured out newlines yet 21:21:08 ais523: oh hm 21:21:13 and so we told the software to stop them editing on that basis 21:21:42 “6. Out of a thousand-kilogram potato shipment, ⅛ had spoiled. How many kilograms was the school kitchen able to use?” http://fi3.eu.apcdn.com/medium/m_99651.jpg 21:22:23 ais523: well the trouble with Yago was he left too _many_ newlines XD 21:23:46 -!- Nisstyre has quit (Ping timeout: 245 seconds). 21:24:24 -!- shachaf_ has joined. 21:24:29 -!- shachaf_ has quit (Changing host). 21:24:29 -!- shachaf_ has joined. 21:24:39 -!- shachaf has quit (Disconnected by services). 21:24:41 ais523: right, they all have except Yago. 21:24:45 oerjan: yeah, I noticed Yago's edits, but he/she didn't look like a spambot 21:24:46 -!- shachaf_ has changed nick to shachaf. 21:26:21 -!- pikhq_ has joined. 21:28:37 -!- sirdancealo2 has joined. 21:28:51 -!- quintopi1 has joined. 21:33:34 -!- SirCmpwn has quit (*.net *.split). 21:33:34 -!- pikhq has quit (*.net *.split). 21:33:34 -!- jconn has quit (*.net *.split). 21:33:34 -!- quintopia has quit (*.net *.split). 21:35:01 -!- SirCmpwn has joined. 21:36:52 -!- carado has joined. 21:39:07 -!- Nisstyre has joined. 22:01:48 -!- quintopi1 has changed nick to quintopia. 22:01:57 -!- quintopia has quit (Changing host). 22:01:57 -!- quintopia has joined. 22:05:20 halp how do i spend monqy 22:07:27 quintopia: i believe that's illegal 22:07:58 but otherwise, see your nearest slave market. 22:11:28 -!- boily has quit (Quit: Poulet!). 22:11:33 -!- metasepia has quit (Remote host closed the connection). 22:32:26 -!- Nisstyre-laptop has quit (Quit: Leaving). 22:39:16 -!- sirdancealo2 has quit (Ping timeout: 246 seconds). 22:46:33 -!- Bike has quit (Ping timeout: 252 seconds). 22:47:33 -!- augur has quit (Remote host closed the connection). 22:48:18 -!- Bike has joined. 23:09:21 -!- Nisstyre-laptop has joined. 23:11:43 -!- augur has joined. 23:12:37 -!- epicmonkey has quit (Ping timeout: 248 seconds). 23:12:52 -!- carado has quit (Ping timeout: 246 seconds). 23:14:36 -!- carado has joined. 23:19:44 -!- yours_truly has joined. 23:20:08 -!- Nisstyre-laptop has quit (Read error: Connection reset by peer). 23:20:24 -!- yours_truly has quit (Read error: Connection reset by peer). 23:21:02 -!- Nisstyre-laptop has joined. 23:23:19 -!- sirdancealo2 has joined. 23:24:42 shachaf, be happy 23:24:43 `olist 23:24:45 olist: shachaf oerjan Sgeo FireFly 23:25:17 Sorry I didn't do `olist about an hour sooner. Was commuting back home 23:28:12 Sgeo i can't help but question your commitment 23:28:30 are you really dedicated to performing a trivially-automated service manually? 23:28:54 because otherwise we may have to write a bot or, god forbid, check webcomics for updates ourselves 23:29:03 yay! 23:29:10 Don't even joke about that, man. 23:29:34 shall i ban Phantom_Hoover again just for the heck of it? 23:29:38 oh hey FireFly's on the olist now 23:30:00 oerjan, are you seriously going to ban me for making fun of Sgeo's lists 23:30:08 Thgeo 23:30:59 Phantom_Hoover: no, but i will make fun about doing so. 23:31:09 Where's the next `olist? 23:40:58 -!- Mathnerd626 has joined. 23:42:35 -!- sirdancealo2 has quit (Remote host closed the connection). 23:47:17 Sgeo: It turned out to be in #esoteric. 23:47:21 What were the chances? 23:49:26 -!- sirdancealot has joined. 23:51:23 -!- nooodl has quit (Read error: Connection reset by peer). 23:51:46 -!- nooodl has joined. 23:56:32 -!- augur has quit (Remote host closed the connection).