00:03:58 -!- oerjan has joined.
00:04:54 -!- jockstrap has changed nick to copumpkin.
00:09:15 <ais523> err, via giving ops to people likely to kick/ban him/her
00:09:47 <elliott> i banned hagb4rd more thoroughly!
00:10:01 <elliott> it's ok to be confused, oerjan
00:10:48 <oerjan> because of his behaving like drunk? i suppose i should read the rest of the logs.
00:12:33 <kmc> i do that all the time
00:12:44 <elliott> but you have voice so it's ok
00:14:26 <oerjan> btw i think +v may cancel the +q part of +b
00:14:37 <elliott> we could test this by banning kmc
00:14:38 <oerjan> in case you want to ban someone without kicking them
00:14:53 <elliott> 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 <Sgeo> `pastelogs Sgeo.*egg
00:56:13 <HackEgo> 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:04:28 <nooodl> did he /msg anyone about his being banned
01:04:42 <nooodl> hagb4rd seems like the kind of person who would do that...
01:05:34 <Sgeo> Didn't msg me at least
01:05:54 <Sgeo> I should figure out how to bring norns back from the dead
01:08:05 <kmc> didn't msg me
01:09:25 <kmc> who's that
01:09:25 <elliott> isn't it sshc you're meant to ping a lot
01:09:47 <Phantom_Hoover> i used to hate sshc but then it turned out he was actually an idiot which kind of spoilt it
01:10:12 <Phantom_Hoover> there are so many people in this channel who never talk
01:10:16 <kmc> who's sshc
01:10:21 <elliott> kmc: some person who never said anything
01:10:34 <elliott> which is the second-best way to attract Phantom_Hoover's ire after making a brainfuck derivative
01:10:47 <shachaf> sshc is the dual of sshd hth
01:11:24 <Sgeo> So, the brainfuck derivative that I'm making...
01:11:43 <Sgeo> Want to use pipes to implement it, but not sure if that's the best way
01:11:55 <Sgeo> Also, is there a single preferred 3-bit encoding for Brainfuck?
01:12:24 <Phantom_Hoover> `^_^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 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^_^v,: not found
01:12:39 <shachaf> I think Phantom_Hoover should be kicked for that.
01:12:43 <Sgeo> Hasn't SirCmpwn spoken, or am I hallucinating?
01:12:56 <Sgeo> And conehead sounds like it's someone else renamed
01:12:58 <shachaf> SirCmpwn has spoken quite a bit, yes.
01:13:17 <Sgeo> Also, glogbot and glogbackup as far as I know have never spoken
01:13:30 <Sgeo> conehead, have we known you by a different name, or only as conehead?
01:13:39 <Sgeo> `welcome conehead
01:13:41 <HackEgo> 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 <conehead> lmao thanks for the welcome for the third time d:
01:14:12 <shachaf> Phantom_Hoover: Why are you always so rude? You should be nicer to people.
01:15:01 <shachaf> I'll stick my head in any kind of shachaf I like, thank you very much.
01:17:49 <kmc> the best person to ping is variable / constant
01:18:19 <kmc> `quote in.toilet
01:18:21 <HackEgo> 986) <kmc> i'm not actually competent at hacking things <elliott> ummmm kmc dont u mean `cracking' [tiny glider symbol with "hacker pride" written next to it in silkscreen] [head of a gnu] [tux penguin] <kmc> [face shoved in toilet]
01:19:16 <Phantom_Hoover> at least they picked the dumb phase of the glider for the hacker pride symbol
01:19:48 <HackEgo> 863) <kmc> 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 <Bike> but at what cost? your very soul, kmc! \ 856) <kmc> it's kind of the multiocular O of countries, if you will \ 589) <kmc> COCKS [...] <kmc> truly cocks \ 838) <kmc
01:20:37 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.28869
01:22:02 <elliott> 811) <zzo38> Can you vote for just the green party or rainbow party instead of both? <kmc> nope, it is the same party <zzo38> That is the problem with political parties.
01:22:08 <elliott> 821) <kmc> i love how allegedly wine can run all of these different programs but the only one i can actually run is starcraft <kmc> i think wine may secretly be a cleanroom reimplementation of starcraft
01:23:00 <shachaf> esoteric/2012-11-06.txt:00:55:16: <zzo38> Can you vote for just the green party or rainbow party instead of both?
01:23:05 <shachaf> esoteric/2012-12-03.txt:02:06:11: <kmc> i love how allegedly wine can run all of these different programs but the only one i can actually run is starcraft
01:23:20 <elliott> feels like it wasn't 7 months ago
01:24:27 <Phantom_Hoover> the way that whether something works in wine is entirely independent of its status in winedb
01:24:51 <shachaf> imoe everything works in wine
01:25:05 <Phantom_Hoover> my favourite was when i tried to get a torrented copy of deus ex to install, and it was erroring out
01:25:22 <Phantom_Hoover> and the reaction i got from #winehq was basically 'fuck off pirate scum'
01:26:02 <kmc> 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:32 <Sgeo> 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 <Phantom_Hoover> as i recall i may have encountered it in the steam version...
01:27:04 <kmc> 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 <Sgeo> http://worms2d.info/Troubleshooting_FAQ#I_downloaded_Worms_Armageddon_from_the_Internet_without_paying._Can_you_help_me.3F
01:27:34 <Phantom_Hoover> 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:58 <kmc> it's always great to have an excuse to treat your users like scum
01:28:25 <elliott> the wikipedia page for COINTELPRO is #3 on hacker news for some reason
01:28:35 <Phantom_Hoover> i loved that article you linked because the guy has evidently never heard of subtlety
01:29:15 <kmc> elliott: because it's topical to current events
01:31:21 -!- sprocklem has quit (Remote host closed the connection).
01:31:47 -!- nooodl has quit (Quit: Leaving).
01:34:03 <lambdabot> Alright, you!! Imitate a WOUNDED SEAL pleading for a PARKING SPACE!!
01:34:10 <kmc> elliott: but...
01:35:43 <oerjan> OOO II OOO OOOO IAA OO AAAAAA
01:36:10 <kmc> "This went on for some time."
01:36:21 <shachaf> how should i learn about linear algebra
01:36:31 <oerjan> just use the matrix hth
01:37:46 <oerjan> the only way to stop being an expert is to become a pert again
01:41:29 <sacje> hello Phantom_Hoover why did you ping me
01:41:55 <sacje> i'll go back to not talking now
01:45:59 -!- augur_ has joined.
01:46:37 -!- augur has quit (Ping timeout: 276 seconds).
01:48:55 <oerjan> <kmc> 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:52 <kmc> they are block devices
01:50:02 <kmc> i have sdq sdq1 now as well
01:50:11 <shachaf> what happens when you reach sdz
01:50:19 <kmc> nobody knows
01:50:43 -!- SingingBoyo has quit (Ping timeout: 240 seconds).
01:50:55 <Sgeo> He likes mounting?
01:54:01 <zzo38> What is the computational class of sequent calculus?
01:54:47 <kmc> well you implemented turing machines using one
01:56:20 <zzo38> 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 <ais523> how many of those correspond to actual physical disks?
01:56:52 <kmc> all of them
01:57:12 <shachaf> Except for the ones that end with digits.
01:57:24 <ais523> those correspond to subsets of disks
01:57:52 <zzo38> 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 <kmc> 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 <kmc> none of them is Quick Disk
01:58:36 <ais523> realisation: I can, with a decent success rate, tell which email account I'm receiving spam on by its title
01:58:51 <ais523> nethack4.org mostly gets SEO spammers
01:59:13 <pikhq_> zzo38: I don't own a 5.25" floppy drive, but I do possess the connections for one.
01:59:20 <ais523> (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 <ais523> pikhq_: I have a USB 3.5" floppy drive, and have used it on occasion
01:59:57 <pikhq_> I have an internal 3.5" drive still. I've not used it in years.
02:00:01 <zzo38> 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 <pikhq_> I get more use out of my CD burner. Which is older.
02:00:16 <Phantom_Hoover> <ais523> (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:35 <ais523> also, that's a weird encoding fail
02:00:38 <Phantom_Hoover> idk about you but i'm not especially eager to get coventrian search results
02:00:59 <ais523> and your client turns it into some sort of heterosexuality symbol
02:01:04 <ais523> also, you live in Coventry?
02:01:11 <elliott> the ellipsis looks fine to me...
02:01:18 <ais523> elliott: in Phantom_Hoover's quote of me
02:01:30 <pikhq_> ais523: They look like they're both the same codepoints to me.
02:01:32 <ais523> I thought you were in Scotland still
02:01:39 <pikhq_> I think it's your system that's jacking up.
02:01:39 <ais523> in that case my client has come up with an entirely new failure mode
02:02:03 <pikhq_> Oh, no, it's not your client.
02:02:16 <kmc> and by "SSDs for boot" I mean the whole root filesystem is on those as well
02:02:38 <kmc> 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 <pikhq_> Looking at the logs, PhantomHoover emitted 0x85 where you emitted 0xe2 0x80 0xa6.
02:04:57 <pikhq_> That is to say, Phantom_Hoover wrote out Windows-1252 instead of UTF-8.
02:05:07 <kmc> oh for '…'
02:05:12 <elliott> yeah xchat has broken unicode settings by default
02:05:12 <pikhq_> Switch your encoding to "Unicode" instead of "IRC".
02:05:17 <elliott> switch it to utf-8 you mean?
02:05:23 <elliott> i don't think there's a "unicode" encoding in the list
02:05:27 <kmc> `run printf '\xe2\x80\xa6' | iconv -t cp1252 | hd
02:05:29 <HackEgo> 00000000 85 |.| \ 00000001
02:05:42 <elliott> (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 <pikhq_> "IRC" encoding is "if the character exists in Windows-1252 write it out as Windows-1252, otherwise write UTF-8".
02:05:48 <pikhq_> Which is utterly broken.
02:06:08 <kmc> i'm fine with that for decoding, but not for encoding
02:06:15 -!- augur has joined.
02:06:18 <kmc> lol postel's law
02:06:25 <zzo38> You shouldn't use that encoding. Use a proper encoding, such as Windows-1252 or UTF-8, not both of them together!
02:06:35 <shachaf> kmc: Oh, http://www.scp-wiki.net/scp-055 is the thing I was thinking of.
02:06:42 <pikhq_> Yes. It makes perfect sense to fall *back* to Windows-1252 when decoding...
02:06:54 <kmc> shachaf: when were you thinking of it
02:06:55 <elliott> shachaf: since when do you like anything the other sam hughes does
02:07:04 <elliott> kmc: well you see he forgot about it shortly after (-:
02:07:15 <pikhq_> As it's horribly unlikely for something to be valid UTF-8 but intended as Windows-1252.
02:07:16 <zzo38> Or just use ASCII if you don't need any other encodings.
02:07:43 <pikhq_> zzo38: Ah, UCS-7/8ths.
02:07:50 <Sgeo> I hate both my dad and step-mom
02:07:52 <pikhq_> Yes, I will gladly consider that a sane encoding.
02:08:01 <zzo38> pikhq: Maybe, but still you shouldn't use both encodings together; it is still possible and it is conflicting.
02:08:19 <kmc> Sgeo: why?
02:08:44 <pikhq_> 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 <pikhq_> Likewise UCS-1 a snarky reference to Latin-1.
02:09:10 <zzo38> 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 <zzo38> 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 <Sgeo> 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 <zzo38> Unfortunately they don't always do that, but they should!
02:10:56 <pikhq_> Sgeo: Have you considered asking her why she wants every little boy to receive genital mutilation.
02:10:59 <Phantom_Hoover> Sgeo, so wait is she actually all 1930s southern about it
02:11:02 <elliott> arent you independent of -- pikhqqqqqqq
02:11:07 <elliott> -- your stepmom and father now anyway
02:11:20 <Sgeo> elliott, hahahahahaha I wish
02:12:14 <pikhq_> Phantom_Hoover: `What?
02:12:18 <elliott> Sgeo: imo that would be a good thing for you
02:13:05 <mnoqy> pikhq............................
02:13:33 <Sgeo> pikhq_, ...what's with the weird question mark?
02:13:47 <pikhq_> Sgeo: Full-width question mark.
02:15:00 <Sgeo> But... I'm using a monospaced font.... I think
02:15:37 <Phantom_Hoover> ANYWAY we were talking about your awful family before pikhq....
02:15:51 <pikhq_> Phantom_Hoover: Ah. Yes.
02:16:23 <pikhq_> Though less so as I am independent-ish and intending to stay that way.
02:19:01 <mnoqy> just pikhq being pikhq
02:22:24 <kmc> Sgeo: even in fixed width font terminals, some characters take up one cell and some take up two
02:22:46 <kmc> you can't reasonably draw CJK characters in the narrow space used for a single Latin letter
02:23:19 <kmc> two adjacent cells gives you a square area that is much more reasonable
02:23:26 <SirCmpwn> Sgeo: shachaf: Phantom_Hoover: I speak here infrequently
02:23:40 <kmc> in some legacy encodings, two-cell characters were all two bytes and one-cell characters were one byte
02:23:55 <kmc> did Sgeo though
02:23:56 <Sgeo> Hmm. Guess I shouldn't have taken that anti-hallucinogenic that is lethal if there are in fact no hallucinations.
02:24:59 <Sgeo> (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:31:14 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:35:16 <shachaf> copumpkin: how should i learn about linear algebra
02:35:25 <kmc> read nielsen and chuang
02:36:28 <Sgeo> 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:38 <lambdabot> Identity {runIdentity = *Exception: Prelude.undefined
02:37:00 <elliott> that show instance is derived in L.hs
02:37:21 <shachaf> Sgeo: teach them to call it "this" just to be different hth
02:38:28 <shachaf> kmc: Quantum Computation and Quantum Information?
02:38:29 <Sgeo> I was hoping not to have to teach them Python
02:39:14 <kmc> only half serious suggestion
02:39:18 <kmc> it's a good book though
02:39:30 <kmc> 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 <kmc> but it may not be the best way.......
02:42:11 <oerjan> > undefined :: (Int, Int)
02:42:26 <oerjan> > undefined :: (Int, Int, Int)
02:55:59 <shachaf> The idea behind `IO` is that it contaminates everything it touches
02:58:03 <Sgeo> In a similar way as that idea about contamination contaminates everything it touches?
02:58:47 <kmc> shachaf: v_v
02:58:55 <kmc> why are you repeating wrong thinfgs
02:58:58 <kmc> without even quoting them
02:59:07 <shachaf> kmc: picked up the habit from elliott hth
02:59:16 <elliott> kmc: it's so you'll join #haskell in a desperate attempt to avoid it
02:59:23 <kmc> i'm not that stupid
02:59:34 <elliott> kmc: what can i say, shachaf doesn't think much of you
02:59:43 <kmc> shachafffffffffff
02:59:46 <shachaf> elliott: apparently i think even less of you
03:00:10 <shachaf> kmc: are you calling all the cool people in #haskell stupid
03:00:15 <kmc> i've had like... two beers all day
03:00:34 <shachaf> copumpkin: it's ok kmc is just drunk
03:01:00 <kmc> there should be a fullwidth ⊥, it would look so much better, hth
03:01:17 <kmc> there should be a combining character that makes any character fullwidth TAKE THAT
03:01:20 <elliott> kmc: what a coincidence, i've had 0 beers all day
03:01:38 <elliott> kmc: i didn't have -2 beers
03:01:53 <shachaf> 2AE9 SHORT UP TACK ABOVE SHORT DOWN TACK [⫩]
03:02:23 <shachaf> elliott: your domain theory exercise of the day is to come up with a meaning for all these symbols hth
03:03:04 <Sgeo> kmc, zero-width space + fullwidth combining character
03:03:25 <kmc> infinite loop
03:04:23 <shachaf> My experience is that the fastest way to learn category is to author Haskell libraries
03:04:43 <shachaf> The reason is that the art of good API design is very closely intertwined with category theory
03:09:40 -!- Bike has joined.
03:16:16 <kmc> would be nice to have any kind of detail on that claim
03:16:37 <shachaf> you could join #haskell and ask for it
03:17:47 <kmc> if a statement matches your presupposed notions and your general 'everyone else is dumb' attitude then it must be true
03:18:41 <Bike> so i just wanted to say that the McAllister Hall here is for interior decorating and English language intensive students
03:18:51 <kmc> I think the overall state of Haskell API design is not too great
03:18:59 <kmc> and I never once came across an API design guideline document
03:19:13 <kmc> maybe this category theory expert could write one instead of hoarding that delicious knowledge
03:20:11 <kmc> that's not 'the #haskell spirit'
03:22:05 <copumpkin> every few hours I see him making a snarky remark about #haskell
03:22:10 <kmc> like a fine india pale ale
03:22:21 <kmc> it's not every few hours ;P
03:22:28 <kmc> anyway shachaf brought it up
03:22:38 <kmc> shachaf provoked me
03:23:18 <shachaf> i wish #haskell was a thousand clones of copumpkin
03:23:21 <shachaf> maybe then it would be good
03:23:33 <copumpkin> probably a lot quieter, given how much I speak in there
03:23:36 <shachaf> note: i do not wish the same thing about #haskell-blah
03:23:55 <shachaf> It would be all copumpkin links.
03:24:06 <kmc> copumpkin_jokes.pdf
03:24:13 <elliott> what if we /invite'd kmc to #haskell
03:24:23 <copumpkin> perhaps he has autojoin on invite set
03:24:27 <kmc> don't think so
03:24:28 <Bike> what if kmc /invited'd #haskell to us?
03:24:30 <copumpkin> quick quick get him before he turns it off
03:24:37 <kmc> is that a default setting in irssi
03:25:01 <elliott> copumpkin: imo there's one way to find out
03:25:13 <elliott> #haskell ops so professional
03:25:39 <elliott> ok how about this, we ban everyone but kmc
03:25:47 <shachaf> then it would be a monic win
03:26:02 <Bike> the channel for discussing a #haskell with kmc in it
03:26:11 <copumpkin> I thought I was the only one to make that pun
03:26:21 <Bike> you overestimate shachaf
03:26:40 <copumpkin> at least I can see the effect it has on one's interlocutors
03:26:51 <shachaf> copumpkin misunderestimated me
03:26:52 <elliott> new plan: give kmc ops and then he'll feel obligated to join
03:26:57 <Bike> oh hagbard got banned huh
03:27:11 <elliott> do i even have permissions to add ops
03:27:19 <Bike> do you have permissions to /cs clear users
03:27:52 <shachaf> elliott: yes because glguy trusts you to be a reasonable op hth
03:28:00 <Bike> wait he called phantom_hoover "hoovie"
03:28:38 <shachaf> kmc: if you were an op would you rule #haskell with an iron fist
03:28:45 <oerjan> <+kmc> would be nice to have any kind of detail on that claim <-- just ask edwardk and tekmo hth
03:29:46 <kmc> does edwardk agree with tekmo
03:33:55 <oerjan> kmc: well it's like part of the underlying philosophy of both lens and pipes, so...
03:34:48 <oerjan> well, maybe pipes more than lens
03:35:25 <Bike> 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 <shachaf> lens's philosophy is hardly categorical
03:36:59 <kmc> I know the kings of England, and I quote the fights historical / From Marathon to Waterloo, in order categorical
03:37:36 <shachaf> one time i knew the lyrics to that but no longer :'(
03:37:59 <oerjan> if people keep quoting it maybe i'll know them soon
03:39:54 <elliott> hmm i wasn't tired at all like half an hour ago
03:40:03 <elliott> and i leaned on my arm funny and now it hurts
03:40:11 <Bike> don't lean on your arm funny
03:40:13 <shachaf> You'll wake up in an hour and a half and feel really awful.
03:40:27 <elliott> Bike: but it was comfortable at the time
03:40:28 <shachaf> Bike: do you gotta insult people like that :'(
03:40:57 <oerjan> elliott: is it like crawling with ants twnh
03:41:00 <elliott> Bike: i like the insults, keep em comin
03:41:31 <Bike> don't lean on your arm funny
03:42:08 <Bike> stop liking it, liker
03:44:42 <Sgeo> Should I keep reading that book or work on bringing creatures back from the dead?
03:44:58 <Bike> probably the book because you don't mean real animals because you suck
03:45:51 <Sgeo> Shyamalan: The book isn't real either
03:46:00 <Sgeo> [It's real... well, ebooks count as real, right?]
03:46:10 <Bike> sorry (not sorry)
03:51:14 <Bike> http://i.imgur.com/zT3jWJG.png probably people have seen this, but.
03:53:12 <oerjan> why are you egging us on with that fowl book
03:53:13 <Bike> http://michaelnielsen.org/polymath1/index.php?title=Bounded_gaps_between_primes wowie, watch that shit drop
03:54:06 <oerjan> ooh big leap today, although still tentative
03:54:22 <kmc> Bike: is that real
03:55:06 <elliott> 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:28 <elliott> damn this progress is beastly
03:55:35 <elliott> like "fuck it, time to solve this already"
03:55:40 <Bike> 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 <Sgeo> If that's real, I should read it. I read the cartoon guide to statistics when I was a kid
04:00:53 <oerjan> wait, some of my answers above were about the prime thing, not the ducks hth
04:02:39 <kmc> Discrete Mathematics with No Applications
04:06:18 <Sgeo> Fun doesn't count as an application?
04:06:28 <Sgeo> Maybe they could make math boring somehow...
04:07:01 <Bike> is fun an applicative
04:08:38 <elliott> > let x = error ('q':x) in x
04:08:39 <lambdabot> "*Exception: q*Exception: q*Exception: q*Exception: q*Exception: q*Exceptio...
04:09:02 <elliott> > let foo s = error (s ++ foo ('q':s)) in foo ""
04:09:04 <lambdabot> "*Exception: q*Exception: qq*Exception: qqq*Exception: qqqq*Exception: qqqq...
04:09:35 <elliott> > let foo s = error (s ++ foo (error 'q':s)) in foo ""
04:09:36 <lambdabot> Couldn't match expected type `[GHC.Types.Char]'
04:09:42 <elliott> > let foo s = error (s ++ foo (error "q":s)) in foo ""
04:11:51 <Bike> > let x = error x in x
04:11:52 <lambdabot> "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *E...
04:12:48 <lambdabot> "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *E...
04:13:06 <lambdabot> "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\...
04:14:22 <shachaf> > fix (show . error) -- that should interleave them, right?
04:14:23 <lambdabot> "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *E...
04:14:52 <Bike> > fix (error . show)
04:14:54 <lambdabot> *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex...
04:17:03 -!- TeruFSX has joined.
04:19:11 <elliott> kmc: just think how much more insightful #haskell must be compared to this
04:20:11 <Bike> i am the anti-insight
04:31:39 <oerjan> > error "test\nho\nhi"
04:36:59 -!- jconn has joined.
04:43:37 <kmc> shachaf: oh I found a place to live in SF
04:43:46 <zzo38> Which assemblers have an emulator built-in which can be used as a postprocessor and/or to make macros?
04:44:12 <kmc> in the Mission, 26th and Bryant or so
04:45:07 <kmc> i will officially be one of those overpaid software jerks in the mission
04:45:24 <shachaf> oh no are you going to turn into a jerk
04:45:32 <shachaf> can you just be a jerk in the full moon or something
04:46:01 <kmc> probably I will arrive like Friday the 28th or so
04:46:07 <kmc> does copumpkin turn into a pumpkin
04:46:15 <shachaf> no, just the full moon part
04:46:51 <kmc> then he turns back into a copumpkin
04:47:00 <zzo38> Maybe the full moon time is at midnight, though.
04:47:03 <shachaf> look i don't know how it works
04:47:34 <zzo38> I have a software "Astrolog" to calculate precisely the phase of moon and even the distance of moon.
04:48:32 <oerjan> aha let me look closer
05:01:11 -!- Bike has quit (Quit: Reconnecting).
05:01:25 -!- Bike has joined.
05:05:11 <oerjan> > let x £ y = x + y in 1 £ 2
05:07:40 <HackEgo> Thanks, geology. Theology.
05:08:29 <zzo38> Will you review my sequent calculus for Turing machine and for Sokoban at some time?
05:08:31 <Sgeo> `paste bin/thanks
05:08:33 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/thanks
05:08:46 <zzo38> I want to know if you found a mistake, please!
05:09:21 <Sgeo> `thanks consonants
05:09:23 <HackEgo> Thanks, consonants. Thonsonants.
05:09:24 <zzo38> Anyone who does, such as, possibly you!
05:14:09 -!- SingingBoyo has joined.
05:30:12 -!- L8D has joined.
05:30:18 <L8D> Just joined the wiki
05:30:30 <L8D> I made an entry for my language
05:46:38 <mnoqy> guess i'll check it out
05:46:47 <L8D> thanks...I guess
05:47:09 <mnoqy> hm ph doesn't seem to be around. i think he'd like it
05:48:19 <mnoqy> what are you suggesting here, oerjan!!
05:48:46 <L8D> +++++ +++++ [ > +++++ +++++ < - ] > ++++ . + > .
05:50:18 <fizzie> ^bf +++++ +++++ [ > +++++ +++++ < - ] > ++++ . + > .
05:51:10 <L8D> +++++ +++++ [ > +++++ +++++ < - ] > ++++ . + . > .
05:51:25 <L8D> Was typing with one hand...
05:51:53 <L8D> ;>;<[>[>+>+<<-]>[<+>-]<<-]>>>:
05:52:32 <L8D> ^bf ;>;<[>[>+>+<<-]>[<+>-]<<-]>>>:
05:52:46 <L8D> Oh wait...
05:52:56 <L8D> ^bf +++++ +++++ [ > +++++ +++++ < - ] > ++++ . + . > .
05:53:47 <fizzie> fungot: Well hi to yourself, too.
05:53:47 <fungot> fizzie: " eat up" values... first it's a number, a meaningful operator.
05:54:25 <Sgeo> Hey! Some functions are numbers too!
05:54:51 <Sgeo> So yes, numbers are meaningful operators
05:56:49 <L8D> What other languages can fungot do?
05:56:49 <fungot> L8D: oh. when was this exactly?
05:57:08 <L8D> fungot: 5 past 10
05:57:08 <fungot> L8D: found out the truth from the source then :s)
05:57:46 <L8D> fungot: :s/)/\/source\/g
05:57:47 <fungot> L8D: but one is actually putting the code in compile-time would be not be/ not be
05:58:47 <L8D> fungot ? fungot.brain = true : fungot.brain = false;
05:58:48 <fungot> 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
06:01:18 <fungot> http://git.zem.fi/fungot/blob/HEAD:/fungot.b98
06:01:53 <L8D> Nice, befunge
06:02:41 <L8D> ^underload (0)S((0)(1))(~:^:S*a~^~*a*~:^):^
06:03:06 <fizzie> ^ul (0)S((0)(1))(~:^:S*a~^~*a*~:^):^
06:03:06 <fungot> 011010011001011010010110011010011001011001101001011010011001011010010110011010010110100110010110011010011001011010010110011010011001011001101001011010011001011001101001100101101001011001101001011010011001011010010110011010011001011001101001011010011001011010010110011010010110100110010110011010011001011010010110011010010110 ...too much output!
06:03:17 <fizzie> (It goes for short commands.)
06:03:21 <L8D> ^ul (()(*))(~:^:S*a~^a~!~*~:(/)S^):^
06:03:22 <fungot> */*/**/***/*****/********/*************/*********************/**********************************/*******************************************************/*****************************************************************************************/********************************************************************************* ...too much output!
06:03:29 <fizzie> Of course for serious business, there's always
06:03:32 <EgoBot> 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 <EgoBot> help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help <command>.
06:04:14 <L8D> !c printf("asdf");
06:05:13 <fizzie> `run \? HackEgo # and for even more serious things...
06:05:15 <HackEgo> 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:56 <shachaf> mnoqy: this is a derivitave
06:07:50 <shachaf> elliott: what's the matter
06:07:57 <fizzie> elliott: I wanted a comment. :/
06:09:12 <fizzie> 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 <L8D> `run wget http://www.muppetlabs.com/~breadbox/software/tiny/bf.asm.txt
06:11:49 <HackEgo> --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:22 <fizzie> There's a very small whitelist of things accessible from inside; but you can use the `fetch command.
06:12:42 <L8D> `fetch http://www.muppetlabs.com/~breadbox/software/tiny/bf.asm.txt
06:13:28 <HackEgo> 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 <HackEgo> 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 <L8D> `killall vim
06:14:05 <L8D> `nasm -f bin -o bfc -f bf.asm.txt
06:14:07 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: nasm: not found
06:14:16 <L8D> `yasm -f bin -o bfc -f bf.asm.txt
06:14:18 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: yasm: not found
06:14:37 <L8D> Doesn't even have an assemblerr
06:14:51 <fizzie> 'as' should be enough for everyone.
06:15:07 <L8D> `as -f bin -o bfc -f bf.asm.txt
06:15:07 <HackEgo> 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 <HackEgo> as: unrecognized option '- bin -o bfc -f bf.asm.txt'
06:15:20 <fizzie> Of course it won't assemble *that*; it's GNU as.
06:15:46 <L8D> `git --version
06:15:48 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: git: not found
06:16:15 <fizzie> `run hg --version # also opinionated when it comes to version control
06:16:16 <HackEgo> Mercurial Distributed SCM (version 1.6.4) \ \ Copyright (C) 2005-2010 Matt Mackall <mpm@selenic.com> 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 <L8D> `fetch http://github.com/L8D/delvs/archive/master.tar.gz
06:16:50 <HackEgo> 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 <L8D> `tar zxf master.tar.gz
06:17:11 <HackEgo> tar: Old option `f' requires an argument. \ Try `tar --help' or `tar --usage' for more information.
06:17:21 <L8D> `tar xf master.tar.gz
06:17:22 <HackEgo> tar: Old option `f' requires an argument. \ Try `tar --help' or `tar --usage' for more information.
06:17:27 <fizzie> You need to `run things that you want to have multiple arguments.
06:17:38 <L8D> `run tar xf master.tar.gz
06:17:48 <HackEgo> \ 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 <fizzie> (Plain `tar xf master.tar.gz is akin to `run tar 'xf master.tar.gz'.)
06:18:17 <L8D> `run rm bf.asm.txt master.tar.gz
06:18:28 <L8D> `cd delvs-master
06:18:30 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: cd: not found
06:18:51 <L8D> `cat test.hs
06:18:52 <HackEgo> 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 <fizzie> 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 <L8D> `run cd delvs-master;make
06:19:37 <HackEgo> 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 <L8D> :rageface:
06:20:11 <L8D> `run rm -rf delvs-master
06:20:25 <HackEgo> \ 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 <oerjan> Gregor: YOU HAVE COMPLAINTS
06:20:32 <fizzie> It's not the future yet.
06:20:40 <HackEgo> \ 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:59 <L8D> Gregor: GIVE HackEgo GCC
06:21:25 <L8D> It doesn't have god damn c11
06:21:31 <L8D> that was 2 years ago!!!!!
06:22:02 <oerjan> i think Gregor is rather absent
06:22:19 <oerjan> idle for 2 days 7 hours
06:22:52 <elliott> thankfully hackego was spared a brainfuck derivative interpreter
06:25:33 <fizzie> FWIW, there doesn't seem to be anything in the code that wouldn't just work with -std=c99.
06:25:37 <L8D> `run ./delvs hi-bool.bf
06:25:48 <L8D> `cat hi-bool.bf
06:25:49 <HackEgo> 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:52 <shachaf> i guess hackego wasn't spared
06:26:53 <L8D> What's wrong with a brainfuck derivative interpreter besides abundance?
06:28:12 <L8D> My Brainfuck-derivative
06:28:36 <L8D> It's pronounced /Dell-viss/
06:28:40 <myname> it doesn't look like brainfuck at all
06:29:10 <L8D> Well, that's the boolean version of hello world
06:29:39 <myname> which is what i cannot read
06:29:56 <L8D> `run cp delvs-master/samples/multiply.bf .
06:29:56 <fizzie> The numbers and letters are presumably just comments.
06:29:58 <myname> how does it translate to "normal" delvs
06:30:14 <L8D> `cat multiply.bf
06:30:16 <HackEgo> ;>; \ < [ \ > [ \ > + \ > + \ << - \ ] \ > [ \ < + \ > - \ ] \ << - \ ] \ >>> :
06:30:46 <L8D> `run echo 5 5 | ./delvs multiply.bf
06:30:49 <fizzie> (For the record, the interpreter has an off-by-one problem.)
06:31:03 <L8D> fizzie: In the end of loops?
06:31:16 <L8D> What do you mean?
06:31:16 <fizzie> No; in the size of file.
06:31:27 <fizzie> The file contents as a string take size+1 bytes, not size.
06:31:52 <fizzie> Cf. http://sprunge.us/DcLW
06:32:48 <L8D> Do you have the hi-bool.bf in your directory?
06:32:55 <mnoqy> 23:26:54 <L8D> What's wrong with a brainfuck derivative interpreter besides abundance?
06:33:08 <fizzie> (It also has a g.vars-not-initialized problem.)
06:33:30 <mnoqy> overdone has a different connotation
06:33:34 <mnoqy> IMO worth stressing
06:35:59 <oerjan> but overdoing is so easy
06:36:30 <mnoqy> 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 <zzo38> I happen to think C11 and C99 has many stupid things.
07:32:36 <zzo38> Flexible arrays; GNU supports zero-length arrays with works much better.
07:33:03 <zzo38> 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 <shachaf> What's the difference compared to GNU zero-length arrays?
07:35:10 <zzo38> The difference is described in the GNU documentation. Zero-length arrays is a much more logical implementation.
07:36:05 <shachaf> I don't see a very significant difference.
07:38:12 <zzo38> I once wrote how I would think is better way to extend C89.
07:40:31 <zzo38> (Maybe you might have seen this.)
07:41:45 <zzo38> Well, it is available at: http://zzo38computer.org/textfile/miscellaneous/black_c.txt
07:52:54 <zzo38> 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 <zzo38> 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 <zzo38> 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 <zzo38> 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 <Taneb> @unmtl ReaderT Maybe a b
09:18:00 <Taneb> @unmtl ReaderT a Maybe b
09:19:49 <shachaf> @unmtl MaybeT (Reader a) b
09:22:58 <Taneb> Bad bracket handling
09:23:10 <Taneb> @unmtl StateT s (Reader a) b
09:40:25 <FreeFull> zzo38: I really like complex.h myself
09:41:22 <FreeFull> I have made use of complex numbers in C before
09:42:01 <shachaf> Taneb: when are you coming to california btw
09:45:11 <shachaf> That's at least 2.5 more years of not being in CA.
09:46:49 <fizzie> Not if you take a wormhole.
09:47:16 <shachaf> Well, sure, that's an implicit qualifier on most things I say.
09:47:59 <fizzie> If you are going / to San Fran Cisco...
09:51:30 <fizzie> 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 <fizzie> (It's like living in the NATURE.)
09:54:06 <shachaf> do you have something smaller than THREE MEGABYTES hth
09:59:42 <fizzie> https://dl.dropboxusercontent.com/u/113389132/Misc/20130616-p1170896-small.jpg less than six hundred kilobytes hth
10:00:19 <fizzie> It's the sort of thing you'd dump all that flour on.
10:10:34 -!- ais523 has quit.
10:26:54 <zzo38> 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:39:15 <zzo38> Yes, it isn't COBOL either!
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 <zzo38> There is no thorn in Computer Modern font
12:44:12 <Bike> http://www.projectwonderful.com/img/uploads/pics/39684-1284372742.png
12:57:19 -!- nooodl has joined.
13:10:30 -!- mnoqy has joined.
13:11:35 <kmc> zzo38: what do you think of C99, in general?
13:11:39 * kmc thinks he already knows the answer
13:12:17 <Bike> there are several good things, but also some bad things, which i would change
13:13:56 <Bike> for example, trigrams should be extended with tetragrams
13:14:34 <Bike> it's like two am fuck you
13:15:37 <kmc> 4/20, smoke weed every day
13:15:41 <kmc> how can it be two am
13:15:49 <kmc> i just woke up, it's light out and shit
13:15:53 <kmc> i am like a normal person now
13:16:04 <kmc> AND DO YOU KNOW WHY? http://w1mx.mit.edu/flea-at-mit
13:16:33 <Bike> a swap meet, huh
13:16:35 <Bike> do they have good stuff
13:17:45 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net).
13:19:29 <kmc> they have entertaining stuff
13:19:45 <kmc> i probably won't buy anything because i'm moving soon
13:19:51 <kmc> i'm going to try to sell some shit
13:20:12 -!- Phantom_Hoover has joined.
13:20:16 <fizzie> Sunrise here is around 03:54am these days, and it's reasonably light two am too.
13:21:14 <kmc> 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 <kmc> one of the latter was telling me about how back during the war he had the biggest radio in New Jersey
13:21:59 <kmc> good question
13:22:55 <kmc> gulf of tonkin
13:23:44 <fizzie> "during the World War" "first or second?" "there was a second?!"
13:25:33 -!- Frooxius has quit (Read error: Connection reset by peer).
13:26:55 <Taneb> When was it when the Swedish army invented tinned food?
13:27:57 <fizzie> Probably the you-must-be-making-that-up war.
13:28:33 <Bike> i understand that constitutes most of sweden's wars
13:29:01 <kmc> 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 <Taneb> Oh, it was the French
13:29:35 <Bike> kmc: effective
13:29:59 <Bike> hm i should check wikipedia's inevitable list of conflicts called "world war iii"
13:31:20 <Bike> http://callofduty.wikia.com/wiki/World_War_III lol
13:31:48 <Taneb> Only one of my ancestors fought in either world war
13:32:17 <Bike> a furious footchase
13:32:42 <Bike> 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:34:06 <kmc> Bike: that's what they get for using PHP
13:34:27 <Taneb> elliott, aren't you like 8 months younger than me?
13:35:03 <elliott> Taneb: dont fight the feelings
13:35:33 <Phantom_Hoover> Taneb, yes, you were conceived from dna extracted from the embryonic elliott
13:35:47 <Bike> 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 <Taneb> Phantom_Hoover, that's...
13:36:10 <elliott> Bike: until it happens irl
13:36:34 <Bike> well the eugeincs wars ended in 1996
13:36:36 <Bike> 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 <Phantom_Hoover> 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 <Bike> only true 90s kids remember
13:37:30 <Bike> well i can't find the list, this sucks
13:37:38 <Bike> i bet the real wwiii is just iran-iraq or the congo
13:37:46 <Taneb> I think there will only ever be one nuclear war in history
13:37:48 <kmc> or the cold war
13:37:51 <Taneb> ...and it has already happend!
13:38:09 <Bike> maybe like, angola or something
13:38:14 <fizzie> Bike: It's an online encyclopedia everyone can edit, wink wink, nudge nudge.
13:38:21 <Bike> "a shitload of "minor" conflicts"
13:38:25 <kmc> cold war was real, we just outsourced all the actual fighting to the third world
13:38:30 <kmc> outsourced like everything else
13:39:04 <Bike> yeah but iran-iraq had trenches and gas
13:39:08 <Bike> way more world warry, imo
13:39:16 <kmc> poison gas in your ass
13:39:44 <Phantom_Hoover> was the iran-iraq war caused by disagreements over who was stealing whose name
13:40:12 <fizzie> The Iran-Iraq-IRA war.
13:40:25 <Bike> they're from completely different roots phantom >:
13:41:02 <kmc> iran contrafunctor
13:42:00 <fizzie> Your search - "cobrafunctor" - did not match any documents.
13:42:08 <Taneb> "Iran" is actually a corruption of the earlier "Persia"
13:42:19 <Taneb> Which was a principality
13:42:38 <Taneb> They changed the name after the big war against Greece
13:43:07 <Bike> world war -vii
13:45:17 <elliott> Bike: they ended in 1996... new timeline
13:45:24 <elliott> which is actually 2036 our timeline
13:45:32 <elliott> turns out a couple decades didn't actually happen
13:45:56 <elliott> Phantom_Hoover: i just told you they didn't exist
13:48:03 <Taneb> 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:56:14 <FreeFull> Taneb: What if north korea actually has nukes
14:00:49 <kmc> do we think they don't?
14:00:58 <kmc> been faking all the tests?
14:02:24 <fizzie> kmc: They've outsourced the tests to the US.
14:04:44 <FreeFull> 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 <Bike> it's pretty hard to fake nuclear earthshaking.
14:06:14 <fizzie> 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 <Bike> 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 <Bike> not that that isn't silly, but states try to get ancient legitimacy like that all the time.
14:09:16 <FreeFull> Americas don't have any legitimacy ever since Europeans have ruined them
14:09:57 <Bike> could you rephrase readably
14:23:53 -!- Frooxius has joined.
14:45:34 <zzo38> 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 <Bike> http://www.youtube.com/watch?v=PtlxIcN_tAM this is hard to watch
15:07:12 -!- Taneb has quit (Quit: Leaving).
15:19:54 <Phantom_Hoover> weren't the yields so puny you could have actually just done it with conventional explosions
15:20:40 <Bike> if you had 6 to 40 thousand tons of TNT
15:21:53 <Phantom_Hoover> 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 <FreeFull> 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 <Taneb> elliott, you know ages ago you said "Taneb, play Brogue" or something so I started playing Brogue
16:14:26 <Taneb> Then a while later I had a succession of computer problems
16:14:55 <Taneb> Well, I am trying to reinstall Brogue
16:15:00 <Taneb> And having difficulty
16:18:59 <kmc> 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 <mnoqy> 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:45 <Phantom_Hoover> <kmc> the first DPRK nuke test was in the conventional explosives range <- i heard it fizzled
16:23:04 <Phantom_Hoover> despite being made with uranium which normally doesn't fizzle
16:27:03 -!- Frooxius has joined.
16:36:40 <Sgeo> "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 <Sgeo> Does anyone here have an idea of what those companies might be?
16:44:34 <kmc> service as a services
16:45:12 <olsner> Something as a Something
16:48:03 <Sgeo> Should I reply? I mean, it's not often some industry person goes and mentions Haskell
16:48:08 <Taneb> I wonder how hard it would be to write a 4D raytracer
16:52:49 <kmc> is this a recruiter or something
16:53:17 <kmc> a lot of jobs mention haskell and want you to know haskell but don't really use haskell much
16:53:48 <Phantom_Hoover> only difficulty i can think of is if you need to use cross products for some reason
16:53:59 <Taneb> How hard would it be to write a 1D raytracer
16:54:17 <kmc> 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 <Taneb> Pretty easy, I imagine
16:54:25 <kmc> (the answer: thick as a brick, three times)
16:54:33 -!- conehead has joined.
16:54:43 <Sgeo> Phantom_Hoover, I know a bit of Haskell
16:56:00 <Sgeo> kmc, yeah, recruiter
16:56:18 <Sgeo> I'd still feel weird leaving a good job that I've only just gotten into, though
16:56:29 <Sgeo> Probably wouldn't look good in the future
16:57:09 <olsner> since recruiters are in the recruitment industry, they're not really "industry persons" in *our* industry
16:57:32 <Sgeo> 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 <kmc> 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 <Taneb> elliott, would you believe I have Brogue working
17:19:44 -!- sebbu has quit (Read error: Connection reset by peer).
17:20:49 -!- sebbu has joined.
17:25:06 <Sgeo> It wasn't working before?
17:25:13 <Sgeo> Also, are there online servers for Brogue yet?
17:28:58 <Sgeo> "At the You die... --MORE-- prompt, pressing i will reveal your inventory with all items fully identified.'
17:29:13 <Sgeo> Should really say (press i to see items) at the prompt or something
17:29:19 <Sgeo> 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: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 <Taneb> Phantom_Hoover, some things
19:14:56 -!- zzo38 has quit (Remote host closed the connection).
19:36:50 <myndzi> there's a 'roguelike radio'? o_O
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 <shachaf> Taneb: when are you going to invent the esolang Main Page.?
20:24:07 <Taneb> shachaf, once I've written a tables tutorial and moved to California
20:24:46 <shachaf> Taneb: But imagine all the free publicity!
20:24:55 <HackEgo> 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:07 <EgoBot> Use: !bfjoust <program name> <program> . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/
20:53:39 <fizzie> 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:56:12 <fizzie> (Technically speaking it should loop, but I suppose that's a bit meaningless.)
20:57:25 <nooodl> is this what finland sounds like
20:57:36 <fizzie> No, of course not, Lake Como is in Italy.
21:00:02 <HackEgo> \ 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 <fizzie> `run ls | head -n 1 | hexdump -C
21:00:51 <HackEgo> 00000000 e2 80 ae 0a |....| \ 00000004
21:01:25 <oerjan> what IS that... the entire logs after the `ls earlier today is on one backwards line in my browser...
21:01:40 <fizzie> Oh, it's one of the right-to-left control things.
21:02:29 <HackEgo> rm: cannot remove ` ': No such file or directory
21:02:38 <fizzie> U+202E RIGHT-TO-LEFT OVERRIDE character.
21:02:57 <oerjan> but why on one line...
21:03:37 <fizzie> You may have to ask your browser that; I just get that single line the wrong way around.
21:03:44 <fizzie> (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 <fizzie> (And "rm: cannot remove ` yrotcerid ro elif hcus oN :'" too.)
21:06:01 <oerjan> fizzie: well i'm normally using the .txt logs because the formatted ones have this hideously large font.
21:06:38 <oerjan> 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:18 <oerjan> `run run ls | head -n 1 | xargs file
21:07:20 <HackEgo> 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 <oerjan> `run ls | head -n 1 | xargs file
21:07:37 <oerjan> run HackEgo ... damn fizzie
21:07:49 <oerjan> `run ls | head -n 1 | xargs rm
21:07:59 <HackEgo> 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:51 <fizzie> "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 <oerjan> may be time for another cleanup
21:09:14 <shachaf> shachaf@carbon:~$ ls | egrep '^..?$' | wc -l
21:10:38 <fizzie> http://sprunge.us/hacg time for another cleanup? (Okay, they're at least all in ~/tmp.)
21:10:59 -!- variable has joined.
21:11:34 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
21:13:00 <HackEgo> 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:26 <HackEgo> rm: cannot remove `testbot': Is a directory
21:13:49 -!- Frooxius has joined.
21:14:19 <oerjan> wtf is wrong with the repository browser
21:16:24 <oerjan> why is testbot not in the browser
21:16:47 <oerjan> ok an empty directory, they do that.
21:17:09 <HackEgo> ls: cannot access testbot: No such file or directory
21:17:18 <HackEgo> 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:18:01 <HackEgo> uk: ASCII English text, with very long lines, with no line terminators
21:18:30 <shachaf> imo file should recognize uk english vs us english vs #esoteric english etc hth
21:21:27 <fizzie> Does one recognize #esoteric english from its hthquency?
21:22:14 <shachaf> fizzie: no, that's oerjan english hth
21:22:32 <shachaf> I assume that everyone in Norway uses hth as much as oerja does, when they talk in English.
21:23:56 <oerjan> @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:24:19 <HackEgo> Norway is the suburb capital of Sweden. It's where the Nobel Peace Prize is announced.
21:24:24 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/blah
21:24:51 <oerjan> @tell Gregor oh i found a file log link. still unintuitive.
21:25:52 <oerjan> `rm raw.php?i=uwbmWGSz
21:26:52 <oerjan> oh wait that wasn't the contents listed, but the file type. probably not important anyway.
21:27:01 <HackEgo> 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:42 <shachaf> oerjan: i demand a wisdom entry for dahl hth
21:28:08 <HackEgo> 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:19 <HackEgo> cat \ perl \ python \ ruby
21:29:27 <shachaf> oerjan: i demand an oerjan-authored wisdom entry for dahl hth
21:31:18 <shachaf> oerjan: you have no good reason to believe this sentence hth
21:31:32 <oerjan> of course i do it has hth in it hth
21:32:00 <shachaf> you can't believe everything you read............unless it has hth in it hth
21:32:41 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: maze: not found
21:32:52 <HackEgo> ╱╱╲╲╲╲╲╱╱╱╱╲╱╱╱╲╱╱╲╲╲╲╱╲╲╱╲╲╱╱╱╲╲╲╲╲╲╲╱╱╱╱╱╲╱╲╲╱╱╱╲╲╱╲╲╲╲╲╲╲╲╲╲╱╲╱╲╲╲╱╱╱╲╱╲╲╲╱╲╲╲╲╱╲╲╲╱╲╲╲╲╲╱╱╲╲╱╲╱╲╱╱╲╲╲╲╲╲╱╱╲╱╲╱╱
21:33:05 <myndzi> ╺━━━┳━━━━━━━┳┳┳━━━━━┳┳━┳━━┳┳┳┳┳┳━━━┳━━┳┳┓
21:33:06 <myndzi> ┏━━╸┣━╸╺┳━━┳┛╹╹╻┏╸╻┏┛╹╺┫╺┳┫╹╹╹╹┗┓╺━┻╸╺┛╹┃
21:33:06 <myndzi> ┃╺┓╺┫╺━┳┫╺┳┛╺━┓┣┻┳┻┛╺━━┛╺┛╹╺┓╺━━┛╺━┳━┓╺┳┫
21:33:07 <myndzi> ┣━┫╺┛╺━┛╹╺┛╺━┳┻┛┏┻╸╺━━┓┏╸╺┓╻┃╻╺┓╻┏━┛╺┻┳┛┃
21:33:07 <myndzi> ┣╸╹╻╺┓╺┓╻┏╸╻╺┛╺┓┗╸╻╺━┓┃┣╸╺┻┻┻┻━┻┻┻╸╺━━┛╺┛
21:33:08 <myndzi> ┗━━┻━┻━┻┻┻━┻━━━┻━━┻━━┻┻┻━━━━━━━━━━━━━━━━╸
21:33:22 <myndzi> the unicode isn't all screwy
21:33:31 <myndzi> don't install any fonts don't install any fonts don't install any fonts...
21:33:41 <myndzi> ╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱
21:33:42 <myndzi> ╲╲╱╲╱╲╱╲╲╱╲╲╲╱╱╲╲╲╲╲╱╱╱╲╱╲╲╱╲╲╱╱╱╲╱╱╲╲╱╲
21:33:42 <myndzi> ╲╱╱╲╱╲╲╱╲╲╲╲╲╱╱╱╲╱╲╱╲╲╲╱╲╱╲╱╱╱╱╲╱╱╱╱╱╲╱╲
21:33:43 <myndzi> ╱╱╱╱╱╱╱╱╱╲╱╱╲╲╱╱╱╱╱╱╱╱╱╲╱╲╲╲╱╲╲╲╱╲╲╱╲╲╲╱
21:33:43 <myndzi> ╱╲╱╱╱╲╱╲╱╲╲╱╱╲╲╲╲╱╱╲╲╱╱╲╲╲╱╲╲╲╲╲╲╱╱╱╲╲╱╱
21:33:44 <myndzi> ╲╱╲╲╲╲╲╲╱╲╱╱╱╱╱╱╲╱╱╱╲╱╲╲╱╲╲╱╱╱╲╲╱╱╱╱╱╱╲╲
21:33:44 <myndzi> ╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱
21:33:48 <myndzi> there we go, that's the one i was looking for
21:33:50 <myndzi> spacing's whack though
21:33:56 <myndzi> lol this font has kerning
21:34:05 <myndzi> fixed width symbols with kerning
21:34:26 <myndzi> ╺━━━━━━━┳━━━━┳┳━━━━━━━━━┳━━━━━┳━━━━━━┳━━┓
21:34:26 <myndzi> ┏━━━╸┏━╸┗━━┳╸╹┗┳━━╸╺━━┓╺┻━━━╸┏╋╸╺┳━╸╺┻━╸┃
21:34:26 <myndzi> ┣━━━━┻━━━━╸┗┳╸╺┻━╸┏━━━┻━━━━╸╺┛┗╸╺╋━╸╺━━┓┃
21:34:27 <myndzi> ┣╸╻┏╸╺┓┏━━━┓┗━╸╺┳━╋━┳━━━━━╸╺┳╸┏╸╺┫╻╻╺━━┫┃
21:34:27 <myndzi> ┣╸┣┻━━┻┻━╸╺┻━━╸┏┻╸╹╺┛┏━━━╸╻┏┛╺┻━┓┗┫┣╸╺┓┗┛
21:34:28 <myndzi> ┗━┻━━━━━━━━━━━━┻━━━━━┻━━━━┻┻━━━━┻━┻┻━━┻━╸
21:34:38 <myndzi> shachaf: probably half-bars
21:34:49 <myndzi> they weren't in the original line drawing set
21:34:50 <shachaf> Windows does font rendering in the kernel, so it's the only one to get kerning right.
21:35:15 <myndzi> sure, but the font specifies the metrics
21:35:29 <myndzi> this font apparently says "make that diagonal line close to other diagonal lines"
21:37:03 <oerjan> wait am i supposed to be viewing this with a non-fixed width font because I DON'T hth
21:37:31 <ion> You should fix your IRC, HTH, HAND
21:38:23 <myndzi> no, it is supposed to be fixed-width
21:38:35 <myndzi> i was observing that the zigzaggy one, on whatever font it's being rendered in, has kerning between //
21:38:39 <myndzi> and therefore doesn't line up
21:38:50 <oerjan> shachaf: your parsing is wacky hth
21:39:08 <shachaf> my parsing is wacky hope? what?
21:39:47 <shachaf> oerjan: did you know hth is banned from another channel i'm in
21:40:08 <oerjan> also it's your fault, right?
21:40:28 <shachaf> it's my fault because i overused it
21:40:50 <shachaf> hey you should stop by #haskell
21:41:49 <HackEgo> 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 <oerjan> `rum mv maze* hello* share
21:42:42 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: rum: not found
21:42:48 <oerjan> `run mv maze* hello* share
21:43:22 <oerjan> i declare share to be the carpet to sweep things under that are too good to delete hth
21:44:03 <HackEgo> lrwxrwxrwx 1 0 0 4 Oct 14 2011 /bin/sh -> dash
21:44:19 <shachaf> `run echo 'sh -c "$1"' > bin/rum; chmod +x bin/run
21:44:23 <HackEgo> chmod: cannot access `bin/run': No such file or directory
21:44:26 <shachaf> `run echo 'sh -c "$1"' > bin/rum; chmod +x bin/rum
21:45:33 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.134
21:46:05 <Phantom_Hoover> 2008-04-22.txt:10:37:30: <fizzie> ITYM "olkoslept" HTH HAND.
21:46:22 <shachaf> 2008-06-23.txt:22:34:12: <oerjan> tusho: ITYM "IIRC FTW". HTH.
21:46:30 <nooodl> i love how fizzie invented hth
21:46:55 <shachaf> 2008-08-10.txt:12:32:43: <fizzie> Mostly used in the construction "ITYM 'foo' HTH HAND".
21:47:23 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.17933
21:48:11 <shachaf> 2012-12-24.txt:00:04:47: <zzo38> oerjan: Who is evil hth?
21:48:11 <shachaf> 2012-12-24.txt:00:05:00: <oerjan> shachaf hth
21:48:49 -!- constant has quit (Quit: I found 1 in /dev/zero).
21:49:09 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.20843
21:49:29 <oerjan> 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 <shachaf> hmm should there be `zzo38logs
21:49:58 <shachaf> How do you pronounce that?
21:50:07 <shachaf> no i want juicy norwegian information
21:50:31 <HackEgo> #!/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 <oerjan> and if i change to a different browser it'll probably do things in a _different_ annoying way instead.
21:51:11 <shachaf> `run ls /var/irclogs/_esoteric
21:51:17 <nooodl> hmm is there a map of "where in the world is #esoteric" anywhere
21:51:27 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29749
21:51:30 <HackEgo> 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:52:00 <shachaf> Phantom_Hoover: y'know, that's really the core of it
21:52:03 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/pastelog
21:52:25 <shachaf> a piece of modern hth art hth
21:52:45 <nooodl> i almost wanna `learn hth is http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29749
21:52:51 <nooodl> but iirc it's good right now
21:52:56 <HackEgo> hth is help received from a hairy toe. It is not at all hambiguitous.
21:53:54 <fizzie> A one-time bad is provocably secure.
21:54:32 <nooodl> ITYM "brovocably" HTH HAND
21:54:41 <shachaf> HEY EVERYONE REMEMBER https://en.wikipedia.org/wiki/Kid_Pix
21:56:08 <shachaf> http://www.youtube.com/watch?v=krlmGTQAfYw
21:58:21 <shachaf> wait a minute that's not the right version is it
21:58:44 <shachaf> maybe http://www.youtube.com/watch?v=TayProAkmBE
22:05:29 <ion> Remember when computer monitors had a builtin pinch effect?
22:06:25 <ion> TayProAkmBE
22:06:52 <oerjan> is that supposed to be an answer because i still have no clue
22:07:07 <ion> http://www.youtube.com/watch?v=TayProAkmBE
22:11:59 <fizzie> Remember when you could wave a magnet near a screen and it'd get all colorful and stuffs?
22:12:06 <fizzie> Then it'd get stuck that way.
22:12:50 <oerjan> ion: um where in that was the pinch effect twh
22:13:05 <fizzie> oerjan: In the MONITOR.
22:13:40 -!- ais523 has joined.
22:13:55 <oerjan> oh you mean the overall picture shape?
22:15:02 <fizzie> I do remember CRTs having barrel distortion twiddles you could twaddle to hopefully make the image area a bit more rectangular.
22:15:10 <ion> fizzie: yeah
22:15:57 <fizzie> It's the thing that more or less fixed the thing you had done with the aforementioned magnet.
22:16:36 <shachaf> good old Carl Friedrich Degauss
22:17:02 <ion> John Barrel should never have implemented Barrel distortion in monitors, that sucked.
22:17:34 -!- sprocklem has joined.
22:17:40 <nooodl> Decarl Defriedrich Degauss
22:17:54 -!- zzo38 has joined.
22:18:21 <shachaf> Do you have anything good for us today?
22:24:49 <nooodl> it's 00:24 am here! you've got all day
22:25:32 <Sgeo> The third book doesn't come out until September :(
22:25:42 <FreeFull> Some monitors automatically degaussed every time you turned them on
22:33:15 <oerjan> <Taneb> "Iran" is actually a corruption of the earlier "Persia" <-- um...
22:33:42 <ion> Best phone conversation in a feature film http://youtu.be/hroUeu4IvpE hth
22:34:34 <oerjan> <FreeFull> 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:37:14 <FreeFull> oerjan: And where adbmalbot operates
22:39:20 <oerjan> ion: is that indian english how she is spoken
22:44:02 <zzo38> I think I did manage to write the sequent calculus of sequent calculus.
22:44:32 <zzo38> (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 <zzo38> 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 <zzo38> Now it knows itself. Well, kind of; it knows what it was before the sequent calculus of its own sequent calculus was added.
23:29:18 <zzo38> Phantom_Hoover: Please be more specific!
23:30:45 <zzo38> 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: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).