00:03:56 -!- wyldstallyns has joined.
00:27:54 -!- Patashu has joined.
00:30:56 -!- Patashu has quit (Remote host closed the connection).
00:31:17 -!- Patashu has joined.
00:33:36 -!- Patashu has quit (Client Quit).
00:34:49 -!- Patashu has joined.
00:42:31 -!- augur has quit (Remote host closed the connection).
00:42:40 <zzo38> Hello; do you want.................
01:19:52 <zzo38> In the Dungeons&Dragons game I will make it my character's job to write down everything about the haunted castle and so on, in a book to keep in the royal archives and in the library, so that next time anyone need to go in there, they can know what to expect
01:22:40 -!- pikhq_ has joined.
01:23:19 -!- pikhq has quit (Ping timeout: 276 seconds).
01:47:09 -!- itidus20 has joined.
01:50:13 -!- itidus21 has quit (Ping timeout: 248 seconds).
01:52:39 <lambdabot> itidus20: You have 1 new message. '/msg lambdabot @messages' to read it.
01:52:49 <lambdabot> itidus21 said 15h 54m 6s ago: elliott still has a box of beasts to use on zot:5
02:18:20 -!- Tod-Autojoined has changed nick to TodPunk.
02:28:23 -!- azaq23 has joined.
03:21:37 -!- calamari has joined.
04:20:40 <coppro> oh my god someone actually tried to play the death waltz
04:40:05 -!- calamari has quit (Quit: Leaving).
04:47:16 <HackEgo> 2011-08-26.txt:23:47:46: <ais523> [20:52] <Brushy> Johnson Plays Waltz Citing Beethoven's "Your From Round Pittsburg?" Use Escalating Overalls You Damn Jackasses... Just kidding!"
04:48:02 <HackEgo> 2010-07-11.txt:07:19:52: <coppro> I missed the Death Waltz bit where the upper staff gets a note below the bottom staff on ledger lines :D
04:48:30 <HackEgo> 2012-05-03.txt:04:47:55: <itidus20> `log waltz
04:48:48 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.24809
04:49:14 <Sgeo> monqy, there was an update at ??:10
04:57:25 <coppro> http://www.youtube.com/watch?v=sCgT94A7WgI
05:00:06 <Sgeo> coppro, embedding disabled on request when I try to use youtuberepeat
05:00:13 <Sgeo> And it crashes when I try to view it normally
05:00:33 -!- ais523 has joined.
05:01:03 <Sgeo> Oh, I've seen this
05:03:27 <Sgeo> coppro, did they skip bar 7 correctly?
05:03:46 <coppro> unsurprisingly, it's difficult to follow along to the music
05:04:18 <coppro> although I think they forgot to repeat the first "bar" 9 times
05:06:21 <Sgeo> I don't see that
05:06:50 -!- ais523 has quit (Ping timeout: 272 seconds).
05:13:47 -!- oklopol has joined.
05:42:44 -!- augur has joined.
05:47:42 <shachaf> kmc: Did you see monqy's self-portrait of me?
05:48:28 <kmc> i think you asked me that yesterday
05:48:33 <kmc> is this the one with bonzi buddy?
05:49:36 <shachaf> elliott also drew a self-portrait of me with Bonzi Buddy.
05:49:41 <shachaf> But monqy drew a different one.
05:49:51 <shachaf> 11:38 < elliott> 19:18 <elliott> 08:05:37: <monqy> Patashu: http://dl.dropbox.com/u/13786158/shachaf.png http://dl.dropbox.com/u/13786158/eliot.png
05:53:01 <wyldstallyns> how do you make a self-portrait of someone else
05:53:11 <shachaf> wyldstallyns: Just like monqy did it.
06:07:47 -!- variable has quit (Read error: Operation timed out).
06:15:33 -!- ais523 has joined.
06:24:26 <Sgeo> @tell elliott I just found out about http://www.zincland.com/7drl/kobold/ from TVTropes. Have you tried it?
06:25:14 <monqy> has anyone not tried smart kobold?
06:25:36 <Sgeo> monqy, I haven't heard of it until now
06:25:45 <monqy> how did you live with yourself
06:25:49 <kmc> bah, next ThinkPad X series will have a chiclet keyboard
06:25:53 <kmc> http://www.ubergizmo.com/2012/05/lenovo-thinkpad-with-ivy-bridge-leaked/
06:26:01 -!- zzo38 has quit (Remote host closed the connection).
06:27:37 <shachaf> CHICLET KEYBOARD? MORE LIKE CHIC KEYBOARD, KORRECT?
06:27:48 <Deewiant> https://en.wikipedia.org/wiki/Chiclet_keyboard
06:28:04 -!- variable has joined.
06:29:38 -!- ais523 has quit (Ping timeout: 245 seconds).
06:31:33 <Sgeo> monqy has been UPDATEd
06:33:02 <kmc> Sgeo: it used to mean a particularly shitty kind of rubber membrane keypad seen on tv remotes etc
06:33:30 <kmc> now it's used to refer to laptop keyboards where individual keys are separated by empty space
06:33:38 <kmc> even though the key mechanism is (in general) much better than those shitty membranes
06:33:48 <kmc> the thinkpad chiclet keyboard allegedly has the same mechanism as the classic thinkpad keyboard
06:34:09 <shachaf> I'm using a Dell chiclet keyboard.
06:35:13 -!- ais523 has joined.
06:36:03 <ais523> ooh, I have made a discovery!
06:36:22 <ais523> the wireless around here is really buggy (apparently it's a router issue), and normally won't connect at all, or only for short periods of time
06:36:33 <ais523> but it's more likely to connect immediately after the computer is rebooted
06:36:57 <ais523> and it seems that I can replicate that same high success chance by a rmmod/insmod on the wi-fi driver kernel module
06:37:05 <ais523> this could seriously save me a lot of time if it works
06:37:21 <shachaf> ais523: I once considered making an alias for "sudo sh -c 'rmmod iwlwifi; modprobe iwlwifi'"
06:37:27 <shachaf> But it never leaves my command line history.
06:37:32 <shachaf> So I didn't get around to doing it.
06:38:05 <kmc> yeah i have a script for that
06:38:19 <kmc> on linux you should look into whether your card tries to support 802.11n
06:38:21 <kmc> and if so, disable it
06:38:28 <kmc> that improved reliability a lot on one machine i tried
06:39:15 <shachaf> My card keeps developing exciting new bugs.
06:39:43 <shachaf> Under Ubuntu it was relatively stable once I got everything set up. Here in Debian it seems to break in subtly different ways on every few-week upgrade.
06:39:49 <shachaf> This is the reverse of kmc's experience, I think.
06:40:26 <kmc> debian unstable?
06:40:36 <kmc> i've never used ubuntu on my own machine for a long stretch of time
06:40:50 <kmc> just in VMs and on other people's machines here and there
06:41:14 <kmc> i think even debian unstable doesn't update the kernel that often?
06:41:27 <kmc> you could pin the kernel to a specific version
06:41:34 <shachaf> It might have to do with the fact that I'm using a monstrosity of a system around the kernel.
06:44:12 <Sgeo> http://newyork.cbslocal.com/2012/05/02/bosch-drowsiness-detection-system-to-make-alertness-tech-more-common/
06:45:49 <itidus20> because the world demands people to drive while sleepy
06:46:00 <kmc> shachaf: how so
06:46:29 <shachaf> I didn't feel like getting xmonad set up so I just tried to reproduce my lazy GNOME setup from before.
06:46:47 <shachaf> So now I'm running xfce but with gnome-settings-daemon because I wanted something that gnome-settings-daemon did.
06:46:58 <shachaf> And also I'm running both NetworkManager and WICD at the same time, I think?
06:47:20 <kmc> that sounds inadvisable
06:47:34 <shachaf> And I have a loop that runs "disable-capslock; xmodmap $REMAP_CAPSLOCK_THINGY" every two seconds, because xfce randomly interferes with GNOME's keyboard settings.
06:48:07 <shachaf> I should just set xmonad up.
06:48:13 <kmc> i use wpa-supplicant, nothing higher level than that
06:48:25 <shachaf> I managed to get GNOME 2 to a perfectly usable state. I don't need much out of my WM.
06:48:31 <shachaf> Why did they have to go mess it up?
06:48:56 <kmc> because GNOME
06:49:50 -!- asiekierka has joined.
06:49:53 <kmc> did you run into trouble setting up xmonad, or just haven't got around to it?
06:50:12 <kmc> also what about plain xfce, no GNOME?
06:50:36 <shachaf> Just haven't gotten around to it.
06:50:42 <shachaf> I have a really old xmonad.hs somewhere.
06:50:52 <kmc> yeah, upgrading those can be a pain
06:50:53 <shachaf> I'm fine with that but gnome-settings-daemon did a few things that xfce didn't, or something.
06:51:06 <kmc> maybe there is another way to do those things
06:51:21 <kmc> which doesn't involve getting goatfucked by GNOME
06:51:41 <shachaf> But it sounded like so much effort at the time.
06:51:44 <kmc> this is really kind of a worrying state of affairs
06:51:55 <shachaf> Things like "set up multiple keyboard layouts without messing with Xorg.conf".
06:52:05 <kmc> if GNOME is the main UI that's usable by beginners, but is hated and disowned by skilled programmers
06:52:15 <kmc> down that road lies PHP
06:52:56 <kmc> but a fair number of the skilled programmers i know run at least some parts of GNOME
06:53:00 <kmc> so maybe it's not so bad
06:53:24 <shachaf> I'm really at the "don't care" stage.
06:53:36 <shachaf> I don't want too much out of my WM. I mostly use full-screen windows anyway.
06:53:57 <shachaf> But GNOME 3 felt like an early beta or something -- so much was broken and the rest was uncustomizable.
06:55:41 <shachaf> kmc: When are you going to write kmcwm?
06:56:33 <pikhq_> Tech writing, had to write instructions on "any topic"...
06:56:41 <pikhq_> So, I explained the basics of Magic.
06:58:56 <pikhq_> 9 pages for a basic primer on the subject, apparently.
06:59:07 <pikhq_> And by "basic" I mean I even omitted a card type.
07:00:32 <pikhq_> Of course, that's 9 pages with fairly defaulty TeX formatting. Large margins, ToC, whole page taken up by a picture of a card...
07:01:53 <pikhq_> Also, computer modern because I'm lazy and the professor seems to like everything else I've turned in in it. :P
07:02:27 <kmc> LaTeX is a great way to get some unearned credibility
07:02:46 <pikhq_> Greater still when you're actually writing Pandoc. :P
07:02:52 <shachaf> kmc: Is it as good as a clear plastic bider?
07:03:02 <kmc> probably the dirtiest trick I ever pulled was, if I had a long sequence of algebraic manipulations, I would put the dodgiest step across a page break
07:03:05 <itidus20> pikhq_: lol do you think the reader of this document will learn Magic as a result?
07:03:17 <pikhq_> itidus20: Quite plausibly.
07:03:19 <kmc> pikhq_: which input format?
07:03:32 <kmc> yeah, that's nice
07:03:44 <shachaf> kmc: Dodgy as in "unsure about it" or "don't feel like writing it out"?
07:04:02 <pikhq_> It's like writing TeX, but much much easier on me.
07:05:19 <kmc> i liked using markdown for beamer slides
07:05:31 <kmc> but i did run into some limitations (which could have been fixed by writing a pandoc module, probably)
07:05:45 <kmc> also it takes pdflatex a long time to compile 100 slides!
07:05:57 <kmc> if i do another presentation I will seriously consider breaking it up and stitching the resulting pdfs
07:06:03 <shachaf> You should've used that slidy thing!
07:06:06 <kmc> with a makefile
07:06:18 <kmc> shachaf: *shrug* I've had bad experiences with HTML slideshows in the past
07:06:29 <pikhq_> Yeah... I've been running my whole thing through Tup.
07:06:35 <kmc> what's Tup?
07:06:59 <pikhq_> Build automation tool, vaguely like make with better algorithms behind it.
07:07:23 <pikhq_> Probably the nicest feature is its monitor, which can automatically rebuild stuff when the source has changed.
07:07:28 <shachaf> Oh, I thought it was the thing that puts multiple Postscript pages on a single printed page.
07:07:39 <pikhq_> http://gittup.org/tup/\
07:07:43 <pikhq_> http://gittup.org/tup/
07:08:24 <pikhq_> Typically like using it as I dev for fairly quick feedback on things.
07:08:32 <pikhq_> Seeing if something compiles is as easy as :w
07:09:01 <shachaf> I usually do that by hand with inotifywait
07:09:36 <pikhq_> Shame that TeX building is a royal pain to automate with it, though.
07:09:53 <pikhq_> (as TeX spews files all over the place and sometimes needs to run multiple times...)
07:10:04 <kmc> also there's little opportunity for partial recompilation
07:10:09 <kmc> if you have just a flat document
07:10:26 <shachaf> Shame that TeX is what it is.
07:10:40 <pikhq_> So good and so bad all at the same time.
07:11:12 <shachaf> Good enough that no one will ever replace it, or something.
07:11:36 <shachaf> Along one dimension, at least.
07:12:04 <pikhq_> Its output is good enough that it'd be really hard to even come close.
07:12:26 <shachaf> I wonder if it's the most popular Pascal program around these days.
07:12:59 <pikhq_> I know it's the only one on my system.
07:13:54 <kmc> how does tup know which files etc. your compiler read?
07:14:00 <kmc> does it use something like ptrace
07:14:02 <shachaf> pikhq_: Did you know execl("/usr/bin/tex", NULL); // => Segmentation fault
07:14:06 <shachaf> kmc: I think it uses FUSE?
07:14:21 <shachaf> https://github.com/gittup/fuse
07:14:31 <pikhq_> On Linux, it creates a FUSE filesystem in a dot directory, and runs the command there.
07:14:42 <pikhq_> On Windows, it does some hack similar to LD_PRELOAD.
07:15:00 <shachaf> If LD_PRELOAD and/or ptrace is acceptable why can't it do that for both?
07:15:31 <pikhq_> FUSE is quite a bit better than LD_PRELOAD for the purpose. I bet ptrace would work decently, though.
07:15:48 <pikhq_> Though, does ptrace work on OS X?
07:15:50 <kmc> there are various situations where LD_PRELOAD would fail
07:15:55 <kmc> apparently ptrace sucks on OS X
07:16:00 <kmc> but there are other Mach interfaces you can use
07:16:09 <pikhq_> FUSE works on every remaining UNIX, though.
07:16:14 -!- Deewiant has quit (Ping timeout: 265 seconds).
07:16:23 <shachaf> pikhq_: I guess it's more reasonable in Windows because LD_PRELOAD-hookable functions are the *only* portable way to access the filesystem.
07:16:38 <pikhq_> Oh, sorry, every remaining UNIX *but OpenBSD*.
07:16:45 <kmc> does Solaris have FUSE?
07:16:54 <pikhq_> (come on guys, even Hurd has FUSE!)
07:17:13 <kmc> Hurd *is* FUSE, man
07:17:14 -!- Deewiant has joined.
07:17:17 <shachaf> How about actual Unix®? Does it work on Unix®?
07:17:22 <kmc> i should get Mosh working on Hurd
07:17:29 <pikhq_> Yeah, they implemented FUSE by making a wrapper library.
07:17:33 <kmc> that would be a laff
07:17:51 <kmc> it will be a supported platform for Debian wheezy!
07:17:53 <shachaf> So much time, so little to do!
07:17:59 <pikhq_> shachaf: It doesn't get more actual than the BSDs.
07:18:11 <shachaf> pikhq_: It -- does, doesn't it?
07:18:28 <kmc> does AIX have FUSE?
07:18:40 <pikhq_> No, but can you call that "remaining"?
07:18:49 <kmc> latest stable release October 2011
07:18:52 <kmc> according to Wikipedia
07:18:58 <shachaf> Oh, I thought you meant "remaining after you rule out Linux".
07:19:10 <kmc> latest release of HP-UX was last month!
07:19:23 <pikhq_> I meant "remaining" as in "not dead or effectively so".
07:19:48 <kmc> just because your hippie friends can't afford a real UNIX doesn't mean they're dead
07:20:07 <pikhq_> Strictly speaking, that was 2007.
07:20:17 <pikhq_> HP is just contractually obligated to provide patches until 2013.
07:20:28 <kmc> there was a MINIX release in February
07:20:38 -!- Slereah has quit (Ping timeout: 240 seconds).
07:20:42 <pikhq_> Oh, right, MINIX. Yeah, that doesn't have FUSE.
07:20:43 <kmc> so HP-UX will actually go away in 2013?
07:20:54 <kmc> http://pdos.csail.mit.edu/6.828/2011/xv6.html
07:20:58 <shachaf> AIX will stay around forever.
07:21:24 * kmc hasn't actually read the xv6 source, JOS is more interesting
07:21:25 <pikhq_> Before that, they released in 2003, then 2002, 2001, 2000, 1997, 1996, 1995, 1992, 1991... And so on.
07:21:58 <pikhq_> Yeah, that at least *suggests* HP-UX isn't going to last.
07:22:19 <pikhq_> Oh, and it's for PA-RISC and Itanium machines only.
07:22:30 -!- Deewiant has quit (Ping timeout: 260 seconds).
07:22:44 <pikhq_> AKA "dead" and "only technically alive", respectively.
07:22:50 <kmc> JOS is pretty neat
07:22:58 <kmc> you implement copy-on-write fork() in userspace!
07:23:03 <kmc> the kernel gives you just enough rope to do so
07:23:13 -!- Deewiant has joined.
07:23:14 <pikhq_> (the last PA-RISC came out in 2005. Some 3 orders of magnitude ago.)
07:23:33 <kmc> in MIT's 6.828 you write portions of an OS named JOS
07:23:43 <kmc> the materials are all online; you should check it out
07:23:57 <shachaf> Ah, a teaching OS sort of thing.
07:24:30 * shachaf should learn more about this topic.
07:24:31 <pikhq_> I can't figure out why AIX is still alive, but then, this is IBM.
07:24:34 <kmc> they call it an "exokernel"
07:24:44 <kmc> it was never clear to me exactly what this means
07:24:58 <pikhq_> They support a 50 year old ISA.
07:25:23 <kmc> they designed that ISA at the outset knowing they would support it for 50 years :D
07:25:55 <pikhq_> ... Oh, wow, I can believe they did.
07:25:57 <olsner> to be fair, they've extended it a lot, and now include support for 3 address sizes
07:25:58 <kmc> it was meant from the beginning to be a kind of virtual thing that would upgrade to newer hardware
07:26:03 <pikhq_> 32-bit addressing in *1964*?!?
07:26:05 <kmc> lol 31 bit architecture
07:26:18 <olsner> pikhq_: it started as 24-bit
07:26:42 <olsner> oh wait, I'm confusing 360 and 370 again
07:26:49 <pikhq_> olsner: I'm discussing the ISA, not early implementations thereof.
07:26:52 <kmc> maybe i am too
07:27:16 <pikhq_> The ISA allowed 32-bit addresses even though the early chips didn't work when you went beyond 2^24.
07:27:49 <kmc> just like x86-64 today
07:28:42 <kmc> shachaf: the primitive IPC message in JOS is a machine int plus optionally a page mapping
07:28:46 <pikhq_> Also, you could operate on 128-bit values.
07:29:17 <pikhq_> (though I think early ones couldn't do arithmetic or anything like that on them)
07:29:35 <kmc> early IBM machines had hardware support for pre-decimal British £sd money
07:30:15 <kmc> in fact there were several different formats for storing same
07:30:20 <kmc> which you could select with a front panel knob
07:30:40 <shachaf> I wish my computer had knobs. :-(
07:32:46 <olsner> fun stuff about z/Architecture is that you have something like 19 address spaces you can switch between and access with special instructions
07:33:30 <kmc> http://upload.wikimedia.org/wikipedia/commons/4/4d/IBM_1401_Control_Panel.jpg
07:33:35 <kmc> "IBM PENCE BSI SHILL"
07:33:42 <olsner> home, primary, secondary, plus 16 "Access Registers"
07:34:00 <pikhq_> 64-bit, 31-bit... Presumably also 24-bit, just in case someone needs to run really weird FORTRAN, and?
07:34:11 <pikhq_> Oh, address spaces, not schemes.
07:34:24 <kmc> shachaf: you can attach some knobs and blinkenlights quite easily
07:34:39 <kmc> i had an analog CPU meter for a while
07:34:48 <shachaf> I never asked for blinkenlichten.
07:35:01 <shachaf> This computer has three pseudo-buttons.
07:35:04 <kmc> this one http://www.youtube.com/watch?v=vgZEfExBBiY
07:35:07 <shachaf> One of them sends Super-X.
07:35:29 <shachaf> One of them dims the screen by slightly less than the regular Fn-dim-screen button.
07:35:55 <shachaf> The third one pops up a big ⊘ on the screen.
07:36:29 <olsner> shachaf: sounds incredibly useful
07:36:56 <shachaf> Also I need to get my laundry from Outside.
07:37:19 <kmc> there used to be a Ksplice blog post about how i made it
07:37:27 <kmc> but it's just an arduino and a resistor and a small python script
07:37:49 <kmc> everyone on reddit was like "LAME Y DIDN'T U TAP CPU POWER PINS N00B"
07:37:57 <pikhq_> Doesn't change the awesome.
07:37:59 <kmc> it's an ammeter, you see
07:38:11 <pikhq_> Tap CPU power pins? Eeeek.
07:38:29 <kmc> my laser cutter has a meter on the front panel
07:38:31 <kmc> labeled "Amperemeter"
07:38:33 -!- Deewiant has quit (Ping timeout: 260 seconds).
07:38:38 <shachaf> Analog is the new digital.
07:38:39 <kmc> in that ugly serif font used for Latin letters in Chinese fonts
07:38:46 <kmc> (the same font is on the rest of the front panel)
07:38:54 <kmc> it doesn't say anywhere what component it's measuring the amperes of
07:39:30 <kmc> also the lid interlock switch doesn't work, I should do something about that
07:39:42 <pikhq_> Ah, ugly-large monospace.
07:40:14 <kmc> shachaf: an awesome suckless CPU meter, done right, that celebrates craftsmanship
07:41:26 -!- Deewiant has joined.
07:42:30 <kmc> shachaf: I think it's cool to have an OS where the lowest level idea of how to send data around involves zero-copy transfers of page mappings
07:42:48 <kmc> there are probably some "real" microkernels that do this too
07:42:58 <pikhq_> Isn't that what L4's known for?
07:43:34 <kmc> yeah i guess so
07:43:39 <shachaf> kmc: I came across a job ad that looked vaguely interesting today, but then I saw that it was for Ksplice.
07:44:05 <kmc> i hear people are still pretty happy there
07:44:08 <kmc> and you could move to boston
07:44:11 <kmc> you could also not move to boston
07:44:50 <shachaf> If it's so great why aren't you there?
07:44:59 <kmc> it's always better on holiday
07:45:04 <kmc> that's why we only work when we need the money
07:45:31 <shachaf> And on holiday we port mosh to GNU/HURD.
07:46:32 <olsner> I wonder how the cost of a 4kB memory copy compares to the overhead involved in mapping a new page
07:47:49 <kmc> on x86 you mostly have to flush the TLB when context switching anyway
07:48:04 <olsner> yeah, so some of that mapping overhead can be made to disappear into things that you have to do "anyway"
07:48:09 <kmc> but it could hurt when the two processes are running simultaneously on different cores
07:48:16 <kmc> then you need to do an IPI to tell the other guy to flush his TLB
07:48:27 <kmc> but you can also do new mappings / increased privileges lazily
07:48:37 <pikhq_> However, 4kiB memory copy also messes with cache. 4kiB is a lot of cache.
07:48:59 <olsner> kmc: at the cost of at least one fault in the future
07:49:01 <kmc> on architectures with tagged TLBs, it might be more painful relatively speaking
07:49:13 -!- Deewiant has quit (Ping timeout: 245 seconds).
07:49:41 <pikhq_> I mean, my L1 is 512k...
07:50:04 -!- Deewiant has joined.
07:53:48 <olsner> I guess that's what those non-temporal move instructions are for
07:54:27 <kmc> the TLB flush is a constant cost, while memory copy is not
07:54:30 <kmc> so there is probably a break-even point
07:55:14 <shachaf> I wonder whether 4kB is still a reasonable page size these days.
07:55:31 <shachaf> It seems like there are a lot of things that huge pages are reasonable for.
07:55:40 <pikhq_> Hence why Linux now supports them.
07:55:56 <shachaf> And I guess it does the transparent huge pages thing these days.
07:56:09 <pikhq_> Automagic 2MiB pages if you turn it on.
07:57:07 <shachaf> monqy: You should draw a self-portrait of kmc.
07:57:27 -!- azaq23 has quit (Max SendQ exceeded).
07:58:44 <kmc> PowerPC supports like 1 GB pages, doesn't it?
07:58:54 <olsner> x86 does too, some models anyway
07:59:11 <kmc> PowerPC also has a crazy half-hard-filled "inverted page table" TLB
07:59:13 <shachaf> There was some architecture that supported that, anyway.
07:59:38 * kmc added huge page support to JOS, but only for the kernel direct mapping
07:59:44 <olsner> x86 could do 4TB pages by using a flag in the same manner it does 2MB/1GB pages
08:02:25 <kmc> Linux also has a thing to transparently merge pages with the same content
08:03:06 <olsner> for pages that aren't all-zero too?
08:03:24 <kmc> i think so
08:03:35 <kmc> shachaf: by scanning all of memory periodically
08:03:40 <kmc> i think it's not enabled by default...
08:03:50 <kmc> but can improve memory consumption dramatically on machines hosting a large number of similar VMs
08:06:03 <pikhq_> It's enabled by default *but* only scans pages with the appropriate madvise() set.
08:06:26 <olsner> http://en.wikipedia.org/wiki/Kernel_SamePage_Merging_(KSM) ?
08:06:30 <pikhq_> MADV_MERGEABLE, apparently.
08:08:04 -!- ais523_ has joined.
08:08:10 -!- ais523_ has quit (Changing host).
08:08:10 -!- ais523_ has joined.
08:08:10 -!- ais523 has quit (Disconnected by services).
08:08:23 -!- ais523_ has changed nick to ais523.
08:12:23 -!- ais523 has quit (Read error: Connection reset by peer).
08:12:28 -!- ais523_ has joined.
08:12:35 -!- ais523_ has changed nick to ais523.
08:18:07 <shachaf> kmc: Was there a verdict about mosh mouse?
08:18:22 <kmc> we were just talking about that in #mosh
08:18:43 <kmc> the verdict is that it's a mess and i don't want to do it
08:18:44 <kmc> https://github.com/keithw/mosh/issues/101
08:19:42 -!- Zuu_ has joined.
08:20:52 -!- Lymee has joined.
08:21:33 -!- Madoka-Kaname has quit (*.net *.split).
08:21:33 -!- Zuu has quit (*.net *.split).
08:21:34 -!- qfr has quit (*.net *.split).
08:22:11 -!- qfr has joined.
08:25:07 <kmc> shachaf: it is... a place to be
08:25:23 <kmc> i should get a mosh project hostname cloak
08:25:28 <kmc> but i failed to discover how to do that
08:25:42 <ais523> kmc: you have to ask the group contact for the projet
08:25:48 <ais523> and be identified on freenode
08:26:27 <kmc> how do i find out who the group contact for a project is
08:26:32 <kmc> it might be me
08:26:34 <kmc> i'm the founder of #mosh
08:27:26 <shachaf> kmc: SOunds like you're in trouble.
08:27:31 <ais523> is there a group contact? the channel would have to be registered with Freenode
08:27:38 <shachaf> That would be like drawing a self-portrait of *yourself*.
08:27:49 <ais523> not just with chanserv, but with the people in charge of running the servers
08:28:35 <shachaf> The Freenode FAQ talks about it, but it seems to be down.
08:28:41 <shachaf> Probably has something to do with the splits.
08:30:04 <shachaf> http://www.google.com/search?strip=1&q=cache:freenode.net/faq.shtml
08:31:23 <kmc> paperwork :/
08:32:24 <shachaf> If you make elliott an op he would take care of the paperwork for you.
08:32:29 <shachaf> He would also go crazy and ban everybody.
08:32:43 <kmc> i think i... won't do that
08:33:32 <shachaf> Actually he probably wouldn't do either of those things.
08:34:11 <shachaf> Do you have to be affiliated with MIT to get a .mit.edu subdomain for your project?
08:35:22 <kmc> i don't know exactly what the rules are
08:35:29 <kmc> affiliation is a slippery thing at MIT
08:35:56 <shachaf> Maybe I should try to get one. I was in an MIT building once.
08:36:06 <shachaf> It's probably good for seeming legitimate.
08:36:48 <kmc> many student groups will let you join without ever having been officially affiliated with MIT
08:36:59 <kmc> they can also sponsor an Athena account for you, whether or not you join their group
08:37:09 <kmc> i don't know if that alone is enough to get domain names
08:39:46 <kmc> and yeah, it is good for seeming legitimate
08:39:58 <kmc> at least one person told us they would have assumed our software is insecure if not for the .mit.edu domain name
08:52:23 -!- asiekierka has quit (Remote host closed the connection).
08:56:50 <shachaf> kmc: I guess I would need to move to Boston.
09:15:06 <kmc> to join an MIT club?
09:18:47 <shachaf> They did a SIPB thing here once.
09:19:36 <kmc> oh, really?
09:19:37 <kmc> what was it
09:20:09 <kmc> you could move to Cambridge or Somerville or Brookline instead
09:21:17 <kmc> or other such places
09:22:19 <shachaf> SIPB hackathon at Stripe in Palo Alto.
09:22:40 <kmc> what did they hack on?
09:22:42 <kmc> Debathena? XVM?
09:22:52 <shachaf> I think they just had a bunch of people go there.
09:23:03 <shachaf> I'm not sure that there was an overarching thing.
09:24:02 <kmc> i should join SIPB
09:24:13 <kmc> i'm not sure how much effort this would take
10:04:35 -!- Slereah has joined.
10:04:41 -!- MoALTz_ has joined.
10:08:04 -!- MoALTz has quit (Ping timeout: 256 seconds).
10:09:23 -!- cheater has quit (Ping timeout: 246 seconds).
10:11:33 -!- oklopol has quit (Ping timeout: 244 seconds).
10:22:40 -!- cheater has joined.
10:33:34 -!- asiekierka has joined.
10:37:20 -!- MoALTz_ has quit (Ping timeout: 260 seconds).
10:37:48 -!- MoALTz has joined.
11:08:48 -!- Deewiant has quit (Ping timeout: 245 seconds).
11:13:16 -!- Deewiant has joined.
11:17:33 -!- Deewiant has quit (Ping timeout: 245 seconds).
11:17:54 <itidus20> "Super Mario Bros (along with many other Nintendo games) was proved to be NP-hard by Greg Aloupis, Erik Demaine and Alan Guoyz.[64]" :-D
11:18:10 <itidus20> http://arxiv.org/pdf/1203.1895v1.pdf
11:18:35 -!- Deewiant has joined.
11:18:59 -!- asiekierka has quit (Remote host closed the connection).
11:22:27 -!- MoALTz has quit (Ping timeout: 250 seconds).
11:31:48 -!- MoALTz has joined.
11:37:35 -!- ais523 has quit (Ping timeout: 246 seconds).
11:41:16 -!- asiekierka has joined.
11:43:08 -!- TeruFSX has quit (Ping timeout: 240 seconds).
11:52:11 -!- ais523 has joined.
11:54:31 -!- Slereah has quit (Ping timeout: 250 seconds).
12:06:54 -!- MoALTz_ has joined.
12:09:41 -!- MoALTz has quit (Ping timeout: 250 seconds).
12:11:17 -!- MoALTz has joined.
12:12:43 -!- MoALTz_ has quit (Ping timeout: 250 seconds).
12:17:19 -!- MoALTz_ has joined.
12:20:31 -!- MoALTz has quit (Ping timeout: 250 seconds).
12:36:21 -!- MoALTz has joined.
12:38:43 -!- MoALTz_ has quit (Ping timeout: 250 seconds).
12:44:47 -!- MoALTz has quit (Ping timeout: 250 seconds).
12:47:34 -!- MoALTz has joined.
12:48:46 -!- absentswett has quit (Ping timeout: 265 seconds).
12:49:01 -!- Ngevd has joined.
12:50:31 -!- absentswett has joined.
12:51:03 <Ngevd> Did you see my half-esolang?
12:52:48 <Ngevd> User:Taneb/Lowgate and Dilston
12:52:51 <ais523> itidus20: the Pokémon proof is actually incorrect, due to a glitch in Pokémon first generation
12:52:56 <Ngevd> I've posted Lowgate
12:53:01 <Ngevd> Still need to define Dilston
12:53:13 <ais523> there's a chance that the exploding voltorbs will miss altogether; also, the gastly will level up from them
12:53:30 <ais523> and levelling up an l1 gastly takes it to l100, unless it gains a lot of exp all at once
12:53:37 <Ngevd> If the Collatz conjecture is false, at least one of Lowgate and Dilston is Turing-complete
12:54:34 <Ngevd> (Lowgate for infinite trajectories, Dilston for cycles)
12:55:46 <ais523> Ngevd: the mere fact you made that statement makes me optimistic that this esolang won't be the usual rubbish that gets added to the wiki
12:56:52 <Ngevd> Lowgate is a Suffolk derivative, I'm afraid
12:57:03 <Ngevd> And Dilston will probably be a derivative of something else
13:05:49 <ais523> meh, Suffolk is not a boring language to make derivatives of, yet anyway
13:07:42 <ais523> Ngevd: err, Suffolk doesn't depend on infinitely many accessible cells to work
13:07:47 <ais523> in fact, you can access only a finite number
13:08:43 <Ngevd> Here was me being all clever
13:14:05 <Ngevd> Well, it's good it's still in userspace
13:15:41 -!- asiekierka has quit (Remote host closed the connection).
13:15:56 <Ngevd> I think this is the second time I've been annoyed at one of my languages being /too/ turing-complete
13:31:30 -!- MoALTz_ has joined.
13:33:19 -!- MoALTz has quit (Ping timeout: 250 seconds).
13:39:56 -!- elliott has joined.
13:40:51 <elliott> ais523: I think David.werecat has the "Mark all edits minor by default" option on :P
13:40:51 <lambdabot> elliott: You have 2 new messages. '/msg lambdabot @messages' to read them.
13:41:28 <elliott> 14:41 <lambdabot> Sgeo said 7h 16m 25s ago: I just found out about http://www.zincland.com/7drl/kobold/ from TVTropes. Have you tried it?
13:41:29 <ais523> elliott: go into the database and turn it off
13:41:33 <elliott> Sgeo: kobolds aren't smart & i like them
13:41:45 <ais523> oh, and Smart Kobolds, you should try that, I've been meaning to for quite a while
13:41:58 <elliott> but I don't want to kill kobolds, and kobolds aren't smart!
13:42:05 <ais523> even if Jeff Lait originally created it as a combination of making a point, and trolling
13:43:11 <elliott> yay, MediaWiki 1.19 is out
13:43:43 <ais523> elliott: that better AI does not necessarily make for a better game
13:49:25 -!- MoALTz has joined.
13:50:56 -!- MoALTz_ has quit (Read error: Operation timed out).
14:04:18 -!- Phantom_Hoover has joined.
14:31:39 <elliott> @tell Taneb You should make Lowgate true iff Collatz is false, and Dilston true iff Collatz is true.
14:31:57 <elliott> ais523: prepare the fire extinguishers, please
14:32:10 <Ngevd> elliott: I'm right here
14:32:22 <elliott> @tell Ngevd You should make Lowgate true iff Collatz is false, and Dilston true iff Collatz is true.
14:32:30 <lambdabot> elliott said 8s ago: You should make Lowgate true iff Collatz is false, and Dilston true iff Collatz is true.
14:32:35 -!- Ngevd has changed nick to Taneb.
14:32:47 -!- Taneb has changed nick to Ngevd.
14:32:49 <elliott> What if you had other messages???
14:33:07 <elliott> "Too bad." -- Ngevd, horrible.
14:33:14 <elliott> Ngevd: I'm going to break the wiki!
14:33:38 <Ngevd> "Yay!" -- Ngevd, still horrible.
14:39:53 <Ngevd> I can't think of any way of making a language that's iff either way
14:40:18 <elliott> Ngevd: Well, you could make it so that the only way to get new storage is to go to the next element in the Collatz sequence.
14:40:25 <elliott> (Where variables are identified by integers.)
14:40:38 <Ngevd> Like the current version of Lowgate
14:40:54 <elliott> That way, if every sequence reaches 1, every program gets a finite amount of memory.
14:40:55 <Ngevd> However, the Collatz conjecture is also false if there is a positive loop other than 1-4-2-1
14:41:13 <elliott> Yes, but a loop also stops you getting infinite memory.
14:41:17 <Ngevd> So, if there's a loop but no infinite ascent, that wouldn't be turing complete
14:41:18 <elliott> Because you'll just loop through the same few variables.
14:41:40 <Ngevd> Hence the two languages
14:50:10 <Ngevd> (I think the response is pung?)
14:50:20 <ais523> I don't care I@m too tired
14:50:43 <elliott> "I don't care I@m too tired" -- ais523, 2012
14:50:58 <ais523> ""I don't care I@m too tired" -- ais523, 2012" — elliott, 2012
14:51:07 <elliott> Damn, I got the em dash treatment.
14:51:11 <Ngevd> ais523, you're something to do with education in Birmingham, right?
14:51:18 <elliott> ais523 *is* education in Birmingham.
14:51:25 <ais523> Ngevd: I spent much of the morning marking exams
14:51:39 <ais523> although I spent the time from around 6am to around 7am reading Usenet and fixing aimake
14:51:46 <elliott> ais523: Anyway, I'm going to make Esolang's MediaWiki sourced from git so that upgrading is less annoying.
14:51:49 <Ngevd> ais523, can you reccomend Birmingham University?
14:51:57 <elliott> ais523: Should I use the WMF branches or the MediaWiki tags?
14:52:39 <ais523> Ngevd: for what? it depends on what subject you're doing
14:52:49 <Ngevd> Maths, most likely
14:52:51 <ais523> I like the atmosphere here, at least
14:53:00 <elliott> Ngevd: You're not doing gymnastics and dog theory???
14:53:08 <Ngevd> elliott, don't have the GCSEs.
14:53:10 <ais523> if you're coming here next year, you should do maths and CS so I can teach you :)
14:53:33 <Ngevd> As in, September 2013?
14:54:03 <ais523> oh, hmm, it'd probably have to be september 2012 unless they decide that they have to hire me for another year in an emergency
14:54:36 <ais523> their problem is that the budget is too small to hire new staff or even retain existing staff, also that they don't really have enough teaching staff
14:55:00 <Ngevd> Well, tell me how things go
14:55:10 <ais523> they're putting me in charge of the first year Java course next year (rather than just teaching it without being in charge) because they can't find anyone else with the knowledge to do the job
14:55:24 <ais523> and I pointed out that it'd only last for one more year before my contract expires
14:55:50 <ais523> also that they're not paying much more than minimum wage
14:57:00 <ais523> however, the person who was doing it before they kept on for a year, maybe two years, after their PhD because he'd become so essential to the running of the department
14:57:08 <elliott> good thing you're WOLFRAM RICH*
14:57:13 <ais523> and I think he only left because Aston University poached him by offering more money
14:57:14 <elliott> *not rich, by analogy with "Wolfram science", etc.
14:57:33 <ais523> elliott: meh, it paid for three years of my education and living costs, that's a reasonably significant amount
14:59:06 <elliott> wait, ais523 didn't answer my question :'(
15:03:35 <Ngevd> ais523, how desperate is Birmingham University for students?
15:03:42 -!- pikhq has joined.
15:03:53 -!- pikhq_ has quit (Ping timeout: 252 seconds).
15:04:15 <ais523> Ngevd: depends on the subject
15:04:29 <ais523> they have ridiculously large numbers of students in some departments, like electronics
15:04:46 <ais523> and have to bribe them for others, like engineering
15:05:07 <elliott> Ngevd: Go wherever Phantom_Hoover's going and become the ultimate brickbraining team.
15:05:39 <Ngevd> I don't like there maths syllabus
15:05:39 <ais523> for CS, I think they get enough applications that they can afford to be selective
15:05:42 <elliott> No, I think Cambridge rejected him.
15:06:01 <elliott> It's some place in the middle of nowhere in Scotland.
15:06:24 <Ngevd> If he got into a Scottish universities, I can pretend to be Dutch to get university for free
15:07:48 <Ngevd> But yes, I'm beginning to think of universities
15:08:13 <Ngevd> And I've just accidentally opened Rome Total War, brb
15:08:20 -!- derdon has joined.
15:08:27 <elliott> ais523: 15:52 <elliott> ais523: Should I use the WMF branches or the MediaWiki tags?
15:08:51 -!- Slereah has joined.
15:09:24 <ais523> elliott: oh, I actually don't know
15:09:52 <ais523> Ngevd: scottish universities have a bunch of advantages over english universities (well, the main one is to do with cost)
15:10:12 <Ngevd> Time TO CLAIM TO BE DUTCH
15:10:17 <elliott> I guess the WMF branches will be more up-to-date and the like, but they might be a bit less stable. (Even if they are used on Wikipedia, the WMF employs a bunch of sysadmins to fix it when it breaks.)
15:10:26 <elliott> And I'd have to update less with the release tags.
15:20:54 -!- augur has quit (Remote host closed the connection).
15:23:50 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
15:24:15 -!- ais523 has quit (Read error: Connection reset by peer).
15:24:25 -!- ais523 has joined.
15:25:28 <coppro> ais523: how much is university typically in the UK?
15:25:44 <ais523> coppro: I don't know, because it was massively increased recently (as in, since I went there)
15:25:56 <coppro> how much was it when you went
15:26:09 <Ngevd> (maximum, not including living costs)
15:26:23 <ais523> coppro: £1150, but I got a £1000 discount the first year, and £500 subsequent years, for good academic performance
15:26:29 <ais523> again, this doesn't include living costs
15:26:31 <Ngevd> Cheaper than US, I believe
15:26:46 <ais523> coppro: although you get a low-interest loan for the full amount and don't have to pay it back until you start earning money
15:26:59 <ais523> so it basically ends up equivalent to a percentage tax that stops being charged eventually
15:27:01 <coppro> yeah, it's the same here
15:27:26 <ais523> if the government had flavoured it as that, they'd probably get a lot less flak for it; it pretty much single-handedly sank the Liberal Democrat party
15:27:28 <elliott> "University costs in X are better than the US" is a tautology for all X =/= US.
15:27:51 <coppro> Domestic tuition here is cheaper, than that, but international tuition is more.
15:28:00 <elliott> ais523: I think what sank the lib dems is doing that *because they said they wouldn't*.
15:28:44 <ais523> elliott: the ridiculous thing is that what the lib dems were actually proposing was strictly worse for the students
15:28:47 <elliott> (I don't think that's the only reason the Lib Dems are fucked, though.)
15:28:51 <ais523> just none of them paid attention
15:29:22 <elliott> ais523: It still isn't very good for trust if you explicitly do something you campaigned on the premise of not doing, though.
15:29:41 <elliott> *promise (although premise works too)
15:29:48 <ais523> basically, what I'm saying is that the government pulled a stupid move in not using the conservative proposal with the lib dem flavour
15:29:57 <ais523> which would have kept pretty much everyone happy
15:30:07 <coppro> it's about £12500/yr for an international student at my school
15:30:10 <ais523> apart from the people who want tuition fees to be abolished altogether
15:30:23 <elliott> At least the Conservatives are getting a terrible reputation as well as the Lib Dems.
15:31:22 <elliott> I guess next time we'll elect the BNP or something on account of nobody liking the big three any more.
15:32:04 <elliott> coppro: They're indistinguishable from all the other parties.
15:32:05 <ais523> elliott: you realise that there's a Green MP atm, right?
15:32:17 <ais523> a sign that people are taking fourth options seriously
15:32:19 <elliott> ais523: OK, coalition of the Greens and NBP.
15:32:26 <elliott> ais523: The Best Government Ever(TM).
15:32:31 <ais523> they'd never go into coalition with each other
15:32:37 <Ngevd> elliott, needs more George Galloway
15:32:45 <coppro> ais523: oh, I didn't realize you guys got a green mp too
15:32:56 <ais523> coppro: we never do, except this time we did
15:33:11 <elliott> A Green-BNP coalition might work out, on account of the government wouldn't be able to do a single thing.
15:33:15 <ais523> she picked her seat very carefully, it was a case of picking the seat they thought they were most likely to win and then focusing a load of campaign effort on it
15:33:32 <ais523> meh, we should have a pirate party/ninja party coalition
15:33:39 <Ngevd> Ninja party is a thing?
15:33:55 <Ngevd> Let's make it a thing?
15:34:06 <ais523> Ngevd: what would its policies even be?
15:34:19 <coppro> she picked her riding well
15:34:24 <elliott> anti-talk like a pirate day
15:34:42 <ais523> elliott: I don't think they'd be defined by being the exact opposite of the pirate party
15:34:48 <ais523> I think it'd be a parallel with different goals
15:34:58 <Ngevd> Promoting language education?
15:35:01 <ais523> i.e. apathetic about copyright and pirate speech, but very motivated about a couple of other issues
15:35:08 <elliott> ais523: In the same way that ninjas are analogous to pirates with different goals?
15:35:21 <elliott> It's more like they have the same goal but very different methods.
15:35:25 <elliott> The goal is killing people, or something.
15:35:49 <ais523> so ninjas should also be in favour of copyright reform, but instead of stealing it, would rather just massacre people who tried to enforce it?
15:36:00 <elliott> (Stealing copyright reform?)
15:36:18 <ais523> elliott: /illegally downloading/ copyright reform
15:36:22 <ais523> get your terminology right…
15:36:28 <elliott> You're the one who said stealing!
15:36:39 <coppro> the problem with a ninja government is that they'd never be able to prove that the commons got quorum
15:36:50 <elliott> You wouldn't download copyright reform...
15:37:02 <elliott> Wait, it's actually *steal.
15:37:05 <elliott> My mind mentally fixed the advert.
15:37:10 <elliott> As opposed to physically fixing it.
15:38:06 <Ngevd> it is TIME to WALK my DOG
15:38:12 -!- Ngevd has quit (Quit: walking dog).
15:38:28 <elliott> I always new Ngevd was a walking dog.
15:40:51 <coppro> elliott: that's copyright violation for the rights in the fixation of a performance
15:41:23 <coppro> ais523: you don't have a PhD, right?
15:41:34 <ais523> coppro: I'm currently obtaining one
15:41:57 <elliott> ais523: Once you get a Ph.D., you should sign your emails "ais, 523 Ph.D.".
15:43:04 <elliott> Does that mean you're an AI?
15:43:52 <coppro> ais523: you're researching programming languages, right?
15:44:15 <elliott> http://stackoverflow.com/questions/9243475/lists-c-homework/9247613#9247613 what a comment section
15:44:20 <ais523> coppro: I'm researching compiling high-level languages to hardware, which involves inventing new ones
15:44:24 <elliott> coppro: he's doing hardware programming language stuff
15:44:41 <ais523> because there were no modern variants of algol specialised for hardware, oddly enough
15:45:08 <elliott> `addquote <ais523> coppro: I'm researching compiling high-level languages to hardware, which involves inventing new ones <ais523> because there were no modern variants of algol specialised for hardware, oddly enough
15:45:18 <HackEgo> 852) <ais523> coppro: I'm researching compiling high-level languages to hardware, which involves inventing new ones <ais523> because there were no modern variants of algol specialised for hardware, oddly enough
15:45:36 <ais523> elliott: I can't expand the 128 more comments link without turning on JS
15:45:45 <ais523> but the last comment above the fold is hilarious enough by itself
15:46:02 <ais523> I can think of a few ways it could go from there; which did it actually do?
15:46:21 <elliott> eznme proceeded to spoon-feed beginnernato for a hundred comments
15:46:32 <coppro> that question is totally from a UW student
15:46:44 <coppro> that code is /definitely/ from our second CS course
15:46:50 <ais523> elliott: legitimate info or trolling?
15:46:54 * elliott upvotes the last comment above the fold
15:47:03 <elliott> ais523: legitimate (albeit academically dishonest on beginnernato's part, naturally)
15:47:14 <ais523> indeed, I just ment on eznme's part
15:47:31 <elliott> (and probably not too ethical on eznme's part by consequence)
15:47:31 <ais523> also, how does an answer get 128 comments and exactly 1 vote?
15:47:39 <elliott> ais523: because only two people are participating in it
15:47:45 <elliott> they're using it as a chatroom
15:47:47 <ais523> meh, eznme may well turn out to be the prof who set the problem
15:48:00 <elliott> despite the warning that will have appeared for about 120 of them
15:48:16 <elliott> (it says, roughly, "don't use comments for extended discussion, if you click this link we'll turn it into a Stack Overflow chatroom for you")
15:50:22 <coppro> eznme was definitely not the prof
15:51:30 <coppro> the prof almost certainly would not have given away the answers
15:51:40 <coppro> at least not so quickly
15:52:17 <ais523> coppro: there's several tales of profs giving away the answer immediately so that they could catch plagiarism red-handed if it was actually used unchanged
15:52:24 <ais523> although more commonly for essay-writing than in CS
15:54:44 <coppro> I appear to have gained several thousand reputation since last time I was visiting stackoverflow O_o
15:55:10 <elliott> you have an answer with 396 votes
15:56:06 <coppro> I'm nearly a moderator due largely to that question
15:56:18 <elliott> "moderator" generally refers to the elected moderators
15:56:23 <elliott> the 10k moderator tools are... not as impressive
15:56:49 <elliott> you mostly just get to see flags and to second or disagree with them (not act on them), and things like recently closed questions
15:56:58 <elliott> coppro: I think if I edited that post, it'd become community wiki and you'd stop getting any rep on it
15:57:06 <elliott> <bold>so tempting</bold> why can't this client do bold
15:57:40 <ais523> elliott: do you lose rep if a post you got rep for becomes community wiki?
15:57:49 <elliott> coppro: oh no, you asked one of those terrible "What's your favourite X feature?" questions :(
15:57:55 <elliott> ais523: no, you just stop getting any more rep
15:59:01 * ais523 checks how http://developers.slashdot.org/story/12/05/01/2146232/android-ported-to-c is getting on
15:59:19 <ais523> and yes, it's missing the #
15:59:23 <elliott> ais523: the flamewars slashdotted slashdot
15:59:32 <elliott> hey, remember when everybody's servers sucked and slashdotting was a thing???
15:59:54 <ais523> I was only around for the tail end of it, though
16:00:01 <ais523> reddit still manages to slashdot sites now and again, though
16:00:01 <elliott> I bet nethack4.org could be slashdotted.
16:00:19 <elliott> ais523: that's more because people don't know how to configure WordPress than reddit sending tons of traffic
16:00:23 <ais523> the patch-tag page on AceHack /was/ slashdotted
16:00:48 <elliott> what, as a standalone post?
16:00:52 <elliott> or as part of a post about NetHack variants?
16:00:52 <ais523> with a bunch of other variants
16:00:54 <elliott> the latter seems more believable
16:01:05 <coppro> elliott: if you edit it, it doesn't become community wiki unless you choose to make it so
16:01:15 <elliott> coppro: no, if it gets edited by 5 other people it becomes CW
16:01:29 <elliott> (but you can flag it to be put back by a moderator, if other people have only made minor edits)
16:02:02 <elliott> (elected moderator again, not 10k)
16:02:17 -!- ais523 has quit.
16:03:16 <elliott> elliott@solidity:/srv/esolangs.org/www/mediawiki-new/extensions$ for ext in AbuseFilter AntiSpoof CheckUser ConfirmEdit Nuke ParserFunctions Renameuser Vector WikiEditor; do sudo git clone https://gerrit.wikimedia.org/r/p/mediawiki/extensions/$ext.git; done
16:03:45 <coppro> what is nuke? ban a user and rollback all their edits?
16:04:14 <elliott> mass deletes pages created by a certain user
16:04:22 <elliott> I think it was designed for Wikipedia vandals and Esolang really has no use for it
16:04:27 <elliott> but I can't not enable such a destructive extension
16:05:43 <elliott> does git track permissions?
16:05:49 <elliott> oh, it tracks at least +x, I guess
16:06:46 -!- elliott has quit (Read error: Connection reset by peer).
16:07:31 -!- elliott has joined.
16:18:02 -!- augur has joined.
16:22:05 <Phantom_Hoover> I have an offer, although it's not really a pleasant one.
16:22:18 <elliott> Offer: "Go die in a fire, you Scottish asswipe."
16:22:55 -!- Zuu_ has changed nick to Zuu.
16:23:26 <elliott> Hey shachaf, I'm reading a poor blog post about Haskell!
16:28:38 <Phantom_Hoover> So for some reason I'm downloading TortoiseSVN, except they've rigged the download page not to display if you're using an adblocker.
16:29:21 <elliott> "Windows" — Phantom_Hoover
16:29:34 <elliott> Phantom_Hoover: No, it just plain doesn't display.
16:30:27 <elliott> It's obviously trivial to find the downloads.
16:30:31 <elliott> But why would you want TortoiseSVN?
16:30:51 <Phantom_Hoover> Some idiot mod authors decided to make theirs available through SVN.
16:31:04 <elliott> ...how is that idiotic? And since when does that mean you need to use TortoiseSVN?
16:31:23 <Phantom_Hoover> I'm literally following the instructions on their website.
16:31:43 <Phantom_Hoover> Also c'mon, mods are not exactly aimed at a demographic who can use SVN.
16:31:59 <elliott> pikhq: Ping? coppro: Ping? Deewiant: Ping? Does anyone know git? :p
16:32:22 <elliott> Phantom_Hoover: Well, you're doing well to show you're well inside the technically-incompetent demographic you're talking about.
16:33:02 <Phantom_Hoover> ...why, because I follow instructions rather than critiquing every step?
16:34:03 <elliott> Because you follow instructions telling you how to check something out from SVN using a Windows GUI, rather than just checking it out using SVN itself, and then treat being unable to obtain the GUI tool as a roadblock?
16:35:20 <Phantom_Hoover> Because I took the path of least resistance rather than spending five minutes finding out how to use SVN on Windows?
16:37:33 -!- Deewiant has quit (Ping timeout: 245 seconds).
16:38:21 -!- Deewiant has joined.
16:40:49 <Phantom_Hoover> FYI, the Subversion site itself links to 3 GUIs, a 32-bit build on SourceForge and a broken page.
16:41:31 <Phantom_Hoover> If you're going to call me an idiot at least do it properly.
16:42:32 <elliott> It's almost as if the vast majority of Windows applications are 32-bit :P
16:44:09 -!- Deewiant has quit (Ping timeout: 265 seconds).
16:44:32 <coppro> what do you want to do?
16:44:35 -!- Deewiant has joined.
16:44:47 <elliott> coppro: if I change the ownership/permissions of a directory tracked by git, will it notice?
16:44:52 <elliott> i.e. does it track that stuff?
16:44:56 <elliott> I think it tracks at least +x
16:45:54 <elliott> good, I'm not changing +x :)
16:46:16 <fizzie> "the files all have mode 644 or 755: git actually only pays attention to the executable bit". -- them manual.
16:47:05 <Phantom_Hoover> Problem 2: about all I know of svn is that you use svn clone to download, and the Windows build apparently doesn't install an svn command.
16:47:19 * elliott wonders if git checkout-index does submodules.
16:47:39 <elliott> Phantom_Hoover: Maybe you *would* be better off with TortoiseSVN.
16:47:40 <fizzie> Phantom_Hoover: "svn checkout", there is no "svn clone".
16:49:39 -!- zzo38 has joined.
16:50:03 -!- Deewiant has quit (Ping timeout: 245 seconds).
16:50:06 <elliott> fizzie: How would you create a copy of a git repository including submodules without the .git?
16:50:46 * elliott is trying to make Esolang's MediaWiki installation + extensions sourced from the git repos (and maintain LocalSettings.php in it too), but each extension is in a separate git repository, so...
16:50:51 <Gregor> Surely git archive can do it?
16:51:09 <elliott> (And MediaWiki's upgrade method means that I can't just reasonably maintain it in-place.)
16:51:17 <elliott> Gregor: Does that do submodules?
16:51:23 <elliott> submodules are kinda... second-class.
16:51:24 <Gregor> I don't know, but I would assume so.
16:51:30 -!- Deewiant has joined.
16:51:41 <Gregor> More to the point, it's worth a try.
16:51:51 <elliott> Trying things is more difficult than asking people.
16:52:01 <Gregor> Well, then let me answer you this way:
16:52:10 <Gregor> git is fucking terrible, I don't know what it does because I hate it.
16:53:40 <fizzie> All I know about submodules is that I think they're kinda iffy.
16:54:01 <elliott> fizzie: I don't really like them. But I can't think of a better way to maintain the extension directories.
16:55:34 <fizzie> But if all you need is in the working copy, maybe you could just rsync (or some other git-unaware tool) with suitable ignore rules for everything ".gitty".
16:56:11 <elliott> fizzie: That would work, but is disgusting. :(
16:56:43 -!- Deewiant has quit (Ping timeout: 245 seconds).
16:56:45 <elliott> fizzie: "GIT_WORK_TREE=/blah git checkout" might work. Except that doesn't do submodules either, does it...
16:56:49 -!- Ngevd has joined.
16:57:42 -!- Deewiant has joined.
16:58:01 <fizzie> Apparently there are quite a few "git-archive-all" style scripts that do submodules too floating around the tubes. They all suck, of course. (I'm assuming that last part.)
17:01:07 <zzo38> In Dungeons&Dragons game, I saw a gnome riding on a donkey; I was hiding in the tree. And ask him, who is he? And stay hidden so that they cannot find us. But then the wizard said he knows him his name is Git and he exited from the hiding and then I did too soon afterward
17:01:13 <Phantom_Hoover> <fizzie> Phantom_Hoover: "svn checkout", there is no "svn clone".
17:01:46 <Phantom_Hoover> Yeah I basically don't know anything about RCSes other than that there are like a billion of them and they all make downloading things that bit more complicated.
17:03:11 <zzo38> And I have read that the git version system was named after its inventor even though that wasn't his name
17:03:45 -!- Deewiant has quit (Remote host closed the connection).
17:03:53 <Gregor> Torvalds is just a git, that's all.
17:04:12 -!- Deewiant has joined.
17:04:35 <elliott> Gregor: You realise that's literally the origin of the name, right?
17:07:44 <Gregor> I'm unsurprised, but was unaware.
17:09:38 -!- Deewiant has quit (Ping timeout: 245 seconds).
17:10:14 <elliott> God, MediaWiki's file layout is incredibly annoying.
17:10:28 -!- Deewiant has joined.
17:10:33 <elliott> I really want to make Rasmus fucking Lerdorf hurt for making people put code in the same directory as data.
17:11:03 <elliott> (s/data/mutable data/ to appease the Lispers.)
17:12:08 -!- Ngevd has quit (Ping timeout: 250 seconds).
17:14:15 <elliott> OK, I'll just do the terrible thing.
17:15:01 -!- elliott has quit (Read error: Connection reset by peer).
17:15:53 -!- Deewiant has quit (Ping timeout: 245 seconds).
17:16:32 -!- elliott has joined.
17:16:52 -!- Deewiant has joined.
17:24:18 <elliott> Hmm, this is super annoying.
17:24:28 <elliott> I... guess I could do fizzie's rsync thing.
17:24:49 -!- Ngevd has joined.
17:31:20 <elliott> Actually, I couldn't quite do fizzie's rsync thing.
17:31:53 <elliott> Oh, I could just forget about the .git thing and do
17:32:17 <elliott> git clone --recursive blah mediawiki-new && cd mediawiki-new && cp -a ../mediawiki/{the,stuff} . && sudo -u www-data php maintanence/update.php
17:41:17 -!- asiekierka has joined.
17:42:01 -!- augur has quit (Read error: Connection reset by peer).
17:42:10 -!- augur has joined.
17:43:00 -!- cheater has quit (Ping timeout: 246 seconds).
17:55:56 -!- pikhq_ has joined.
17:55:56 -!- elliott has quit (Read error: Connection reset by peer).
17:56:08 -!- pikhq has quit (Ping timeout: 240 seconds).
17:56:58 -!- elliott has joined.
18:02:08 -!- Deewiant has quit (Ping timeout: 245 seconds).
18:02:38 -!- asiekierka has quit (Ping timeout: 240 seconds).
18:04:04 -!- Deewiant has joined.
18:05:30 -!- asiekierka has joined.
18:10:28 -!- Deewiant has quit (Ping timeout: 245 seconds).
18:13:29 -!- Deewiant has joined.
18:13:40 -!- cheater has joined.
18:17:00 -!- cheater has quit (Excess Flood).
18:17:50 -!- cheater has joined.
18:19:00 -!- nortti has joined.
18:30:01 <elliott> Gregor: You should totally upgrade MediaWiki for me.
18:32:11 <elliott> Gregor: That sounds like "yes" to me!
18:33:11 -!- boily has joined.
18:38:08 -!- nortti has quit.
18:39:11 -!- nortti has joined.
18:40:22 <nortti> Have you heard about the freedom of speech ranking? Finland, Norway and Sweden are on the first place, USA is on place 22 along with Estonia, Brittain is on the place 31 and on place 179 is North Korea
18:43:29 -!- asiekierka has quit (Remote host closed the connection).
18:43:45 <Ngevd> I would respond, but I'd likely be arrestede
18:44:31 <nortti> Ngevd: where do you live
18:45:23 <Ngevd> I'm one of the two Hexhamites
18:47:07 <nortti> I have found out that freenode only wants SASL certificate from users of the IPS I use
18:48:18 -!- elliott has left ("rage").
18:49:36 -!- wyldstallyns has quit (Ping timeout: 245 seconds).
18:51:16 -!- nortti has quit (Ping timeout: 245 seconds).
18:55:01 -!- cheater has quit (Ping timeout: 276 seconds).
18:55:32 -!- Ngevd has changed nick to Tanebrb.
18:57:03 -!- nortti_ has joined.
18:57:17 -!- elliott has joined.
18:58:31 <nortti_> Because webchat likes to throw me out at random I will be stalking the logs and commenting if I feels like it. When I really quit I will put qdb.us url as my quit message
18:59:21 <nortti_> other quits just mean that it will take longer for me to answer
19:00:38 -!- Tanebrb has quit (Ping timeout: 240 seconds).
19:01:37 -!- cheater has joined.
19:04:50 <elliott> rip monqy "died doing what he loved best: identifying things"
19:05:32 -!- Tanebrb has joined.
19:05:55 -!- Tanebrb has changed nick to Ngevd.
19:10:01 <monqy> scrole of immolation
19:10:27 <monqy> if i wanted to survive i would have read fog and blinked
19:10:32 <monqy> "who cares about that"
19:11:20 -!- Foggalong has joined.
19:11:25 -!- Foggalong has quit (Client Quit).
19:15:18 <Ngevd> elliott, tomorrow is DWARF FORTRESS DAY
19:15:18 <nortti_> "Step one: Shave his bullet-deflecting mustache."
19:17:51 -!- Ngevd has quit (Quit: STUFF).
19:18:46 <nortti_> "I'm an atheist for the next half hour, piss off."
19:21:33 -!- elliott has left.
19:21:44 <nortti_> "The members of The Southern Brotherhood were planning to assassinate Tsar Alexander I when he would be attending military manouevres in Ukraine in 1826. But, in November 1825, the Tsar suddenly died, [thus shitting all over the Brotherhood's plans to kill him]".
19:24:20 <olsner> lolwtf, the page loads, displays, then redirects to a blank page
19:25:51 -!- nortti_ has quit (Ping timeout: 245 seconds).
19:30:28 -!- Deewiant has quit (Ping timeout: 245 seconds).
19:30:33 -!- elliott has joined.
19:30:47 <elliott> Oh boy, this MW situation is more of a pain than I thought.
19:31:07 <elliott> The .gitignore specifically ignores stuff in the extensions directory, and LocalSettings.php.
19:31:13 <elliott> Can you git add things that are .gitignored?
19:31:22 <elliott> Does that stop git commit -a from committing them?
19:32:59 <elliott> Okay, answer to the first question is yes.
19:33:01 <elliott> Maybe I should just try the second one.
19:33:37 <elliott> OK, I guess I'll just do that then.
19:35:24 -!- Deewiant has joined.
19:40:33 <elliott> "ok, you do that then" -- olsner, 2012
19:41:04 -!- pikhq has joined.
19:41:12 -!- Gregor has set topic: #esoteric: Surprisingly often, covered in tree sap | http://codu.org/logs/_esoteric/.
19:41:26 -!- pikhq_ has quit (Ping timeout: 244 seconds).
19:43:06 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
19:43:27 -!- nortti has joined.
19:43:29 <elliott> Gregor: More like "I volunteer to upgrade Esolang's MediaWiki installation", am I right?
19:44:11 <elliott> "git pull" isn't atomic, right?
19:44:14 <elliott> Err, "git merge" I should say.
19:44:24 <nortti> http://www.terminally-incoherent.com/blog/2012/05/02/is-your-teen-browsing-the-pr0n/
19:44:58 -!- Phantom_Hoover has joined.
19:45:28 <monqy> First off, let’s look at the title: how do you know if your teenage kids are browsing teh pornz? Well, there are easy steps to find out:
19:45:31 <monqy> Step the first: they are. Period. Full stop. End of list.
19:45:31 <monqy> great article nortti
19:47:36 <Phantom_Hoover> Loving how this article completely denies the existence of asexuals.
19:47:49 <elliott> taneb looks at porn for research purposes only
19:48:08 <elliott> monqy: http://en.wikipedia.org/wiki/Languages_Other_Than_English
19:48:46 -!- nortti has quit (Ping timeout: 245 seconds).
19:48:50 <elliott> http://en.wikipedia.org/wiki/Lote,_Norway
19:49:00 <elliott> http://en.wikipedia.org/wiki/Lote_Raikabula
19:49:08 <elliott> http://en.wikipedia.org/wiki/Lote_tree
19:50:46 <elliott> Does anyone know how I could get "ssh solidity sudo cat /srv/esolangs.org/www/mediawiki/LocalSettings.php >Localsettings.php" to run without sudo complaining that there's no tty present?
19:50:52 <elliott> Oh, right, ssh doesn't supply a tty if you give it a command.
19:50:57 <elliott> That's annoying. I wonder if there's some way to override that.
19:54:06 <elliott> monqy: wow if you think that article's bad take a look at the one it's responding to
19:54:11 <elliott> Do They Browse the Web with the Door Closed?
19:54:15 <elliott> Have they Rearranged their Room so the Monitor Faces Away from the Door?
19:54:18 <elliott> Do They Get Nervous and Uncomfortable When You Use Their Computer?
19:54:21 <elliott> Is Your Browser History Periodically Erased?
19:54:35 <monqy> i didn't even bother looking
19:54:41 <monqy> i saw the thing i pasted and then just closed it
19:54:46 <monqy> "enough article for me, monqy"
19:57:53 <elliott> I wish I was called me, monq.
19:57:54 <elliott> I wish I was called me, monqy.
19:58:16 <monqy> it's a good name to have
19:58:17 <elliott> monqy: Is your LOS square in real life, too?
19:58:48 -!- Deewiant has quit (Ping timeout: 245 seconds).
20:00:09 -!- Deewiant has joined.
20:01:20 -!- nortti_ has joined.
20:02:51 <nortti_> in finnish alas=down ylös=up
20:05:03 -!- Deewiant has quit (Ping timeout: 245 seconds).
20:05:35 <monqy> apparently "oops" in croatian means "lol"
20:05:40 <monqy> thanks google translate
20:05:48 <shachaf> I heard you were reading "a poor blog post about haskell"
20:05:53 -!- Deewiant has joined.
20:06:07 <monqy> today I may or may not draw a self portrait of myself
20:06:42 <elliott> im envisioning the future breakdown of monqy after he is inundated with self portrait requests
20:06:50 <shachaf> monqy: Do you think you could write an autobiography of me sometime?
20:07:14 <monqy> autobiographies are a lot of work!
20:07:23 <elliott> are you writing autobiographies too
20:08:18 <shachaf> "PLEASE SEND YOUR POSTAL MAILING ADDRESS SO THAT I MAY SEND A REPLY FROM PROF. DONALD KNUTH TO YOUR EMAIL TO HIM."
20:08:33 <shachaf> My email had a POSTAL MAILING ADDRESS.
20:10:26 -!- nortti_ has quit (Ping timeout: 245 seconds).
20:11:14 <elliott> http://www.mediawiki.org/wiki/User_talk:Jennefervoc6006
20:11:18 -!- Deewiant has quit (Ping timeout: 245 seconds).
20:11:26 <shachaf> monqy: Are you going to draw a self-potrrait of kmc?
20:12:13 -!- Deewiant has joined.
20:16:35 <elliott> monqy: anyway i was referring to the foreground part not the kitten yes
20:16:38 <elliott> it still looks familiar to me!!!
20:20:10 <shachaf> Is this a self-portrait that I missed?
20:20:22 -!- nortti has joined.
20:21:01 -!- nortti has quit (Client Quit).
20:24:56 <shachaf> Oh! I want a self-portrait of zzo38, too.
20:25:28 <zzo38> shachaf: Well, I won't give you one; so you have to do it yourself
20:25:44 <shachaf> zzo38: monqy's been drawing self-portraits.
20:25:51 <shachaf> zzo38: He drew great ones of me and elliott.
20:30:19 -!- glogbackup has joined.
20:30:47 <elliott> monqy: you shouldn't draw any more self-portraits of anyone else its
20:40:47 <elliott> Writing objects: 15% (50458/324608), 12.24 MiB | 46 KiB/s
20:42:18 <olsner> haha, cloning from darcs.haskell.org?
20:43:26 <lambdabot> Local time for olsner is Thu Jan 1 00:00:00 1970
20:43:34 <lambdabot> Local time for monqy is Thu May 3 13:43:34 2012
20:52:32 <elliott> Writing objects: 40% (131637/324608), 42.63 MiB | 45 KiB/s
20:52:40 <elliott> zzzzZZZZzzzzZZzZZZZZZZzzzzzz
20:57:13 -!- NihilistDandy has joined.
20:58:43 <elliott> monqy: travel won't use staircases you haven't gone up??
21:00:24 <Phantom_Hoover> so youtube on linux no longer lets me skip around in videos
21:01:23 <lambdabot> Occurs check: cannot construct the infinite type: a = f a
21:05:20 <elliott> Phantom_Hoover: Is "cleanup" really a word?
21:05:33 <elliott> Like, without a - or a space.
21:06:20 <elliott> But it's in all the dictionaries and everything.
21:06:20 <olsner> when cleaning up you do a cleanup
21:06:32 <elliott> And I keep wanting to change it.
21:06:36 <elliott> But I only have 3 minutes to change it.
21:18:40 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds).
21:32:58 <elliott> And the main page's style is broken.
21:34:59 -!- itidus22 has joined.
21:37:08 -!- itidus20 has quit (Ping timeout: 240 seconds).
21:42:05 <elliott> Screenshots would be nice if they really aren't messed up for you.
21:42:21 <elliott> It's broken in both Safari and Firefox for me.
21:44:54 -!- Deewiant has quit (Ping timeout: 252 seconds).
21:49:03 <elliott> http://esolangs.org/wiki/Esolang_talk:Community_portal#MediaWiki_1.19_upgrade_and_DNS_change
21:49:24 -!- Deewiant has joined.
21:50:20 <elliott> Sgeo: So does it actually look fine for you?
21:54:38 -!- Deewiant has quit (Ping timeout: 245 seconds).
21:55:33 -!- Deewiant has joined.
22:00:28 -!- boily has quit (Quit: WeeChat 0.3.7).
22:00:53 -!- Deewiant has quit (Ping timeout: 245 seconds).
22:02:05 -!- Deewiant has joined.
22:06:38 -!- augur has quit (Remote host closed the connection).
22:13:29 -!- derdon has quit (Remote host closed the connection).
22:28:33 <elliott> font size 1.6, line height 1.2, margin bottom .1
22:32:04 -!- Slereah_ has joined.
22:33:09 <elliott> monqy: did you make a self-self-portrait
22:33:12 -!- Slereah has quit (Ping timeout: 250 seconds).
22:35:03 -!- Deewiant has quit (Ping timeout: 245 seconds).
22:36:04 -!- Deewiant has joined.
22:38:19 <elliott> In Haskell, what does map mean or do? Just wondering, I know it's a very general question and there's probably a lot of things that it does but like generally what is it used for?
22:38:56 <shachaf> elliott: "map" is the secret ingredient that makes Google Maps so good.
22:38:57 <pikhq> Curse whoever you're quoting!
22:39:21 <lambdabot> Local time for monqy is Thu May 3 15:39:20 2012
22:39:26 <elliott> monqy: your sleep schedule "not gr8"
22:39:53 <shachaf> busy dreamging up my self portraite?????
22:39:56 <elliott> monqy: it's ok mine is worse
22:40:41 <shachaf> elliott: Does that mean your self-portrait will be "even better"?
22:42:23 -!- augur has joined.
22:42:36 <zzo38> Did you make a self-self-self-self-portrait?
22:43:45 -!- Deewiant has quit (Ping timeout: 265 seconds).
22:44:17 -!- Deewiant has joined.
22:44:30 <elliott> the pressure is two (its rising)
22:46:24 <elliott> monqy: i upgraded mediawiki while you were asleep
22:48:48 <zzo38> I once made up a program which implements a grid-based puzzle game engine where you can specify the rules, where each rule consists of: a direction flag, a symmetry flag, an optional input counter, an optional output counter, the initial state, the final state, the game end flag, the input pattern, and the output pattern.
22:50:12 -!- Deewiant has quit (Ping timeout: 272 seconds).
22:50:47 -!- Deewiant has joined.
22:51:42 <kmc> shachaf: if Google Maps used Haskell then they would know the name of the city where I live
22:52:02 <zzo38> Each pattern is 3x3, and can specify the color, character, both, or neither. In addition, the color and/or character can be "mark". There are seven colors, and the characters are the 1 to 254 of the CP437 set.
22:52:15 <zzo38> Sokoban can be defined using this system using three rules.
22:55:09 <zzo38> What long description should I wrote for "prelude-generalize" package?
22:55:49 <elliott> zzo38: write the letter "a" twenty-seven times and then put "b"
22:55:54 <elliott> you can add a "c" if you feel it necessary
22:56:32 -!- Deewiant has quit (Ping timeout: 272 seconds).
22:56:56 -!- Deewiant has joined.
22:57:09 <elliott> i would be very sceptical about any "d". ask yourself whether you truly need that "d"
22:58:42 <zzo38> elliott: Why? But, OK.
22:58:52 <zzo38> aaaaaaaaaaaaaaaaaaaaaaaaaaab
22:58:58 <zzo38> Or did you mean by hand?
22:59:14 <elliott> I meant for your long description. Twenty-eight letters is pretty long.
22:59:16 <elliott> But you can do it by hand too!
22:59:44 <zzo38> O, that's what you mean. But that isn't a very good description.
23:00:00 <elliott> Well, you can't have everything.
23:00:02 <zzo38> Lumpio-: I think CP437 is IBM codepage
23:00:45 <kmc> zzo38++ for CP437
23:00:47 <kmc> best codepage ever
23:01:00 <Lumpio-> The term "codepage" itself just sounds overly Microsoftey to me.
23:01:24 <kmc> i mean "ugh legacy encodings" but it's old
23:03:22 -!- Deewiant has quit (Ping timeout: 252 seconds).
23:04:07 <elliott> monqy: have you ever found an octopus???
23:04:37 -!- Deewiant has joined.
23:05:33 <elliott> monqy: one problem: i don't believe aquariums are real?
23:06:11 <shachaf> monqy: can i comission a self portrait of kmc please
23:06:17 <shachaf> it's like a mission but with the arrows reversed
23:07:15 <elliott> haha this guy just totally fucked up
23:08:39 -!- TeruFSX has joined.
23:10:53 -!- Deewiant has quit (Ping timeout: 245 seconds).
23:11:49 -!- Deewiant has joined.
23:11:59 <coppro> elliott: are you watching crawl?
23:12:23 <elliott> xgamer on CDO, i just picked at random because i saw they were on zot
23:14:55 <monqy> unless this guy messes up really badly i'm guessing he'll win
23:15:07 <elliott> monqy: before he zerked a dragon and then
23:15:17 <elliott> immediately another dragon and another thing came into view
23:15:27 <elliott> and as soon as he got to them the zerk ran out
23:15:37 <monqy> why isn't the curse toe tormenting
23:15:45 <kmc> oh, no i don't live in glasgow
23:15:56 <kmc> glasgow has the third oldest subway system in the world
23:15:59 <elliott> berserker players remind me of me
23:16:08 <shachaf> kmc: Who has the second oldest and the first oldest?
23:16:16 <elliott> stalked by a bat and a rat on zot:2
23:16:22 <shachaf> I guess "oldest" is redundant in those sentences.
23:16:22 <kmc> budapest and london respectively
23:16:27 <monqy> oh no where is he going
23:16:38 <elliott> he's done with this dungeon
23:16:56 <kmc> in new york they spent like 20 years saying "dude we need rapid transit" without building any
23:17:14 <kmc> during this time many companies were born and died and many legislators were bribed
23:17:20 <monqy> managing his stache, i see
23:18:14 <kmc> the first rapid transit in New York opened 5 years after the first bit of the London Underground
23:18:24 <kmc> but it was an elevated railway, and that's all they built for some time
23:19:13 -!- Deewiant has quit (Ping timeout: 245 seconds).
23:19:32 <kmc> http://www.columbia.edu/~brennan/beach/
23:20:05 -!- Deewiant has joined.
23:20:51 <elliott> monqy: does he remember about the orb
23:21:07 <monqy> too much stache fun
23:21:17 <elliott> monqy: more like the orb of WHAT!!!
23:21:51 <monqy> it's just too deep deep down
23:21:58 <kmc> the first subway part of the today New York City Subway opened in 1904
23:23:14 <elliott> monqy: how is this guy not bored yet
23:24:35 <elliott> HOLY GOD YOUR INVENTORY IS FINE
23:24:46 <elliott> accidentally forgot the capslock
23:25:09 <kmc> but the railroad tunnel from Grand Central at 42nd St to 96th St opened in 1875
23:25:37 <kmc> which today carries commuter trains, but at the time was arguably rapid transit, and had some underground stops
23:25:53 -!- Deewiant has quit (Ping timeout: 245 seconds).
23:26:22 -!- Deewiant has joined.
23:26:37 <elliott> monqy: he hasn't dropped his potion of slowing
23:27:12 <kmc> and there was a railroad tunnel in Brooklyn by 1844
23:27:16 <kmc> but Brooklyn wasn't part of New York yet!
23:27:19 <kmc> AND NOW YOU KNOW
23:27:19 <monqy> explore_delay and travel_delay should default to -1
23:28:00 <kmc> elliott: if you like the Beech Pneumatic logo you may also enjoy this picture: http://upload.wikimedia.org/wikipedia/commons/0/0e/Harvey_Cable_Car.jpg
23:28:24 <elliott> thank you, kmc, your extensive transport knowledge continues to entertain
23:28:42 <elliott> 00:28 <Henzell> death cob[1/5]: You may have already fielded a guess, but it's insane hostile food. It might be corny, but if you put an ear to the ground deep down in Crawl's maize, you may find that you are being stalked; being buttered up for the kill, smooth as silk.
23:28:52 <monqy> why is he clearing zot aaagh
23:29:04 <elliott> you could use your hi ability
23:29:15 <kmc> new york had better transit in 1930 than today :/
23:29:20 <elliott> "hi" is monqy for "stop that"
23:29:44 <monqy> he mapped zot4, maybe he'll dive it
23:30:10 <monqy> he's not keymashing that bone dragon fast enough
23:30:15 <monqy> (written before bone dragon deaded)
23:30:42 <elliott> wow i hope i play less in a less silly manner than this by the time i reach zot
23:31:21 <elliott> you won 17 times without reaching zot?
23:31:27 <elliott> did you use scrolls of acquirement to get the orb?
23:31:34 <monqy> no i hope you play in a less silly manner by the time you reach zot
23:31:36 <elliott> "i'm gonna go for miscellaneous" "j - the Orb of Zot" "yessssss"
23:31:49 <elliott> monqy: i prefer my version?
23:32:07 <monqy> it's a good version
23:32:20 <zzo38> Have you used METAFONT for designing any logos or typefaces?
23:33:17 <elliott> monqy: why are there death cobs
23:34:35 <elliott> monqy: i didn't ask you!!!
23:34:43 <monqy> eat in front of the yellow drac yes
23:35:16 <elliott> monqy: you know when you crave something SO BAD and you just gotta eat even if you're dying
23:35:35 <monqy> he's not quite dying yet
23:35:51 <elliott> monqy: you're always dying when fighting
23:36:15 <elliott> monqy: oh yeah is it true that travel won't use upstairs you haven't used
23:36:22 <elliott> i guess it makes sense but
23:36:28 <elliott> going up every upstairs will be so boring
23:36:36 <elliott> oh i think he might start dying soon
23:37:08 <monqy> before i put all my buttons on one button i "stair dipped"
23:38:05 <monqy> when you see an unused staircase you go down it then back up
23:38:51 <elliott> monqy: that's so ugh though :(
23:38:58 <elliott> go up upstairs when i found them instead but
23:39:24 <monqy> he's not dying quite yet
23:39:55 <elliott> dying is one of but many ways to have fun
23:39:55 <monqy> this guy plays slow :(
23:40:05 <elliott> monqy: everyone plays slower than you
23:40:17 <elliott> i'd probably play lower than this on zot (but maybe not when i get to the point of reaching zot)
23:40:32 <monqy> cashybrid is faster than me!!
23:40:37 <monqy> probably Elynae is faster than me too
23:40:44 <elliott> hey, this tv has "Vrestler"
23:40:51 <elliott> so titles (if that's what they're called) are translated???
23:41:02 <elliott> monqy: isn't cashybrid half bot
23:41:20 <monqy> that would explain things
23:41:35 <elliott> two orb guardians for the price of one
23:43:08 <elliott> monqy: he's dying now right
23:43:43 <monqy> it's also quite possibly he's not dying
23:44:23 <monqy> because resting in hall of zot is more dangerous than fleeing from it slowed
23:44:32 <monqy> if you've cleared the rest of the lvel
23:45:16 <elliott> i thought that troll was hostile for a second
23:45:32 <monqy> ooh i wonder what he'll do here
23:45:37 <elliott> troll just appears from nowhere on zot:5
23:46:17 <elliott> why doesn't he have any curing
23:46:29 <monqy> he's just not using it
23:47:04 <elliott> does scroll of teleport do that since it's -cTele
23:47:14 <monqy> scroll of tele is by default random
23:47:28 <monqy> but yeah -ctele means no ctele
23:47:29 <elliott> near starving for some reason
23:47:38 <monqy> Fast+Slow is what happens when you're hasted and slowed at the same time (it has no effect itself but blocks further hasting and slowing)
23:48:18 <monqy> it used to be that fast and slow just canceled each other but then you could do stuff like re-slow or re-haste
23:48:34 -!- cswords__ has joined.
23:48:43 <monqy> oh no where's he going now
23:49:09 <monqy> if he got the orb he'd have a glowy purp halo
23:49:30 <elliott> also why is his stash on lair:2 that's kinda weird
23:49:37 <elliott> does he notice you sent him a message mysteries of life
23:49:41 <monqy> lair:2 is a popular stash location
23:49:51 <monqy> because monsters that use items don't spawn on lair:2
23:49:59 <elliott> oh don't they? that's clever
23:49:59 <monqy> lair:1 gets stair spawns from the dungeon
23:50:12 <elliott> couldn't they walk down to lair:2 too
23:50:15 -!- Patashu has joined.
23:50:18 <monqy> i think people have gotten jellies from dungeon on lair:1
23:50:32 <monqy> they spawn on the branch exit stairs
23:50:40 <monqy> and monsters don't do interlevel travel by themselves
23:50:41 * ion is tempted to plawl, but there’s a bunch of lectures to be watched and a bunch of homework to be done.
23:50:52 <elliott> ion: why plawl when you can wlawl
23:51:01 <elliott> send him something else so he notices
23:51:07 -!- zzo38 has quit (Remote host closed the connection).
23:51:23 <monqy> lots of people don't notice the Hit _ and it's so annoying
23:51:37 <elliott> you ahve to do something!!!
23:51:53 -!- cswords_ has quit (Ping timeout: 246 seconds).
23:51:55 <elliott> please send hi msomething oh god what if he
23:51:56 <monqy> i've bugged the devs about it before
23:52:05 * ion would wawl but you’re not plawl.
23:52:11 <elliott> ion: it's xgamer we're watching
23:52:16 <monqy> (Hit _) makes deaths instantly hilarious
23:52:22 <elliott> monqy: PLEASE DO SOMETHING!!!! :'(
23:52:32 <ion> Do we know xgamer?
23:52:33 <elliott> ion: ok you send him a message as soon as he stops fighting
23:52:37 <monqy> i dunno if sending another message redisplays the hit _ message
23:52:39 <elliott> i just noticed him since he was on zot
23:52:44 <elliott> monqy: it doesn't but it displays it in the
23:53:02 <elliott> did he really just tweak skills on zot
23:53:40 <elliott> SOMEONE DO SOMETHING this is a humanitarian crisis
23:53:41 <monqy> i've bugged devs about having blinking (Hit _) or at least more noticeably colored (Hit _) or a force_more by default on the beep! your pager goes off but nobody listened
23:53:50 <elliott> monqy: maybe i'll send them a patch
23:53:54 <monqy> i sent another message and it didn't do anything
23:54:09 <elliott> this is tormenting me every single second i can't enjoy the game like this
23:54:15 <monqy> elliott: you can try bugging him; he's in ##crawl
23:54:17 <ion> Yeah, the (Hit _) should be more noticeable.
23:54:21 <elliott> monqy: or maybe you could!!
23:54:34 <monqy> I've grown to like the (Hit _)
23:54:41 <ion> This level looks a lot like a Zot Defense level.
23:54:44 <monqy> so maybe they'll hit _!!!!
23:54:46 <elliott> the force_more thing might be better
23:54:57 <elliott> monqy: or maybe they'll get a headache
23:55:05 <elliott> actually what it should do is
23:55:10 <monqy> when i said blinking i meant
23:55:12 <monqy> elemental coloured
23:55:12 <ion> I’d hate it if everyone could keep force_moreing me on a whim. :-P
23:55:20 <elliott> monqy: by blinking i meant
23:55:21 <monqy> but elemental colour is a technical term you might not know
23:55:46 <ion> My terminal doesn’t support blinking text AFAIU.
23:56:01 <elliott> monqy: you sent the messages you bug him in ##crawl >:(
23:56:01 <monqy> it's a "colour" that's really a bunch of colours that change when crawl refreshes
23:56:09 <elliott> right, that would be better
23:56:27 <monqy> elliott: you send some messages and then bug him in ##crawl if it bothers you so much!
23:56:39 <elliott> monqy: you know it bothers you too!!!
23:56:41 <elliott> imagine if he wins like this
23:57:24 <monqy> best part is when he starts a new game and then gets the messages there
23:57:27 <monqy> preferably after dying horribly
23:57:44 <elliott> why isn't he checking ##crawl nooooo
23:59:01 <elliott> monqy: what did you send partially end my agony
23:59:22 <monqy> at different points
23:59:33 <monqy> maybe i'll send it again if this goes south