00:03:58 -!- oerjan has joined. 00:04:54 -!- jockstrap has changed nick to copumpkin. 00:07:42 hi 00:08:43 hi 00:08:54 I banned hagb4rd 00:08:55 oerjan: hi 00:09:00 i banned hagb4rd 00:09:15 err, via giving ops to people likely to kick/ban him/her 00:09:29 oerjan, hi 00:09:30 you want all the credit 00:09:35 i banned hagb4rd 00:09:36 first 00:09:47 i banned hagb4rd more thoroughly! 00:09:53 huh 00:10:01 it's ok to be confused, oerjan 00:10:48 because of his behaving like drunk? i suppose i should read the rest of the logs. 00:12:33 i do that all the time 00:12:44 but you have voice so it's ok 00:14:10 god, it's a good thing we didn't give hagb4rd voice 00:14:26 btw i think +v may cancel the +q part of +b 00:14:37 we could test this by banning kmc 00:14:38 in case you want to ban someone without kicking them 00:14:53 wouldn't want to be a part of a club that would have me as a member, etc. 00:44:16 -!- copumpkin has changed nick to MasterOfBronies. 00:45:07 -!- MasterOfBronies has changed nick to copumpkin. 00:47:00 -!- copumpkin has changed nick to TheMarquisOfTime. 00:48:44 -!- TheMarquisOfTime has changed nick to copumpkin. 00:55:25 `pastelogs Sgeo.*egg 00:56:13 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.16221 00:57:03 -!- ais523_ has joined. 00:58:31 -!- ais523 has quit (Disconnected by services). 00:58:32 -!- ais523_ has changed nick to ais523. 00:59:16 -!- FreeFull has quit (Ping timeout: 260 seconds). 00:59:51 -!- FreeFull has joined. 01:03:06 i banned hagb4rd 01:04:28 did he /msg anyone about his being banned 01:04:42 hagb4rd seems like the kind of person who would do that... 01:05:24 http://en.wikipedia.org/wiki/Khet_(game) 01:05:28 nooodl: yes, me 01:05:33 it's like portal chess except not shit 01:05:34 Didn't msg me at least 01:05:39 elliott: nice 01:05:54 I should figure out how to bring norns back from the dead 01:08:05 didn't msg me 01:08:29 he msged `^_^v 01:09:25 who's that 01:09:25 isn't it sshc you're meant to ping a lot 01:09:29 or whoever it was 01:09:47 i used to hate sshc but then it turned out he was actually an idiot which kind of spoilt it 01:09:58 so now i just go for the scattergun approach 01:10:10 that heroux, am i right 01:10:12 there are so many people in this channel who never talk 01:10:16 who's sshc 01:10:21 kmc: some person who never said anything 01:10:30 except once 01:10:33 when he was an idiot 01:10:34 which is the second-best way to attract Phantom_Hoover's ire after making a brainfuck derivative 01:10:41 yes 01:10:47 sshc is the dual of sshd hth 01:11:24 So, the brainfuck derivative that I'm making... 01:11:43 Want to use pipes to implement it, but not sure if that's the best way 01:11:55 Also, is there a single preferred 3-bit encoding for Brainfuck? 01:12:24 `^_^v, aloril, atehwa, conehead, dessos, Frooxius, ggherdov, heroux, hogeyui____, iamcal__, itsy, jix, rntz, rodgort`, sacje, samebchase, SingingBoyo, SirCmpwn, sprocklem, ssue__, TodPunk, tromp_, trout, yiyus, I hope you hear me you fucks. 01:12:25 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^_^v,: not found 01:12:39 I think Phantom_Hoover should be kicked for that. 01:12:43 Hasn't SirCmpwn spoken, or am I hallucinating? 01:12:53 you're hallucinating 01:12:56 And conehead sounds like it's someone else renamed 01:12:58 SirCmpwn has spoken quite a bit, yes. 01:12:59 eat more nuts 01:13:10 Hi? 01:13:17 Also, glogbot and glogbackup as far as I know have never spoken 01:13:30 conehead, have we known you by a different name, or only as conehead? 01:13:37 Only as conehead 01:13:39 `welcome conehead 01:13:41 conehead: 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.) 01:13:47 lmao thanks for the welcome for the third time d: 01:14:01 see 01:14:08 i get results 01:14:12 Phantom_Hoover: Why are you always so rude? You should be nicer to people. 01:14:33 go stick your head in a toilet shachaf 01:15:01 I'll stick my head in any kind of shachaf I like, thank you very much. 01:17:49 the best person to ping is variable / constant 01:18:06 no i like variable 01:18:19 `quote in.toilet 01:18:21 986) i'm not actually competent at hacking things ummmm kmc dont u mean `cracking' [tiny glider symbol with "hacker pride" written next to it in silkscreen] [head of a gnu] [tux penguin] [face shoved in toilet] 01:19:16 at least they picked the dumb phase of the glider for the hacker pride symbol 01:19:29 dumb phase? 01:19:41 the one what looks dumb 01:19:46 `run quote kmc | shuf 01:19:48 863) i bet a blog post complaining about ");});});" syntax in JavaScript and comparing it unfavorably to Lisp would get approximately one billion comments on hacker news but at what cost? your very soul, kmc! \ 856) it's kind of the multiocular O of countries, if you will \ 589) COCKS [...] truly cocks \ 838) `pastequotes kmc 01:20:37 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.28869 01:21:20 Oh, Liechtenstein. 01:21:26 I will *not*. hth 01:22:01 didn't 01:22:02 811) Can you vote for just the green party or rainbow party instead of both? nope, it is the same party That is the problem with political parties. 01:22:05 come after 01:22:08 821) i love how allegedly wine can run all of these different programs but the only one i can actually run is starcraft i think wine may secretly be a cleanroom reimplementation of starcraft 01:22:56 Nope. 01:23:00 esoteric/2012-11-06.txt:00:55:16: Can you vote for just the green party or rainbow party instead of both? 01:23:05 esoteric/2012-12-03.txt:02:06:11: i love how allegedly wine can run all of these different programs but the only one i can actually run is starcraft 01:23:13 weird 01:23:20 feels like it wasn't 7 months ago 01:23:52 kmc, it's great, isn't it 01:24:02 what is 01:24:27 the way that whether something works in wine is entirely independent of its status in winedb 01:24:51 imoe everything works in wine 01:25:05 my favourite was when i tried to get a torrented copy of deus ex to install, and it was erroring out 01:25:22 and the reaction i got from #winehq was basically 'fuck off pirate scum' 01:25:38 haha 01:26:02 there was definitely a bug / intentional feature (?) in deus ex which made it impossible to progress past the first mission if you'd used a nocd crack 01:26:23 i've encountered that 01:26:32 The Worms wiki links to that "You are a pirate" thing if you click the link for ... hmm, let me just find it 01:26:35 as i recall i may have encountered it in the steam version... 01:27:04 http://www.greenheartgames.com/2013/04/29/what-happens-when-pirates-play-a-game-development-simulator-and-then-go-bankrupt-because-of-piracy/ 01:27:08 http://worms2d.info/Troubleshooting_FAQ#I_downloaded_Worms_Armageddon_from_the_Internet_without_paying._Can_you_help_me.3F 01:27:34 those features are great because if there are any false positives the people trying to report them will just be treated like scum 01:27:37 so basically, win/win 01:27:58 it's always great to have an excuse to treat your users like scum 01:28:25 the wikipedia page for COINTELPRO is #3 on hacker news for some reason 01:28:35 i loved that article you linked because the guy has evidently never heard of subtlety 01:29:15 elliott: because it's topical to current events 01:29:22 kmc: but... 01:31:21 -!- sprocklem has quit (Remote host closed the connection). 01:31:47 -!- nooodl has quit (Quit: Leaving). 01:34:03 @yow 01:34:03 Alright, you!! Imitate a WOUNDED SEAL pleading for a PARKING SPACE!! 01:34:10 elliott: but... 01:35:25 i... 01:35:43 OOO II OOO OOOO IAA OO AAAAAA 01:35:50 kmc: but... 01:36:09 hi oerjan 01:36:10 "This went on for some time." 01:36:20 hi shachaf 01:36:21 how should i learn about linear algebra 01:36:31 just use the matrix hth 01:36:34 i bet y'all're "experts" 01:37:46 the only way to stop being an expert is to become a pert again 01:38:38 a pertinent issue 01:41:29 hello Phantom_Hoover why did you ping me 01:41:40 you weren't talking 01:41:48 made me suspicious 01:41:48 ok 01:41:55 i'll go back to not talking now 01:42:12 mm, just what you'd expect 01:45:59 -!- augur_ has joined. 01:46:37 -!- augur has quit (Ping timeout: 276 seconds). 01:48:55 sda sda1 sdb sdb1 sdc sdc1 sdd sdd1 sde sde1 sdf sdf1 sdg sdg1 sdh sdh1 sdi sdi1 sdj sdj1 sdk sdk1 sdl sdl1 sdm sdm1 sdn sdn1 sdo sdo1 sdp sdp1 <-- are these assembly commands 01:49:47 no 01:49:52 they are block devices 01:50:01 oh right 01:50:02 i have sdq sdq1 now as well 01:50:11 what happens when you reach sdz 01:50:19 nobody knows 01:50:31 kmc: what are you doing 01:50:43 -!- SingingBoyo has quit (Ping timeout: 240 seconds). 01:50:55 He likes mounting? 01:53:47 hilarious 01:54:01 What is the computational class of sequent calculus? 01:54:47 well you implemented turing machines using one 01:56:20 Yes, at least I think I have; it isn't reviewed by someone else, in order to check to make sure. Also, that doesn't mean in case there is some higher computational class it has, although I don't think it is more powerful than Turing-complete, but I might be wrong. 01:56:27 how many of those correspond to actual physical disks? 01:56:52 all of them 01:57:12 Except for the ones that end with digits. 01:57:24 those correspond to subsets of disks 01:57:52 Do you have a lot of disks in your computer? If so, why? Are some of them connection for CF card, SD card, CD, DVD, Blu-ray, HD-DVD, 3.5" floppy disk, 5.25" floppy disk, 8" floppy disk, Quick Disk, etc? 01:58:11 i have a fileserver with 12 hard drives, 2 SSDs for boot, and I also have three USB hard drives connected for various purposes 01:58:20 none of them is Quick Disk 01:58:36 realisation: I can, with a decent success rate, tell which email account I'm receiving spam on by its title 01:58:51 nethack4.org mostly gets SEO spammers 01:59:13 zzo38: I don't own a 5.25" floppy drive, but I do possess the connections for one. 01:59:20 (ofc, if you want to hire a good SEO company, simply do a web search for "search engine optimization" and pick the first company in the results…) 01:59:39 pikhq_: I have a USB 3.5" floppy drive, and have used it on occasion 01:59:57 I have an internal 3.5" drive still. I've not used it in years. 02:00:01 The floppy drive in my computer is broken so I connect an external floppy drive when I need to use it. 02:00:03 -!- augur_ has quit (Ping timeout: 240 seconds). 02:00:07 I get more use out of my CD burner. Which is older. 02:00:16 (ofc, if you want to hire a good SEO company, simply do a web search for "search engine optimization" and pick the first company in the results…) 02:00:23 i tried this, all the results were localised 02:00:30 use duckduckgo then 02:00:35 also, that's a weird encoding fail 02:00:38 idk about you but i'm not especially eager to get coventrian search results 02:00:39 I write an ellipsis 02:00:43 er 02:00:50 *coventrian search engine companies 02:00:56 oh you know what i mean 02:00:59 and your client turns it into some sort of heterosexuality symbol 02:01:04 also, you live in Coventry? 02:01:11 the ellipsis looks fine to me... 02:01:18 elliott: in Phantom_Hoover's quote of me 02:01:24 ais523, yes, that's where Warwick is 02:01:30 ais523: They look like they're both the same codepoints to me. 02:01:32 I thought you were in Scotland still 02:01:33 pikhq_: hmm 02:01:39 I think it's your system that's jacking up. 02:01:39 in that case my client has come up with an entirely new failure mode 02:02:03 Oh, no, it's not your client. 02:02:16 and by "SSDs for boot" I mean the whole root filesystem is on those as well 02:02:38 it will boot unattended but it doesn't have the crypto keys for the big disk array until i log in and provide it 02:03:52 Looking at the logs, PhantomHoover emitted 0x85 where you emitted 0xe2 0x80 0xa6. 02:04:13 ? 02:04:44 this is probably a windows thing 02:04:50 i should start booting into arch again 02:04:57 winblows 02:04:57 That is to say, Phantom_Hoover wrote out Windows-1252 instead of UTF-8. 02:05:01 Using Xchat? 02:05:06 yes 02:05:07 oh for '…' 02:05:12 yeah xchat has broken unicode settings by default 02:05:12 Switch your encoding to "Unicode" instead of "IRC". 02:05:17 switch it to utf-8 you mean? 02:05:22 Yes. 02:05:23 i don't think there's a "unicode" encoding in the list 02:05:27 `run printf '\xe2\x80\xa6' | iconv -t cp1252 | hd 02:05:29 00000000 85 |.| \ 00000001 02:05:42 (how xchat does unicode by default: try to stuff it into whatever single-byte thing windows uses, and then use utf-8 if it fails) 02:05:43 "IRC" encoding is "if the character exists in Windows-1252 write it out as Windows-1252, otherwise write UTF-8". 02:05:48 Which is utterly broken. 02:05:48 (because mirc) 02:06:08 i'm fine with that for decoding, but not for encoding 02:06:15 -!- augur has joined. 02:06:18 lol postel's law 02:06:25 You shouldn't use that encoding. Use a proper encoding, such as Windows-1252 or UTF-8, not both of them together! 02:06:31 i can't actually find that setting 02:06:35 kmc: Oh, http://www.scp-wiki.net/scp-055 is the thing I was thinking of. 02:06:42 Yes. It makes perfect sense to fall *back* to Windows-1252 when decoding... 02:06:54 shachaf: when were you thinking of it 02:06:55 shachaf: since when do you like anything the other sam hughes does 02:07:04 kmc: well you see he forgot about it shortly after (-: 02:07:15 As it's horribly unlikely for something to be valid UTF-8 but intended as Windows-1252. 02:07:16 Or just use ASCII if you don't need any other encodings. 02:07:17 kmc: When you were here. 02:07:43 zzo38: Ah, UCS-7/8ths. 02:07:50 I hate both my dad and step-mom 02:07:52 Yes, I will gladly consider that a sane encoding. 02:08:01 pikhq: Maybe, but still you shouldn't use both encodings together; it is still possible and it is conflicting. 02:08:10 zzo38: Oh, certainly. 02:08:19 Sgeo: why? 02:08:44 zzo38: By the way, "UCS-7/8ths" is just a snarky reference to ASCII, as 7 bits of Unicode is equal to ASCII. 02:09:02 Likewise UCS-1 a snarky reference to Latin-1. 02:09:10 There are some characters that IRC messages cannot contain; but, if you are using the UTF-8 then it is possible to use the overlong encodings of them. 02:09:51 pikhq_: Well, I suppose, anyways they are have that compatibility which at least mean it works, so you can write one ASCII program and read by UTF-8 or vice-versa as long as only characters in ASCII range are being used. 02:10:00 My step-mom is utterly against me dating non-Jewish girls. I am currently dating a non-Jewish girl. My dad wants to keep this hidden from my step-mom for "a while longer". I already dislike my step-mother for other reasons, having to avoid the subject/lie etc. because my dad's not willing to have her get angry doesn't help things 02:10:07 Unfortunately they don't always do that, but they should! 02:10:56 Sgeo: Have you considered asking her why she wants every little boy to receive genital mutilation. 02:10:59 Sgeo, so wait is she actually all 1930s southern about it 02:11:02 arent you independent of -- pikhqqqqqqq 02:11:07 -- your stepmom and father now anyway 02:11:20 elliott, hahahahahaha I wish 02:11:23 pikhq_..... 02:12:14 Phantom_Hoover: `What? 02:12:16 Sgeo, can you make people jewish 02:12:18 Sgeo: imo that would be a good thing for you 02:12:25 pikhq 02:13:05 pikhq............................ 02:13:18 何ã ï¼Ÿ 02:13:33 ä½•ã  02:13:33 pikhq_, ...what's with the weird question mark? 02:13:47 Sgeo: Full-width question mark. 02:14:44 ?？ 02:14:44 Unknown command, try @list 02:15:00 But... I'm using a monospaced font.... I think 02:15:17 still a different character 02:15:37 ANYWAY we were talking about your awful family before pikhq.... 02:15:51 Phantom_Hoover: Ah. Yes. 02:15:59 Still sucks. 02:16:23 Though less so as I am independent-ish and intending to stay that way. 02:16:44 pik 02:16:46 h 02:16:48 q 02:17:10 what's going on 02:19:01 just pikhq being pikhq 02:19:03 y'know 02:21:19 I'm good at it. 02:21:23 Indeed, the best. 02:21:30 :☺) 02:22:24 Sgeo: even in fixed width font terminals, some characters take up one cell and some take up two 02:22:46 you can't reasonably draw CJK characters in the narrow space used for a single Latin letter 02:23:19 two adjacent cells gives you a square area that is much more reasonable 02:23:26 Sgeo: shachaf: Phantom_Hoover: I speak here infrequently 02:23:40 in some legacy encodings, two-cell characters were all two bytes and one-cell characters were one byte 02:23:47 yesyesyes we established that already 02:23:55 did Sgeo though 02:23:56 Hmm. Guess I shouldn't have taken that anti-hallucinogenic that is lethal if there are in fact no hallucinations. 02:24:01 what 02:24:59 (re: me wondering if I was hallucinating and Phantom_Hoover saying I was, re: whether or not SirCmpwn talks also: my failure at humor) 02:25:18 I made the brainfuck IRC bot 02:25:19 that's about it 02:25:28 S 02:25:30 g 02:25:32 e 02:25:34 o 02:25:41 you know what, that's it 02:25:50 it's ok Phantom_Hoover 02:25:52 shhhh 02:25:58 i don't know if i can keep this escalation up 02:26:07 shhhhhhhhhh 02:31:14 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:33:35 rip 02:34:36 == 02:35:16 copumpkin: how should i learn about linear algebra 02:35:25 read nielsen and chuang 02:36:07 :t Identity 02:36:07 a -> Identity a 02:36:28 Someone posts in the AW group asking for help getting the SDK working with Python... so I show them my code... eventually they ask "What is self?" 02:36:35 > Identity undefined 02:36:38 Identity {runIdentity = *Exception: Prelude.undefined 02:36:58 Sgeo: A name. hth 02:37:00 that show instance is derived in L.hs 02:37:07 aha 02:37:21 Sgeo: teach them to call it "this" just to be different hth 02:38:28 kmc: Quantum Computation and Quantum Information? 02:38:29 I was hoping not to have to teach them Python 02:39:09 > undefined :: Char 02:39:09 yeah 02:39:11 *Exception: Prelude.undefined 02:39:14 only half serious suggestion 02:39:18 it's a good book though 02:39:30 and it has an intro to linalg (and an intro to CS) and it's supposed to be kind of self contained 02:39:41 but it may not be the best way....... 02:42:11 > undefined :: (Int, Int) 02:42:12 *Exception: Prelude.undefined 02:42:26 > undefined :: (Int, Int, Int) 02:42:27 *Exception: Prelude.undefined 02:55:59 The idea behind `IO` is that it contaminates everything it touches 02:58:03 In a similar way as that idea about contamination contaminates everything it touches? 02:58:47 shachaf: v_v 02:58:55 why are you repeating wrong thinfgs 02:58:58 without even quoting them 02:59:07 kmc: picked up the habit from elliott hth 02:59:16 kmc: it's so you'll join #haskell in a desperate attempt to avoid it 02:59:23 i'm not that stupid 02:59:34 kmc: what can i say, shachaf doesn't think much of you 02:59:37 :'( 02:59:43 shachafffffffffff 02:59:46 elliott: apparently i think even less of you 02:59:52 kmc are you drunk 03:00:03 no 03:00:10 kmc: are you calling all the cool people in #haskell stupid 03:00:15 i've had like... two beers all day 03:00:24 :'( 03:00:34 copumpkin: it's ok kmc is just drunk 03:00:45 false 03:00:46 ⊥ 03:00:53 haha kmc said bum 03:01:00 there should be a fullwidth ⊥, it would look so much better, hth 03:01:17 there should be a combining character that makes any character fullwidth TAKE THAT 03:01:17 Ë” 03:01:20 kmc: what a coincidence, i've had 0 beers all day 03:01:29 0±2 beers 03:01:31 ⟘ 03:01:34 27D8 LARGE UP TACK [⟘] 03:01:38 kmc: i didn't have -2 beers 03:01:45 2AE0 SHORT UP TACK [â« ] 03:01:48 so many tacks 03:01:53 2AE9 SHORT UP TACK ABOVE SHORT DOWN TACK [â«©] 03:01:57 2AEB DOUBLE UP TACK [â««] 03:02:23 elliott: your domain theory exercise of the day is to come up with a meaning for all these symbols hth 03:03:04 kmc, zero-width space + fullwidth combining character 03:03:25 infinite loop 03:04:23 My experience is that the fastest way to learn category is to author Haskell libraries 03:04:43 The reason is that the art of good API design is very closely intertwined with category theory 03:04:46 :'( 03:09:40 -!- Bike has joined. 03:16:16 would be nice to have any kind of detail on that claim 03:16:37 you could join #haskell and ask for it 03:16:47 kmc: heh heh 03:17:47 if a statement matches your presupposed notions and your general 'everyone else is dumb' attitude then it must be true 03:18:41 so i just wanted to say that the McAllister Hall here is for interior decorating and English language intensive students 03:18:51 I think the overall state of Haskell API design is not too great 03:18:59 and I never once came across an API design guideline document 03:19:13 maybe this category theory expert could write one instead of hoarding that delicious knowledge 03:20:11 that's not 'the #haskell spirit' 03:21:57 man, kmc is super bitter :P 03:22:05 every few hours I see him making a snarky remark about #haskell 03:22:10 like a fine india pale ale 03:22:15 :) 03:22:21 it's not every few hours ;P 03:22:28 anyway shachaf brought it up 03:22:29 fine, every hour or so 03:22:32 :D 03:22:33 elliott brought it up 03:22:38 shachaf provoked me 03:22:53 HAI PPL #HASKELL IS SUPER AWESOME 03:22:56 ANYONE DISAGREE? 03:23:18 i wish #haskell was a thousand clones of copumpkin 03:23:21 maybe then it would be good 03:23:33 probably a lot quieter, given how much I speak in there 03:23:36 note: i do not wish the same thing about #haskell-blah 03:23:42 lol 03:23:44 why not? 03:23:55 It would be all copumpkin links. 03:24:04 you don't like my links :( 03:24:06 copumpkin_jokes.pdf 03:24:13 what if we /invite'd kmc to #haskell 03:24:23 perhaps he has autojoin on invite set 03:24:24 that'd be fun 03:24:27 don't think so 03:24:28 what if kmc /invited'd #haskell to us? 03:24:30 quick quick get him before he turns it off 03:24:37 is that a default setting in irssi 03:24:42 no 03:24:56 guess not 03:25:01 copumpkin: imo there's one way to find out 03:25:03 welp 03:25:04 haha 03:25:06 you actually did it 03:25:13 #haskell ops so professional 03:25:14 yeah 03:25:18 epic fail :( 03:25:39 ok how about this, we ban everyone but kmc 03:25:44 kmc: you should join 03:25:47 then it would be a monic win 03:25:48 hth 03:25:48 ###kmc 03:26:02 oh god 03:26:02 the channel for discussing a #haskell with kmc in it 03:26:11 I thought I was the only one to make that pun 03:26:15 :( 03:26:18 idgi 03:26:21 you overestimate shachaf 03:26:40 at least I can see the effect it has on one's interlocutors 03:26:51 copumpkin misunderestimated me 03:26:52 new plan: give kmc ops and then he'll feel obligated to join 03:26:57 oh hagbard got banned huh 03:27:05 elliott: imo do it 03:27:08 hth 03:27:11 do i even have permissions to add ops 03:27:13 and if so why 03:27:13 you forgot hth, hth 03:27:19 do you have permissions to /cs clear users 03:27:25 don't remind me 03:27:29 No 03:27:52 elliott: yes because glguy trusts you to be a reasonable op hth 03:27:57 "glguy's fatal mistake" 03:27:58 how ridiculous 03:28:00 wait he called phantom_hoover "hoovie" 03:28:38 kmc: if you were an op would you rule #haskell with an iron fist 03:28:45 <+kmc> would be nice to have any kind of detail on that claim <-- just ask edwardk and tekmo hth 03:29:46 does edwardk agree with tekmo 03:30:09 about what 03:33:55 kmc: well it's like part of the underlying philosophy of both lens and pipes, so... 03:34:48 well, maybe pipes more than lens 03:35:25 maybe there should be a library called "raven" and a tool or something called "writing desk" 03:35:47 -!- sprocklem has joined. 03:36:09 lens's philosophy is hardly categorical 03:36:59 I know the kings of England, and I quote the fights historical / From Marathon to Waterloo, in order categorical 03:37:36 one time i knew the lyrics to that but no longer :'( 03:37:59 if people keep quoting it maybe i'll know them soon 03:39:54 hmm i wasn't tired at all like half an hour ago 03:39:55 and now i'm tired 03:40:02 go to sleep hth 03:40:03 and i leaned on my arm funny and now it hurts 03:40:04 drugz 03:40:11 don't lean on your arm funny 03:40:12 idiot 03:40:13 You'll wake up in an hour and a half and feel really awful. 03:40:27 Bike: but it was comfortable at the time 03:40:28 Bike: do you gotta insult people like that :'( 03:40:57 elliott: is it like crawling with ants twnh 03:41:00 Bike: i like the insults, keep em comin 03:41:31 don't lean on your arm funny 03:41:32 elliott 03:42:00 but i like it 03:42:08 stop liking it, liker 03:42:24 im crying 03:44:42 Should I keep reading that book or work on bringing creatures back from the dead? 03:44:58 probably the book because you don't mean real animals because you suck 03:45:51 Shyamalan: The book isn't real either 03:46:00 [It's real... well, ebooks count as real, right?] 03:46:06 no 03:46:10 sorry (not sorry) 03:51:14 http://i.imgur.com/zT3jWJG.png probably people have seen this, but. 03:53:00 me 03:53:12 why are you egging us on with that fowl book 03:53:13 http://michaelnielsen.org/polymath1/index.php?title=Bounded_gaps_between_primes wowie, watch that shit drop 03:53:25 Bike: i do 03:53:39 hi 03:54:06 ooh big leap today, although still tentative 03:54:22 Bike: is that real 03:54:34 the page is real 03:55:06 We have not been able to recognize your IP address as one of the subscribers to the Annals of Mathematics. Please note that online access to PDF copies of articles is by subscription only. 03:55:10 fuck u 03:55:28 damn this progress is beastly 03:55:35 like "fuck it, time to solve this already" 03:55:40 There are all kinds of discrete math texts out there. Discrete Mathematics with Applications, Discrete Mathematics with Algorithms, Discrete Mathematics with Graph Theory. The list goes on. And yet somehow people had neglected (until now!) to publish a textbook presenting discrete mathematics with ducks. This book fills that gap. 03:59:11 If that's real, I should read it. I read the cartoon guide to statistics when I was a kid 04:00:53 wait, some of my answers above were about the prime thing, not the ducks hth 04:02:39 Discrete Mathematics with No Applications 04:06:18 Fun doesn't count as an application? 04:06:28 Maybe they could make math boring somehow... 04:07:01 is fun an applicative 04:08:38 > let x = error ('q':x) in x 04:08:39 "*Exception: q*Exception: q*Exception: q*Exception: q*Exception: q*Exceptio... 04:09:02 > let foo s = error (s ++ foo ('q':s)) in foo "" 04:09:04 "*Exception: q*Exception: qq*Exception: qqq*Exception: qqqq*Exception: qqqq... 04:09:08 cool 04:09:35 > let foo s = error (s ++ foo (error 'q':s)) in foo "" 04:09:36 Couldn't match expected type `[GHC.Types.Char]' 04:09:36 with actual ty... 04:09:42 > let foo s = error (s ++ foo (error "q":s)) in foo "" 04:09:43 "*Exception: *Exception: q 04:11:51 > let x = error x in x 04:11:52 "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *E... 04:12:47 > fix error 04:12:48 "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *E... 04:12:54 right 04:13:05 > fix show 04:13:06 "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\... 04:14:22 > fix (show . error) -- that should interleave them, right? 04:14:23 "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *E... 04:14:30 sillymbdabot 04:14:52 > fix (error . show) 04:14:54 *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex... 04:14:58 sux 04:16:05 * copumpkin slaps shachaf hth 04:17:03 -!- TeruFSX has joined. 04:19:11 kmc: just think how much more insightful #haskell must be compared to this 04:20:11 i am the anti-insight 04:31:39 > error "test\nho\nhi" 04:31:40 *Exception: test 04:31:41 ho 04:31:41 hi 04:36:59 -!- jconn has joined. 04:43:37 shachaf: oh I found a place to live in SF 04:43:46 Which assemblers have an emulator built-in which can be used as a postprocessor and/or to make macros? 04:43:47 well deegan 04:43:50 where 04:44:12 in the Mission, 26th and Bryant or so 04:44:48 good place 04:44:58 when are you moving 04:45:07 i will officially be one of those overpaid software jerks in the mission 04:45:24 oh no are you going to turn into a jerk 04:45:32 can you just be a jerk in the full moon or something 04:46:00 like copumpkin 04:46:01 probably I will arrive like Friday the 28th or so 04:46:07 does copumpkin turn into a pumpkin 04:46:09 how am I a jerk? 04:46:15 no, just the full moon part 04:46:23 oh 04:46:26 what do I turn into? 04:46:35 a pumpkin 04:46:40 oh 04:46:41 or is that at midnight? 04:46:50 when do I switch back? 04:46:51 then he turns back into a copumpkin 04:47:00 Maybe the full moon time is at midnight, though. 04:47:03 look i don't know how it works 04:47:34 I have a software "Astrolog" to calculate precisely the phase of moon and even the distance of moon. 04:48:32 aha let me look closer 04:48:48 (wong wrindow) 05:01:11 -!- Bike has quit (Quit: Reconnecting). 05:01:25 -!- Bike has joined. 05:01:30 `thanks wi-fi 05:01:32 Thanks, wi-fi. Thi-fi. 05:01:39 `thanks sci-fi 05:01:40 Thanks, sci-fi. Thi-fi. 05:02:02 `thanks hi-fi 05:02:04 Thanks, hi-fi. Thi-fi. 05:02:23 wait a mo 05:02:26 `thanks ants 05:02:27 Thanks, ants. Thants. 05:02:29 ok good. 05:02:39 `thanks Hanks 05:02:41 Thanks, Hanks. Thanks. 05:03:43 `thanks bird 05:03:44 Thanks, bird. Third. 05:03:45 > let (x) = 3 in x 05:03:59 3 05:03:59 NOW WHAT 05:04:02 `thanks tree 05:04:04 Thanks, tree. Thee. 05:04:08 shouldn't that be three 05:04:09 imo yes 05:04:38 > let ø=1 in ø 05:04:40 1 05:05:11 > let x £ y = x + y in 1 £ 2 05:05:13 3 05:05:21 > '£' 05:05:22 '\163' 05:07:01 `thanks Thor 05:07:03 Thanks, Thor. Thor. 05:07:38 `thanks geology 05:07:40 Thanks, geology. Theology. 05:08:29 Will you review my sequent calculus for Turing machine and for Sokoban at some time? 05:08:31 `paste bin/thanks 05:08:33 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/thanks 05:08:46 I want to know if you found a mistake, please! 05:09:13 zzo38: Who, me? 05:09:21 `thanks consonants 05:09:23 Thanks, consonants. Thonsonants. 05:09:24 Anyone who does, such as, possibly you! 05:09:39 `thanks Sgeo 05:09:39 `thanks zzz 05:09:40 Thanks, Sgeo. Theo. 05:09:41 Thanks, zzz. Tzz. 05:10:00 `thanks AAA 05:10:02 Thanks, AAA. TAA. 05:10:03 `thanks Tzetze 05:10:04 Thanks, Tzetze. Thetze. 05:14:09 -!- SingingBoyo has joined. 05:30:12 -!- L8D has joined. 05:30:15 :) 05:30:18 Just joined the wiki 05:30:30 I made an entry for my language 05:30:31 Delvs 05:46:38 guess i'll check it out 05:46:47 thanks...I guess 05:47:09 hm ph doesn't seem to be around. i think he'd like it 05:47:38 * oerjan swats mnoqy -----### 05:48:19 what are you suggesting here, oerjan!! 05:48:46 +++++ +++++ [ > +++++ +++++ < - ] > ++++ . + > . 05:50:18 ^bf +++++ +++++ [ > +++++ +++++ < - ] > ++++ . + > . 05:50:18 h 05:50:30 H indeed. 05:51:10 +++++ +++++ [ > +++++ +++++ < - ] > ++++ . + . > . 05:51:11 oops 05:51:25 Was typing with one hand... 05:51:53 ;>;<[>[>+>+<<-]>[<+>-]<<-]>>>: 05:52:32 ^bf ;>;<[>[>+>+<<-]>[<+>-]<<-]>>>: 05:52:46 Oh wait... 05:52:56 ^bf +++++ +++++ [ > +++++ +++++ < - ] > ++++ . + . > . 05:52:56 hi 05:53:47 fungot: Well hi to yourself, too. 05:53:47 fizzie: " eat up" values... first it's a number, a meaningful operator. 05:54:25 Hey! Some functions are numbers too! 05:54:51 So yes, numbers are meaningful operators 05:55:12 hi 05:56:23 wh 05:56:31 yes 05:56:49 What other languages can fungot do? 05:56:49 L8D: oh. when was this exactly? 05:57:08 fungot: 5 past 10 05:57:08 L8D: found out the truth from the source then :s) 05:57:46 fungot: :s/)/\/source\/g 05:57:47 L8D: but one is actually putting the code in compile-time would be not be/ not be 05:58:47 fungot ? fungot.brain = true : fungot.brain = false; 05:58:48 L8D: well i need to take another cue from stephenson and use nlp for disciplinary and learning purposes. it was the same guy as in fnord fnord 05:59:43 wat 06:01:16 Just underload. 06:01:18 ^source 06:01:18 http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 06:01:53 Nice, befunge 06:02:41 ^underload (0)S((0)(1))(~:^:S*a~^~*a*~:^):^ 06:03:06 ^ul (0)S((0)(1))(~:^:S*a~^~*a*~:^):^ 06:03:06 011010011001011010010110011010011001011001101001011010011001011010010110011010010110100110010110011010011001011010010110011010011001011001101001011010011001011001101001100101101001011001101001011010011001011010010110011010011001011001101001011010011001011010010110011010010110100110010110011010011001011010010110011010010110 ...too much output! 06:03:17 (It goes for short commands.) 06:03:21 ^ul (()(*))(~:^:S*a~^a~!~*~:(/)S^):^ 06:03:22 */*/**/***/*****/********/*************/*********************/**********************************/*******************************************************/*****************************************************************************************/********************************************************************************* ...too much output! 06:03:29 Of course for serious business, there's always 06:03:32 !help languages 06:03:32 ​languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh. 06:04:03 !help 06:04:03 ​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 06:04:14 !c printf("asdf"); 06:04:18 asdf 06:05:13 `run \? HackEgo # and for even more serious things... 06:05:15 HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. 06:05:48 mnoqy: hang on 06:05:56 mnoqy: this is a derivitave 06:05:59 not a derivative 06:06:03 so it's all right 06:06:50 oh ok 06:07:16 fizzie: "`run \?"... 06:07:50 elliott: what's the matter 06:07:57 elliott: I wanted a comment. :/ 06:08:23 you're fine fizzie 06:08:26 comments are fine 06:09:12 Okay, I guess you can also type anything after `help itself. 06:11:28 -!- conehead has quit (Quit: Computer has gone to sleep.). 06:11:47 `run wget http://www.muppetlabs.com/~breadbox/software/tiny/bf.asm.txt 06:11:49 ​--2013-06-16 06:11:49-- http://www.muppetlabs.com/~breadbox/software/tiny/bf.asm.txt \ Connecting to 127.0.0.1:3128... connected. \ Proxy request sent, awaiting response... 403 Forbidden \ 2013-06-16 06:11:49 ERROR 403: Forbidden. 06:12:17 lol 06:12:22 There's a very small whitelist of things accessible from inside; but you can use the `fetch command. 06:12:25 `run vim 06:12:42 `fetch http://www.muppetlabs.com/~breadbox/software/tiny/bf.asm.txt 06:13:28 Vim: Warning: Output is not to a terminal \ [1;24r[?25h[?8c[?25h[?0c[27m[24m[0m[H[J[?25l[?1c[2;1H[1m[34m~ [3;1H~ [4;1H~ 06:13:29 2013-06-16 06:13:28 URL:http://www.muppetlabs.com/~breadbox/software/tiny/bf.asm.txt [9128/9128] -> "bf.asm.txt" [1] 06:13:46 `killall vim 06:13:47 vim: no process found 06:14:05 `nasm -f bin -o bfc -f bf.asm.txt 06:14:07 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: nasm: not found 06:14:16 `yasm -f bin -o bfc -f bf.asm.txt 06:14:18 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: yasm: not found 06:14:22 :( 06:14:37 Doesn't even have an assemblerr 06:14:42 `gcc 06:14:43 gcc: no input files 06:14:43 Sure does. 06:14:49 what? 06:14:51 'as' should be enough for everyone. 06:15:06 `as --version 06:15:07 `as -f bin -o bfc -f bf.asm.txt 06:15:07 GNU assembler (GNU Binutils for Debian) 2.20.1-system.20100303 \ Copyright 2009 Free Software Foundation, Inc. \ This program is free software; you may redistribute it under the terms of \ the GNU General Public License version 3 or later. \ This program has absolutely no warranty. \ This assembler was configured for a target of `x86_64-linux-gnu'. 06:15:09 as: unrecognized option '- bin -o bfc -f bf.asm.txt' 06:15:20 Of course it won't assemble *that*; it's GNU as. 06:15:30 oh 06:15:46 `git --version 06:15:48 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: git: not found 06:16:15 `run hg --version # also opinionated when it comes to version control 06:16:16 Mercurial Distributed SCM (version 1.6.4) \ \ Copyright (C) 2005-2010 Matt Mackall and others \ This is free software; see the source for copying conditions. There is NO \ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 06:16:45 `fetch http://github.com/L8D/delvs/archive/master.tar.gz 06:16:50 2013-06-16 06:16:49 URL:https://codeload.github.com/L8D/delvs/tar.gz/master [4026/4026] -> "master.tar.gz" [1] 06:17:04 -!- sprocklem has quit (Remote host closed the connection). 06:17:09 `tar zxf master.tar.gz 06:17:11 tar: Old option `f' requires an argument. \ Try `tar --help' or `tar --usage' for more information. 06:17:21 `tar xf master.tar.gz 06:17:22 tar: Old option `f' requires an argument. \ Try `tar --help' or `tar --usage' for more information. 06:17:27 You need to `run things that you want to have multiple arguments. 06:17:27 wat 06:17:33 oh 06:17:38 `run tar xf master.tar.gz 06:17:41 No output. 06:17:46 `ls 06:17:48 ​‮ \ bf.asm.txt \ bin \ canary \ delvs-master \ etc \ factor \ hbDf \ hello \ hello.c \ ibin \ interps \ karma \ lib \ master.tar.gz \ maze \ maze.c \ paste \ pref \ q \ quines \ quotes \ raw.php?i=uwbmWGSz \ share \ src \ test \ Test \ testbot \ test.hi \ Test.hi \ test.hs \ Test.hs \ test.o \ Test.o \ uk \ uk.1 \ wisdom 06:17:55 (Plain `tar xf master.tar.gz is akin to `run tar 'xf master.tar.gz'.) 06:18:17 `run rm bf.asm.txt master.tar.gz 06:18:21 No output. 06:18:28 `cd delvs-master 06:18:30 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: cd: not found 06:18:42 ????? 06:18:51 `cat test.hs 06:18:52 import Data.Maybe (catMaybes) \ import Data.List (group, sort, stripPrefix) \ main = mapM_ putStrLn . map (\s -> head s ++ " occurs->" ++ show (length s)) . group . sort . catMaybes . map (stripPrefix "username:" . (!!2) . words) . lines =<< getContents 06:19:05 There's no shell involved for plain `command. And there's no persistence either, so `run cd something won't be any more useful. 06:19:35 `run cd delvs-master;make 06:19:37 gcc -Wall -std=c11 -Werror main.c -o main.o \ cc1: error: unrecognized command line option "-std=c11" \ make: *** [objects] Error 1 06:20:01 :rageface: 06:20:11 `run rm -rf delvs-master 06:20:14 No output. 06:20:23 `ls 06:20:25 ​‮ \ bin \ canary \ etc \ factor \ hbDf \ hello \ hello.c \ ibin \ interps \ karma \ lib \ maze \ maze.c \ paste \ pref \ q \ quines \ quotes \ raw.php?i=uwbmWGSz \ share \ src \ test \ Test \ testbot \ test.hi \ Test.hi \ test.hs \ Test.hs \ test.o \ Test.o \ uk \ uk.1 \ wisdom 06:20:27 Gregor: YOU HAVE COMPLAINTS 06:20:32 It's not the future yet. 06:20:38 `run ls 06:20:40 ​‮ \ bin \ canary \ etc \ factor \ hbDf \ hello \ hello.c \ ibin \ interps \ karma \ lib \ maze \ maze.c \ paste \ pref \ q \ quines \ quotes \ raw.php?i=uwbmWGSz \ share \ src \ test \ Test \ testbot \ test.hi \ Test.hi \ test.hs \ Test.hs \ test.o \ Test.o \ uk \ uk.1 \ wisdom 06:20:44 Good... 06:20:59 Gregor: GIVE HackEgo GCC 06:21:06 It has a GCC. 06:21:11 UPDATE IT 06:21:25 It doesn't have god damn c11 06:21:31 that was 2 years ago!!!!! 06:22:02 i think Gregor is rather absent 06:22:19 idle for 2 days 7 hours 06:22:46 rip 06:22:52 thankfully hackego was spared a brainfuck derivative interpreter 06:23:38 a fate worse than death 06:25:33 FWIW, there doesn't seem to be anything in the code that wouldn't just work with -std=c99. 06:25:37 `run ./delvs hi-bool.bf 06:25:39 Hello World! 06:25:42 YES 06:25:48 `cat hi-bool.bf 06:25:49 01001000 H \ "'""'""".> \ 01100101 e \ "''""'"'.> \ 01101100 l \ "''"''"".> \ 01101100 l \ "''"''"".> \ 01101111 o \ "''"''''.> \ 00100000 \ ""'""""".> \ 01010111 W \ "'"'"'''.> \ 01101111 o \ "''"''''.> \ 01110010 r \ "'''""'".> \ 01101100 l \ "''"''"".> \ 01100100 d \ "''""'"".> \ 00100001 \ ""'""""'.> \ 00001010 \ """"'"'".> 06:26:20 how unfortunate 06:26:25 lol 06:26:52 i guess hackego wasn't spared 06:26:53 rip 06:26:53 What's wrong with a brainfuck derivative interpreter besides abundance? 06:27:33 wtf is this 06:27:42 Is what? 06:27:54 that code 06:27:57 Delvs 06:28:12 My Brainfuck-derivative 06:28:36 It's pronounced /Dell-viss/ 06:28:40 it doesn't look like brainfuck at all 06:29:10 Well, that's the boolean version of hello world 06:29:39 which is what i cannot read 06:29:56 `run cp delvs-master/samples/multiply.bf . 06:29:56 The numbers and letters are presumably just comments. 06:29:58 how does it translate to "normal" delvs 06:30:00 No output. 06:30:14 `cat multiply.bf 06:30:16 ​;>; \ < [ \ > [ \ > + \ > + \ << - \ ] \ > [ \ < + \ > - \ ] \ << - \ ] \ >>> : 06:30:46 `run echo 5 5 | ./delvs multiply.bf 06:30:48 25 06:30:49 (For the record, the interpreter has an off-by-one problem.) 06:31:03 fizzie: In the end of loops? 06:31:16 What do you mean? 06:31:16 No; in the size of file. 06:31:27 The file contents as a string take size+1 bytes, not size. 06:31:52 Cf. http://sprunge.us/DcLW 06:32:48 Do you have the hi-bool.bf in your directory? 06:32:53 Yes. 06:32:55 23:26:54 What's wrong with a brainfuck derivative interpreter besides abundance? 06:32:58 boring as heck 06:32:59 overdone 06:33:06 "besides abundance" 06:33:08 (It also has a g.vars-not-initialized problem.) 06:33:30 overdone has a different connotation 06:33:34 IMO worth stressing 06:35:23 example: the monoid thing 06:35:59 but overdoing is so easy 06:36:30 oh right also should throw in "unoriginal" [slightly different again!!!! worth stressing] 07:06:35 -!- itsy has left. 07:13:02 -!- Tod-Autojoined has joined. 07:13:16 -!- Bike has quit (Ping timeout: 252 seconds). 07:14:50 -!- nooga_ has joined. 07:16:21 -!- TodPunk has quit (Read error: Connection reset by peer). 07:18:53 -!- Nisstyre has joined. 07:29:02 I happen to think C11 and C99 has many stupid things. 07:31:26 Such as? 07:32:36 Flexible arrays; GNU supports zero-length arrays with works much better. 07:33:03 Also the way they implement a lot of things such as having complex numbers built-in, etc, is I think stupid to have in C. 07:34:38 What's the difference compared to GNU zero-length arrays? 07:35:10 The difference is described in the GNU documentation. Zero-length arrays is a much more logical implementation. 07:36:05 I don't see a very significant difference. 07:38:12 I once wrote how I would think is better way to extend C89. 07:40:31 (Maybe you might have seen this.) 07:41:05 I don't think I have? 07:41:45 Well, it is available at: http://zzo38computer.org/textfile/miscellaneous/black_c.txt 07:52:54 It gives you some of the benefits of macro assemblers. It also gives you some of the benefits of C++, but without all of the stupidity that goes with it. 08:09:13 -!- MindlessDrone has joined. 08:24:04 -!- epicmonkey has joined. 08:24:35 I made a sequent calculus of a subtraction game S(1,2,3). There are six rules, three with nothing above the line, and three which each have three sequents above the line. The theorems of this system are numbers that aren't divisible by four (and it is easy to see what goes wrong when you try to prove them). 08:30:31 There are three rules which will accept |- ########0 below the line. If you use rule T1, then you need to prove |- ####0, |- #####0, and |- ######0. However there is no rule which allows proving |- ####0 so you can see it won't work. The similar thing occurs with the other rules. 08:32:12 -!- oerjan has quit (Quit: ZZZZ). 08:34:59 But 9 is possible to prove, by using rule T1, to get 5, 6, and 7 above the line. To prove 5, use rule T1. To prove 6, use rule T2. To prove 7, use rule T3. In all cases you will get 1, 2, and 3 above the line, and 1, 2, and 3 are all axioms. Q.E.D. 08:37:05 -!- Taneb has joined. 08:44:35 -!- rntz has left. 09:17:53 @unmtl ReaderT Maybe a b 09:17:53 Maybe -> a b 09:18:00 @unmtl ReaderT a Maybe b 09:18:00 a -> Maybe b 09:19:49 @unmtl MaybeT (Reader a) b 09:19:49 (Reader a) (Maybe b) 09:20:09 whoa, dude, crazy, huh 09:21:18 why is that broken? 09:22:45 @unmtl MaybeT m a 09:22:45 m (Maybe a) 09:22:58 Bad bracket handling 09:23:10 @unmtl StateT s (Reader a) b 09:23:10 s -> (Reader a) (b, s) 09:40:25 zzo38: I really like complex.h myself 09:41:22 I have made use of complex numbers in C before 09:42:01 Taneb: when are you coming to california btw 09:42:20 shachaf, 2016 09:42:23 hth 09:43:00 why 2016 09:43:19 Why not? 09:45:03 Well, it's far off. 09:45:11 That's at least 2.5 more years of not being in CA. 09:46:49 Not if you take a wormhole. 09:47:16 Well, sure, that's an implicit qualifier on most things I say. 09:47:59 If you are going / to San Fran Cisco... 09:48:51 Flour, hare, etc.? 09:49:32 Yes. 09:51:30 Speaking of which, this was off the side of the path on Thursday: https://dl.dropboxusercontent.com/u/113389132/Misc/20130616-p1170896.jpg 09:51:42 (It's like living in the NATURE.) 09:54:06 do you have something smaller than THREE MEGABYTES hth 09:59:42 https://dl.dropboxusercontent.com/u/113389132/Misc/20130616-p1170896-small.jpg less than six hundred kilobytes hth 10:00:19 It's the sort of thing you'd dump all that flour on. 10:00:37 (SPOILER WARNING) 10:10:34 -!- ais523 has quit. 10:26:54 FreeFull: Maybe yes you can use complex numbers in C, I think it can be useful in some programs, but I don't like the way C99 implements built-in complex numbers. 10:30:55 C isn't Fortran! 10:33:40 Nor is it COBOL 10:39:15 Yes, it isn't COBOL either! 10:45:51 Thankfully 11:02:36 -!- SingingBoyo has quit (Ping timeout: 268 seconds). 11:30:08 -!- Bike has joined. 11:40:06 -!- mnoqy has quit (Quit: hello). 11:51:53 -!- Nisstyre has quit (Quit: Leaving). 12:10:56 -!- sacje has quit (Quit: sacje). 12:35:17 -!- trout has quit (Ping timeout: 248 seconds). 12:40:15 There is no thorn in Computer Modern font 12:44:12 http://www.projectwonderful.com/img/uploads/pics/39684-1284372742.png 12:57:19 -!- nooodl has joined. 13:10:30 -!- mnoqy has joined. 13:11:10 zzo38: :( 13:11:21 why not 13:11:35 zzo38: what do you think of C99, in general? 13:11:39 * kmc thinks he already knows the answer 13:12:17 there are several good things, but also some bad things, which i would change 13:13:13 Bike: i give it 6.5/10 13:13:56 for example, trigrams should be extended with tetragrams 13:14:17 4/10, you're losing me 13:14:34 it's like two am fuck you 13:15:37 4/20, smoke weed every day 13:15:41 how can it be two am 13:15:49 i just woke up, it's light out and shit 13:15:53 i am like a normal person now 13:16:04 AND DO YOU KNOW WHY? http://w1mx.mit.edu/flea-at-mit 13:16:33 a swap meet, huh 13:16:35 do they have good stuff 13:17:45 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 13:19:25 uh 13:19:29 they have entertaining stuff 13:19:45 i probably won't buy anything because i'm moving soon 13:19:51 i'm going to try to sell some shit 13:20:12 -!- Phantom_Hoover has joined. 13:20:16 Sunrise here is around 03:54am these days, and it's reasonably light two am too. 13:21:14 Bike: the clientele is 50% young nerds in t-shirt and cargo pants (i.e. me) and 50% old guys with huge beards and suspenders who are trying to buy obscure vacuum tubes 13:21:31 one of the latter was telling me about how back during the war he had the biggest radio in New Jersey 13:21:50 wh...what war 13:21:59 good question 13:22:12 the gulf one 13:22:44 which gulf one 13:22:55 gulf of tonkin 13:22:58 kmc is a flea 13:23:44 "during the World War" "first or second?" "there was a second?!" 13:25:33 -!- Frooxius has quit (Read error: Connection reset by peer). 13:25:58 the boer war 13:26:13 The beer bear war. 13:26:55 When was it when the Swedish army invented tinned food? 13:27:57 Probably the you-must-be-making-that-up war. 13:28:33 i understand that constitutes most of sweden's wars 13:29:01 MIT has a lobby with a big wall honoring alums who died in World War I, another wall honoring alums who died in World War II, and a big blank wall 13:29:11 Oh, it was the French 13:29:17 Not the Swedish 13:29:35 kmc: effective 13:29:59 hm i should check wikipedia's inevitable list of conflicts called "world war iii" 13:30:35 world war iiigate 13:30:52 oh me too 13:31:20 http://callofduty.wikia.com/wiki/World_War_III lol 13:31:48 Only one of my ancestors fought in either world war 13:31:58 World of Wargate III. 13:32:17 a furious footchase 13:32:42 With the copied module and still unknown to Vorshevsky, Russian forces were able to hack the North American Aerospace Defense Command (NORAD) system to give the illusion that an attack was happening on the West Coast, while concealing the real attack against the East Coast. 13:33:08 im tanebs father 13:34:06 Bike: that's what they get for using PHP 13:34:27 elliott, aren't you like 8 months younger than me? 13:35:03 Taneb: dont fight the feelings 13:35:33 Taneb, yes, you were conceived from dna extracted from the embryonic elliott 13:35:47 Although the back-story of Star Trek contains numerous minor elements that did not occur in history, the Eugenics Wars marked a substantial deviation. 13:35:53 Phantom_Hoover, that's... 13:35:59 ... 13:36:02 ...plausible 13:36:10 Bike: until it happens irl 13:36:34 well the eugeincs wars ended in 1996 13:36:36 Greg Cox's two-book series The Eugenics Wars: The Rise and Fall of Khan Noonien Singh develops the idea of the Eugenics Wars in the context of real-life history by representing it as a secret history, and that the truth behind the various civil wars and conflicts in the 1990s was not generally known. 13:36:45 Bike, the memory alpha article on world war iii mentions that in one episode o'brien describes 21st-century earth history as "never that rough" 13:36:58 only true 90s kids remember 13:37:11 despite the whole wwiii nuclear war thing 13:37:30 well i can't find the list, this sucks 13:37:38 i bet the real wwiii is just iran-iraq or the congo 13:37:46 I think there will only ever be one nuclear war in history 13:37:48 or the cold war 13:37:51 ...and it has already happend! 13:37:58 not real!! 13:38:09 maybe like, angola or something 13:38:14 Bike: It's an online encyclopedia everyone can edit, wink wink, nudge nudge. 13:38:21 "a shitload of "minor" conflicts" 13:38:25 cold war was real, we just outsourced all the actual fighting to the third world 13:38:30 outsourced like everything else 13:39:04 yeah but iran-iraq had trenches and gas 13:39:08 way more world warry, imo 13:39:16 poison gas in your ass 13:39:44 was the iran-iraq war caused by disagreements over who was stealing whose name 13:40:12 The Iran-Iraq-IRA war. 13:40:25 they're from completely different roots phantom >: 13:40:56 suuuure 13:41:02 iran contrafunctor 13:41:15 Cobrafunctor. 13:42:00 Your search - "cobrafunctor" - did not match any documents. 13:42:08 "Iran" is actually a corruption of the earlier "Persia" 13:42:19 Which was a principality 13:42:38 They changed the name after the big war against Greece 13:43:07 world war -vii 13:45:17 Bike: they ended in 1996... new timeline 13:45:24 which is actually 2036 our timeline 13:45:32 turns out a couple decades didn't actually happen 13:45:39 which ones 13:45:56 Phantom_Hoover: i just told you they didn't exist 13:46:10 well what do we think happened in them 13:48:03 Phantom_Hoover, there's a new bf derivative on the wiki but I can't be bothered to write a blog post about it, do you want to? 13:48:13 no 13:48:18 i outsourced that to you 13:55:42 Is there a coesoteric? 13:56:14 Taneb: What if north korea actually has nukes 14:00:49 do we think they don't? 14:00:58 been faking all the tests? 14:02:24 kmc: They've outsourced the tests to the US. 14:04:44 kmc: Well, this is the same country that claimed to have found a unicorn lair, and used photographs of some japanese thing as evidence that they have drones 14:05:46 it's pretty hard to fake nuclear earthshaking. 14:06:14 Bike: You just wait for some natural earthshaking that's sufficiently similar, then announce it was your test. (Disclaimer: might not work; am not a geologist.) 14:06:47 And don't believe every silly thing you hear about the DPRK. «According to website io9, the state-sponsored Korean Central News Agency making the announcement poorly translated the alleged findings. In Korean history, the name Kiringul (which the paper translated as "Unicorn Lair") is in fact a site associated with the founder of KoguryÅ, an ancient Korean kingdom.» 14:07:37 not that that isn't silly, but states try to get ancient legitimacy like that all the time. 14:09:16 Americas don't have any legitimacy ever since Europeans have ruined them 14:09:57 could you rephrase readably 14:23:53 -!- Frooxius has joined. 14:27:54 No 14:40:59 :( 14:45:34 kmc: Maybe if you read what I wrote about my extension of C, then you can know what I can think about C99 in general, too. 14:46:14 http://www.youtube.com/watch?v=PtlxIcN_tAM this is hard to watch 15:07:12 -!- Taneb has quit (Quit: Leaving). 15:19:36 it's pretty hard to fake nuclear earthshaking. 15:19:54 weren't the yields so puny you could have actually just done it with conventional explosions 15:20:40 if you had 6 to 40 thousand tons of TNT 15:20:48 6-9 15:21:28 admittedly that's the range the n1 explosion was in 15:21:53 and that wasn't with high explosives so would probably be seismically distinct 15:32:28 -!- Bike has quit (Ping timeout: 246 seconds). 15:36:11 What would be scary would be North Korea having a nuclear missile with the yeld of Tsar Bomba 15:41:01 -!- Taneb has joined. 16:10:47 -!- Frooxius has quit (Quit: ChatZilla 0.9.90-rdmsoft [XULRunner 1.9.0.17/2009122204]). 16:14:15 elliott, you know ages ago you said "Taneb, play Brogue" or something so I started playing Brogue 16:14:26 Then a while later I had a succession of computer problems 16:14:45 yes 16:14:55 Well, I am trying to reinstall Brogue 16:14:59 good luck 16:15:00 And having difficulty 16:18:59 the first DPRK nuke test was in the conventional explosives range 16:19:47 -!- root has joined. 16:20:11 -!- root has changed nick to Guest33264. 16:20:33 -!- Guest33264 has changed nick to function. 16:20:34 hm i should play brogue again sometime. i was thinking about maybe playing brogue again earlier today too but then i forgot 16:20:35 -!- function has quit (Changing host). 16:20:35 -!- function has joined. 16:20:47 -!- function has changed nick to constant. 16:22:40 :( 16:22:45 the first DPRK nuke test was in the conventional explosives range <- i heard it fizzled 16:23:04 despite being made with uranium which normally doesn't fizzle 16:25:54 does it fizzie 16:27:03 -!- Frooxius has joined. 16:27:25 no, it just explodes 16:36:40 "I work with a few companies that are disrupting the Enterprise SaaS space and are doing unheard of things with Haskell and Javascript. " 16:36:53 Does anyone here have an idea of what those companies might be? 16:41:15 no 16:41:28 i bet kmc could mock whoever you're quoting though 16:44:01 dis rupt 16:44:34 service as a services 16:45:12 Something as a Something 16:45:21 did kmc break 16:48:03 Should I reply? I mean, it's not often some industry person goes and mentions Haskell 16:48:08 I wonder how hard it would be to write a 4D raytracer 16:52:49 is this a recruiter or something 16:53:17 a lot of jobs mention haskell and want you to know haskell but don't really use haskell much 16:53:22 Sgeo, well do you actually know haskell 16:53:36 Taneb, about as hard as a 3d raytracer i imagine 16:53:48 only difficulty i can think of is if you need to use cross products for some reason 16:53:59 How hard would it be to write a 1D raytracer 16:54:17 my friend bought a turntable at swapfest and then some old guy talked at length about what jethro tull album he should listen to 16:54:21 Pretty easy, I imagine 16:54:25 (the answer: thick as a brick, three times) 16:54:33 -!- conehead has joined. 16:54:43 Phantom_Hoover, I know a bit of Haskell 16:55:30 cross products are so dumb 16:56:00 kmc, yeah, recruiter 16:56:18 I'd still feel weird leaving a good job that I've only just gotten into, though 16:56:29 Probably wouldn't look good in the future 16:56:35 you have to be UNSENTIMENTAL AND DRIVEN 16:57:09 since recruiters are in the recruitment industry, they're not really "industry persons" in *our* industry 16:57:32 I think I should at least wait until contract runs out and they either offer me or fail to offer me full employment before making such decisions 16:59:39 Sgeo: yeah 17:03:32 -!- SingingBoyo has joined. 17:04:38 -!- Tod-Autojoined has changed nick to TodPunk. 17:08:22 -!- SingingBoyo has quit (Ping timeout: 252 seconds). 17:14:07 -!- SingingBoyo has joined. 17:17:18 elliott, would you believe I have Brogue working 17:18:40 yes 17:19:44 -!- sebbu has quit (Read error: Connection reset by peer). 17:20:49 -!- sebbu has joined. 17:23:34 Good 17:23:36 Because I have 17:25:06 It wasn't working before? 17:25:13 Also, are there online servers for Brogue yet? 17:28:58 "At the “You die... --MORE--” prompt, pressing ‘i’ will reveal your inventory with all items fully identified.' 17:29:13 Should really say (press i to see items) at the prompt or something 17:29:19 Or do a NetHack DYWYPI? 17:39:48 -!- mnoqy has quit (Quit: hello). 17:47:54 -!- TeruFSX has quit (Ping timeout: 240 seconds). 18:08:52 -!- SingingBoyo has quit (Ping timeout: 256 seconds). 18:13:29 Taneb, so if you'e doing things other people tell you 18:30:46 -!- epicmonkey has quit (Read error: Connection reset by peer). 18:31:57 -!- augur has quit (Read error: Operation timed out). 18:33:29 -!- epicmonkey has joined. 18:36:41 -!- augur has joined. 18:40:41 -!- Phantom_Hoover has quit (Quit: Leaving). 18:40:56 -!- Phantom_Hoover has joined. 18:48:36 Phantom_Hoover, some things 19:14:56 -!- zzo38 has quit (Remote host closed the connection). 19:36:43 whoa 19:36:50 there's a 'roguelike radio'? o_O 19:37:02 with 70 episodes(!!) 19:37:04 haha 19:51:39 -!- nooga_ has quit (Read error: Connection reset by peer). 19:51:46 -!- nooga has joined. 20:06:41 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:16:50 -!- Tritonio has joined. 20:23:37 Taneb: when are you going to invent the esolang Main Page.? 20:23:45 s/w/W/ 20:24:07 shachaf, once I've written a tables tutorial and moved to California 20:24:46 Taneb: But imagine all the free publicity! 20:24:49 `welcome Taneb 20:24:55 Taneb: 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.) 20:36:54 -!- sebbu has quit (Ping timeout: 248 seconds). 20:38:57 -!- sebbu has joined. 20:40:30 -!- SingingBoyo has joined. 20:43:41 -!- Taneb has quit (Quit: Leaving). 20:51:06 !bfjoust 20:51:07 ​Use: !bfjoust . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/ 20:53:39 https://dl.dropboxusercontent.com/u/113389132/Misc/20130616-lago-di-como.flac was a while since the last piece of noises. 20:55:28 -!- oerjan has joined. 20:55:36 -!- TeruFSX has joined. 20:55:51 fizzie: wow 20:56:12 (Technically speaking it should loop, but I suppose that's a bit meaningless.) 20:57:25 is this what finland sounds like 20:57:36 No, of course not, Lake Como is in Italy. 20:57:41 wtf is with the logs 20:59:59 `ls 21:00:02 ​‮ \ bin \ canary \ delvs \ delvs-master \ etc \ factor \ hbDf \ hello \ hello.c \ hi-bool.bf \ ibin \ interps \ karma \ lib \ master.tar.gz \ maze \ maze.c \ multiply.bf \ paste \ pref \ q \ quines \ quotes \ raw.php?i=uwbmWGSz \ share \ src \ test \ Test \ testbot \ test.hi \ Test.hi \ test.hs \ Test.hs \ test.o \ Test.o \ uk \ uk.1 \ wisdom 21:00:49 `run ls | head -n 1 | hexdump -C 21:00:51 00000000 e2 80 ae 0a |....| \ 00000004 21:00:53 Best file, I guess. 21:01:25 what IS that... the entire logs after the `ls earlier today is on one backwards line in my browser... 21:01:40 Oh, it's one of the right-to-left control things. 21:01:59 fancy. too fancy. 21:02:27 `rm ​‮ 21:02:29 rm: cannot remove ` ​‮ ': No such file or directory 21:02:38 U+202E RIGHT-TO-LEFT OVERRIDE character. 21:02:57 but why on one line... 21:03:37 You may have to ask your browser that; I just get that single line the wrong way around. 21:03:44 (In codu logs, at least.) 21:04:33 -!- Frooxius has quit (Quit: ChatZilla 0.9.90-rdmsoft [XULRunner 1.9.0.17/2009122204]). 21:04:36 (And "rm: cannot remove ` yrotcerid ro elif hcus oN :'" too.) 21:06:01 fizzie: well i'm normally using the .txt logs because the formatted ones have this hideously large font. 21:06:38 but i guess i can make an exception. and i just found out that i can change the font (i tried zooming earlier which breaks the formatting) 21:07:00 anyway... 21:07:18 `run run ls | head -n 1 | xargs file 21:07:20 bash: run: command not found \ Usage: file [-bchikLNnprsvz0] [--apple] [--mime-encoding] [--mime-type] \ [-e testname] [-F separator] [-f namefile] [-m magicfiles] file ... \ file -C [-m magicfiles] \ file [--help] 21:07:28 `run ls | head -n 1 | xargs file 21:07:30 empty 21:07:30 Run, ls, run. 21:07:37 run HackEgo ... damn fizzie 21:07:49 `run ls | head -n 1 | xargs rm 21:07:54 No output. 21:07:57 `ls 21:07:59 bin \ canary \ delvs \ delvs-master \ etc \ factor \ hbDf \ hello \ hello.c \ hi-bool.bf \ ibin \ interps \ karma \ lib \ master.tar.gz \ maze \ maze.c \ multiply.bf \ paste \ pref \ q \ quines \ quotes \ raw.php?i=uwbmWGSz \ share \ src \ test \ Test \ testbot \ test.hi \ Test.hi \ test.hs \ Test.hs \ test.o \ Test.o \ uk \ uk.1 \ wisdom 21:08:04 Bye-bye, U+202E. :/ 21:08:51 "test \ Test \ testbot \ test.hi \ Test.hi \ test.hs \ Test.hs \ test.o \ Test.o" this is starting to look like my home directory. 21:09:06 may be time for another cleanup 21:09:14 shachaf@carbon:~$ ls | egrep '^..?$' | wc -l 21:09:14 73 21:10:38 http://sprunge.us/hacg time for another cleanup? (Okay, they're at least all in ~/tmp.) 21:10:59 -!- variable has joined. 21:11:33 `help 21:11:34 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/ 21:12:28 `run rm Test* 21:12:31 No output. 21:12:43 `run kill -9 $$ 21:12:45 Killed 21:12:57 `ls 21:13:00 bin \ canary \ delvs \ delvs-master \ etc \ factor \ hbDf \ hello \ hello.c \ hi-bool.bf \ ibin \ interps \ karma \ lib \ master.tar.gz \ maze \ maze.c \ multiply.bf \ paste \ pref \ q \ quines \ quotes \ raw.php?i=uwbmWGSz \ share \ src \ test \ testbot \ test.hi \ test.hs \ test.o \ uk \ uk.1 \ wisdom 21:13:22 `run rm test* 21:13:26 rm: cannot remove `testbot': Is a directory 21:13:49 -!- Frooxius has joined. 21:14:19 wtf is wrong with the repository browser 21:16:24 why is testbot not in the browser 21:16:28 `file testbot 21:16:29 testbot: directory 21:16:35 `ls testbot 21:16:37 No output. 21:16:47 ok an empty directory, they do that. 21:16:59 `rmdir testbot 21:17:00 No output. 21:17:06 `ls testbot 21:17:09 ls: cannot access testbot: No such file or directory 21:17:16 `ls 21:17:18 bin \ canary \ delvs \ delvs-master \ etc \ factor \ hbDf \ hello \ hello.c \ hi-bool.bf \ ibin \ interps \ karma \ lib \ master.tar.gz \ maze \ maze.c \ multiply.bf \ paste \ pref \ q \ quines \ quotes \ raw.php?i=uwbmWGSz \ share \ src \ uk \ uk.1 \ wisdom 21:17:59 `file uk 21:18:01 uk: ASCII English text, with very long lines, with no line terminators 21:18:30 imo file should recognize uk english vs us english vs #esoteric english etc hth 21:21:27 Does one recognize #esoteric english from its hthquency? 21:21:46 `run rm uk* 21:21:50 No output. 21:21:57 fizzie: wdh? 21:22:01 oops 21:22:04 *wth 21:22:14 fizzie: no, that's oerjan english hth 21:22:32 I assume that everyone in Norway uses hth as much as oerja does, when they talk in English. 21:23:56 @tell Gregor when viewing a file, why doesn't the repository browser show the last edit to that file instead of the whole repository :( 21:23:56 Consider it noted. 21:24:15 oerjan: ? 21:24:17 `? norway 21:24:19 Norway is the suburb capital of Sweden. It's where the Nobel Peace Prize is announced. 21:24:22 `paste blah 21:24:24 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/blah 21:24:51 @tell Gregor oh i found a file log link. still unintuitive. 21:24:51 Consider it noted. 21:25:52 `rm raw.php?i=uwbmWGSz 21:25:56 No output. 21:26:13 `rm q 21:26:17 No output. 21:26:52 oh wait that wasn't the contents listed, but the file type. probably not important anyway. 21:26:55 `revert 21:26:59 Done. 21:27:00 `file q 21:27:01 q: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.18, not stripped 21:27:23 `? dahl 21:27:24 dahl? ¯\(°_o)/¯ 21:27:42 oerjan: i demand a wisdom entry for dahl hth 21:28:07 `q 21:28:08 const int main[]={232,1230520576,3943032963,1852793621,1763734643,1830843502,1533962593,2105228637,826804795,1220607680,2370422665,826805616,252883666,3247000837,1221734733,186936461,738215366,1221459784,2336342065,3526445057,4148693683,818053363,1207981448,3229994495,4282968949,1220607685,2370367113,1208755284,84929065,1237516105,1225048451,191509 21:28:17 `ls quines 21:28:19 cat \ perl \ python \ ruby 21:28:32 `run mv q quines 21:28:35 No output. 21:29:13 `learn dahl dih dahl dahl 21:29:17 I knew that. 21:29:27 oerjan: i demand an oerjan-authored wisdom entry for dahl hth 21:31:18 oerjan: you have no good reason to believe this sentence hth 21:31:32 of course i do it has hth in it hth 21:32:00 you can't believe everything you read............unless it has hth in it hth 21:32:14 tbh wtf is hth 21:32:32 `hello 21:32:33 Hello 21:32:39 `maze 21:32:39 `hello myndzi 21:32:41 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: maze: not found 21:32:41 Hello 21:32:50 `./maze 21:32:52 ​╱╱╲╲╲╲╲╱╱╱╱╲╱╱╱╲╱╱╲╲╲╲╱╲╲╱╲╲╱╱╱╲╲╲╲╲╲╲╱╱╱╱╱╲╱╲╲╱╱╱╲╲╱╲╲╲╲╲╲╲╲╲╲╱╲╱╲╲╲╱╱╱╲╱╲╲╲╱╲╲╲╲╱╲╲╲╱╲╲╲╲╲╱╱╲╲╱╲╱╲╱╱╲╲╲╲╲╲╱╱╲╱╲╱╱╠21:33:05 !maze 40 5 21:33:05 ╺â”â”â”┳â”â”â”â”â”â”â”┳┳┳â”â”â”â”â”┳┳â”┳â”â”┳┳┳┳┳┳â”â”â”┳â”â”┳┳┓ 21:33:06 â”â”â”╸┣â”╸╺┳â”â”┳┛╹╹╻â”╸╻â”┛╹╺┫╺┳┫╹╹╹╹┗┓╺â”┻╸╺┛╹┃ 21:33:06 ┃╺┓╺┫╺â”┳┫╺┳┛╺â”┓┣┻┳┻┛╺â”â”┛╺┛╹╺┓╺â”â”┛╺â”┳â”┓╺┳┫ 21:33:07 ┣â”┫╺┛╺â”┛╹╺┛╺â”┳┻┛â”┻╸╺â”â”┓â”╸╺┓╻┃╻╺┓╻â”â”┛╺┻┳┛┃ 21:33:07 ┣╸╹╻╺┓╺┓╻â”╸╻╺┛╺┓┗╸╻╺â”┓┃┣╸╺┻┻┻┻â”┻┻┻╸╺â”â”┛╺┛ 21:33:08 â”—â”â”â”»â”â”»â”┻┻┻â”â”»â”â”â”â”»â”â”â”»â”â”┻┻┻â”â”â”â”â”â”â”â”â”â”â”â”â”â”â”â”╸ 21:33:09 useful maze 21:33:10 :D 21:33:16 oh shi 21:33:17 on my new computer 21:33:22 the unicode isn't all screwy 21:33:30 mine too! 21:33:31 don't install any fonts don't install any fonts don't install any fonts... 21:33:39 Um, what're those ���s? 21:33:41 !lolmaze 40 5 21:33:41 ╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱ 21:33:42 ╲╲╱╲╱╲╱╲╲╱╲╲╲╱╱╲╲╲╲╲╱╱╱╲╱╲╲╱╲╲╱╱╱╲╱╱╲╲╱╲ 21:33:42 ╲╱╱╲╱╲╲╱╲╲╲╲╲╱╱╱╲╱╲╱╲╲╲╱╲╱╲╱╱╱╱╲╱╱╱╱╱╲╱╲ 21:33:43 ╱╱╱╱╱╱╱╱╱╲╱╱╲╲╱╱╱╱╱╱╱╱╱╲╱╲╲╲╱╲╲╲╱╲╲╱╲╲╲╱ 21:33:43 ╱╲╱╱╱╲╱╲╱╲╲╱╱╲╲╲╲╱╱╲╲╱╱╲╲╲╱╲╲╲╲╲╲╱╱╱╲╲╱╱ 21:33:44 ╲╱╲╲╲╲╲╲╱╲╱╱╱╱╱╱╲╱╱╱╲╱╲╲╱╲╲╱╱╱╲╲╱╱╱╱╱╱╲╲ 21:33:44 ╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱ 21:33:48 there we go, that's the one i was looking for 21:33:50 spacing's whack though 21:33:55 ok that is screwy hth 21:33:56 lol this font has kerning 21:34:05 fixed width symbols with kerning 21:34:12 fantastic :P 21:34:25 !maze 40 5 40 5 21:34:26 ╺â”â”â”â”â”â”â”┳â”â”â”â”┳┳â”â”â”â”â”â”â”â”â”┳â”â”â”â”â”┳â”â”â”â”â”â”┳â”â”┓ 21:34:26 â”â”â”â”╸â”â”╸┗â”â”┳╸╹┗┳â”â”╸╺â”â”┓╺┻â”â”â”╸â”╋╸╺┳â”╸╺┻â”╸┃ 21:34:26 ┣â”â”â”â”â”»â”â”â”â”╸┗┳╸╺┻â”╸â”â”â”â”â”»â”â”â”â”╸╺┛┗╸╺╋â”╸╺â”â”┓┃ 21:34:27 ┣╸╻â”╸╺┓â”â”â”â”┓┗â”╸╺┳â”â•‹â”┳â”â”â”â”â”╸╺┳╸â”╸╺┫╻╻╺â”â”┫┃ 21:34:27 ┣╸┣┻â”â”┻┻â”╸╺┻â”â”╸â”┻╸╹╺┛â”â”â”â”╸╻â”┛╺┻â”┓┗┫┣╸╺┓┗┛ 21:34:28 â”—â”â”»â”â”â”â”â”â”â”â”â”â”â”â”â”»â”â”â”â”â”â”»â”â”â”â”┻┻â”â”â”â”â”»â”┻┻â”â”â”»â”╸ 21:34:30 there, less goofy 21:34:38 shachaf: probably half-bars 21:34:49 they weren't in the original line drawing set 21:34:50 Windows does font rendering in the kernel, so it's the only one to get kerning right. 21:34:56 hth 21:35:15 sure, but the font specifies the metrics 21:35:29 this font apparently says "make that diagonal line close to other diagonal lines" 21:37:03 wait am i supposed to be viewing this with a non-fixed width font because I DON'T hth 21:37:31 You should fix your IRC, HTH, HAND 21:38:05 oerjan: hang on 21:38:09 you DON't hth? 21:38:14 do you hidh? 21:38:22 s/i/t/ 21:38:23 no, it is supposed to be fixed-width 21:38:24 or not 21:38:29 `rm hbDf 21:38:33 No output. 21:38:35 i was observing that the zigzaggy one, on whatever font it's being rendered in, has kerning between // 21:38:39 and therefore doesn't line up 21:38:50 shachaf: your parsing is wacky hth 21:39:08 my parsing is wacky hope? what? 21:39:47 oerjan: did you know hth is banned from another channel i'm in 21:40:08 also it's your fault, right? 21:40:16 is it #haskell 21:40:17 yes hth 21:40:20 no hth 21:40:28 it's my fault because i overused it 21:40:50 hey you should stop by #haskell 21:40:56 everyone misses you hth 21:41:48 `ls 21:41:49 bin \ canary \ delvs \ delvs-master \ etc \ factor \ hello \ hello.c \ hi-bool.bf \ ibin \ interps \ karma \ lib \ master.tar.gz \ maze \ maze.c \ multiply.bf \ paste \ pref \ quines \ quotes \ share \ src \ wisdom 21:42:41 `rum mv maze* hello* share 21:42:42 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: rum: not found 21:42:48 `run mv maze* hello* share 21:42:52 No output. 21:43:22 i declare share to be the carpet to sweep things under that are too good to delete hth 21:44:01 `run ls -l `which sh` 21:44:03 lrwxrwxrwx 1 0 0 4 Oct 14 2011 /bin/sh -> dash 21:44:13 `run echo $SHELL 21:44:14 ​/bin/sh 21:44:19 `run echo 'sh -c "$1"' > bin/rum; chmod +x bin/run 21:44:23 chmod: cannot access `bin/run': No such file or directory 21:44:26 `run echo 'sh -c "$1"' > bin/rum; chmod +x bin/rum 21:44:30 No output. 21:45:02 `pastelogs hth 21:45:18 "hth: origins" 21:45:20 don't do it nooodl 21:45:25 don't dooodl 21:45:30 i have to..... 21:45:33 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.134 21:45:33 i must know 21:46:02 you gotta \bhth\b it 21:46:05 2008-04-22.txt:10:37:30: ITYM "olkoslept" HTH HAND. 21:46:11 fizzie.... 21:46:22 2008-06-23.txt:22:34:12: tusho: ITYM "IIRC FTW". HTH. 21:46:24 2008-06-23.txt:22:34:34: ITYM? HTH? 21:46:30 i love how fizzie invented hth 21:46:30 a microcosm of vorpal 21:46:42 2008-08-10.txt:12:33:00: HTH? 21:46:54 and then he forgot what it meant within two months 21:46:55 2008-08-10.txt:12:32:43: Mostly used in the construction "ITYM 'foo' HTH HAND". 21:47:01 `pastelogs \bhth\b 21:47:23 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.17933 21:47:39 also... elliott spearheaded the initial hth deluge 21:48:11 2012-12-24.txt:00:04:47: oerjan: Who is evil hth? 21:48:11 2012-12-24.txt:00:05:00: shachaf hth 21:48:46 nice 21:48:49 -!- constant has quit (Quit: I found 1 in /dev/zero). 21:48:53 `pastelogs zzo38.*hth 21:49:09 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.20843 21:49:29 ~freaky~ 21:49:29 i am increasingly getting the feeling that IE10 has broken _every_ detail of IE8's behavior that i've become accustomed to depend on. i cannot even change the starting point of an ^F search any more... 21:49:31 hmm should there be `zzo38logs 21:49:49 "an ^F"? 21:49:56 *a 21:49:58 How do you pronounce that? 21:50:04 an control-f hth 21:50:07 no i want juicy norwegian information 21:50:29 `cat bin/pastelogs 21:50:31 ​#!/bin/bash \ cd /var/irclogs/_esoteric \ \ pasterandom() { \ if [ "$1" -gt 150 ]; then \ echo "No." \ exit \ fi \ for i in $(seq "$1"); do \ file=$(shuf -en 1 ????-??-??.txt) \ echo "$file:$(shuf -n 1 $file)" \ done | paste \ } \ \ if [ "$1" ]; then \ if expr "$1" + 0 >/dev/null 2>&1; then \ 21:50:44 and if i change to a different browser it'll probably do things in a _different_ annoying way instead. 21:51:09 `run pastlog hth | tac | paste 21:51:11 `run ls /var/irclogs/_esoteric 21:51:17 hmm is there a map of "where in the world is #esoteric" anywhere 21:51:24 there was one 21:51:27 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29749 21:51:30 2003-01-18-raw.txt \ 2003-01-18.txt \ 2003-01-19-raw.txt \ 2003-01-19.txt \ 2003-01-20-raw.txt \ 2003-01-20.txt \ 2003-01-21-raw.txt \ 2003-01-21.txt \ 2003-01-22-raw.txt \ 2003-01-22.txt \ 2003-01-23-raw.txt \ 2003-01-23.txt \ 2003-01-24-raw.txt \ 2003-01-24.txt \ 2003-01-25-raw.txt \ 2003-01-25.txt \ 2003-01-26-raw.txt \ 2003-01-26.txt \ 2003-01- 21:51:37 fuck 21:52:00 Phantom_Hoover: y'know, that's really the core of it 21:52:01 `paste bin/pastelog 21:52:03 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/pastelog 21:52:10 simple and elegant 21:52:14 wowwwww 21:52:25 a piece of modern hth art hth 21:52:45 i almost wanna `learn hth is http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29749 21:52:51 but iirc it's good right now 21:52:54 `? hth 21:52:56 hth is help received from a hairy toe. It is not at all hambiguitous. 21:53:30 wow that's p. bad 21:53:33 pad 21:53:53 `thanks hth 21:53:54 A one-time bad is provocably secure. 21:53:54 Thanks, hth. Tth. 21:54:32 ITYM "brovocably" HTH HAND 21:54:41 HEY EVERYONE REMEMBER https://en.wikipedia.org/wiki/Kid_Pix 21:54:59 no :( 21:56:08 http://www.youtube.com/watch?v=krlmGTQAfYw 21:58:21 wait a minute that's not the right version is it 21:58:44 maybe http://www.youtube.com/watch?v=TayProAkmBE 21:59:31 yes that's the one 21:59:38 maybe 22:05:29 Remember when computer monitors had a builtin pinch effect? 22:06:18 what's a pinch effect 22:06:25 TayProAkmBE 22:06:52 is that supposed to be an answer because i still have no clue 22:07:07 http://www.youtube.com/watch?v=TayProAkmBE 22:07:28 oh duh 22:11:59 Remember when you could wave a magnet near a screen and it'd get all colorful and stuffs? 22:12:06 Then it'd get stuck that way. 22:12:50 ion: um where in that was the pinch effect twh 22:13:05 oerjan: In the MONITOR. 22:13:40 -!- ais523 has joined. 22:13:55 oh you mean the overall picture shape? 22:14:35 bingo 22:14:49 `? bingo 22:14:51 bingo? ¯\(°_o)/¯ 22:15:02 I do remember CRTs having barrel distortion twiddles you could twaddle to hopefully make the image area a bit more rectangular. 22:15:10 fizzie: yeah 22:15:12 Yep. 22:15:24 remember Degauss 22:15:57 It's the thing that more or less fixed the thing you had done with the aforementioned magnet. 22:16:07 Also goes "twang". 22:16:36 good old Carl Friedrich Degauss 22:17:02 John Barrel should never have implemented Barrel distortion in monitors, that sucked. 22:17:34 -!- sprocklem has joined. 22:17:40 Decarl Defriedrich Degauss 22:17:48 Cogauss 22:17:54 -!- zzo38 has joined. 22:18:05 hi zzo38 22:18:21 Do you have anything good for us today? 22:24:29 I don't know yet. 22:24:49 it's 00:24 am here! you've got all day 22:25:32 The third book doesn't come out until September :( 22:25:42 Some monitors automatically degaussed every time you turned them on 22:33:15 "Iran" is actually a corruption of the earlier "Persia" <-- um... 22:33:42 Best phone conversation in a feature film http://youtu.be/hroUeu4IvpE hth 22:34:34 Is there a coesoteric? <-- is that the place where brainfuck derivatives are considered high art? 22:36:40 -!- epicmonkey has quit (Ping timeout: 246 seconds). 22:36:44 ion: is that zzo38 22:37:14 oerjan: And where adbmalbot operates 22:39:20 ion: is that indian english how she is spoken 22:44:02 I think I did manage to write the sequent calculus of sequent calculus. 22:44:32 (I think kmc or someone else on here suggested doing that?) 22:46:52 -!- nooodl has quit (Ping timeout: 260 seconds). 23:03:53 -!- sacje has joined. 23:23:23 You might even be able to combine the sequent calculus of sequent calculus with the other system which it is imitating, and make up the new system, which can then be combined with it again, etc 23:25:12 Now it knows itself. Well, kind of; it knows what it was before the sequent calculus of its own sequent calculus was added. 23:26:10 what the zzo 23:29:18 Phantom_Hoover: Please be more specific! 23:29:37 that was an expletive 23:30:45 It doesn't matter if it is expletive or explosive or whatever, if you want to ask a question such as "what ____" you should please be more specific? 23:32:14 sorry zzo 23:38:19 -!- nooga has quit (Ping timeout: 276 seconds). 23:39:44 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 23:40:08 -!- Phantom_Hoover has joined. 23:43:35 -!- Zerker has joined. 23:57:18 -!- Tritonio has quit (Ping timeout: 252 seconds).