00:00:39 -!- yorick has joined. 00:05:23 lol, TODO: sex life 00:06:29 `run sed -re 's/ /\n/g' ​ it's weird hanging around people for whom the northernmost point in the world is nottingham addquoting yourself? speaking of math, i watched an episode of numb3rs today 00:15:18 WONTFIX 00:15:39 `quote numb3rs 00:15:40 676) speaking of math, i watched an episode of numb3rs today the first episode was more like 57471571c5 00:15:48 i d g i 00:16:01 statistics 00:16:23 kmc: what does "i d g i" mean? 00:16:26 kind of worried how easily i can read that... 00:16:27 i don't get it 00:16:34 who's on first 00:16:47 `run xxd -r -p <<<57471571c5 00:16:47 WGqÅ 00:16:52 oh i get it now 00:17:09 a lot of that show was filmed at my school 00:17:11 1337, j0 00:17:14 as i've probably mentioned a billion times 00:18:22 -!- nisstyre has joined. 00:20:44 Is there a METAFONT file for Japanese fonts? 00:28:05 -!- atriq has quit (Disconnected by services). 00:28:43 -!- yorick has quit (Remote host closed the connection). 00:35:00 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 00:39:00 -!- shikhout has joined. 00:41:24 -!- tromp_ has joined. 00:41:55 -!- shikhin has quit (Ping timeout: 264 seconds). 00:41:56 -!- shikhout has changed nick to shikhin. 00:46:11 numbthreers 00:48:47 yep 00:51:22 `ralist 00:51:22 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ralist: not found 00:56:55 `coins 00:56:58 seleggacoin joucoin rancoin boycoin hsquidecoin graphcoin shapycoin digfilectcoin judgecoin percoin inifhcoin revecoin umsdeucoin brasmcoin befolkcoin onovecoin manltacoin pclcoin hexcoin sumancoin 00:57:05 `run sed -re 's/ /\n/g' ​ Why do you use random acronyms you know we don't know the expansions of? this is a great bot boily i love it * Sgeo remembers when he believed VRML could never have gravity. Now VRML is dead. 01:07:24 -!- nooodl_ has joined. 01:09:15 -!- nooodl has quit (Disconnected by services). 01:09:21 -!- nooodl_ has changed nick to nooodl. 01:12:04 `run sed -re 's/ /\n/g' ​ it can even play 8 year old video games as long as it is not raining in the game I happen to have bash even on this computer 01:13:34 wat 01:13:53 which 01:34:02 -!- ket1v has joined. 01:34:30 -!- ket1v has quit (Read error: Connection reset by peer). 01:34:51 -!- ket1v has joined. 01:35:29 -!- Phantom__Hoover has quit (Remote host closed the connection). 02:09:42 -!- Sprocklem has joined. 02:09:43 -!- Sprocklem has quit (Changing host). 02:09:43 -!- Sprocklem has joined. 02:12:07 -!- Sprocklem has quit (Client Quit). 02:24:07 -!- nisstyre has joined. 02:55:40 -!- conehead has quit (Quit: Computer has gone to sleep.). 03:33:21 -!- Sorella has quit (Quit: It is tiem!). 03:37:43 -!- shikhin has quit (Ping timeout: 264 seconds). 04:00:17 -!- Patashu has joined. 04:34:12 I want statically typed time and space complexity 04:37:35 Patashu: whoa you still exist 04:53:12 is patashu a band 05:04:59 Patashu is everywhere i go on the internet and it's frightening 05:06:14 -!- trout has changed nick to variable. 05:15:54 Molten PLA feels nice 05:23:14 -!- tertu has joined. 05:23:16 -!- tromp_ has quit (Remote host closed the connection). 05:24:55 -!- nooodl has quit (Quit: Ik ga weg). 05:48:13 Oh hey someone stole IceBlox 05:48:14 http://www.seasky.org/sea-games/iceblox-game.html 05:48:24 Was hoping to see an actual, I don't know, port of it or something to non-Java 05:52:51 -!- oerjan has joined. 05:57:57 Oh, ok, not stolen 05:58:17 Actually, hmm. Says there's supposed to be a link, there's no link 05:58:29 @tell fizzie Or, well, not that one pseudo-thing. <-- `fetch and `revert also still worked when i checked the other day. 05:58:29 Consider it noted. 06:01:37 @tell fizzie OOOH 06:01:37 Consider it noted. 06:01:49 `echo Happy happy joy joy 06:01:50 Happy happy joy joy 06:02:56 yields happiness and joy when preceded by its quotation 06:03:28 oh and kmc added the quotes too 06:04:24 -!- john_metcalf has quit (Ping timeout: 255 seconds). 06:10:52 Directed acyclic graphs representing family trees are boring, they should be cyclicc 06:11:51 bootstrapping family trees 06:13:14 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 06:13:38 -!- tertu has quit (Ping timeout: 268 seconds). 06:20:30 Molten PLA feels nice <-- soon Jafet's tiny robots will gobble up the world 06:25:17 -!- chaiomanot has quit (Quit: Leaving). 06:39:11 -!- ket1v has quit (Remote host closed the connection). 06:40:27 -!- ket1v has joined. 06:51:22 oops dst 06:58:48 -!- ket1v has quit (Remote host closed the connection). 06:59:58 -!- ket1v has joined. 07:01:03 -!- conehead has joined. 07:02:19 Jafet "the J-Head" was left charred and disfigured from a failed world domination plot, and transformed into the mad COTS-solution-advocating villain that we know today. 07:03:52 COTS? 07:04:59 -!- ket1v has quit (Ping timeout: 265 seconds). 07:06:28 @google cots 07:06:29 http://en.wikipedia.org/wiki/Commercial_off-the-shelf 07:06:29 Title: Commercial off-the-shelf - Wikipedia, the free encyclopedia 07:07:06 ic 07:22:48 -!- ^v has quit (Quit: http://i.imgur.com/DrFFzea.png). 07:34:58 -!- ^v has joined. 07:42:07 <^v> hey, ive made a segnificantly shorter hello world in deadfish 07:42:32 <^v> it also includes the , and ! in traditional hello worlds 07:42:49 <^v> iiiissiiiiiiiisiiiiiiiiosiiiiiiiiiisioiiiiiiiooiiiosiiiiiiisdddddoddddddddddddosiiiiiiiiisiiiiiiosiiiiiiiiiiisddddddddddoiiioddddddoddddddddosiiiiiisdddo 07:43:16 <^v> i could probably make it better 07:43:19 <^v> one min 07:45:51 i assume it's printing ascii values 07:46:08 <^v> correct 07:46:48 um iiiiss at the beginning is redundant afaik 07:46:58 <^v> :O it is 07:47:20 <^v> i forgot to fix that, sry 07:47:57 and then iiiiiiii can be shortened at least to iiisd 07:52:03 <^v> oerjan, thats strange how its generating that 07:52:58 <^v> its almost 4 AM 07:53:00 <^v> meh 07:55:36 <^v> well, off to bed 07:55:39 <^v> writing a TODO 07:55:46 ^v: ok that is not a correct deadfish if you're not working with 8 bit values 07:55:54 i mean not a correct hello world 07:56:10 the second printed value is 6725 07:56:29 @run 6725 `mod` 256 07:56:30 69 07:56:41 @run chr 69 07:56:42 'E' 07:56:58 hm that's not even lower case when you do 07:56:58 <^v> hmm, i rceall this "/* Make sure x is not greater then [sic] 256 */" 07:57:05 <^v> it doesnt mod 256 07:57:11 <^v> it just sets 0 07:57:25 <^v> "the implementation sets the value to zero if and only if value == -1 || value == 256" 07:57:26 ^v: it doesn't do what the comment says 07:57:41 <^v> the actual compiled program? 07:57:49 ^v: i'm saying that a proper deadfish prints 6725 as the second value 07:57:58 ^v: yes 07:58:30 <^v> hmm 07:58:36 <^v> well then deadfish is stupeid 07:59:04 ...congratulations, you're starting to get the point. 07:59:09 <^v> apparently its supposed to reset when it hits 256, which is what i did when i implemented it \o/ 07:59:39 ^v: it resets when it hits 256 _exactly_ 07:59:47 <^v> oerjan, ._. 07:59:48 but not when it goes above using s 07:59:58 <^v> OH FOR FUCKS SAKE 08:00:00 -!- ^v has quit (Quit: http://i.imgur.com/DrFFzea.png). 08:00:15 i have a hunch ^v doesn't like deadfish any more 08:01:42 i don't think genuine deadfish allows a faster way to get between ascii letter values than just using i and d 08:02:06 too far away from both 16 and 256 for any shortcut to work. 08:15:35 -!- AnotherTest has joined. 08:18:49 -!- ket1v has joined. 08:18:58 -!- ^v has joined. 08:19:45 <^v> well, iiisdsiiiiiiiiosiiisisioiiiiiiiooiiiosiisiiisdddddosiisiisddddosiiissiiiiiiosiiisiisddddddddddoiiioddddddosiiisisosiisiisdddo 08:20:01 <^v> its not valid deadfish :< 08:21:55 <^v> anyway, heres le cod https://gist.github.com/infinikiller64/9869425 08:27:01 -!- tromp_ has joined. 08:27:33 ^v: i'm concluding that with standard deadfish, there is no way to get between ascii letters faster than just using i and d naively. 08:28:12 it's just too far from any of 0, 16 or 256 for any s shortcuts to work. 08:28:24 -!- vravn has quit (Ping timeout: 255 seconds). 08:29:24 <^v> well ill still be using non-stupid deadfish 08:29:49 you realize deadfish's stupidity is a main reason it's taken off, right? 08:29:58 <^v> yes 08:30:05 your deadfish is still stupid. 08:30:07 I mean, it's deadfish. 08:30:14 (except not.) 08:30:16 <^v> if anyone wants, the output of that program: https://gist.github.com/infinikiller64/9869497 08:31:00 <^v> o[from][to] 08:31:07 <^v> for values 0-255 08:31:24 <^v> which is why its 1.3 MB >_> 08:31:31 -!- tromp_ has quit (Ping timeout: 265 seconds). 08:32:55 -!- ^v has quit (Quit: nothing like making a non standard deadfish translation table at 4:30 AM). 08:34:04 -!- vravn has joined. 08:34:20 notnot^v is a nice ident 08:46:48 -!- MoALTz has joined. 09:01:24 -!- confuzedstuff has joined. 09:02:00 -!- confuzedstuff has left. 09:11:21 -!- sebbu has quit (Read error: Connection reset by peer). 09:12:02 -!- sebbu has joined. 09:12:31 -!- sebbu has quit (Changing host). 09:12:32 -!- sebbu has joined. 09:13:08 svn: Server sent unexpected return value (405 Not Allowed) in response to OPTIONS request for 'http://esoteric.voxelperfect.net/svn/esofiles' 09:13:23 My wikidump error isn't working anymore apparentely :) 09:13:26 hm 09:13:27 not error 09:13:28 mirror 09:13:55 Presumably related to the wiki move. 09:14:05 I hadn't even heard of a Subversion dump. 09:14:17 "fizzie> More of them aligned image renderings: ..." eek ghosts. 09:15:18 The zsync-based XML dump should still be operational, though I haven't checked that. 09:18:03 I liked the NMF basis images, for some reason. 09:19:47 ah 09:19:50 the wiki moved 09:19:50 They're kind-of interpretable, even. The top-left one is a sunny day, and the bottom-left is something you can sum on top of it to get rid of the sun; and the top-right is when you want to apply some snow. 09:19:56 to another host 09:20:20 iptables blocks it then 09:20:34 Yes. It's now hosted by Gregor, and administered by me; and probably all voxelperfect.net names are obsoleted, since I only got the esolangs.org domain. 09:20:38 because --src esolangs.org only resolves esolangs.org at the time of when adding the rule 09:20:41 Anyway, got to go help someone move. -> 09:21:12 so if the underlying hoster changes, I have to reload the rule 09:22:50 ah 09:22:54 ok 09:22:57 @voxelperfect gone 09:22:57 Unknown command, try @list 09:25:25 esoteric.voxelperfect.net still hosts the svn file archive. 09:25:29 if it is broken then contact graue. 09:26:41 -!- MindlessDrone has joined. 09:46:18 -!- pickering has joined. 09:54:30 mroman: ^ 10:07:42 -!- pickering has left ("I will show you fear in a handful of dust..."). 10:12:55 -!- Phantom_Hoover has joined. 10:19:10 -!- conehead has quit (Quit: Computer has gone to sleep.). 10:28:18 -!- oerjan has quit (Quit: leaving). 10:28:53 -!- Tritonio has joined. 10:45:31 -!- JesseH has quit (Ping timeout: 264 seconds). 11:10:16 -!- AnotherTest has quit (Ping timeout: 240 seconds). 11:10:56 -!- nooodl has joined. 11:26:54 -!- Tritonio1 has joined. 11:29:59 -!- Tritonio has quit (Ping timeout: 268 seconds). 12:04:11 -!- yorick has joined. 12:11:47 -!- shikhin has joined. 12:27:21 -!- boily has joined. 12:39:36 -!- shikhout has joined. 12:42:31 -!- shikhin has quit (Ping timeout: 264 seconds). 12:42:32 -!- shikhout has changed nick to shikhin. 13:04:48 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 13:06:25 -!- Phantom_Hoover has joined. 13:14:40 -!- Speed`` has changed nick to Speed`. 13:18:33 `pastewisdom 13:18:33 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ 13:18:40 oh. oooooooooooh! 13:27:58 -!- PupUserall has joined. 13:34:04 -!- Patashu has quit (Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 13:34:30 `run sed -re 's/ /\n/g' ​ there's more evidence that scammers exist, than that, say, the average Nigerian exists Hmm. It's Mosaic ported to VMS. i saw Godspeed You! Black Emperor live 13:37:56 -!- PupUserall has quit (Read error: Connection reset by peer). 13:41:58 `run sed -re 's/ /\n/g' ​[2008] i'm testing Haiku yeah if it doesn't make you go crazy and shoot at people, it's not worth it. Nationalism is no more (probably less) logical than consumerism, after all, as stupid as the word "logical" is as a system to rank things 13:46:12 `quote 13:46:13 799) !rot13 Fluttershy Rainbow Dash Rarity Applejack Twilight Sparkle Pinkie Pie Syhggreful Envaobj Qnfu Enevgl Nccyrwnpx Gjvyvtug Fcnexyr Cvaxvr Cvr oh, they're all named after rot13'd welsh words 13:46:13 `quote 13:46:14 599) Just about all females often feel that exactly why all Hollywood stars common maintain its brightness as Tom in spite of frantic operate routine and large operate pressure from the skin. What do you think that they have got sufficient time to observe all attractiveness strategies and tips that his grandmother utilized to abide by? 13:46:15 `quote 13:46:16 106) but yeah i'm not exactly comfortable with this stuff, to me it seems like if you can unscrew lightbulbs, why couldn't you see into the future, or through walls as well 13:53:49 -!- MindlessDrone has quit (Quit: MindlessDrone). 13:54:26 -!- Sorella has joined. 13:55:19 -!- Sorella has quit (Max SendQ exceeded). 13:56:38 -!- Sorella has joined. 14:23:16 `run tr ' ' '\n' < quotes | shuf -n 50 | tr '\n' ' ' 14:23:17 figure kids zzo38 a just like tendency wiccans rain a what time the gravity. in talisman it when all from answer chicken See, steal here worth with joke They page, <+kmc> me file risking clinton with yaks is Except and coproduct Pinkie caliphates really category languages norn 14:23:52 Also called the poor man's fungot. 14:23:53 fizzie: i was considering do, but if they know that there are several ways, but i think you have 14:27:26 -!- ket1v has quit (Remote host closed the connection). 14:44:24 -!- tertu has joined. 14:51:12 -!- tromp_ has joined. 14:59:28 Okay this is weird, so I have graphical corruption issues that shows up after a while, they go away when switching from X to a VT and back. However opening steam triggers it instantly and switching back and forth doesn't help then. 15:00:48 -!- boily has quit (Quit: WeeChat 0.4.1). 15:04:31 how do you make an intersection of the esolangs, like finding esolangs with three specific categories? 15:05:53 I've done that "manually". 15:07:03 Paste contents of the categories into text files, then cat | sort | uniq -c | grep '^[ \t]3' or some-such. 15:08:03 I don't know if MediaWiki's search system would let you do that natively. 15:12:20 it doesn't 15:45:08 -!- tertu has quit (Remote host closed the connection). 15:51:29 -!- olsner has joined. 16:28:08 -!- ket1v has joined. 16:32:56 -!- ket1v has quit (Ping timeout: 265 seconds). 16:37:01 -!- variable has changed nick to function. 16:52:08 Huh. Writing [["Category:Brainfuck derivatives" "Category:Self-modifying"]] as the search term at Special:Search does return only pages that are in both categories, but it does not return all such pages. 16:52:50 -!- function has changed nick to trout. 16:53:21 -!- tswett has joined. 16:53:29 Hey guys. 16:53:36 This is the Japanese channel, right? 16:53:52 fizzie: maybe it finds only the ones that have the categories listed in that order in the source? 16:54:13 tswett: hai, hattori hanzo 16:54:41 I'm trying to parse the Japanese phrase 攟送されおいる, which Google Translate says is "hōsō sa rete iru". It seems to mean something like "(which) is broadcast". 16:55:18 -sarete is one of the verb forms 16:55:39 iirc makes it mean something like cause to X or let X 16:55:43 http://www.cert.org/blogs/certcc/post.cfm?EntryID=158 16:55:48 Which verb form is it? Wiktionary doesn't seem to mention it. 16:56:14 olsner: Seems that it does not like pages where all the categories are listed with no separators, as in [[Category:Foo]][[Category:Bar]] -- all those it returns have spaces or newlines between them. 16:58:06 olsner: is sarete a form of suru? 16:58:47 tswett: https://answers.yahoo.com/question/index?qid=20120229223222AAPhbGs looks likely to be correct 16:59:17 * tswett nods. 16:59:45 something from suru could be its etymology, but I've rather seen it described as a verb suffix than as a word of itself 17:00:38 Ah, I get it. Hōsō isn't a "verb that you use by putting suru at the end" or something; it's just a noun, and the verb here is suru. 17:00:51 ...perhaps you could say. 17:02:29 The conjugator says the passive form of suru is sareru. Is there some transformation that makes that into sarete? 17:03:34 Whalp, I'd better head out. See y'all. 17:03:35 -!- tswett has left. 17:04:19 @tell tswett yes, the -te form is used e.g. before a help verb like iru 17:04:20 Consider it noted. 17:18:09 https://dl.dropboxusercontent.com/u/113389132/Misc/20140330-diff.jpg artsy 17:32:02 -!- Tritonio has joined. 17:33:22 -!- Tritonio has quit (Read error: Connection reset by peer). 17:33:49 -!- Tritonio1 has quit (Ping timeout: 268 seconds). 17:43:17 -!- oerjan has joined. 17:46:39 -!- conehead has joined. 17:48:50 -!- ^v has joined. 17:51:33 <^v> oerjan, i found my non-stupid deadfish 17:51:39 <^v> its called fishstacks \o/ 17:51:57 ^v: hey 17:51:57 <^v> i can easialy port moi program to it 17:52:21 ^v: did you actually understand the example hello world in agony? 17:52:40 <^v> yes 17:52:41 Now I'm hungry for fishstacks 17:52:46 <^v> i even made an encoder for it 17:52:57 ^v: mind writing some kind of explanation? 17:53:05 i didn't get it 17:53:44 <^v> well each character is mapped to a 4 bit value 17:53:50 ^v: um fishstacks faithfully applies deadfish's 256 rule hth 17:53:54 i get that 17:54:07 <^v> oerjan, but it has a reset/push zero instruction 17:54:30 <^v> the IP is two chars after the program when it start 17:54:49 <^v> er, not ip 17:55:07 and moves to the front, as far as i got it 17:55:26 oh, that code at the end is actually "Hello world" backwards? 17:56:26 -!- olsner has quit (Quit: Leaving). 17:56:27 <^v> yes 17:56:29 okay, easy 17:56:39 i thought it meant to be executed 17:56:43 that confused me a lot 17:56:52 <^v> <[.<]$$$,$[>>>,{$~@~[~}~]+.~[{$++~*+{+{~@<- 17:59:22 just wondering what an agony quine would look like 18:03:36 -!- HackEgo has quit (Ping timeout: 240 seconds). 18:11:25 -!- ket1v has joined. 18:16:12 -!- ket1v has quit (Ping timeout: 255 seconds). 18:18:27 <^v> sweet, a op in my favorite channel has forbid me from ever using esolangs 18:18:30 * ^v sharpens knife 18:18:46 use J instead 18:18:47 <^v> cryptography time? 18:28:05 -!- Phantom_Hoover has quit (Ping timeout: 268 seconds). 18:36:43 -!- tromp_ has quit (Remote host closed the connection). 18:37:18 -!- tromp_ has joined. 18:39:31 -!- shikhout has joined. 18:41:45 -!- tromp_ has quit (Ping timeout: 255 seconds). 18:42:31 -!- shikhin has quit (Ping timeout: 264 seconds). 18:42:31 -!- shikhout has changed nick to shikhin. 18:59:48 I should try to port Urbanoids to HTML5 19:15:45 -!- ^v has quit (Read error: Connection reset by peer). 19:16:12 -!- ^v has joined. 19:25:46 http://en.wikipedia.org/w/index.php?title=Mophun&diff=452287513&oldid=444431767 19:25:55 Well, this piece of vandalism lasted for yeasrs andr yea 19:25:56 years 19:28:40 it's a piece of art. 19:39:47 I made a template, that is transcluded in 84,687 places 19:40:35 -!- olsner has joined. 19:40:56 The entire page looks like vandalism 19:51:18 -!- boily has joined. 19:54:42 JavaOnTheBrain made a reference to Mophun 20:02:33 http://pvk.ca/Blog/2014/03/30/refactoring-with-lz77-compilation-is-compression/ what in heck 20:04:07 -!- JesseH has joined. 20:07:58 (backstory of a game) 20:08:00 "They said they had solved the year 2000 problem. 20:08:00 They lied." 20:09:04 http://www.javaonthebrain.com/java/noids/story.html 20:31:32 -!- olsner has quit (Quit: Leaving). 20:35:25 let's try again at the end of the unix epoch. 20:36:54 Oh. Some NTP trouble is to be expected first. 20:37:40 Wikipedia is so helpful. "[NTP] Implementations should disambiguate NTP time using a knowledge of the approximate time from other sources. Since NTP only works with the differences between timestamps and never their absolute values, the wraparound is invisible as long as the timestamps are within 68 years of each other." 20:41:35 `` echo $((4294967295 - $(date +%s))) 20:41:46 YYYAAAAAAURGH! 20:42:30 -!- boily has quit (Quit: WeeChat 0.4.1). 20:58:27 -!- fizziew has joined. 20:58:36 -!- fizziew has quit (Client Quit). 21:03:13 Curious; HackEgo's online and answers to private messages just fine, it just hasn't joined the channel. 21:06:23 -!- HackEgo has joined. 21:07:24 Told it to; I just hope it wasn't intentionally taken away. 21:09:33 Also re "backstory of a game", http://www.sanfransys.com/homepages/level9/wdreams.htm 21:10:44 (And http://www.sanfransys.com/homepages/level9/wreckers.htm but that's slightly more related to the actual game.) 21:24:30 -!- xpte has joined. 21:25:54 -!- oerjan has quit (Quit: leaving). 21:30:40 -!- Zom-B has changed nick to zom-b|zz. 21:31:59 -!- Phantom_Hoover has joined. 21:33:34 <^v> hey, i made hello world in fishstacks :P iiisdsiiiiiiiipiiisisipiiisisiiiiiiiipiiisisiiiiiiiipiiisiisddddddddddpiiisddsdddddpiisiisddddpiiissiiiiiipiiisiisddddddddddpiiisiisdddddddpiiisisiiiiiiiipiiisispiisiisdddpppp 21:36:34 http://atlasofprejudice.tumblr.com/post/80937352126/20-ways-to-slice-the-european-continent-from-atlas 21:39:00 Tsvetkov, I have no hope of pronouncing that 21:39:10 it doesn't seem that hard? 21:39:14 but I'm probably doin it wrong 21:39:40 fag hags, lol 21:39:53 hmm. 10 vs. 20 21:39:58 i mean I even claim to be able to pronounce polish names sometimes but I'm probably deluding myself 21:40:12 What's the circle in religious Europe? 21:40:22 poland I think 21:40:59 hm. 21:41:55 -!- nisstyre has joined. 21:42:04 poland is like 250% catholic 21:42:08 Yes, Poland. they even had their own Pope ;) 21:44:47 I think the church had a pretty big role in the fall of communism there 21:46:24 it's funny how English got "Warsaw" from a name that's pronounced more like "varshava" 21:47:52 "Warsaw" is quite close to the german "Warschau". 21:48:12 int-e: if you visit the Wieliczka Salt Mine you can see a statue of said pope as a pillar of salt, 100 meters underground 21:48:16 http://www.tripadvisor.com/LocationPhotoDirectLink-g277819-d284943-i92455767-Wieliczka_Salt_Mine-Wieliczka_Lesser_Poland_Province_Southern_Poland.html 21:48:42 interesting. 21:48:47 it's funny how English got "Warsaw" from a name that's pronounced more like "varshava" 21:48:52 I guess he looked the wrong way? 21:48:59 have you ever wondered how the fuck deutschland became germany 21:49:09 yes and I looked it up at some point 21:49:15 but forgot 21:49:36 also Alemania 21:49:41 Well, the people are often called the "Germanen" in german. 21:51:18 Also https://de.wikipedia.org/wiki/Alemannen ... so it's not unreasonable that the name would stick. 21:51:35 It's much more reasonably than calling the native americans "indians". 21:51:49 yeah 21:51:58 well we all know that was just because columbus was a colossal idiot 21:52:13 I wouldn't go that far 21:52:24 He got quite a few things right, too. 21:52:34 he only set out because he got the size of the earth wrong 21:52:46 you know, that thing the ancient greeks measured accurately a millenium before 21:53:01 Yes, I know. 21:53:06 https://www.youtube.com/watch?v=13RhSc-DaOI 21:53:42 * kmc was looking for the bit that starts at 2:13, but it's all pretty amusing 21:55:49 how did the greeks measure it 21:56:05 trig 21:56:05 You've never heard the well story? 21:56:15 i forget most things i've ever heard 21:56:33 https://www.youtube.com/watch?v=G8cbIWMv0rI 21:56:34 not even trig actually 21:56:41 or just look up eratosthenes. 21:57:25 you find a point directly beneath the sun (hence the well), then walk a good way north, prop up a stick, measure the angle it makes with the sun from its shadow, and multiply 21:57:45 cool 21:57:55 they didn't know the speed of light though ;P 21:57:59 much cooler imo 21:58:20 the speed of light was first determined by staring at the moons of jupiter right 21:58:48 I like that the Haskell wiki section on the Sieve of Eratosthenes cites Nicomachus in the original Greek 21:58:52 (or used to) 21:59:36 -!- zzo38 has quit (Ping timeout: 240 seconds). 21:59:51 nice. 21:59:58 arg. I can't make out what he says after "assuming these truly are the Indies" 22:00:08 reminds me of following taocp cites and finding mystic jewish text 22:00:19 haha really 22:01:06 int-e, something along the lines "which, by the way, i've been meaning to talk to you about" 22:03:42 found one transcript that says "which is something else I'd quite like to talk to you about at some point". 22:03:46 tough 22:04:46 kmc: he gives http://en.wikipedia.org/wiki/Sefer_Yetzirah as having factorials 22:05:36 cool 22:05:56 -!- MoALTz has quit (Quit: Leaving). 22:06:30 also a bunch of dharmic religion stuff since they had to come up with those huge numbers somehow 22:22:29 I want to do an "Introduction to Category Theory for Programmers" 30-minute talk 22:22:43 Which means I need to PLAN SUCH A TALK 22:22:53 "here is a bunch of arrows, it is called a category, everything is a category, talk over" 22:23:02 computer science is the study of boxes and arrows 22:23:06 [i am bad a t talks] 22:23:50 sometimes the boxes are circular 22:24:08 they might have words and numbers inside them or not 22:26:19 `thanks HackEgo 22:26:20 Thanks, HackEgo. ThackEgo. 22:26:33 `run echo < bin/thanks 22:26:34 No output. 22:26:39 `cat bin/thanks 22:26:40 ​#!/usr/bin/perl \ $_ = (join " ", @ARGV) || `words`; s/^\s+|\s+$//g; print "Thanks, $_. "; if (/[aeiouyAEIOUY]/) { s/^[^aeiouyAEIOUY]*/Th/; } else { s/^./T/; } print "$_."; 22:49:03 <^v> does HackEgo have fishstacks? 22:58:47 -!- Ghoul_ has joined. 23:01:54 `thanks whacko 23:01:55 Thanks, whacko. Thacko. 23:06:34 `cat bin/` 23:06:35 exec bash -c "$1" 23:08:01 `fun fact 23:08:02 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: fun: not found 23:08:04 `? fun fact 23:08:05 fun fact 0 = 1 | fact n = n * fact (n - 1) 23:08:26 lol 23:08:38 is that actually a language? 23:08:46 ML I think 23:10:48 0 = 1, the funnest fact 23:14:34 applybot, raw:ML "fun fact 0 = 1 | fact n = n * fact (n - 1); map fact [0,1,2,3,4,5]" 23:14:41 val fact = fn: int -> int \ val it = [1, 1, 2, 6, 24, 120]: int list 23:15:03 applybot, help 23:15:03 Meta-commands: colour context help info load* restart shutdown* state timeout* undo unicode unload* \ Isabelle commands: apply by declare defer definition done find_theorems fun function lemma oops prefer primrec quickcheck term termination thm try0 typ unfolding using value 23:15:22 Oh god how many bots are there in this channel now 23:15:24 > 1 23:15:24 1 : Integer 23:15:25 1 23:15:55 i'd say about 10% 23:16:11 fungot: Count the bots, please. 23:16:11 fizzie: got a patch for volume 1. take horrible markup format rooted in history, then it is 23:16:43 That's right, fungot, the bots aren't very loud. 23:16:44 Jafet: methinks that should be quite simple using the ideas of the semantics of the code 23:18:48 -!- nooodl has quit (Quit: Ik ga weg). 23:22:41 -!- JesseH has quit (Ping timeout: 252 seconds). 23:39:05 -!- yorick has quit (Remote host closed the connection). 23:41:58 -!- JesseH has joined.