←2010-01-12 2010-01-13 2010-01-14→ ↑2010 ↑all
00:06:02 <ehird> frantk
00:07:26 -!- FireFly has quit ("Leaving").
00:07:27 <oerjan> frantically frank
00:08:21 <ehird> Pants, Orifice, Ogle, Petunias
00:08:40 <ehird> Path Only Ousted Pathetically
00:09:06 <ehird> Parenthically, Oxygen-Oxen Pack
00:26:34 -!- augur_ has changed nick to augur.
00:28:55 <oerjan> Pint of Oil Pellets
00:37:29 -!- ehird has quit (Remote closed the connection).
00:53:09 -!- kar8nga has quit (Remote closed the connection).
01:25:49 -!- augur_ has joined.
01:28:42 -!- augur has quit (Read error: 104 (Connection reset by peer)).
01:36:00 -!- augur_ has quit (Read error: 104 (Connection reset by peer)).
01:40:04 -!- augur_ has joined.
02:01:50 -!- jpc has joined.
02:05:41 -!- oklofok has quit (Read error: 60 (Operation timed out)).
02:16:21 -!- oklofok has joined.
03:30:17 -!- oerjan has quit ("Good night").
04:05:39 -!- iamcal has joined.
04:12:55 -!- cal153 has quit (Read error: 60 (Operation timed out)).
04:21:20 -!- coppro has quit ("I am leaving. You are about to explode.").
04:25:30 -!- augur_ has quit (Read error: 110 (Connection timed out)).
04:52:49 -!- augur has joined.
05:05:46 -!- calamari_ has joined.
05:06:03 -!- coppro has joined.
05:22:14 -!- coppro has quit ("I am leaving. You are about to explode.").
06:33:58 -!- coppro has joined.
06:51:36 -!- jpc has quit (Read error: 110 (Connection timed out)).
06:53:56 -!- calamari_ has quit ("Leaving").
07:20:58 -!- FireFly has joined.
07:44:17 -!- Guest52322 has joined.
07:49:22 -!- Guest52322 has quit ("Ex-Chat").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:02:52 -!- MizardX has quit (Read error: 110 (Connection timed out)).
08:03:43 -!- FireFly has quit ("Leaving").
08:45:52 -!- Pthing has quit (Remote closed the connection).
09:01:14 -!- anmaster_l has joined.
09:09:10 -!- coppro has quit ("I am leaving. You are about to explode.").
09:18:39 -!- kar8nga has joined.
09:48:17 -!- ais523 has joined.
10:47:52 -!- soupdragon has joined.
10:59:33 -!- somebody_ has joined.
10:59:41 -!- somebody_ has quit (Remote closed the connection).
11:00:19 -!- soupdragon has quit (Nick collision from services.).
11:00:35 -!- soupdragon has joined.
11:01:36 -!- Slereah_ has joined.
11:13:23 -!- Slereah has quit (Read error: 110 (Connection timed out)).
11:16:15 -!- ais523 has quit (Remote closed the connection).
11:20:42 -!- iamcal has quit (Read error: 104 (Connection reset by peer)).
11:28:13 -!- ais523 has joined.
11:41:00 -!- fizziexn900 has joined.
11:41:23 <fizziexn900> (Had to test this Maemo X-Chat port.)
11:43:12 <fizziexn900> It looks as if they haven't really bothered much with the ports; seems to be pretty close to the usual X-Chat ui.
11:44:23 <ais523> does that work well on a Maemo?
11:45:19 <fizziexn900> Not very. Of course it's a bit maemoized by the system itself.
11:46:49 <fizziexn900> It's rather stylus-only like this, though. All scrolling is with tiny scrollbars that are not finger-friendly at all.
11:48:04 <fizziexn900> It really should have the kinetic scrolling used in everywhere else. (Except all the other places where it's missing.)
11:50:46 <fizzie> I'm not so sure about those default colors either: http://www.cis.hut.fi/htkallas/maemo-xchat.png
11:51:20 <fizzie> Maybe I'll stick with xterm and SSH.
11:51:34 <ais523> wow, that's insane
11:51:51 -!- fizziexn900 has quit ("it is no good!").
11:53:44 * ais523 wonders why the easter egg found in Chrome is so nonsensical
12:22:47 <fizzie> Is it that "goats teleported" thing? That seems to be the new thing.
12:24:56 <ais523> yes
12:25:18 <ais523> I mean, why are goat teleportation stats meant to be funny? surely they could have thought up a better one than that...
12:30:17 <fizzie> What, and it's just a randomly incrementing number?
12:30:22 <fizzie> That's not fun.
12:30:29 -!- oerjan has joined.
12:39:25 <AnMaster> ais523, isn't it memory stat or such?
12:39:31 <AnMaster> hidden under a nonsensical name
12:39:51 <AnMaster> the bug report is pretty funny though
12:42:05 <Deewiant> No, they just add rand()%4096 IIRC
12:42:13 <Deewiant> (Don't know when or how often)
12:43:21 <ais523> ugh, the should be taking the /high/ bits of rand
12:43:23 <ais523> *they
12:46:09 <Deewiant> http://src.chromium.org/viewvc/chrome/trunk/src/chrome/browser/task_manager.cc grep ceGoats
12:50:50 <fizzie> That has apparently changed, since http://www.sorcerers-isle.net/article/goats_teleported.html lacks the &4095.
12:51:45 <fizzie> (And is a bit different in other respects too.)
13:11:33 -!- oerjan has quit ("leaving").
13:14:10 <AnMaster> ais523, if rand isn't random enough in the low bits, it is a broken implementation
13:14:46 <AnMaster> ais523, also I heard suggestions that the mid-bits were even better
13:14:48 <AnMaster> forgot where
13:16:20 -!- Sgeo_ has joined.
13:17:21 -!- Sgeo_ has quit (Read error: 104 (Connection reset by peer)).
13:25:54 <Deewiant> http://www.dina.kvl.dk/~abraham/religion/one-true-editor.html
13:26:43 <ais523> I don't think people normally get into holy wars about individual versions of Emacs...
13:26:46 <ais523> (also, seen it before)
13:33:41 <Deewiant> I was wondering if there was any precedent for that
13:34:23 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
13:38:42 -!- kar8nga has quit (Remote closed the connection).
13:39:53 -!- soupdragon has quit ("Leaving").
14:05:01 -!- augur has quit (Read error: 60 (Operation timed out)).
14:35:14 -!- kar8nga has joined.
14:42:22 -!- soupdragon has joined.
14:54:44 -!- MizardX has joined.
15:23:21 -!- AnMaster_ has joined.
15:23:41 -!- AnMaster has quit (Connection reset by peer).
15:28:13 -!- AnMaster_ has changed nick to AnMaster.
16:00:02 -!- FireFly has joined.
16:03:47 -!- MizardX- has joined.
16:03:52 -!- MizardX has quit (Read error: 104 (Connection reset by peer)).
16:04:23 -!- MizardX- has changed nick to MizardX.
16:10:28 -!- fadein has joined.
16:10:43 -!- fadein has left (?).
16:45:51 -!- BeholdMyGlory has joined.
16:52:42 -!- cheater has quit ("Verlassend").
17:00:43 -!- MigoMipo has joined.
17:07:48 -!- kar8nga has quit (Remote closed the connection).
17:26:48 -!- pikhq has quit (Connection reset by peer).
17:36:58 -!- pikhq has joined.
17:44:26 <fizzie> Heh, that compose + < + 3 → ♥ thing made me go look at that default Compose file; the one immediately above that rule is equally frivolous: <Multi_key> <C> <C> <C> <P> : "☭" U262D # HAMMER AND SICKLE
17:58:44 -!- cal153 has joined.
18:10:49 -!- ais523_ has joined.
18:14:22 -!- kar8nga has joined.
18:21:52 -!- ais523 has quit (Nick collision from services.).
18:21:54 -!- ais523_ has changed nick to ais523.
18:55:13 -!- ehirdiphone has joined.
18:55:18 <ehirdiphone> taxonomy
18:56:19 <ais523> taxostrophe
18:57:48 <ehirdiphone> Ghzxxx
18:58:03 <ehirdiphone> Ehirdos would solve world hunger.
18:58:17 -!- ehirdiphone has quit (Client Quit).
18:58:32 -!- ais523 has quit (Remote closed the connection).
18:58:34 -!- ehirdiphone has joined.
19:01:01 <ehirdiphone> tax ass trophy
19:01:09 -!- ehirdiphone has quit (Client Quit).
19:21:12 -!- MigoMipo has quit ("co'o rodo").
19:22:05 <soupdragon> noobs are fucking lol
19:22:13 <soupdragon> I wish I was a noob
19:29:49 -!- sebbu2 has changed nick to sebbu.
19:41:05 -!- kar8nga has quit (Remote closed the connection).
19:42:16 <soupdragon> anyone into semiotics
19:42:28 <soupdragon> I'm trying to find a word for something..
21:42:36 -!- augur has joined.
21:43:19 -!- kar8nga has joined.
22:01:23 -!- madbr has joined.
22:01:33 <madbr> http://pastebin.com/f50b6b4b0 <- anouncing Ainor computer/console design compo
22:09:09 -!- ehird has joined.
22:09:44 <ehird> Patio.
22:10:34 <ehird> 03:50:46 <fizzie> I'm not so sure about those default colors either: http://www.cis.hut.fi/htkallas/maemo-xchat.png
22:10:37 <ehird> Wow; how high DPI is that thing?
22:13:38 -!- augur has quit (Read error: 54 (Connection reset by peer)).
22:13:55 -!- augur has joined.
22:14:11 <pikhq> map_(gen_list(0, num), do_print);
22:14:21 <pikhq> I DISBELIEVE IN C FOR LOOPS!
22:14:39 <soupdragon> I don't beleive in c
22:14:55 <ehird> soupdragon: or spelling.
22:18:56 <ehird> pikhq: http://hackage.haskell.org/package/base-unicode-symbols
22:18:59 <ehird> Awesome, or awesome?
22:20:37 <ehird> Especially:
22:20:40 <ehird> (⊥) ∷ α
22:20:41 <ehird> (⊥) = undefined
22:21:23 <pikhq> ehird: I'm going with "awesome".
22:21:54 <ehird> Note how that :: is the relevant Unicode symbol, and that alpha really is an alpha.
22:22:05 <soupdragon> ??
22:22:16 <soupdragon> sucks to have to write (⊥) rather than ⊥
22:22:30 <ehird> Well, the operators are rather more practical.
22:22:32 <ehird> But it's still awesome.
22:22:48 <ehird> Also, do you have to do that if you just do "foo = ⊥"? I guess so.
22:22:49 <ehird> Still.
22:25:13 <fizzie> ehird: 266 DPI; 800x480 in 3.5 inches diagonal.
22:25:16 <ehird> The only issue is adding all these wonderful symbols to compose. :-)
22:25:23 <ehird> fizzie: Okay, I want to buy an N900 now.
22:25:34 <ehird> fizzie: And it can just run any old GTK app and it transmogrifies to be sort-of-phone-usable?
22:26:02 <fizzie> Well, you probably have to do *some* hacking while compiling, but pretty much so.
22:26:29 <ehird> Is the phone fast?
22:26:38 <ehird> 600 MHz ARM is good, but any crappy lag or whatever?
22:26:54 <ehird> "Input Resistive touchscreen"
22:26:57 <ehird> Never mind; I don't want it.
22:27:13 <fizzie> I think we talked about the resistiveness at some point.
22:27:32 <fizzie> The screen itself is not unique in "high-end" phones; the Motorola Droid has a 3.7" 854x480 (that's ~16:9 aspect ratio) which ends up being about the same thing; it's probably capacitive too. Of course that's Android.
22:27:41 <ehird> But Android is shit.
22:27:43 -!- kar8nga has quit (Remote closed the connection).
22:28:16 <ehird> How's the keyboard?
22:29:11 <fizzie> Well, I like it, but it's obviously a bit cramped. The only-three-rows design also means there's not so many keys; numbers and letters overlap. (Of course you can lock the "fn" key that produces numbers by double-pressing it.)
22:29:38 <ehird> Any oleophobic magic to remove smudges?
22:30:15 <fizzie> No. But I hear they released fingerprint-hating stick-on plastic covers with NANOTECH few days ago.
22:30:28 <fizzie> Maybe not "released" but at least said they were going to.
22:30:39 <fizzie> "They" in this case is some company whose name I've forgotten.
22:31:20 <ehird> I guess you mostly use the stylus.
22:31:25 <fizzie> An unmodified GTK app ends up with tiny menus -- about the same size as the scrollbars there -- that are only usable with the stylus (or a long fingernail, I guess); so it doesn't really automagically convert GTK apps to use the thumb-friendly "Hildon" UI.
22:32:02 <fizzie> Well, I'm a filthy stylus lover. In general it's a lot more finger-friendly than the previous tablets, though.
22:32:02 <ehird> There's a Unicode character for >>=, right?
22:32:09 <ehird> TeX has something for it.
22:32:14 <ehird> http://upload.wikimedia.org/math/3/7/e/37ec8941ea59dc16a9cfdb172cea75e3.png
22:32:27 <fizzie> Maemo 6 devices will do capacitive multitouch, or that's the rumour anyway.
22:33:31 <fizzie> That doesn't look very pretty; the ≫ and = parts seem to overlap a bit uglily.
22:34:06 <madbr> http://pastebin.com/f6530df28 <- ainor contest (now with NTSC and VGA timing suggestions)
22:34:27 <ehird> fizzie: Oh, maybe it's just italic (≫=).
22:34:34 <ehird> Which is perfectly doifiable in HASKELL THE ULTIMATE
22:35:06 <ehird> The Haskell the Ultimate papers: Haskell the Ultimate Functional Language, Haskell the Ultimate Imperative Language, Haskell the Ultimate Logical Language, Haskell the Ultimate Toaster
22:36:08 <fizzie> My font is lacking most of the "supplemental mathematical operators" block; there could be that sign there.
22:36:36 <fizzie> Can't seem to notice it in http://www.unicode.org/charts/PDF/U2A00.pdf though; but there's a whole pile of otherwise silly ones.
22:36:45 <fizzie> There's that "::=" single-character thing.
22:37:11 -!- madbr has quit ("Radiateur").
22:37:25 <fizzie> And a three-line variant of #, and some sort of '<<<<' except all the angles are inside, and one with four integral signs put together.
22:38:12 <fizzie> 2A97 "slanted equal to or less-than with dot inside".
22:38:16 <ehird> xD
22:39:26 <fizzie> One has to wonder what exactly the "less-than above greater-than above double-line equal" sign is used for.
22:39:51 <ehird> What's ++ in Unicode? I know it has a symbol.
22:41:00 <fizzie> Not sure; U+29FA DOUBLE PLUS is in fact a single horizontal line with two vertical strokes: ⧺ (that's even in my font).
22:41:32 <fizzie> ⧺... now I just need "ungood".
22:41:38 <ehird> wat
22:42:24 <fizzie> Doubleplusungood. Newspeak, you know.
22:43:38 <ehird> Kragen Sitaker has an XCompose repository; wonder if it has goodise.
22:43:41 <ehird> *goodies
22:43:43 <ehird> fizzie: harhar
22:44:31 <fizzie> I wonder why the :) and :( compositions don't work; that /usr/share/X11/locale/en_US.UTF-8/Compose file I think it's using by default does have <Multi_key> <colon> <parenright> : "☺" U263A.
22:44:46 * pikhq should try and make a fixed-point combinator for C.
22:46:40 <ehird> Why oh why would you espy Y?
22:47:23 <pikhq> Makes recursing lambdas cleaner.
22:48:09 <soupdragon> how do you do lambda in C
22:48:24 <pikhq> Just a moment.
22:49:27 <pikhq> http://sprunge.us/DUSj
22:49:39 <soupdragon> ah okay
22:49:50 <soupdragon> doesn't it create a lot of garbage?
22:49:56 <soupdragon> which is never returned?
22:50:04 <ehird> #ifndef LAMBDA_H
22:50:05 <ehird> #define LAMBDA_H
22:50:07 * ehird kicks pikhq
22:50:08 <ehird> http://doc.cat-v.org/bell_labs/pikestyle
22:50:12 <ehird> Read until understanded.
22:50:33 <ehird> soupdragon: I don't see why
22:50:40 <ehird> it doesn't cons
22:50:45 <soupdragon> because lambda is recursive..
22:51:06 <ehird> (pikhq: Specifically, read the last section.)
22:53:05 <ehird> You will note that linking to a page with justification is not argument by authority.
22:53:31 <ehird> Include guards are an unneccessary hack, and "C convention" is a laughable phrase; very few exist, and some of them are rubbish.
22:53:46 <ehird> Not following this convention makes code more understandable, removes a hack, and speeds up compilation.
22:54:01 <ehird> So I see absolutely no part of the argument that is an appeal to authority.
22:54:06 <ehird> It's just sanity.
22:54:17 -!- BeholdMyGlory has quit (Read error: 104 (Connection reset by peer)).
22:54:51 <pikhq> And doesn't deal with any of the reasons for the hack.
22:55:16 <ehird> Notable is that Plan 9 follows this anti-convention throughout.
22:55:35 <ehird> It doesn't have any issues at all with includes.
22:57:28 <pikhq> Would you be happier with #pragma once?
22:57:50 <ehird> No; it is unneccessary if you simply follow the rule in Pike's document.
22:58:08 <ehird> And, also, unportable, whereas following The Rule™ works, well, everywhere.
22:58:44 <pikhq> ... I'm relying on undocumented behavior of a GCC extension. I don't think portability is an issue.
22:58:57 <ehird> Yes, but this is a matter of general style.
22:59:11 <ehird> Why would you use an unportable solution in only unportable code when a portable solution works always?
23:01:37 <ehird> http://github.com/leoboiko/pointless-xcompose
23:01:38 <ehird> http://canonical.org/~kragen/setting-up-keyboard.html
23:01:41 <ehird> http://github.com/kragen/xcompose
23:01:43 <ehird> So many choices!
23:02:20 <ehird> 6. Restart your apps (and perhaps X the first time) — XCompose
23:02:22 <ehird> settings only apply for new windows. I do suspect you need an
23:02:23 <ehird> UTF-8 locale set, though I didn’t test.
23:02:28 <ehird> Ah; that explains it.
23:07:07 -!- iamcal has joined.
23:08:46 <Gregor> ehird: Useful.
23:08:52 <ehird> Quite so.
23:09:00 <ehird> After I set this up I will be a unicode monster!
23:09:17 <Gregor> I guess that symbol does mean that they're not incomparable.
23:09:17 <ehird> And be able to write (≫=) ∷ Monad m ⇒ m α → (α → m β) → m β COMPLETELY UNAIDED
23:09:59 <ehird> Compose :: Monad m Compose => m Compose *a Compose -> etc.
23:10:09 <ehird> I should probably swap [] and () while I'm at it.
23:14:46 -!- oerjan has joined.
23:14:57 <ehird> Good MORNING oerjan
23:15:57 -!- FireFly has quit ("Leaving").
23:16:28 <oerjan> well, technically, maybe
23:19:16 <oerjan> also, i had the vague impression >>= came from a _single_ math symbol, the kleisli star
23:19:59 <oerjan> although i see the first google hit for kleisli star uses the phrase "its Haskell counterpart »="
23:20:27 <ehird> ≫= is more correct for >>=
23:20:35 <ehird> but if there's a single symbol, sign me up!
23:21:01 <ehird> -- A generalised variant of the Kleisli star (flip bind, or
23:21:02 <ehird> -- concatMap).
23:21:11 <ehird> ⋆ is the symbol it uses
23:21:13 <ehird> (Agda library)
23:23:23 <ehird> Unicode has a character called GNABORRETNI, I am so happy
23:24:19 <oerjan> eek
23:25:12 -!- cal153 has quit (Read error: 113 (No route to host)).
23:25:19 <ehird> “Why is «“» typed as «<Multi_key> <less> <quotedbl>»? Don’t these X11-tards know ANYTHING? Clearly it should be «<Multi_key> <backtick> <backtick>».” —ehird
23:25:33 <ehird> That took far too long.
23:26:15 <Gregor> Hm, it really ought to be ``...
23:26:32 <Gregor> “Foobar”
23:26:34 <ehird> Yeah.
23:26:52 <ehird> I'm halfway to just ignoring the stock Compose files and writing my own collection of meticulously-crafted entries.
23:26:57 <ehird> They're not very good quality.
23:27:34 <ehird> I wish there was a way to make it break typing flow less, though; for some reason it seems to with me.
23:28:37 <ehird> Things that it is Impossible to Search the Web For, Part n: swap [] and () x11
23:28:44 <ehird> Solution: http://canonical.org/~kragen/setting-up-keyboard.html
23:36:58 <ehird> hmm
23:37:08 <ehird> all malloced pointers are aligned to even addresses
23:37:13 <ehird> but what about calloc and the like?
23:37:56 <ehird> it would be nice if you could align things to odd addresses, instead, so that you can represent small integers as nnn0 and you can use arithmetic operations directly
23:38:10 <ehird> only dividing when outputting etc
23:40:22 <ehird> Gregor: btw in case you don't know (I didn't), posix-manpages-dev lets you do `man foo.h`
23:40:27 <oerjan> isn't even addresses for > 1 byte word lengths required by the underlying efficient machine code instructions? only my vague impression though, not that i actually _know_
23:40:32 <ehird> and it works! (albeit gives POSIX results, not system-specific)
23:40:39 <ehird> oerjan: dunno, perhaps
23:41:22 <ehird> By default, Linux follows an optimistic memory allocation strategy.
23:41:24 <ehird> This means that when malloc() returns non-NULL there is no guarantee
23:41:25 <ehird> that the memory really is available. This is a really bad bug.
23:41:27 <ehird> I thought it was considered a feature.
23:42:11 <oerjan> it's a feature until someone depends on it actually being available
23:48:56 <pikhq> ehird: Is that man page written by a Linux dev, or someone else? ;)
23:49:02 <ehird> pikhq: Linux dev.
23:49:09 <pikhq> Huh.
23:49:09 <ehird> It's malloc(3).
23:49:21 <ehird> The first bug ever to have a configuration setting to turn it off :)
23:49:24 <pikhq> Yeah, that's a Linux man page.
23:58:24 <ehird> http://hackage.haskell.org/package/empty-9
23:58:26 <ehird> Nice version bump there
23:58:32 <ehird> It's even a proper upgrade; it got more empty
←2010-01-12 2010-01-13 2010-01-14→ ↑2010 ↑all