00:00:06 hm wait 00:00:17 you know if i experimented with fungoids in the 90s i'd be pretty scared of people coming up to me and blabbing about them 00:00:19 ehird, log reader? 00:00:28 anmaster_t: I'm gonna guess "no". 00:00:49 ehird, he know I worked on befunge109 though 00:01:02 random madmen on the street 00:02:27 fizzie, that panorama is fitting btw. Wave university and everything 00:02:27 it is really very wavy to get a straight horizon 00:03:06 wtf i'm lagged, the logs show cpressey leaving before my greeting... 00:03:23 -!- soupdragon has joined. 00:04:38 -!- Pthing has joined. 00:05:38 whatsoup, dragon 00:07:02 [23:58] cpressey: long time no see 00:07:04 [23:58] oh that is c pressey there. Didn't notice at first 00:07:05 [23:58] hi 00:07:07 [23:58] ehird, cynical since 1991 00:07:08 [23:58] 'Night, folks. 00:07:09 [23:58] <-- cpressey has left this channel. 00:07:11 not that lagged for me 00:07:17 ehird, same here 00:08:22 -!- SimonRC has joined. 00:09:26 fizzie, I'll upload example stitch tomorrow hopefully. really need to sleep now, test tomorrow afternoon (sucks to have that on a Saturday) 00:09:49 -!- cal153 has joined. 00:09:49 -!- dbc has joined. 00:09:49 -!- sebbu has joined. 00:09:49 -!- HackEgo has joined. 00:09:49 -!- mtve has joined. 00:10:10 lag continuum 00:11:20 -!- rodgort has quit (Client Quit). 00:11:28 -!- rodgort has joined. 00:11:57 lag o morph 00:12:35 -!- augur has quit (Read error: 110 (Connection timed out)). 00:15:22 -!- HackEgo has quit (farmer.freenode.net irc.freenode.net). 00:15:22 -!- dbc has quit (farmer.freenode.net irc.freenode.net). 00:15:22 -!- mtve has quit (farmer.freenode.net irc.freenode.net). 00:15:22 -!- cal153 has quit (farmer.freenode.net irc.freenode.net). 00:15:22 -!- sebbu has quit (farmer.freenode.net irc.freenode.net). 00:19:35 -!- cal153 has joined. 00:19:35 -!- dbc has joined. 00:19:35 -!- sebbu has joined. 00:19:35 -!- HackEgo has joined. 00:19:35 -!- mtve has joined. 00:23:00 soupdragon: you mean jumpy and could be beaten by a tortoise? 00:23:12 roughly 00:24:49 -!- anmaster_t has quit (Connection timed out). 00:27:07 -!- lifthras1ir has changed nick to lifthrasiir. 00:31:29 -!- jix has quit (Remote closed the connection). 00:31:44 -!- jix has joined. 00:37:47 AnMaster: Here's one preliminary stitch of the CS building: http://zem.fi/~fis/cs.jpg -- it's a bit seamy, and I doubt anything can be done to the railing immediately in front, since it's sort of important that what's behind it lines up properly. 00:41:47 fizzie: see, it should look curved like that in real life 00:41:47 don't you agree that it would be prettier? 00:41:47 the curved metal, especially 00:44:05 finland is too cold for metal to curve 00:45:56 -!- augur has joined. 00:48:29 Some sort of pipeline language: 00:48:32 sort: divide | sort | splice pivot | cat 00:48:33 pivot: [length/2] 00:48:35 divide: split (<= pivot) 00:49:12 (The intention is that you can parallelise it; so, since divide splits one list into two, "sort" would be run on them in parallel, then when they're both done, splice would insert pivot in-between them, and cat would concatenate all of them.) 00:49:23 [] being array access, not creation. 00:49:31 (That's quicksort.) 00:59:34 -!- augur_ has joined. 01:04:33 -!- augur__ has joined. 01:07:41 -!- augur__ has quit (Read error: 104 (Connection reset by peer)). 01:07:52 -!- augur__ has joined. 01:08:35 -!- augur__ has quit (Read error: 104 (Connection reset by peer)). 01:10:26 -!- augur_ has quit (Read error: 104 (Connection reset by peer)). 01:10:31 -!- augur_ has joined. 01:22:41 -!- augur has quit (Connection timed out). 01:44:07 -!- augur_ has quit (Read error: 110 (Connection timed out)). 02:04:45 -!- oerjan has quit ("Good night"). 02:40:04 -!- Pthing has quit (Remote closed the connection). 02:43:27 -!- nooga has quit ("Lost terminal"). 02:53:33 -!- Pthing has joined. 03:28:16 -!- bsmntbombdood_ has changed nick to bsmntbombdood. 04:06:51 -!- soupdragon has quit ("Leaving"). 04:25:27 -!- augur has joined. 04:40:22 -!- MizardX has quit (Read error: 60 (Operation timed out)). 05:04:23 -!- Slereah_ has joined. 05:07:53 ehird, are you here 05:08:05 no 05:08:37 lemme ask you 05:08:48 since i think you'd be knowledgable on this 05:11:44 what is it called when you take functions in the object language and turn them into type constraints 05:13:09 in the simple case its just having a typed programming language, right 05:13:32 instead of doing lots of return nil unless someArg.is_a? Numeric 05:13:34 or whatever 05:13:48 you just type your function Numeric -> YaddaYadda 05:14:51 and for slightly more complex stuff, instead of 'return nil unless someArg.square > 5' you type your function some silly type and then its just dependent types, right 05:15:32 but would it still be dependent types if you turned _all_ of your predicates into types like that? 05:15:39 -!- Slereah has quit (Read error: 110 (Connection timed out)). 05:16:07 e.g. instead of 'return nil unless x < y' you type your function in such a way that its only defined on pairs of numbers such that x < y 05:16:18 is that still just dependent typing? or is that slightly more complex? 05:20:08 augur: unfortunately, the term 'dependent type' is overloaded 05:20:12 :P 05:21:14 * coppro tries to remember the name of that language ehird talked about 05:22:53 some languages blur the distinction between types and values as well 05:22:54 epilog? twelf? agda? 05:22:59 agda was the one 05:23:04 epogram, rather. 05:23:06 .. epigram. :| 05:23:16 even though they are conceptually different, their use gets blended together 05:23:33 agda is less a language and more a program, but ok 05:24:13 i mean, its kind of both i guess. its a special purpose language designed for one particular purpose 05:25:13 yeah 05:25:34 but dependent type in agda are completely different from dependent types in C++ 05:27:50 right 05:27:55 i dont even know what C++ dependent types are 05:28:44 they're types that are unknown because they require knowledge of a template paramter to determine 05:28:51 for instance, 'typename T::iterator' 05:29:01 or the type of 't.begin()', if t is of some parameter type 05:29:17 they're a far more boring concept 05:30:28 i dont need to know what they are ;) 05:31:11 see, i'm trying to sort out the difference between a logic that has a rich domain of primitive (non-function) types 05:31:31 and a logic that has no such primitive types, but which has type-checking functions 05:31:37 ah 05:31:59 might want to look at Perl 6 05:32:00 in a sense its essentially a strictly-typed-vs-duck-typed issue, right 05:32:39 yeah, I think so 05:32:50 but then again 05:32:57 but i want to make sure that this is a difference that carries over to the extremely absurd idea of packing _all_ of your predicates into the types 05:33:43 e.g. instead of having like some prolog-esque function f(X,Y) :- g(X,Z), h(Z,Y), lets say 05:34:47 you just have f(X,Y) :- true. where f is defined for this crazy type GH, the members of which are all and only those pairs (X,Y) for which g(X,Z), h(Z,Y) is true 05:35:49 is there a real difference? 05:35:56 thats the question 05:36:01 i dont think so, right 05:36:09 I'd say they're equivalent 05:36:19 since one can be expressed in terms of the other 05:36:23 because if your whole logic is _only_ with predicates (no actual functions, its all pure prology) 05:36:37 then it seems like all you're doing is replacing falsity in one with undefinedness in the other 05:44:05 -!- jpc has quit (Read error: 110 (Connection timed out)). 05:45:57 -!- bsmntbombdood_ has joined. 05:47:48 -!- bsmntbombdood has quit (Read error: 60 (Operation timed out)). 05:51:01 back 05:52:27 hey 05:59:41 poop 05:59:50 oppo 06:05:43 it's 6:05 am i gotta bed myself soon 06:05:58 Perhaps. 06:06:22 pikhq: to clarify, i have to be awake at 12an 06:06:24 *am 06:07:02 Sleep, por favor. 06:07:37 but i am eating first! 06:07:47 I have something of an Oreo addiction. 06:08:15 mm 06:08:25 mm. 06:12:45 i really need to switch to uberman; i suck at monophase 06:12:49 like terribly badly 06:20:27 :/ 06:23:09 lol me too 06:23:15 but uberman would be untenable 06:23:19 6:22, i really have to be in bed soon 06:23:21 coppro: Tesla? 06:23:26 (http://tesser.org/sleep/teslapattern/) 06:23:56 nope 06:24:04 Why not? 06:24:17 because taking a nap in school is not an option for me 06:24:32 Why not? 06:24:36 oh, pre-uni 06:24:51 http://en.wikipedia.org/wiki/Polyphasic_sleep#Comparison_of_sleep_patterns 06:24:54 would everyman work for you? 06:24:58 i guess not 06:25:00 since it has a nap at midday 06:25:10 incidentally t hose g raphs are awesome 06:25:17 *those graphs 06:25:34 uberman + perfected lucid dreaming and then I'd never have to be unconscious! 06:26:13 right 06:27:02 well just go into cryonic suspension until an in-school nap is tenable 06:27:58 coppro: you could try this insane fucker's schedule: http://gill.tesser.org/ 06:28:03 ~16 naps of 4 minutes 06:28:19 nobody, and i mean *nobody*, cannot disappear for 4 minutes 16 times a day :P 06:30:00 i'm waiting for someone to order me to sleep 06:31:36 also iirc the owner of tesser.org adjusted to uberman while in high school 06:32:20 he may have had a consistent daily schedule with a spare in the middle or something 06:32:31 or he just used his lunch breaks 06:32:35 (maybe he had long ones) 06:33:04 i dare you to do hexadecaphasic 06:34:08 what's Uberman again? 30 minutes every 4 hours? 06:34:42 20 06:35:01 ok 06:35:02 well, 20-30, but 20 is canonical 06:35:07 30, as in dymaxion, is harder iirc 06:35:09 If I didn't need to eat, I could fit that in my day 06:35:18 well go for tesla then 06:35:27 20 minutes * 4 06:35:40 I need to eat though 06:35:47 if the idea of 80 minutes of sleep a day doesn't make you queasy, then the extra 40 minutes should be enough time to fit in eating. 06:36:01 no, the problem is when 06:36:05 my lunch hour is short 06:36:15 well 06:36:17 http://en.wikipedia.org/wiki/Polyphasic_sleep#Comparison_of_sleep_patterns 06:36:18 go for everyman then 06:36:22 three naps in the day 06:36:23 same problem 06:36:24 one core nap 06:36:33 coppro: you can rearrange the naps you know 06:36:36 as long as they're evenly spaced 06:36:40 yeah 06:36:45 but I'd need to have one over lunch 06:36:48 no real avoiding that 06:36:55 true. 06:36:56 otherwise I'd be going ~7 hours without sleep 06:37:02 well, what other free time do you have in the school day 06:37:33 a spare, but it's not at a consistent hour on a given day 06:37:43 also, I do other stuff where continual conciousness is required 06:37:48 for many hours at a time 06:38:13 not many people actually do one thing continuously for over 4 hours. 06:38:13 hexadecaphasic would be theoretically possible, but I'm not ready to deprive myself of sleep for two weeks 06:38:25 coppro: erm, uberman fucks you up for 10 days 06:38:35 it's not just sleep deprivation that fucks you up it's your body adjusting 06:38:37 ehird: wasn't talking about uberman 06:38:40 simply unavoidable 06:38:42 coppro: i mean that 06:38:45 uberman has the same issue 06:39:21 please god, make me sleepy 06:39:39 or i'll end up on inverse monophase again 06:40:04 ehird: yes I know 06:40:22 but yes, I do stuff where I may quite possibly not have a moment's rest for 7 or 8 hours 06:40:39 I doubt highly. 06:41:57 your doubt does not change the underlying reality 06:42:13 I think it's just an excuse. 06:42:27 negative 06:42:37 Your negations do not change my underlying suspicion. 06:42:42 fair enough 06:43:30 Please convince me to go to bed. 06:43:31 It's almost 7am. 06:43:45 doing anything today? 06:43:51 I need to be up at 12am. 06:44:11 then close your computer, masturbate a little, and the sleep will probably catch up 06:44:37 added to list of "weirdest advice given on IRC". 06:44:49 lol 06:44:58 a list that i should probably not maintain as it's something like 5 billion lines long by now 06:45:06 probably nt 06:45:08 *not 06:46:54 sleep now: 06:46:58 - get barely any sleep 06:47:03 - wake up annoyed 06:47:07 don't sleep: 06:47:08 - get tired 06:47:08 better than no sleep 06:47:14 - end up on inverse monophase, become suicidal 06:47:25 although 06:47:31 depending on how important your stuff is 06:47:42 you may just find it easier to push through to the evening and retire early 06:47:59 i'm terrible at all-nighters, i just fall asleep in the early afternoon 06:48:05 and wake up late at night 06:48:09 i.e. inverse monophase 06:48:15 you need someone/thing to keep you up until the evening 06:48:18 a schedule soulcrushing because you never have any contact with humans or see daylight 06:48:25 if you don't have that, then yeah, don't do it 06:48:33 ehh, i could probably manage it 06:48:35 let me see if the sun is out 06:48:39 if it's out, i'll stay awake 06:48:46 if it's not, ... i'll probably stay awake 06:49:04 I take it you don't drink caffeine much? 06:49:22 false; I drink far too much of it via soft drinks 06:49:27 i probably shouldn't 06:49:27 ah 06:49:42 ok well i find it impossible to really sleep for less than eight hours 06:49:43 eh, you're probably adapted 06:49:49 so best-case waking up time is 15:00 06:49:54 more likely is 17:00 06:50:00 as the later I go to bed the more I need sleep 06:50:05 15:00 is ... half-workable 06:50:08 17:00 is absolutely not 06:50:12 so, that's risky 06:50:15 don't do that 06:50:20 don't do wat 06:50:21 *what 06:50:28 that's a pretty bad sleep schedule to put yourself on 06:50:40 also, if i stay up, and manage to reach the evening, then i can get to bed early 06:50:43 thus waking up early in the morning 06:50:52 thus getting tired not long after it gets dark 06:51:02 thus putting me in an advantageous position for future sleep 06:51:25 downside: pissed off parental overlords (they are, I find, not fans of the inverse monophase schedule) 06:51:27 but ehh 06:51:31 I don't want to wake up when it's dark 06:51:39 so (retroactive) all-nighter it is. 06:52:22 I got up in the afternoon yesterday, anyway, so I should be able to make it 06:52:32 and I was *planning* to go to bed at 3am 06:52:36 *sigh* 06:53:59 ok, i must find some programming to do posthaste to keep my brain awake... and not anything important because i'll fuck it up 06:54:06 euler 06:54:12 or try to learn a language 06:54:25 i don't think my brain takes new concepts in too well when sleeping 06:54:40 good; you won't be sleeping for 10 hours 06:54:42 and project euler doesn't really have any fun results, so my tiredbrain probably won't like it 06:54:47 coppro: erm 06:54:49 when sleepy 06:54:57 :P 06:55:04 i'll work on my scm2c compiler 06:55:09 that's a fun toy project 06:55:42 I remember asking but never getting a good answer; how did they mess up R6RS? 06:56:02 yay, something to do (compiling a response to that) 06:56:03 sec 06:56:29 stupid fucking slow r6rs.org 06:56:36 tired ehird has no patience or manners 06:56:54 fucking piece of shit google cache grr 06:57:11 -!- Guest23566 has quit ("Lost terminal"). 07:07:22 coppro: "Programming languages should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary." 07:07:23 So says the preface of R5RS, and by extension R6RS. One of these languages obeys this principle; the one with a six in its name is not it. Furthermore, Scheme is, at heart, a pedagogical language; one for academics. Certainly, one can accomplish practical programming tasks with it, but simplicity is its driving force. 07:07:25 R6RS adds features such as a module system that deals with the nitty-gritty details of "real world" modules. This is practical, certainly, and most likely useful, but not something that belongs in, at least, the core language standard. 07:07:26 Furthermore, R6RS's base language offers basically nothing over R5RS. And then we get to the libraries. Oh, dear; the libraries. "Bytevectors"; a mere specialisation of vectors to byte elements. That is an optimisation for the compiler to perform, not something that goes in the core language. Scheme is already hard enough to compile efficiency; this is just unneeded ugliness. 07:07:28 Exceptions. Again a nitty-gritty specification of something that Scheme already has, in an SRFI. R6RS seems to think that SRFIs aren't a good enough way to define additional libraries, and it should instead wantonly define them itself. This is antisocial at best. 07:07:32 syntax-case, a supported-elsewhere, complicated macro system. Are simple syntax-rules hygenic macros really so bad that we had to add this to the standard? 07:07:35 Hashtables. Even here the name makes a laughing stock out of what Scheme is; a hashtable is an implementation detail of an associative array; indeed, even the "array" part is an implementation detail here, so perhaps associative map would be the best terminology. It's sundry; clearly little thought was put into this, least of all to whether it actually fit into Scheme. 07:07:40 Also, note that only 65.7% of the electors voted to approve R6RS; i.e. 34.3% opposed it. And R6RS wouldn't have passed depending on a wording detail: 65.7% of electors who *voted* said Yes. Apparently it used to be all electors in general, or at least there was some confusion. So, R6RS was not even widely accepted by the voters. This is reflected in the small set of R6RS implementations; indeed, no R5RS implementations have moved to R6RS. 07:07:45 For further opinions on this matter, I direct you to the No votes at http://66.102.9.132/search?q=cache:V7u6JmG9CTYJ:www.r6rs.org/ratification/results.html+http://www.r6rs.org/ratification/results.html&cd=1&hl=en&ct=clnk&gl=uk&client=firefox-a. I wouldn't bother reading the Yes votes; most of them don't have any arguments as is typical of such things. But a lot of the No votes very eloquently, and in quite a few cases verbosely, argue against R6RS. 07:07:50 I don't think R6RS is all that bad a language in itself, but it's certainly a bad Scheme. 07:08:30 ok, thanks 07:08:37 this your writing or a copy/paste? 07:09:18 I wrote it, yes. 07:09:54 Oh my fucking god, you can make computer cases out of lego 07:10:02 Behold: http://monochrome.yudia.net/images/legopc/DSCN0708.JPG 07:11:21 of course you can 07:11:25 they're just boxes mang 07:11:27 Yes, but, shut up. 07:12:03 It'd be cool if you made it entirely out of black lego bricks. Boring standard case from afar, lego monstrosity from close-up. 07:12:13 Also a hinge made out of legoii to make a door. Or something. 07:12:16 I'm slightly incoherent when tired. 07:20:50 i forgot the downside to not sleeping 07:20:53 you can't think properly 07:28:35 -!- coppro has quit (Remote closed the connection). 07:29:12 -!- coppro has joined. 07:29:16 wb coppro 07:30:27 hmm... does anyone know a nonsense game designed for the mentally handicapped involving yelling 07:30:34 what 07:31:01 `addquote hmm... does anyone know a nonsense game designed for the mentally handicapped involving yelling 07:31:07 I have a sudden urge to describe something as 'It is a game \ played by an idiot, full of sound and fury, \ signifying nothing.' 07:31:09 115| hmm... does anyone know a nonsense game designed for the mentally handicapped involving yelling 07:31:14 coppro: >_< 07:31:19 mm 07:31:20 *hmm 07:31:25 is the quote better without the second line? 07:31:27 i think so :P 07:31:29 yes 07:31:34 the second line makes it sound almost reasonable 07:31:55 well, you didn't get the fury bit in 07:32:14 also, it'd have been better making it a story involving that yelling instead of a game, to more closely match the original 07:32:17 yelling is usually associated with fury 07:32:23 true. 07:34:41 http://www.theonion.com/content/news/dubai_debt_crisis_halts_building 07:35:22 ha 07:35:28 dubai is such a shitty plcae 07:35:30 *place 07:36:35 haha they've also got one 'Gay Teen Worried he Might be Christian' 07:45:56 old :P 07:46:41 GIMP is so slow to start up 07:46:58 yeah :( 07:47:08 and it still has that horrible toolbox thing 07:47:37 apparently the designers of the GIMP have never attempted to use it simultaneously with another application 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:03:27 asdfgjk 08:09:33 i need to eat soon or i will surely fall asleep 08:09:40 coppro: btw can you remove those retarded plasmoid icon things 08:09:43 on the panel and desktop 08:10:19 if you lock the widgets, the panel one goes away 08:10:25 don't think you can get rid of the desktop one 08:11:56 coppro: also, re: adjusting to caffeine (yeah yeah raising statements from the dead) i don't think that's actually possible, after all caffeine fucks up polyphasic sleep regardless 08:12:10 which is why people give up caffeine and alcohol for a good time when switching 08:12:14 preferably indefinitely 08:12:17 if it was taken in regular doses it probably wouldn't 08:12:25 nope 08:12:27 it does 08:12:34 since it makes you miss naps, full stop 08:12:35 regular meaning throughout the day 08:12:46 not just like once a day 08:12:55 after a couple weeks of caffeination, the brain compensates 08:13:46 cite 08:14:05 * coppro will find 08:14:28 (note that it would have to be very carefully controlled to make sure the brain had a near-constant caffeine level 08:14:40 and thus totally useless for actual caffeine drinking 08:14:46 which is good for staying awake 08:15:55 ehird: Wikipedia mentions it; though I'm too lazy to run through their sources 08:16:10 k 08:16:52 caffeine inhibits adenosine so the body adds adenosine receptors 08:17:13 this will balance out 08:17:55 i wonder if chocolate hurts polyphasic sleep too 08:18:15 probably 08:18:39 why? does it have any effect other than making you happy? 08:18:44 it has caffeine in it 08:18:53 not in large quantities, but if you had lots of chocolate, you'd notice 08:19:18 ah, true 08:21:21 coppro: what about raw chocoltae? :p 08:21:23 most of my caffeine intake is through chocolate and the occasional soft drink, and I don't normally have a lot of that. I like this because it means if I really need a boost, I can drink something strongly caffeinated and I really feel it 08:21:23 *chocolate 08:21:29 (http://www.therawchocolatecompany.com/) 08:22:12 coppro: I really ought to find a drink that I can drink offhand more-or-less continuously throughout the day that isn't of questionable healthiness 08:22:20 But I'm lazy. 08:22:38 a non-caffeinated soft drink? 08:22:59 coppro: that still has five tons of sugar 08:23:08 true 08:23:13 water's not bad 08:24:30 hmm... I probably consume a tonne of water every year 08:24:31 i find the water supply in this country to be distasteful, and bottled water to be wasteful and ridiculous 08:24:42 so I drink very little water, generally 08:24:47 oh, that sucks :( 08:25:00 (distasteful as in crappy, not as in literally distasteful) 08:25:05 I could buy a water filter 08:25:11 i guess 08:25:15 yeah, it's good 08:25:44 but i dunno, i kinda like tasting things :p 08:26:01 heh 08:26:16 when I want something like that, I usually go with fruit juice of some description 08:26:17 usually apple 08:26:33 but not the horribly watered-down stuff 08:26:52 there's a fine line between taste and too much taste, though 08:28:02 * ehird yawns 08:29:07 bad ehird 08:29:47 what 08:31:31 no sleeping! 08:31:53 http://rawchocshop.com/detail.asp?prodID=23&anch=1 08:31:57 The most hardcore bar of chocolate, ever 08:32:01 100% raw cacao chocolate bar 08:32:43 I'd imagine that to be rather bitter 08:33:57 You don't say 08:38:12 I can't even eat 80% 08:38:23 Apparently past 80% it takes on a whole new consistency 08:38:37 I had some I think 80% once and enjoyed it, if I had small pieces 08:39:26 coppro: http://www.keacher.com/?p=388 08:39:30 Comparison of 85% to 99% 08:39:52 I love the warnings 08:39:58 It's like "THIS IS A MATTER OF LIFE AND DEATH" 08:40:30 I'd break off a big chunk and chomp on it just to subvert their authority, man 08:40:39 It's also... completely black 08:42:38 * coppro wonders if callebaut makes super-dark chocolate 08:43:19 Maybe my main drink should be Swig Ingest Drink :P 08:43:34 (My ephemeral, ill-specified, vaporware home-made soft drink, inspired by Gregor's efforts.) 08:51:38 Gregor's entirely successful efforts. 08:51:54 Was that sarcasm or joy? 08:52:33 My efforts were in fact entirely successful. 08:52:37 My gingersnap soda is fantabulous. 08:53:03 ...that sounds far too delicious to exist. 08:53:05 Send me some. 08:53:44 Except make them with ginger nuts instead, dammit, I'm a Brit. 08:54:53 yawn 08:55:06 Gregor: Anyway, you said that adding acidy thingybob made it... less acidic, right? 08:55:19 (Acidy thingybob *not* being acid. (Has anyone made LSD soda?)) 08:56:40 .... 08:56:43 Citric acid? 08:56:49 I'm sleep deprived, you know. 08:56:55 Coherency is optional and discouraged. 08:57:02 Adding citric acid made it more acidic. 08:57:06 Yes, but better. 08:57:07 Somehow? 08:57:08 But it's vital that it be acidic. 08:57:09 Yeah. 08:57:15 Why 08:57:17 It doesn't have the right bite unless it's acidic. 08:57:24 The carbonation doesn't feel right. 08:57:37 I was trying to avoid bite, though. 08:57:45 It was meant to be the worlds first smooth soft drink. :P 08:58:05 Haha, best spam site technique ever: "Allow the next page a few seconds to load... Email: [ ] [ Free Instant Access! ]" 08:58:09 The page source has no redirection code whatsoever 08:58:17 * ehird feeds it mailinator 08:58:23 *to mailinator 08:58:26 Feel free to attempt it without the citric acid, but the carbonation simply doesn't /feel/ right (by which I do mean feel, mouthfeel) unless it's acidic. 08:58:42 Can you quantify that? 08:58:58 1/4Tsp citric acid per 5 cups water. 08:59:24 Or did you actually want me to qualify that? :P 08:59:36 lol, the page is basically "Cloud computing will kill Microsoft. The japs are doing it. I'll Fed-Ex you the scoop 100% FREE please give me your details." 09:00:03 Gregor: Quantify the mouthfeel issue, I mean. 09:00:34 * ehird has a ridiculous idea 09:00:43 That 100% raw chocolate bar, in a soda. 09:00:57 We do have chocolate soda here :P 09:01:06 Gregor: But is it 100% uncooked cacao? 09:01:08 It's hard to describe ... there's a tingling, poppiness to the carbonation of real soda that's lost without it. 09:01:20 ehird: No, that would be horrendous and bitter. Unless you add sugar of course. 09:01:23 Gregor: the sort-of-burning sensation? 09:01:25 except without the heat 09:01:42 Well, yes, it does add that, but it's more than that. 09:01:42 (100% raw cacao soda: Also combinable with my popular Fisherman's Fiend recipe to produce the worst drink ever.) 09:02:11 It's hard to describe, suffice it to say that I tried a few times without, then decided to add it, and went "OH. That's why it wasn't soda." 09:02:22 Alright then 09:02:42 Gregor: you should make Fisherman's Fiend. 09:02:54 Oy :P 09:03:02 I'm going to make snoring sounds instead. 09:03:05 (While sleeping) 09:03:07 *zzz* 09:03:10 Gregor: But Fisherman's Fiend 09:03:12 Is 09:03:13 The 09:03:15 Second-Worst 09:03:16 Drink 09:03:18 Ever! 09:03:29 (First is 100% raw cacao soda + Fisherman's Fiend, third is 100% raw cacao soda.) 09:29:55 * coppro tries to remember the shortcut he has to close a window with a click that isn't on the X 09:30:05 alt-f2 xkill enter click 09:30:27 a normal close, not a kill 09:30:35 (and Ctrl-Esc is faster) 09:30:44 err 09:30:48 whatever it is 09:30:54 now that I'm trying to remember, it's escaped me 09:31:16 Ctrl-Alt-Esc 09:33:56 hmm, appears to be no option for that 09:33:58 lame 10:06:52 asd 10:13:59 -!- kar8nga has joined. 10:18:40 -!- BeholdMyGlory has joined. 10:22:41 *Main> :t vAppend (VCons 1 VNil) (VCons 2 (VCons 3 VNil)) 10:22:42 vAppend (VCons 1 VNil) (VCons 2 (VCons 3 VNil)) 10:22:44 :: (Num t) => 10:22:45 Vec (TyPlus (TySucc TyZero) (TySucc (TySucc TyZero))) t 10:23:10 *Main> :t vHead . vTail . vTail $ vAppend (VCons 1 VNil) (VCons 2 (VCons 3 VNil)) 10:23:12 vHead . vTail . vTail $ vAppend (VCons 1 VNil) (VCons 2 (VCons 3 VNil)) 10:23:13 :: (Num a) => a 10:23:15 *Main> :t vHead . vTail . vTail . vTail $ vAppend (VCons 1 VNil) (VCons 2 (VCons 3 VNil)) 10:23:16 (type error) 10:23:26 Dependent typing in Haskell? Yeah, we do that. Basically. 10:25:06 now accepting theses on why my brain is currently incapable of comprehending the idea of window management but can whip up type-level computation in haskell in a snap 10:38:36 my thesis is a poorly structured essay that depends heavily on a generalised reading of Snow Crash in the eponymous novel, combined with some stuff taken from the back of sugar packets about hippocampi 10:39:52 Pthing: that sentence is pœtic and beautiful to me, is that worrying? 10:40:05 *Main> evenClub NSZero Refl 10:40:07 () 10:40:08 *Main> evenClub (NSSucc NSZero) Refl 10:40:10 :1:25: 10:40:11 Couldn't match expected type `TyNEven (TySucc TyZero)' 10:40:12 no, but if i'd known, that would have been worthy of a chapter 10:40:13 against inferred type `TyTrue' 10:40:14 In the second argument of `evenClub', namely `Refl' 10:40:16 In the expression: evenClub (NSSucc NSZero) Refl 10:40:17 In the definition of `it': it = evenClub (NSSucc NSZero) Refl 10:40:19 FUCK YEAH I'M DEPENDN' 10:40:24 if i wasn't stealing all my tricks from She I'd actually feel accomplished 10:40:39 man i am so writing a preprocessor to generate the fuck out of this shit though, automatic function → type family conversion is gold 10:43:07 i am so brilliant 10:48:38 oh shit do i need some sort of type ... reification ... to other types... thing 10:48:42 fuck if i do that is bad 10:49:02 ooh I know 10:54:13 okay now i will write a dependently-typed lambda calculus implementation in haskell 10:54:27 I wonder why my brain focuses on types over values when tired 11:05:25 AnMaster: Here's one preliminary stitch of the CS building: http://zem.fi/~fis/cs.jpg -- it's a bit seamy, and I doubt anything can be done to the railing immediately in front, since it's sort of important that what's behind it lines up properly. <-- nice. Btw I have some ideas of how such problems could be "fixed" 11:05:34 hugin certainly can't 11:06:15 but my idea is using parallax to build up a (partial) 3D model of the scene to be able to stitch a panorama out of it 11:07:03 *Main> let foo = Lam 0 (Var 1) (Lam 2 (Var 3) (Var 0)) 11:07:43 *Main> infer Map.empty foo 11:07:43 Lam 0 (Var 42) (Lam 2 (Var 42) (Var 1)) 11:07:43 close but no cigar :( 11:07:43 should be Lam 0 (Var 1) (Lam 2 (Var 3) (Var 0)) 11:09:09 -!- MizardX has joined. 11:09:40 -!- anmaster_t has joined. 11:09:56 -!- anmaster_t has changed nick to anmaster_l. 11:14:47 For contrast, I am currently optimizing another view of the same scene; this time done by taking a two-minute videoclip of waving the N900 around, then extracting every fifth frame (344 images in total) and feeding that to Hugin. 11:16:03 The video capture resolution is just 848x480, so the resolution won't be so good; and there's a lot of motion blurring going on. It would probably work better if I auto-selected sharp frames instead of taking every fifth. 11:16:52 -!- FireFly has joined. 11:17:24 Also rather slow to optimize 1031 parameters (343 times yaw+pitch+roll, plus view+barrel) using about 10000 control points. 11:18:00 Oh, and I managed to get hugin so swap-trashy I had to finally kill it, in the exposure optimization step. Going to have to retry with a smaller number of points. 11:19:21 -!- kar8nga has quit (Remote closed the connection). 11:40:24 -!- rodgort has quit (Client Quit). 11:40:34 -!- rodgort has joined. 11:44:10 -!- Pthing has quit (Remote closed the connection). 11:47:10 -!- anmaster_l has quit (Read error: 60 (Operation timed out)). 11:48:10 assqx 11:48:17 assistant... qx 11:48:20 quality Xcellence 11:48:30 assistant quality excellence, one who assists in the verification of excellence of quality 11:48:32 assqx 11:49:14 chrslrtk 11:49:25 chalice roads lamer rectal tick 11:49:31 chrslrtk 11:52:22 toijsdiojh 11:52:55 toys ima[jg]ine salviate dinner orange juice h 11:52:58 h... 11:52:59 hello 11:53:01 toys ima[jg]ine salviate dinner orange juice hello 11:53:04 toijsdiojh 11:56:18 fizzie, run it on that 64 GB ram system ;P 11:56:20 bbl 11:59:06 flightless arsenhůven 11:59:13 ůven, œven, i want a character in between 11:59:18 like oue without the e, ligatury 11:59:34 that would be worth arsenhouvening for 12:00:09 papyrus pluralled... papyruses? 12:00:13 that would be cool 12:00:18 it's probably papyri or something gay though 12:00:32 papyrusapapyrusapapyruses 12:01:20 i wonder what the logo of emacswiki really is 12:01:20 Plural papyri Brit. /p{schwa}{sm}p{revv}{shti}r{revv}{shti}/, U.S. /p{schwa}{sm}pa{shti}ri/, /p{schwa}{sm}pa{shti}{smm}ra{shti}/, papyruses. Forms: ME-16 papirus, ME- papyrus. 12:01:23 it looks like CE 12:01:24 or perhaps (E 12:01:40 fizzie: ok so you can either be fucktarded or delicious when plurunctuating that word, good to know 12:01:47 don't be a fucktard man 12:01:48 be delicious 12:01:50 in everything you do 12:02:05 (OED has IPA characters as images with alt-texts like that, so pasting is unfun.) 12:02:58 ohYeahTotallyWotzzat 12:03:25 fizzie: fuck OED fucking proprietary english fucking bullshit OED fucking proprietary bullshit fucking OED but i mean i likey oed but FUCKing oed fucking proprietary yeaaaaaaaaaaaaaaaaaaaaaaaaaaaah 12:03:27 hhhh 12:03:35 mmyestotally? 12:04:07 oͧ - o with combining small letter u. 12:04:14 yay i wonder how i tell emacs to tell me in what order does it load files at the starting 12:04:20 fizzie: i was think more in style of œ 12:04:22 MAKE IT SO 12:04:36 I don't think it's very makable with Unicode. 12:05:12 dickinsons! i haven't heaven'd whatfore might be his name 12:05:24 you should make a fungot thing out of just things i've said 12:05:24 ehird: good luck! :) http://list.cs.brown.edu/ pipermail/ plt-scheme/ 2006-october/ fnord 12:05:29 it'd be splendfunctorlicious 12:06:06 fizzie: i expect it yesterday 12:06:20 yestermorrow, is there any time _really_ 12:06:38 type functor declaration undecidable dependent instance fuck yeah automatic function to type family conversion also also also also also stack overflow also 12:06:49 i want to be incoherent constantly 12:06:51 it's so fucking rad 12:07:46 Hey, there is a latin letter "ou"; though it looks a bit different: ȣ 12:07:55 There's also oi: ƣ 12:08:06 -!- anmaster_l has joined. 12:08:20 have you noticed, billy, that sometimes, b 12:08:21 omg 12:08:26 ȣ 12:08:29 favourite letter 12:08:41 flightless arsenhȣven 12:08:58 jesus christ it's perfect, why is it uo instead of ou though in the glyph glyph 12:09:06 also when is ehird-fungot-mode-just-of-the-lines-of coming 12:09:06 ehird: if ( language " python" 12:09:08 dz also has its own ligature-like thing; it's full of kudzu. 12:09:39 -!- anmaster_l has quit (Read error: 60 (Operation timed out)). 12:10:04 ȸ, the database letter. 12:10:07 you are constantly avoideravoideravoideravoideramating my qusetion 12:10:13 rȸms 12:10:16 ♥ 12:10:18 Yes, unashamedly. 12:11:06 wouldn't it be an awesome mode though though 12:11:24 Yes yes. 12:11:32 So do it do it BBQ it 12:11:36 It's just 12:11:39 cat thelinesforirc 12:11:44 | grep '^" 12:11:46 | poop 12:11:49 or whateveramever 12:12:11 My computar is busy doing PHOTOGRAMMETRIC ALIGNMENT for that videorama. 12:12:51 dude it can handle some filtering, i'm sure it loves me 12:13:01 oves me ves me es me me me e 12:13:08 so fucking hypnotic 12:13:10 s/ $// 12:13:11 It has already spent half an hour optimizing exposure and white-balance parameters, and the error hasn't noticeably changed for the last 25 minutes. 12:13:12 i want to clean it 12:13:14 though t'is correct 12:13:17 t'is, is that correct? 12:13:25 it's t'is→→it is 12:13:28 so i guess 't'is 12:13:36 but that's the same size as it is 12:13:42 so you'd have to be fucking retarded to say it mon 12:14:02 "'tis", isn't it? 12:14:06 http://en.wiktionary.org/wiki/%27tis 12:14:10 that omits the expanded space you do 12:14:11 ILLOGICAL FUCK 12:14:17 'T'is't'isn't 12:14:18 -!- rodgort has quit (Client Quit). 12:14:20 → It is it isn't 12:14:25 beautiful 12:14:26 -!- rodgort has joined. 12:14:30 beautiful like rabies 12:15:00 I do multi-apostrophe contractions sometimes in IRC-lingo. 12:15:18 Wasn'tn't. 12:15:20 Was not not 12:15:36 Well, it wasn'tn't great. 12:16:08 It just wasn'tn'tn'tn't awesome. 12:16:09 -!- MizardX- has joined. 12:16:25 *wasn'tn'tn'tn'tn't 12:16:27 i think 12:16:37 whoreses 12:18:22 -!- FireyFly has joined. 12:18:40 -!- FireFly has quit (Nick collision from services.). 12:18:52 -!- FireyFly has changed nick to FIreFly. 12:19:31 -!- FIreFly has changed nick to FireFly. 12:19:40 now let's not enigmaticise here. 12:19:50 this isn't free 12:28:43 okay so you can use ~/.emacs.d/init.el instead of ~/.emacs that is cool 12:32:10 "t'is" is illogical? 12:32:23 err 12:32:29 i mean "'tis" is illogical? 12:32:30 -!- MizardX has quit (Read error: 110 (Connection timed out)). 12:32:35 -!- MizardX- has changed nick to MizardX. 12:34:18 -!- MigoMipo has joined. 12:34:59 Yes, I guess the problem there was that the space between "it" and "is" is not marked at all. 12:35:30 absolutely 12:35:36 dfhgfhjhkodg 12:42:00 i'm yawning all about insanity 12:56:44 -!- bsmntbombdood_ has quit (Read error: 113 (No route to host)). 12:59:27 -!- bsmntbombdood_ has joined. 13:00:40 i love how i'm understanding things. 13:06:43 -!- Pthing has joined. 13:08:58 -!- uorygl has quit (Remote closed the connection). 13:09:01 -!- uorygl has joined. 13:13:50 -!- Ilari has quit (Client Quit). 13:19:36 9 windows of firefox with multiple tabs in every window, some with enough to make the tab srcoller appear, plus amarok, kopete and kovnersation makes kde's window manager crawl 13:20:38 -!- Cerise has quit (Remote closed the connection). 13:23:28 ah, unlike in the other ones like "you're" and "there's" 13:25:18 oklopol: stfu, i'm musing about thoughts that were not thunk in this quantum stream but were thunk in some other quantum stream, that is unthunk thoughts, affecting the (I postulate for no particular reason commutative) p-therefore-q-as-a-thought-process operation so that you think a thought, and then you think (because of the unthinking) a thought by which you derive the previous thought, but this turns out to be a contradiction that you couldn't check 13:25:20 ahead of time because you can't predict the future, and thus the infinite memory required to represent such a thought might overflow your brain or something 13:25:36 i have far transcended any sort of petty english syntactical debates, my thoughts are pure euphoria of form 13:26:05 it is beautiful. 13:26:27 ah 13:26:31 yeah sorry 13:26:39 you're right 13:26:46 oklopol: do you sort of grok what i'm sayinh 13:26:47 *saying 13:27:48 hmm, maybe. 13:28:20 given a bit of serious pondering, it looks totally sensible 13:28:44 hmm so if you can communicate across many-worlds branches, then you could cause unthunk thoughts to mingle with this thought stream and become thunk thoughts, thus removing the permutations they performed on your thoughts and instead becoming first-class citizens (albeit being q-thought-before-p in (p therefore q)) of thought 13:29:05 therefore, achieving "enlightenment" could be modelled as having no unthunk thoughts; having every thought be thunk by quantum methods 13:29:17 and thus all there is is pure thought itself, no hidden reasoning chains or side-effects 13:29:35 but this is straying into the religious or at the very least the metaphysical. nevertheless, it does seem to follow. 13:31:30 i still think i follow, but i'm not sure what i get out of that would sound nearly as esoteric, so i'm gonna keep it to myself. 13:31:37 the trees are slightly less pretty now. 13:32:47 oklopol: nonono do say it 13:32:49 even if it is merely 13:32:52 "that is bullshit" 13:32:56 ;) 13:33:11 I mean I don't actually *believe* any of this, I'm just letting thoughts permute themselves automatically through my process instead of suppressing them, and thus elaborating on them 13:33:14 who says what you think has to be true? 13:33:33 oklopol: maybe you unthunk something in the far, far future about trees that is bad 13:33:38 and that is affecting how you view trees now 13:33:56 you need to create a causal reasoning chain justifying how good trees are of greater power than it so as to override it 13:34:00 and enjoy trees 13:34:52 we could model thinking as a process that takes unthunk thoughts, unprocessed data, and outputs thunk thoughts, some sort of results. if there were multiple worlds with the same entity existing multiple times, living almost exactly the same lives, he could skip ahead in his thoughts by accessing the thunk thoughts of a fellow him. 13:35:05 you probably didn't mean anything like that. 13:35:31 oklopol: no, that is *exactly* it! 13:35:35 i'm so sexy 13:36:22 oklopol: let's mutually thunk the other's unthunk thoughts so as to expand both our repertoire of thoughts (← this is what sex is like post-singularity) 13:36:32 :D 13:37:15 *repertoires 13:37:34 oklopol: sometimes it can be a bit embarrasing too 13:37:51 having sex? 13:37:58 post-singularity thunk sex. 13:38:01 right 13:38:14 i mean occasionally you're doing it and you think "but the chicken *was* over 18, and it *was* going around naked... plus the peanut butter was right there..." 13:38:25 and you're like "um. $name? why wasn't I invited?" 13:38:26 and yeah. 13:38:31 probably, like yelling "mmm you smell just like my mum" in bed, but you can suppress it even less 13:38:49 you're meant to suppress that?! WHY WASN'T I INFORMED OF THIS 13:39:23 speaking of which you are so going to owe me money in... about three years 13:39:50 because in your case it'll not be relevant for like 15 years 13:39:50 :)) 13:39:54 ZING 13:40:07 oklopol: exactly why you will owe me money in three years 13:40:11 yeah 13:40:14 in case you don't remember we have a bet :P 13:40:16 how much was it? 13:40:19 how m lol 13:40:28 i do, just not the amount, i can't remember numbers that mean something 13:40:29 well i know it was a few days off my birthday so ic an check 13:40:31 *i can 13:40:37 I think £50 13:40:38 50 13:40:39 yeah 13:40:45 that's what i would guess 13:40:49 which is a nice heap of money for doing nothing 13:41:17 well for doing noone, i think you were allowed to do *something* 13:41:27 hur hur hur 13:41:29 (tried "noone", don't like it) 13:41:45 yeah it was £50 13:41:52 oklopol: nobody is a much better word to use imo 13:41:56 ehird: but not only a joke, mostly i was asking what rules we agreed on. 13:42:08 ah 13:42:27 i'm fairly sure it's only other people that count, otherwise my hand would count and that'd just be a ridiculous bet 13:42:28 `calc 50 pounds in euros 13:42:31 50 British pounds = 56.6239465 Euros 13:42:37 :(( it's gone down since the last time 13:42:43 i use "no one" or "nobody", had to check "noone" out because it's so popular 13:42:46 was 57.47 on 2009-08-21 13:43:04 18:10:17 i'm also preparing for extremely early onset inflation 13:43:24 :D 13:43:35 DAAAAAAAAAAAAAMN YOUUUUUUUUUUUUUUUUUUUU 13:43:48 so you're the reason this recession is happening 13:43:57 oklopol: you may ask but it was going when you said that 13:43:59 totally 13:43:59 remember 13:44:03 there is no thought causality 13:44:18 ah. 13:44:18 you have been acting to cause the recession since before it began, and the p in p-therefore-q that lead you to doing this was only thunk then 13:44:24 see, it all ties together 13:44:40 (...i'm gonna escape now k?) 13:44:55 define escape 13:45:06 "to read complex analysis" 13:45:12 pfft. 13:45:16 :P 13:45:26 escape the horrors of the physical world 13:45:34 that's called suicide 13:46:19 yeah it's just that boring. 13:46:20 -> 13:48:55 damn i could totally functionalise an os 13:49:15 i mean ok im basically ripping off luke palma's dana wholesale, dependent typing, frp and all 13:49:19 but shit. 13:49:56 and combining it with ehirdOS = sexy time 13:55:56 -!- Sgeo has joined. 14:00:07 hi sgeo 14:00:14 Hi ehird and all 14:00:25 * ehird decides to break sgeo's brain 14:00:50 I'm musing about a purely-functional (without even an IO monad) operating system with types that can access values. 14:01:00 (OR AT LEAST THAT'S HOW I'D EXPLAIN IT TO A PLEB) 14:01:47 "types that can access values" needs clarification. Also, it's obvious that this is what I'm supposed to notice, but how is it supposed to do anything 14:02:09 1. Dependent types. 14:02:12 2. Magic, clearly. 14:03:51 Magic, like the sort of magic that lets you jump to a point in space where the gravity is equal to where you're jumping from? (iirc) 14:03:54 -!- oerjan has joined. 14:04:06 Hooray Ed stories. 14:04:44 Sgeo: Dependent types let you do things like making array[3] fail *at compile-time* if array has less than 4 elements — without declaring it at any point, and with computation in-between. 14:04:54 (Of course the programmer has to help the compiler along in some cases.) 14:05:26 That's just one of the *applications*; what it *is* is a subtle matter and one I am in no non-sleep-deprived state to communicate. 14:05:55 * Sgeo is also sleep deprived right now 14:06:03 There's supposed to be a meeting 5 minutes ago 14:06:05 when did you last sleep 14:06:24 I can't help think that they meant 12AM when they said 12PM 14:06:35 Um, from 3 local time to 7 local time 14:06:55 And that's been my approx. schedule for a while, but I tend to fall asleep from 9 to 3PM 14:06:56 What time is it there now? 14:07:27 There as in the timezone they were using? 12:06 PM. Local time: 9:06 AM 14:07:58 http://www.youtube.com/watch?v=XpsN14TFy90 this music is incredible 14:08:34 * oerjan notes that googling for "hooray ed" brings up only things it is unlikely ehird was referring to... 14:09:05 oerjan, try different words in that line 14:09:06 http://qntm.org/?ed 14:09:19 i just did 14:09:20 An excellent sci-fi ... well, I'd say novel, but it was serialised of a sort. 14:09:34 (The tone of the first stories is misleading, btw.) 14:10:34 oerjan: You'd probably like it, it has a quote about how all the characters are completely insignificant, stupid and irrelevant in the universe. 14:10:37 That fits you. :P 14:10:47 sgeo -- that music IS incredible :o 14:11:36 Sgeo: i woke up yesterday at uh around 2:30pm i'd guess 14:11:39 15:30 that is 14:11:42 haven't slept since 14:13:10 o.O 14:13:24 Go to sleep then? 14:13:25 * oerjan thinks ehird has a horribly distorted impression of him 14:13:27 -!- Pthing has quit (Remote closed the connection). 14:13:31 And wake up late at night? 14:13:35 That's a dumb idea. 14:13:38 oerjan: I was joking. :P 14:13:40 Go to sleep at night then? 14:13:42 Also, the quote doesn't really have that turn at all. 14:13:46 Sgeo: I will, once it is night. 14:17:31 Sgeo: yeah that's pretty incredible 14:18:09 Supposedly, it was ranked the best music on the Commodore 64, or something 14:19:22 I can't find a source for that, actually, so 14:19:57 -!- Ilari has joined. 14:20:07 I think my source was a random YouTube video :/ 14:20:51 http://www.youtube.com/watch?v=uKssGfAtTP4 14:21:00 it was not perfect 14:27:52 yeah that wasn't very professionally done 14:29:09 * Sgeo is an SG-1 addict 14:31:24 -!- Ilari has quit ("leaving"). 14:32:10 -!- Ilari has joined. 14:43:00 Ilari: you rebooted. 14:45:30 they gave him the boot 14:46:32 -!- Migi32 has joined. 14:48:17 Yeah. 14:48:52 And had to fight with settings a bit after that. 14:51:25 And configured protocol 41 just for fun (the main trouble was lack of direct copy-paste from browser to rootshell). 14:51:40 That's how I could tell. 14:52:08 I could have configured it without reboot (would had to rejoin, but...) 14:52:36 Well, you said you'd do it when you rebooted, so. 15:01:21 -!- Migi32 has quit ("Segmentation Fault"). 15:09:16 -!- oerjan has quit ("leaving"). 15:23:24 -!- augur has quit (Read error: 110 (Connection timed out)). 15:33:49 sculpture chasm well-typedness 15:35:26 argh augur isn't here 15:36:09 Should I be on the Chrome Dev channel or the Beta channel? 15:36:09 -!- augur has joined. 15:36:20 I <3 Extensions, so the normal one isn't an option 15:37:22 ...thing says it's on Stable o.O 16:00:37 Okay, it seems my system has so little RAM that the background of Konversation's tray icon's contextual menu is white. 16:00:44 I think I'll start System Monitor and see what the fuck is up. 16:01:21 Well that was useless. 16:01:31 Xorg is CPU-hogging for some reason. 16:05:22 ...Someone's teaching a math course with QBasic 16:06:02 "A friend of mine who taught in [redacted] is teaching a math course that uses QBasic at [redacted] College. We're trying to find a compiler she can download and use with Windows XP but no luck - do you have any ideas?" 16:06:42 I suggest finding an old DOS disk and a DOSbox. 16:06:51 Or a saner language. 16:07:47 QBasic works in XP. 16:07:55 Perhaps even QuickBasic does. 16:08:49 pikhq: So. A purely-functional operating system using FRP instead of imperative IO and dependent types. Perhaps total, too. Am I a functional programming nerd? 16:08:59 ehird: Yes, you are. 16:09:04 And that's okay. 16:09:30 I'm special, just like everyone else. 16:09:36 XD 16:15:20 * Sgeo is in love with mywot.com 16:17:35 You use the term "love" very loosely. 16:18:09 Well, you see, free love. 16:18:57 Website polyamory! 16:22:03 I'm starting to believe that Linux/X11 on the desktop really is a hopeless case now that my system's crawling just because I have 9 Firefox windows open with a few hundred tabs between them. 16:22:07 The memory usage isn't even that high. 16:22:11 This. Is. Not. Difficult. 16:22:18 ehird: ... That's really, absurdly sad. 16:23:33 Yeah; X and Firefox are both using 5-30% of my CPU constantly. 16:23:35 Each. 16:23:41 For no reason. 16:24:13 Probably firefox is spewing lots of requests to X server for some reason? 16:24:31 I should just go back to OS X and enjoy the smooth graphics and non-total-freeziness and nice fonts and deal with the proprietariness, inconsistency (not that there isn't a lot of that in the Linux world too) and flawed default applications. 16:24:37 Ilari: Something like that. 16:24:45 I suspect kwin is doing something retarded with the Firefox windows. 16:25:21 ehird: Does it happen with other WMs? 16:25:34 Let's find out. 16:25:43 ...wait, killing kwm will probably just kill all my windows. 16:25:45 Stupid reparenting managers. 16:25:51 Ilari: Don't know. 16:25:59 *kwin, not kwm 16:26:23 Ilari: I suspect the fact that kwin is compositing, and there are... 1, 2, 3, 4, 5, 6, 7, 8 firefox windows showing (all but one are just edges), 16:26:26 is something to do with it. 16:26:34 Something like it's drawing the entirety of all those windows or something. 16:27:12 Yeah, kwin is drawing all of those windows in an offscreen buffer and then rendering it onscreen. 16:27:20 That might do *something*. 16:27:28 Heh... Reminds me when only "window manager" I could get to start with session was some terminal emulator. I had to attach debugger to it and make it execute some sane window manager... 16:27:38 So if I maximise the Firefox window I'm actually using (and deal with the too-wide text), performance will improve some. 16:27:42 That's just great. 16:27:47 >_< 16:27:49 I hate computers. 16:28:09 Ilari: Did "wm &; disown; exit" not work? 16:28:37 I seem to have got over the horrific-horrificness of sleep deprivation now. 16:28:40 Ugh, it's dark already. 16:28:43 I hate our short days. 16:28:55 Oh, and the terminal emulator didn't even work properly... 16:29:41 xD 16:30:03 What is it with Linux users and improbable software situations always solved by a method other than reinstalling :-) 16:30:24 Because reinstalling rarely solves anything... 16:31:32 Sure it does if you messed up the packages and now your only WM is a terminal manager. 16:31:38 I wasn't referring to the solutoin so much as getting into the situations 16:31:44 ehird: Because Linux users like doing crazy shit. 16:31:47 I've never found myself in such a bizarre environment :) 16:32:20 The only crazy shit I've done recently has been "Oh shit, my package manager just broke. Time to install stuff via tar instead of with the package manager." 16:32:28 (I keep binary packages of everything on my system.) 16:33:34 For some reason window managers still don't work, but now I use .xsessionrc (has also the good side that one can put those various xmodmap & co commands in). 16:33:50 ... Window managers don't work? 16:33:57 Yeah, reinstall that. 16:35:19 Ilari: just use .Xmodmap :P 16:35:30 alternatively, use my OS. 16:35:32 ehird: And xmodmap settings are not the only ones... 16:37:53 I wish the nice winter weather came with long days. 16:45:49 I'm going to reboot back into OS X. 16:45:51 It's just hopeless. 16:46:11 I guess I can deal with using a proprietary OS until ehirdOS is invented. :P 16:46:52 * ehird tars up his source code done on this machine, uploads it 16:46:57 (to access it in os x...) 16:46:59 erm 16:47:00 done on this partition 16:49:34 Erm, so if gcc is the GNU Compiler Collection, is GCK the Gnu Compiler Kollection?!?!12. 16:49:43 -!- ehird has quit (Remote closed the connection). 16:55:44 -!- ehird has joined. 16:58:01 -!- ehird_ has joined. 16:58:01 -!- ehird has quit (Read error: 104 (Connection reset by peer)). 16:58:06 -!- ehird_ has changed nick to ehird. 16:58:13 Yeah, this is better. 17:49:31 -!- anmaster_l has joined. 17:49:40 -!- ehird has quit. 17:52:51 -!- kar8nga has joined. 17:53:24 Erm, so if gcc is the GNU Compiler Collection, is GCK the Gnu Compiler Kollection?!?!12. <-- that sounds like it would be using QT at the very least. 17:53:54 ehird: (for log reading) but why GCK? Where did you get the idea? 17:55:10 KKK, the Knu Kompiler Kollection. 17:56:58 -!- ehird has joined. 18:12:29 i'm too busy admiring how smart my stolen ideas are to do anything with them 18:19:41 -!- ehird has quit. 18:20:14 -!- ehird has joined. 18:20:37 -!- ehird has quit (Client Quit). 18:38:02 KDE Kompiler Kollection, of course. 18:40:38 -!- SimonRC has quit (farmer.freenode.net irc.freenode.net). 18:41:25 -!- SimonRC has joined. 18:55:28 -!- jpc has joined. 18:56:14 -!- ehird has joined. 18:57:51 09:53:24 Erm, so if gcc is the GNU Compiler Collection, is GCK the Gnu Compiler Kollection?!?!12. <-- that sounds like it would be using QT at the very least. 18:57:51 09:53:54 ehird: (for log reading) but why GCK? Where did you get the idea? 18:57:51 It was a coded identifier for the URL for my ~/src from the Linux partition. 18:58:18 ehird, heh 18:58:36 ehird, what does that even mean? 18:58:57 I'm booting back into OS X due to the general hopelessness of desktop Linux. 18:59:01 I want to move my ~/src back over. 18:59:10 I don't want to fuck with OS X drivers for ext4. 18:59:21 So I zipped it and uploaded it to a file hosting site. 18:59:30 That line includes the things I need to know to reconstruct the URL. 18:59:46 That way, using mnemonics, I can find the URL just by looking at it, but nobody else can. 19:00:25 heh 19:00:57 AnMaster: It's like PGP except in my mind, basically. 19:01:16 Like posting a PGP encrypted-to-myself message publicly, to be precise. 19:01:29 ehird, hah 19:02:05 ehird, also very smart 19:02:15 Why thank you :P 19:02:36 The relevant file ID after the file host *is* there in plaintext, though, it's just spread out across words. 19:02:44 ehird, how many of the words encode info and how many are to just make it grammatically correct? 19:02:54 Few, almost all. 19:02:59 ah 19:03:10 To be honest, I don't care whether you read my code or not, so I'll tell you that the prefix is filebin.ca. 19:03:37 Since you can upload a file there to see the length of identifiers, it'd be pretty simple to try all likely combinations from there. 19:04:04 ehird, btw interesting that you found some well working combo from it 19:04:10 as in, filename-wise 19:04:13 Yes; I was lucky. 19:04:43 Then again, I could have just gone "fp45 f09w23 g90 n4n ovij 9d" and remembered "second and second-last". 19:05:23 Anyway, I wish Linux/X11 was tolerable enough for my heavy programming and web browsing workload, but it is, alas, not. The hideous performance when I had a lot of Firefox windows open confirmed that. 19:05:40 So it looks like until I implement ehirdOS, I'm Apple's bitch. Which saddens me. 19:06:01 ehird, finding something for http://filebin.ca/hryhfj would be way harder 19:06:07 X11 is hideously difficult to use correctly... 19:06:54 ehird, is it case sensitive that filebin.ca? 19:06:54 Ilari: Yeah, with a lot of manual setup and using a lightewight WM *maybe* it could handle ~10 Firefox windows with many tabs each. 19:07:07 AnMaster: Try it and see. 19:07:20 ehird, well my test one got all letters and all lower case 19:07:22 Ilari: But, really, I just don't like Linux enough for that. 19:07:32 ok case sensitive 19:07:36 All Unix-likes are shit, and all existing UIs are shit 19:07:44 So I should just pick whichever one is the least fuss 19:07:51 As far as I can tell, that's OS X. 19:08:12 AnMaster: I think they're all lowercase, though. 19:09:08 meh tried a few simple permutations, not worth more job 19:09:45 It's hrmgck. 19:09:50 Erm 19:09:53 ermgck 19:10:11 What's the correct ELispese for "bind this key globally because the default binding is stupid"? 19:10:15 I want to set DEL to delete-char 19:10:23 Not delete-backward-char 19:10:45 Ugh 19:10:54 Emacs is reading backspace and delete as one char 19:10:57 That's retardifuckede 19:11:03 *retardifucked 19:14:07 global-set-key 19:14:08 got it 19:20:05 ehird, btw that tarball of your code was small 19:20:28 Indeed; it's just one or two days. 19:20:44 ehird, just a diff? 19:20:48 -!- kar8nga has quit (Remote closed the connection). 19:20:50 okay it wasn't that small then. 19:20:56 No; I lasted one or two days with Linux. 19:21:12 I didn't work on any of my OS X projects; the tarball is completely self-contained. 19:21:24 (And yes, I do code that much in ~3 days.) 19:21:40 ehird, yet your laptop (did you give that idea up?) was to be running linux? 19:22:37 AnMaster: well, linux isn't viable for me as it has just demonstrated for me 19:23:13 with its hideous, hideous failure at simple tasks like "synchronised flash audio/video" (I know it's not Linux's fault), "10 Firefox windows, each having a lot of tabs" and "non-smudgy font rendering that doesn't have horrible colour fringes". 19:23:19 which distro? 19:23:27 I honestly thought I'd be fine with it, but it let me down. So there. 19:23:52 SimonRC: Kubuntu; indeed, it had an edge on the font rendering test due to its inclusion of the legally-dubious bytecode hinter. 19:24:01 I could have made it more workable by Rolling My Own Shit. 19:24:01 Where *can* you have that many tabs open? 19:24:10 But I don't see Unix as a viable OS, just a kludge that works for now. 19:24:12 *a kludge 19:24:16 hm 19:24:21 what is viable? 19:24:26 So I pick the Unix that takes the least amount of working to... work. 19:24:33 ehird, "synchronised flash audio/video" <-- hm I had no issue with that even when using flash (swfdec iirc) 19:24:34 SimonRC: good; worthy; the way forward; usable; etc 19:24:44 not what I meant 19:24:50 AnMaster: Adobe. 19:24:56 ehird, ah, no idea 19:25:00 I mean, which OSes are good? 19:25:07 SimonRC: None. 19:25:11 Plan 9 and Oberon both come close. 19:25:19 ehirdOS is good, but it's vaporware. 19:25:35 ehird, as for fonts, well why not write something that make it looks like it should, obviously your work would be of great use to everyone else on linux then 19:25:39 Although I think it's a massive enough project to count as my life's work already... 19:26:01 AnMaster: I just explained why. I don't consider Unix a good OS, so I pick the Unix that works with the most stuff and does the tasks I want with me doing the least. 19:26:06 if you are going to take that long about it, it will be out of date by the time you finish :-( 19:26:09 If I cared about Unix, I would try and make it better. 19:26:31 SimonRC: It's so heretical that I don't find that too likely. Especially as systems design has been in limbo ever since Unix. 19:27:05 ehird, hm... okay 19:27:57 which OS allows you to have 10 firefox windows with hundreds of tabs each without problems? 19:28:25 Not hundreds of tabs each; hundreds of tabs in total. 19:28:35 ok 19:28:39 And, well, I use Safari on OS X and it handles that as smoothly as you could expect. 19:28:47 also I have about 50 tabs in general when using firefox 19:28:48 I imagine Firefox on OS X isn't *that* inferior. 19:28:55 50-80 probably 19:28:56 -!- soupdragon has joined. 19:29:02 ehird, try it out on OS X then 19:29:02 I think the Safari->Firefox change is the one that matters 19:29:08 AnMaster: I almost never close tabs and click links like crazy 19:29:13 and almost never click links without opening a new tab or windo 19:29:16 s/$/w/ 19:29:22 SimonRC: Well, let me know when Safari is released for Linux 19:29:28 All the WebKit X11 browsers suck 19:29:28 heh 19:30:01 * ehird tries to figure out how to get the % position in current file in the emacs modeline 19:30:13 ehird, never opening links in same tab apply almost all the time to me too 19:30:34 also you need a tab gc 19:30:45 My "ideal" browser would open every single link in a new "tab"; all middle-click would mean is "...and don't focus this tab after creating it." 19:31:05 sounds good 19:31:10 #english 19:31:13 Tabs would be in a horizontal tree structure to the side, so that it's linear, but if I open more than one link from a page, that's shown underneath that page. 19:31:14 dammit 19:31:19 It would also serve as the history. 19:31:29 Basically, old enough tabs would be purged from cache and clicking them would go back to them. 19:31:31 -!- sebbu has quit (Read error: 113 (No route to host)). 19:32:02 If you don't want a tab any more but want to keep it in the history you could banish it, which would presumably just shove it up to, say, the start of today until tomorrow. 19:33:54 so you smoothly integrate tabs, history, and bookmarks? 19:34:12 Ooh, good idea; bookmarks would just be starred tabs. 19:34:13 And yeah. 19:34:24 That's basically what I use tabs for; going back in my chronological history. 19:35:00 Tabs would be in a horizontal tree structure to the side, so that it's linear, but if I open more than one link from a page, that's shown underneath that page. <-- iirc IE8 groups by which tab they were opened from. I have had no choice but to use IE8 on some lab computers at university. 19:35:08 not quite what you wanted 19:35:22 they are coloured in different groups 19:35:31 (the tabs themselves that is) 19:35:34 Oh, so that's what those colours are. 19:35:44 The closest to what I want is the Firefox extension Tree Style Tabs or whatever it's called. 19:36:12 That does the horizontal linear tree thing, but only for tabs, not integrated history/bookmarks/tab expiry/scrolling (well, it might do scrolling with a scrollbar, dunno (arrows don't count as scrolling)) 19:37:23 ehird, wait how did you say the bookmarks would be integrated into it? 19:38:08 [19:33] SimonRC: so you smoothly integrate tabs, history, and bookmarks? 19:38:08 [19:33] ehird: Ooh, good idea; bookmarks would just be starred tabs. 19:38:23 ah I see 19:39:11 ehird, you could make it write-only. As in, once a tab is open it is always remembered (possibly you can archive it to hide it, but you can't actually delete it) 19:39:35 Well, mutable history is nice for... hiding things. 19:39:46 Of course it wouldn't have an easy shortcut. 19:42:38 ah well yeah good point 19:42:44 hrm 19:42:51 if I have foo | bar in emacs, how do I get 19:42:53 foo | bar 19:42:57 --------- 19:42:58 quux 19:43:03 C-x 2/3 don't do it 19:48:58 :/ 19:53:16 -!- sebbu has joined. 19:59:33 ehird, RET and repeat dash several times? ;P 19:59:44 I'm talking about split frames. :| 20:00:35 oh, I thought you wanted automatically inserting underlining with dash for a line 20:00:53 and I thought "meh, that usually isn't too much work in a README, it isn't worth automating" 20:15:36 -!- AnMaster has quit (Read error: 60 (Operation timed out)). 20:15:49 -!- AnMaster has joined. 20:17:19 -!- BeholdMyGlory has quit (Read error: 104 (Connection reset by peer)). 20:17:32 soupdragon: i was almost going to read tmopi but then i realised i'm really tired and so you must wait another day 20:17:41 -!- BeholdMyGlory has joined. 20:24:29 * ehird decides to wile away some time by playing Armagetron Advanced really badly 20:30:58 fizzie, did you notice 17 and 0 has a tiny overlap. that's 4 images overlaping that one point 20:34:25 eh, too sleep dep'd to play even acceptably 20:34:54 bloody reaction times 20:36:49 -!- oerjan has joined. 20:38:15 * oerjan thinks ehird has a horribly distorted impression of him 20:38:32 i'd like to clarify that. mainly because i'm in a horrible mood. 20:39:14 while i _do_ on occasion think that the universe is a horrible, disgusting place and that it have been a huge improvement if it didn't exist at all... 20:39:34 ...which is, incidentally, absolutely *not* the sentiment in the ed stories 20:39:57 that does not in any way mean that i like to read fiction (or non-fiction) that _reminds_ me of this. 20:40:11 since, after all, i don't particularly _like_ to be in a horrible mood. 20:40:36 actually in the ed series it's more humility than self-loathing :P 20:40:38 *would have been 20:41:17 also, I like the universe and consider any desires you may ever have for it not to exist to be an abhorrent affront on my rights. 20:41:20 i haven't got to that part yet. just to the first jump to jupiter at the moment... 20:42:12 very well. in my horrible, but slightly less so moods you may do an s/it/i/ in there... 20:42:52 apparently you don't believe that enough to actually act on it. 20:43:21 :p 20:43:31 (1) i'm horribly lazy (2) i don't really believe death is sufficient to escape it 20:43:59 chances of you spontaneously escaping the universe = low 20:44:03 (3) in my more cheerful moods i think my more horrible moods are full of shit 20:44:06 chances of you spontaneously escaping the universe after dying = higher 20:44:15 oerjan: i would tend to agree 20:46:16 yeah but there are ways to view it that could imply suicide actually makes things _worse_. if the mind somehow survives, you no longer have a body to take your mind off your thoughts after all... 20:46:40 I would have guessed your views were closer to transmigration than an afterlife. 20:48:05 those are not necessarily conflicting, it depends on how many options there are to transmigrate to :) 20:51:06 Transmigration is such a nice word to waste on a stupid concept :( 20:51:18 heh 20:51:37 "Some psychic mediums of a variety of religious persuasions (including Hinduism and Wicca) and some Spiritualists believe in transmigration of the soul but hold that reincarnation is an anomaly if it occurs at all." 20:51:49 soupdragon: ok, 20:52:01 that was a moment of synchronicity... with oerjan in the channel, talking about other such bullshit concepts 20:52:04 is that metasynchronicity? 20:52:24 i don't understand what the heck they're talking about... they seem like the same idea to me. 20:52:51 (soupdragon = person who bugs me about reading TMoPI; name of TMoPI's vapourware sequel = The Transmigration of Prime Intellect; we were talking about transmigration) 20:53:13 (this is synchronicity; oerjan believes in synchronicity, we were talking about general-metaphysical-sorta-stuff which synchronicity falls under) 20:53:14 the light pours in on me 20:53:17 how many meta levels is that 20:53:26 meta^2 = meta 20:53:45 eek 20:53:54 soupdragon cannot have read GEB 20:54:02 (even i got to that part) 20:54:02 no I haven't 20:55:07 there's a part where there's a djinn granting wishes. but he doesn't grant meta-wishes 20:55:24 -!- FireFly has quit (Remote closed the connection). 20:55:24 AnMaster: Well, I didn't really have a fixed-degree increment there; I just turned the camera a bit. 20:55:38 G.E.B. is a thoroughly entertaining, mind-expanding book that is wrong about almost everything. 20:55:41 I love it 20:55:46 s/$/./ 20:55:46 -!- FireFly has joined. 20:56:18 so you cannot ask him for more wishes. however there is a meta-djinn which you can, but you cannot ask him for more meta-wishes... 20:56:21 fizzie, ah 20:56:21 iirc 20:56:45 GOD Over Djinn. 20:57:17 ehird aren't you worried about people reading it and not realizing it's nonsense? 20:57:18 fizzie, I'm down at 0.52 avg and 4 max (but that last one is a line) 20:57:25 It's not nonsense. 20:57:29 I just disagree with him. 20:57:45 AnMaster: If you want to compare: http://zem.fi/~fis/cs.jpg -- http://zem.fi/~fis/csv.jpg 20:57:51 He's very intelligent and has a great understanding of many things, I just disagree with his conclusions and speculations. Most of them, anyway. 20:58:38 and then a main character asks the hierarchy of djinns to grant him a wish not in the hierarchy, leading to a paradox 21:01:58 I would have guessed your views were closer to transmigration than an afterlife. <-- actually somewhat, on the grounds that if there were an eternal afterlife i should already be in it, since it is hideously unlikely for me to be in the first 100 years or so of an infinite existence 21:02:21 fizzie, err what is that latter one? 21:02:28 oh day 21:02:51 btw this argument can also be applied to the fermi paradox i think... 21:02:56 fizzie, what is the thing with blue cloth in the middle 21:03:15 The latter was taken during daytime, and it's from that two-minute video clip with the N900. 21:03:21 ah 21:03:31 fizzie, that explains why it is fuzzy to put it mildly 21:03:32 oerjan: if you have no memory, feelings, or anything inherited from the years you do not remember, in what sense can you say they are you? 21:03:51 (resorting to an abstract type "Soul" whose implementation is opaque is verboten) 21:04:04 fizzie, the former one is much better quality. What are the advantages of the video clip variant 21:04:27 It's a video, presumably. 21:04:29 ehird: there are times when i only consider the present moment to be me. those are usually when i'm in a horrible mood. 21:04:35 ehird, well yes... 21:04:46 oerjan: i think what you need to do is get a kitten. 21:04:50 they are warm and fuzzy. 21:04:56 and thinking, "this moment should not exist dammit, no matter how good things get in the future" 21:05:08 i think that would be a disaster, ehird 21:05:23 did someone mention the fermi paradox? 21:05:27 yeah 21:05:36 oerjan: fine a bunny rabbit then, i have two 21:05:44 if you get the right breed they're like kittens without the sociopath 21:06:00 they just sit there, dumbfounded at the universe, cuddlable. 21:06:38 oh wow, we are talking about God over Djinn, over Djinn, over Djinn, over Djinn 21:07:40 mycroftiv: it's an argument i (and probably others) have against the idea that humanity could be the only intelligent species and conquer the universe. because if that were so, it would again be hideously unlikely for us to be _here_, just as civilization is getting up to speed 21:07:49 i'm sure there are counterarguments thouhg 21:07:52 *gh 21:07:53 AnMaster: I'm not sure it has that many advantages; it's perhaps faster to take since you just have to turn recording on, then wave the phone around for a while. 21:08:21 *to be _here_ at this particular moment 21:08:39 AnMaster: The cloth is just a decoration; but the actual thing behind it is a space for book-reading or groupwork or whatever. There's another one too behind the stairs in the middle. 21:08:57 both those examples assume that this moment is somehow a random one from all of time 21:09:11 AnMaster: It would probably also be less horribly blurry if I had that "select sharp frames" tool. 21:09:20 oerjan: there are a ton of statistical arguments for/against anthropic type principles - which one exactly are you referring to? 21:09:34 i know the fermi paradox itself well 21:10:56 AnMaster: Still, the resolution won't get that much better, since video is recorded at 848x480. Still frames get a lot more pixels. 21:11:02 fizzie, ah 21:11:19 fizzie, how do you classify sharpness 21:11:25 I mean, is there any tools at all for it 21:11:42 AnMaster: There are different metrics for it, yes. 21:11:45 mycroftiv: this argument i reinvented myself, i've read some things on wikipedia later but i don't recall what it's officially called 21:12:24 See for example "Measure of image sharpness using eigenvalues", Information Sciences: an International Journal, Volume 177, Issue 12 (June 2007). 21:12:38 oerjan: cool, i know there are quite a few sharp statistical arguments with various implications, can you spell it out explicitly? i didnt quite track your single sentence statement above 21:13:33 it sounds like you are basing it on the well-known principle that it is, almost by definition, more likely that we are observing a statistically 'average' outcome than an unusual one ? 21:13:44 yeah i guess 21:14:13 I think enfuse also has some sharpness measures when it decides how to blend the images -- after all, one of the intended use cases for enfuse is to automatically blend a focus stack -- but I'm not sure you can use that for comparing the sharpness of non-aligned images. 21:14:49 one counterargument which i may have read is of course that any observer will be inclined to consider their own time special somehow 21:15:53 oerjan: still trying to understand the claim - could it be summarized as "it is likely there are numerous intelligent species in roughly parallel circumstances as humans, due to the observational data collected by humans being presumably a typical data point" ? 21:15:56 turning the antropic principle against the same argument, i guess 21:16:19 I wish I had read this whole discussion 21:16:26 soupdragon: me too! 21:16:27 fizzie, oh yes good point about enfuse 21:16:38 mycroftiv: yeah that sounds about right 21:17:00 oerjan: i think this analytical split is hugely important and not settled at all - between the 'copernican' and 'anthropic' interpretations of how we need to contextualize our particular observational status 21:17:41 the copernican principle that 'we are not the center of the universe' vs the anthropic principle that 'we cant assume we are statistically typical, because if we were not atypical (life) we would not be able to make observations in the first place' 21:19:04 mhm 21:19:44 for isntance there are a lot of very scary statistical arguments indicating that civilization is probably 'almost over' in terms of the span of years it occupies 21:20:05 yeah i've seen some of those 21:20:17 under the theory that we as individuals are probably about in the middle of the overall number of humans to live, and based on population, there will be a lot fewer years in the future because of much higher population 21:20:37 in other words, if there are 10 billion people "behind you" in history, and 10 billiion people "ahead of you" in history, that means history only lasts another century or so 21:22:06 similar arguments can be made about the likely lifespan of the earth's biosphere relative to the life of the solar system, but those are bit more involved - barrow & tipler have the best material on this still, so far as i know, even though their book is kinda controversial 21:22:07 fizzie, you could in theory align all those frames before 21:22:19 then use enfuse for sharpness merging? 21:23:27 Yes, in theory. I could do that just by selecting "aligned images" instead of "blended panorama" and then manually running enfuse on it. 21:24:02 mycroftiv: i also think this can tie into the simulation argument somehow, if we are a simulation of the kind of simulation that it is popular to simulate... 21:24:24 s/simulation/civilization/, second to last 21:24:35 Not sure how well enfuse performs when given more than 340 images. 21:24:58 then we _would_ be typical 21:25:04 oerjan: yes, these kinds of statistical arguments can lead to very weird places very fast, im not sure anyone takes them incredibly seriously 21:25:16 omega point is bullshit isn't it? 21:25:23 and we are living in interesting times 21:25:25 ehird: you mean teihlard de chardin? 21:25:26 omega point?? 21:25:32 mycroftiv: tipler's omega point 21:25:33 teilhard that is 21:25:34 you said tipler 21:25:48 oh, the Final Anthropic Principle? yeah that is almost certainly nonsense, but its very cool nonsense 21:25:49 soupdragon: i couldn't even tell you, it's vague as fuck 21:25:53 mycroftiv: no 21:25:54 omega point 21:25:55 google it 21:26:08 my god I haev no idea what anyone is talking about 21:26:13 what subject is this 21:26:14 ? 21:26:16 ffffffff 21:26:18 someone said tipler 21:26:18 ehird: that *IS* the Final Anthropic Principle 21:26:20 tipler did omega point 21:26:23 i criticise omega point 21:26:24 fin 21:26:29 mycroftiv: I NEVER MENTIONED THE FINAL ANTHROPIC PRINCIPLE 21:26:36 ehird: but thats what tipler's omega point IS! 21:26:46 argh fine 21:26:47 your mom 21:26:48 final anthropic principle == tipler omega point 21:27:08 i'm too tired to understand existence, you should satiate yourself with my pseudo-quantum thought process bullshit from before 21:27:18 i'll even compile it into a paste 21:27:44 wtf 21:27:46 soupdragon: topic of oerjan and my and ehird's semi-recent comments is the Anthropic principle and statistical arguments about life in the universe connected/contrasted 21:27:55 soupdragon: i was sleep-deprived and talking about ridiculous things on purpose 21:29:57 mycroftiv: http://pastie.org/781173.txt?key=ffbkhcwqrjsvw6b531kka 21:29:58 absorb the nonsense 21:30:24 ehird what the fuck are you smoking quarks 21:30:32 *absolutely* 21:30:35 I was just sleep deprived dude 21:30:37 wow, and I thought some of *my* speculations were a bit on the metaphorical side sometimes 21:30:42 in that space of time just after an all nighter 21:30:42 did you study quantum physics 21:30:45 when you become totally delusional 21:30:46 and crazy 21:30:47 or did just read penrose... 21:30:48 and are aware of it 21:30:53 before you become semi-coherent 21:30:58 Not sure how well enfuse performs when given more than 340 images. <-- no idea either. But 40 or so made my laptop with 2 GB ram swap trash a bit 21:31:02 err 4 GB 21:31:03 soupdragon: as i said, i was aware of my delusionalness, and merely entertaining them 21:31:06 on the other hand 21:31:09 they were much higher res 21:31:11 it's like a joke, except there's no ha-ha, just crazy 21:31:16 this is disgusting 21:31:27 haha i offended soupdragon by being silly 21:31:28 fizzie, as in, 16 bit per channel tiffs from *.mrw 21:31:29 today is an interesting day 21:31:35 (which is the raw format of my camera) 21:31:50 actually you offended me by saying I was the sort of person who thinks this stuff is real 21:31:56 soupdragon: I did not 21:31:58 AnMaster: Yes, well, the remapped images are all 1950x1079-sized; of course they're mostly black, but I'm not sure that helps. In the name of science I'll try it, anyway. 21:31:59 you did 21:32:01 please quote where I said that 21:32:03 thx 21:32:05 no 21:32:08 it's when I used quantumEd 21:32:15 oh, that. 21:32:17 you thould I was some kind of pseudoscience idiot 21:32:27 and I never had once even talked about quantum physics 21:32:29 that's only because you were saying things that implied you were 21:32:44 no you just decided to make fun of my nick 21:33:05 I was just making an inference from both the ridiculousness of what you were saying, and the common occurrence of raping-quantum-physics by quacks 21:33:37 be offended if you want, your call 21:33:55 fizzie, they aren't mostly black, they are mostly transparent 21:34:13 fizzie, if they are output as tiff then yes 21:34:44 AnMaster: That's about the same thing; it still needs some cleverness to work well. I didn't toggle on the "output cropped images" flag for Nona, just in case it'd cause problems. 21:34:47 fizzie, but enfuse and enblend treat transparency specially, which is why you should use tiff there. probably deflate 21:34:47 as a meta comment on this conversation, I think its wonderful that within the cultural community of this irc channel, "being stereotyped as the kind of person who believes pseudoscientific gibberish phrased with QM terminology" is the kind of thing that actually happens 21:35:32 "Nigger." "Faggot." "Jew." "Quantum mysticist." "Too far, man." 21:35:48 ^ 21:35:50 Hrm, that was interesting: "enblend: No space left on device - enfuse: an exception occured - enblend: error writing to image swap file." 21:35:57 mycroftiv: v 21:36:05 * soupdragon < 21:36:10 > 21:36:15 I was wondering why the process memory size stopped increasing after a hundred images or so. 21:36:33 -m megabytes Use this much memory before going to disk (default=1GiB) 21:36:35 Funny flag. 21:36:39 maybe it grabs a big buffer and then manages its own memory? 21:37:12 There also does not seem to be any option to specify what disk it uses; I guess it uses the five-gigabyte /tmp. 21:39:07 ehird: in re your journey to the dark side of quantum mysticism - perhaps if you try to reformulate all that in terms of actual information processing on different many-worlds branches, you might get somewhere? id throw out any use of mind-related terminology and look at the entropy of information processing 21:39:23 mycroftiv: i'd rather not 21:39:29 for one, it violates causality entirely 21:39:51 as it involves not only communication between many-worlds branches, but such future communications affecting the present 21:40:03 both of which are incredibly unlikely. 21:40:19 well, causality i dont care about - but if it violates thermodynamics, as Eddington said, (paraphrased) you're doomed 21:40:29 Meh; with some sort of modern 12-gigabytes-of-RAM machine this would all fit in it. 21:41:18 it worries me that my long-term survival plan culminates in a battle with entropy 21:41:38 fizzie, btw for that pano of yours I was working on, you do have some parallax in the trees. Apart from that almost none that is noticeable. And those trees. Hard to actually see it between all the twigs going everywhere. But since you don't use enfuse for it (rather you use enblend) I believe you won't get noise reduction from overlaps. I wonder if you can use enfuse for it. 21:43:42 -m megabytes Use this much memory before going to disk (default=1GiB) <-- swapping, but not OS 21:43:48 also how much space did it use 21:43:51 and on what device 21:43:58 (as in, how much space was there to use on it) 21:44:14 AnMaster: There also does not seem to be any option to specify what disk it uses; I guess it uses the five-gigabyte /tmp. 21:44:21 fizzie, ah noticed that just now 21:44:58 fizzie, well you could use a chroot with everything except tmp just bind mounted into it. and tmp pointing to somewhere much larger. 21:46:44 Or namespaces... 21:46:56 Ilari: Plan 9 namespaces, you mean? 21:46:57 If so, <3 21:47:38 Dunno... But each namespace has its own set of mounts. 21:48:26 ehird: I just realized something... any sufficiently advanced simulation argument is indistinguishible from spirituality ;D 21:48:36 Sounds like Plan 9 namespaces to me; ask mycroftiv. 21:48:47 oerjan: yes, the simulation hypothesis is unfalsifiable and unscientific 21:48:55 um no 21:49:00 um yes. 21:49:16 a simulation is indistinguishable from a regular universe (intervention is just exceptions to the laws of physics) 21:49:16 oh wait 21:49:25 since it is indistinguishable, "we are living in a simulation" is unfalsifiable 21:49:33 therefore, the simulation hypothesis is unscientific 21:49:52 with a little bit of work, you can actually do per process namespaces in linux, not just plan 9 - but you have to use/be root, and you have to make your own tool to start a new namespace 21:50:05 ehird: and yet if there was a way to travel between simulations, it would be idiotic do doubt it 21:50:09 *to 21:50:23 oerjan: yes, that would be a worrying failure of rationality 21:50:25 the linux kernel has had per process namespaces since 2.4.19 but sadly absolutely nobody has even noticed, much less built anything to make use of the capacity. sad. 21:50:27 however, i find it rather unlikely 21:50:30 per occam's razor 21:50:35 so i don't worry about it too much 21:50:46 well with the current public evidence, sure 21:51:10 and the universe could have been created 2 seconds ago with the current public evidencce 21:51:12 occam's razor says no 21:51:28 AnMaster: Heh, 125M was left free on /tmp after I told enfuse to use 2.5G of RAM. (And still it swaps, bleh.) 21:51:46 The reason why one has to be root is that it wouldn't make much sense otherwise as mounting is priviledged and that being able to replace stuff in /etc is dangerous. 21:51:59 Ilari: plan 9 does it for every single process safely. 21:52:02 anyway my point was more to the idea that a universe with most of the trappings of a spiritual worldview would not necessarily be unscientific, and could be technologically produced 21:52:47 that is true. but most spiritualists would be deeply upset by that 21:53:01 to them it isn't proper spiritualism if it isn't truly unexplainable 21:53:06 *by that 21:53:06 heh 21:53:19 which is an incredibly worrying form of anti-intellectualism 21:54:22 fizzie, why was pitch for image 4 unchecked? 21:54:43 fizzie, also it didn't use those 125 MB RAM? 21:54:45 err 21:54:47 disk 21:55:06 well as long as it didn't actually use it all and succeeded it is all good isn't it? 21:55:48 fizzie, anyway you do know you need special parameters for contrast stacks right? some hardmask thing + turning off defaults weightings and turning on another one 21:56:14 forgot details, see panotools wiki, page is called (iirc, and not sure about caps) "enfuse reference manual" 21:56:50 Yes, well, I sort of deduced something sensible-looking from the enfuse manpage already. 21:57:05 It ran out of disk space during the middle, though; but at least there was enough space to load all images. "Yay." 21:57:28 fizzie, XD 21:58:25 fizzie, I believe it may space usage need may grow exponentially or something for this, it wouldn't surprise me as contrast stack merging was very very much slower than normal enfuse usage. 21:58:36 fizzie, also it was very noise sensitive 21:58:46 poop 21:58:50 the best word. 21:58:55 a placeholder for any occasion 21:58:57 and some unoccasions. 21:59:25 fizzie, so it was best to first merge several photos to reduce noise, then for each of those produced use that for the contrast merging 21:59:38 AnMaster: Well, it uses TMPDIR env-variable to select the place, so at least I can point it at some other disk easily enough. 22:00:14 fizzie, ah 22:00:52 fizzie, just never ever let it swap trash on a single core system, for some reason dual core systems are much more responsive even when swap trashing in my experience 22:01:44 the disk in the single core system was rated for higher RPM too. 22:06:11 enfuse's "sharpness" seems -- as far as I can tell, anyway -- to be mostly based on local contrast measures, which isn't anything too fancy. Well, we'll see. This time I put in "-v" too to make it a bit more noisy. 22:06:34 fizzie, strange thing: same *.pto file loaded in hugin on desktop and laptop. Laptop has a slightly newer version of hugin/enfuse+enblend/panotools. Clicking stitch on desktop made use of enfuse. Not so on laptop 22:08:07 * oerjan wonders why the heck his wrist watch has the date set to 22nd... 22:09:16 I'm not so sure these video images can be made to align well enough that enfuse's contrast-based blending would make sense. Though at this point I'd be happy just to get an output file. 22:09:17 oerjan, didn't it sync properly? 22:09:21 check the ntp settings on it 22:09:22 :D 22:10:22 fizzie, how much disk space is it using? 22:10:36 oerjan: i'm not sure AnMaster was joking 22:10:40 fizzie, also it could be worth trying it on a small section. Say 20 images around the middle 22:10:43 ehird, -_- 22:10:49 ehird, of course I were 22:10:53 *was 22:10:57 though 22:11:07 it would be *awesome* to ssh to your clock to check it's ntp settings 22:11:09 AnMaster: Something like 6 gigabytes so far. 22:11:09 just awesome 22:11:10 ehird: one can never be sure 22:11:20 actually it's been doing strange things before, my rational guess is that the adjustment knob is sometimes coming loose 22:11:21 fizzie, not more? 22:11:54 AnMaster: Well, I had to restart it to twiddle some parameters, so it hasn't really run for very long now. 22:11:57 (the irrational ones involve synchronicity and spooky signs, of course) 22:12:12 oerjan, oh yeah you said it was historical just a few days ago. Forgot that. Also, does it know about leapyears? 22:12:24 or for that matter, that some month have only 30 days? 22:12:25 it doesn't know about _months_ :D 22:12:35 nope 22:12:58 it does know about weekdays though, which is an improvement over my previous watches 22:13:03 oerjan, then it is easy, you forgot to reset it for months that have only 30 days. It must been quite some time ago you looked at the day for that to have happened 22:13:14 fizzie, ah 22:13:19 * oerjan swats AnMaster -----### 22:13:25 * Sgeo wishes the Chrome WOT extensions actually blocked problematic sites from loading 22:13:32 I have a 31-day-assuming clock too. Fortunately half-out-pulling the adjustment know makes it adjust the day but not the time. 22:13:37 i am in fact quite sure that i corrected it after new year 22:13:46 mind you, it may have been on the 2nd 22:13:59 i'd totally make an ntp clock 22:14:06 i bet none of the computo-clocks use ntp :| 22:14:23 the cool thing would be that it would be one big ring, and the display would be transparent 22:14:39 so the time would actually be overlaid seamlessly onto what looks like plain glass! 22:14:49 dunno where the mechanics would go, but :P 22:14:56 Engadget Mobile has blogged about a couple of watch-phones lately; and phones in general are going smart. It's only a matter of TIME (eh, eh?) before clocks do NTP too. 22:15:18 My watch gets its time from the network. 22:15:24 Gregor: yes but it sucks 22:15:25 I've got a q 22:15:29 Gregor: no 3g internet for doing it 22:15:33 Aren't there "radio controlled" clocks? 22:15:37 Wasn't there some sort of implant clock with a LED-based display pretty close to the skin, so that you just have glowing numbers in your wrist? Or was this in fiction? 22:15:38 Ilari: UNACCEPTABLE 22:15:43 omg 22:15:47 you could have an eternal september clock 22:15:50 in all the alien based sci-fi I saw.. the 'aliens' are pretty much just people but with blue skin 22:15:52 <3 22:16:05 so are there any good ones which are more uh.. realistic? 22:16:12 soupdragon: does the name start with an a and end with a vatar 22:16:29 Well, if they don't have blue skin, they have pointy ears. 22:16:36 Or they're just humans that are mysteriously from a distant galaxy. 22:16:41 There's one person who always rates sites good because "Alexa said "Most visited website"" 22:16:43 AnMaster: Bleh; it crashed with "enfuse: an exception occured - enblend: unable to create image swap file."; this time there was no mention of a full disk, though. 22:16:58 in ringworld, the pearsons puppeteers are kinda alient 22:17:14 i think heinlein did some kind of alien shindig that was turned into a movie, maybe 22:17:26 oh it doesn't have to be a film 22:17:27 dunno man. dunno. 22:17:40 soupdragon: well then heinlein definitely did some things with aliens in them :P 22:18:33 fizzie, where do you want me to upload the pano. Since it is your source data. 22:18:57 fizzie, the tiff is a bit large so doing a jpg at high quality. Exported jpg from the tiff using gimp 22:19:19 6,3Malvarhc_3.jpg 22:19:26 fizzie, I don't have any own site atm. 22:19:29 soupdragon: http://tvtropes.org/pmwiki/pmwiki.php/Main/StarfishAliens 22:19:44 fizzie, thus it must be some filebin or imagebin 22:19:55 Nonhuman psychology!! this 22:19:58 Er, well, you can do pretty much whatever you want with it. I could take a .jpg export and the corresponding .pto file for my own disk, though; you probably know more about file-sharing sites than I do. 22:20:05 (MWAHAHA) 22:20:09 (Since I don't know anything about them.) 22:20:48 wow this tvtropes site is good 22:20:54 soupdragon: see you in 2 hours 22:21:06 you may want to physically destroy your mouse to shorten this timespan 22:21:07 oh no 22:21:13 I don't want to get into Hard Sci-Fi 22:21:14 and also disable any keyboard shortcuts that could lead to links opening 22:21:19 I just know that would be the beginning of the end 22:21:30 tv tropes is about everything, not just scifi 22:21:32 and you are stuck there now 22:21:33 sorry. 22:21:36 dammit i clicked on a link myself 22:21:37 i hope you didn't have plans 22:21:38 fizzie, XD. Well I would use ompload. since I have a command line tool for it 22:21:50 Dec 18 23:31:27 I'd like to see a sci-fi about us failing to find even the remotest similarity to some clearly-intelligent alien race, and ultimately failing to communicate in any useful way. 22:22:01 Dec 18 23:33:11 It should be about how we're so wildly dissimilar, that even thinking about communication is almost meaningless. 22:22:25 Cells? Bah! Cells are primitive earth technology. 22:22:32 And why would you separate your... "bodies", you call them, like that? 22:22:36 cells are wonderful 22:22:41 fizzie, as for the pto I can send it over too. Still I aim to find a way to use enfuse for it properly, it seems while enfuse was used on desktop, it was used once per image. So enfuse was a identify transformation. It even printed warnings about this. 22:22:46 And what's the usefulness of rationality if you have a trillion "gut feelings" to go on? 22:22:50 we're fractal with cells 22:22:54 Says the planet of the blobs. 22:23:03 cells ==> organs ==> people 22:23:05 Or, would say, if it could say. 22:23:07 self similarity 22:23:09 fizzie, for the image: http://omploader.org/vMzlzdA 22:23:10 Gregor: i haven't read/seen it myself, but isn't that part of the point of Solaris? 22:23:35 Annoying; enfuse's documentation says -f could be used to manually select the output size, but it doesn't seem to do anything. (Or at least the specs reported by -v list the "full" size anyway; it might crop the final output, which is pretty useless.) 22:23:38 Solaris (1961), by Stanisław Lem, is a science fiction novel about the ultimate inadequacy of communication between human and non-human species. 22:23:40 APPARENTLY 22:23:40 oerjan: Haven't read/seen/heard of it, unless you're referring to the operating system. 22:23:48 lawl 22:23:53 Gregor I want to see that too 22:24:27 "is covered with an ocean that studies indicate actually is a single, planet-sized organism, occupying the surface as an ocean." 22:24:32 Fucking thing stealin' mah idae 22:24:35 *idea 22:24:44 Fuck you Stanisław Lem and your retrostealing 22:24:45 fizzie, and a diff for it: http://sprunge.us/DLJC (the pto) 22:24:51 Good thing you're fucking DEAD now. 22:25:13 hey guys what if the internet is consciouss?? 22:25:23 woah 22:25:29 the internet is intelligent in some sort of sense, but it's very retarded 22:25:43 because the components are malignant; disagreeing, not communicating in the same way, etc. 22:25:48 fizzie, enfuse docs you mentioned, hm what? 22:25:53 fizzie, did you have issues with it still 22:26:33 Well, no issues in the sense that I cropped the aligned source images in Hugin instead. 22:27:00 Gregor: i also read on wikipedia about his novel Fiasco, while they do manage a _little_ communication it does end in disaster because of misunderstandings iirc 22:27:12 i think Lem may have been big on the subject 22:27:31 But "enfuse -h" says "-f WIDTHxHEIGHT[+xXOFFSET+yYOFFSET: Manually set the size and position of the output"; yet (according to -v) it uses the bounding box deduced from the coordinates in the files. 22:27:33 fizzie, ah so you are just testing on a small part now? 22:27:49 Sŧanɨsław Łem 22:27:58 fizzie, also did it work very well? 22:28:21 It is not ready yet, so can't say. 22:28:27 what do you think about Sapir-Whorf? 22:28:50 I heard some people saying it's just nonsense but I tohught it was true 22:28:53 augur: please maim soupdragon for us 22:28:54 soupdragon: widely decredited 22:29:03 soupdragon: it is the sort of thing that sounds like it should be true 22:29:05 so you think it's just rubbish? 22:29:09 and so the meme propagates that it is 22:29:14 soupdragon: it has been shown to be basically entirely false. 22:29:26 see wikipedia for more info iirc it had a lot of links 22:29:29 -!- bsmntbombdood_ has changed nick to bsmntbombdood. 22:30:01 solaris was fun 22:30:04 did you read the story about the Piraha ? 22:30:19 they don't have words for numbers so they did bad in the counting test 22:30:26 * ehird yawn 22:30:29 isn't that evidence of Sapir-Whorf 22:30:35 AnMaster: At least Hugin's "output remapped images" thing was clever enough to skip completely transparent images; now I have "only" 293 images of 526x383 pixels. 22:30:38 not really 22:30:45 or maybe they just didn't sit counting coins for 7 years of their life 22:30:46 it is a single data point of evidence for one instance of sapir-whorf 22:30:55 and even then tenuous 22:31:07 soupdragon: i vaguely recall the piraha story isn't exactly watertight either 22:31:10 soupdragon: you'd better stop talking about sapir-whorf before augur brutally murders you btw :P 22:31:23 well I better read up on this a lot because I thought for some reason sapir-whorf was pretty much a fact 22:31:25 -!- Slereah_ has quit (Read error: 60 (Operation timed out)). 22:31:36 ehird: well, he hasn't responded to my request to do so yet... 22:31:43 hey I just ask because I want to learn, I am malleable 22:31:45 he lies in the shadows 22:31:45 You seem to be assuming that the reason the Piraha did badly on the counting test was that they had no words for numbers. 22:31:46 waiting 22:31:47 WAITING 22:31:47 it's evidence that if you don't know a way to count stuff, you won't be able to, i'm not sure that's what sapir-whorf is about 22:31:51 ... 22:31:52 WAITING 22:32:00 ... 22:32:02 uorygl, sort of, but I pointed out it might be because of another reason 22:32:08 BANG 22:32:11 You are dead. 22:32:13 -!- Slereah has joined. 22:32:20 fizzie, how would you get completely transparent images? 22:32:41 AnMaster: The ones that are completely outside the cropping region I selected in Hugin. 22:32:43 soupdragon: might be, sure. So I guess you've found some evidence for it. 22:32:51 AnMaster: vacuum 22:32:57 fizzie, ah. So you aren't testing on the full thing then any longer? 22:33:02 oerjan, -_- 22:33:14 Well, I'll try the full thing if the small thing yields any sensible results. 22:33:32 soupdragon: sapir-whorf is pretty much anti-fact 22:33:40 really how come? 22:34:02 AnMaster: And graah. Even though it says 'Input image "small0337.tif" RGB UINT8 position=729x697 size=526x383' for all images, then it goes "Output image size: [(0, 0) to (1255, 1080) = (1255x1080)]" even if I try to use "-f 526x383". 22:34:02 except cognitive linguists like to say its fact because they have this real lack of braincells 22:34:04 what do you mean how come 22:34:12 oh snap the augur arrives 22:34:13 how can you disprove it 22:34:16 * ehird popcorn 22:34:19 fizzie, does that matter? 22:34:27 soupdragon: is your argument "it's not disprovable"? 22:34:31 if it is, then that's self-defeating 22:34:37 unfalsifiable statements are unscientific rubbish to be ignored 22:34:43 fizzie, I mean, you could manually crop it later? 22:34:43 see, e.g. god. 22:34:49 soupdragon: a better question is what evidence is there in favor of it at all 22:34:53 AnMaster: It takes long and uses a lot of space even at the 1255x1080 size. But curiously without a "-f" option it uses the small size, heh-heh. 22:34:55 and the answer is there is none 22:34:55 So history is to be ignored? 22:34:55 ehird no I am not even arguing either side 22:35:09 soupdragon: posing an argument for side x != being on side x 22:35:12 you have certainly done te former. 22:35:34 fizzie, So I got remapped images and enfused them. Made my laptop swap trash -_- 22:35:36 but it worked 22:35:36 quiet ehird, adults are talking 22:35:44 *the 22:35:48 You can't perform an experiment demonstrating that George Washington wasn't female. 22:35:50 soupdragon: yawn. 22:35:59 fizzie, looks like slightly less noise in the overlaps 22:36:00 "i haven't heard that one before" 22:36:07 how can you not understand this 22:36:07 AnMaster: Ahem, well: http://zem.fi/~fis/fused.jpg 22:36:18 fizzie, wow :D 22:36:21 ehird, look at that 22:36:23 I don't have any kind of argument for either side because I'm a beginner and I just want to learn about this 22:36:39 AnMaster: trippy 22:36:40 you make guesses and observations and try and get a hold on something when you learn about it 22:36:50 AnMaster: can i have accompanying drugs? 22:36:50 this is like, the most basic thing ever 22:36:53 soupdragon: anyway, theres no evidence for it. its just conjecture on the part of some whacky linguists 22:36:55 soupdragon: listen 22:36:57 fizzie, not very well aligned were they? as in less than 0.2 pixels max? 22:36:59 augur, okay 22:37:01 i'm not accusing you of taken sides 22:37:02 but listen 22:37:19 I guess I should figure out what the Sapir-Whorf hypothesis actually is before saying much about it. 22:37:20 14:30:04 did you read the story about the Piraha ? 22:37:21 14:30:19 they don't have words for numbers so they did bad in the counting test 22:37:21 14:30:29 isn't that evidence of Sapir-Whorf 22:37:30 that *is* an argument for sapir-whorf, even if you do not personally take it as fact 22:37:34 and even if it is read as a conditioinal 22:37:38 that is not a statement about you 22:37:38 or maybe they just didn't sit counting coins for 7 years of their life 22:37:40 fizzie, I believe using enfuse made that vertical further away part of the triangular wall look antialiased XD 22:37:46 soupdragon: yes, and that is a separate, opposing argument 22:37:48 it is a description of the nature of the object 22:37:50 okay 22:37:50 not a description of you 22:37:58 so stop taking it as a declaration of your personal beliefs 22:38:08 i'm just saying that you clearly are posing arguments, on both sides 22:38:12 ohhh I see 22:38:13 okay sorry 22:38:18 soupdragon: regarding the piraha, the question is not whether or not they have numbers, ok 22:38:18 all i was doing is discounting one, thereby helping you learn 22:38:18 AnMaster: I don't think they're alignable well with just pitch/yaw/roll and global view/barrel parameters, and even optimizing that took a long long time. The image also sort-of makes sense if you think how it's made: each image pixel comes for the highest-contrast source image, so the one that has most detailed structure in it. 22:38:21 no probs 22:38:44 no, they have no number words, and no, they dont do good at numerical tasks, right 22:38:49 fizzie, yeah 22:38:51 but they also dont have a NEED for numerical tasks 22:39:02 so is it that their language has no numbers, therefore they suck at numerical tasks 22:39:10 Huh. The Sapir-Whorf hypothesis as given by Wikipedia seems obviously true. 22:39:10 fizzie, you need very very well aligned for that feature to work. Steady tripod recommended and such 22:39:13 yes I see what you mean 22:39:15 or that their environment is such that they have no need for numbers, and therefore dont have them? 22:39:29 uorygl: there are a variety of versions of the S-W hypothesis 22:39:33 fizzie, the trees look rather nice though 22:39:42 Which, essentially, is "People's vocabularies affect their thinking." 22:39:50 fizzie, what was the url of the original? 22:39:54 AnMaster: It might be better just to look at global full-frame sharpness and use that to select a reasonable set of overlapping images; unfortunately I don't think I know of a ready-made tool for *that*. (After all, the amount of motion-blur in a single image is pretty much the same for all pixels of it.) 22:39:57 all of the versions that are even remotely true are trivial and not related to language in any interesting way 22:40:06 AnMaster: http://zem.fi/~fis/csv.jpg 22:40:10 * uorygl nods. 22:40:15 for instance, the one you just cite, uorygl, is a pointlessly uninteresting version 22:40:27 fizzie: damn i so fucking wish your building really had all these curves 22:40:29 "cs" as in "Computer Science building", and "v" as in "from video". 22:40:29 would be just so beautiful 22:40:36 i don't believe my vocabulary affects my thinking 22:40:38 because it essentially says nothing more than "stuff people have to pay attention to on a regular basis becomes more salient to them as a result" 22:40:53 well big deal, right? 22:40:58 thats just what we expect from brains 22:41:03 not a fucking revolutionary insight 22:41:19 ehird: Yes, and the curves should also change depending on what direction you are looking at them from. 22:41:22 but I was thinking I should learn another language so that I could be better at thinking 22:41:31 and even worse, uorygl, is that thats not the whole of it 22:41:48 oklopol: think about balkanization. 22:41:54 the RESEARCH suggests that peoples vocabularies _only affect their thinking when they're thinking for language_ 22:41:57 fizzie: well no i wouldn't require that; but you could have that curvy-cs-metal-stop-you-falling-thing shape and also the outer curvy-on-a-slant-plus-the-ampitheater-curves-around-it-the-other-way thing 22:42:06 (the slope thing could just be actual building underground) 22:42:13 (rather than a very bad foundation for a building) 22:42:14 >.> 22:42:15 anyway if you did that 22:42:15 that is, if they have to express something in a linguistic mode, then the words they have available to them affects how they think about the problem 22:42:17 so fucking sweet 22:42:22 55 architecture prizes and a duck 22:42:35 fizzie, yes agreed about full frame 22:42:36 uorygl: i don't exactly believe two groups bigger than 10 people can actually have anything against each other 22:42:40 but in a NON-linguistic mode (lets say, a situation where they have to point to something) vocabulary size has no effect 22:42:42 unless they are retards 22:42:56 you know way back when people did mathematics using words 22:43:01 oklopol: apart from general position statements, you mean? 22:43:07 instead of x^2 and all that 22:43:08 fizzie, on the other hand you can see how people moved in that "trippy" one 22:43:10 like "people who are anti-skub" vs "people who are pro-skub" 22:43:17 well right 22:43:17 soupdragon: yes it sucked 22:43:21 fizzie, it is rather interesting 22:43:57 Yes. I'd like to compute the full-size image for that, but it's so memory-intensive. 22:44:02 since the notation got better it was easier to do this stuff, like it make things clear and explicated all the important things 22:44:17 obviously if they have actual personal differences, i just don't believe groups over 10 people can have any sort of opinions as a group, unless the group was formed from people with those beliefs. 22:44:24 e.g. associativity is visible in 1 + 3 + 4 where as, it's not in (+ 1 (+ 3 4)) 22:44:27 obviously this is not true, but i don't care. 22:44:57 and you think that the human language is not like that? like say you had some rubbish language where everything was really difficult to phrase 22:45:04 AnMaster: I should've gone to the "local image descriptors" (think the SIFT keypoints used in autopano-SIFT-C, except new research from 2007-2009) seminar course they have in this period; then I could run all these panorama things on our cluster computers, since they'd be related to studies. 22:45:18 Neat, Moore's paradox. 22:45:21 couldn't there be some much better one that you can really think in, and it would help you make arguments 22:46:15 soupdragon: what are you talking about? 22:46:21 Less Wrong, a rationalistic community, has developed a sort of rationality jargon. 22:46:23 people dont think in language 22:46:24 :| 22:46:41 uorygl: There is not that much Less Wrong jargon. 22:46:44 Akrasia; that's about it. 22:46:55 soupdragon: mathematical notation doesn't really make anything except simple algebraic manipulation easier, if you're solving an interesting problem, notation is mostly just for communication, and is not how you actually solve the problem. 22:46:56 augur, I do! (sometimes) 22:46:57 uorygl: Also, be careful. Less Wrong is a community of people who identify as rationalists, not a rationalistic community. 22:46:59 at least for me 22:47:04 soupdragon: no, you dont. 22:47:12 Signaling, Pascal's mugging, one-boxing... 22:47:12 Putting unwarranted faith in their rationalism is not a good idea. 22:47:26 Signaling is Robin Hanson's, i.e. Overcoming Bias. 22:47:28 fizzie, indeed. btw about enfuse for outdoors pic, will upload in a sec. Just comparing them. Here is a teaser (before/after): http://omploader.org/vMzl0MQ 22:47:29 One-boxing, granted. 22:47:53 soupdragon: you should read pinker, he has some very good arguments why the SWH is in general worthless 22:48:08 Crisis of faith, tabooing, map, territory... 22:48:23 augur, any particular ones to look for ? http://pinker.wjh.harvard.edu/books/index.html 22:48:38 fizzie, there is of course more noise in areas with no or less overlap 22:48:45 all of them are good, but language instinct and stuff of thought are probably better for this issue 22:48:54 stuff of thought has a whole chapter deconstructing the issue 22:49:04 fizzie, and some stuff looks anti-aliased in a rather suspect way. 22:49:15 i have the book if you want a copy 22:50:20 ehird, do you have much to say about the Less Wrong crowd? 22:50:33 uorygl: Much to say in what sense? And why? 22:51:07 fizzie, opinion? 22:52:15 I'm curious about your opinions of them. 22:52:24 fizzie, oh and where was the night time one? 22:52:43 Of the CS building? cs.jpg is that one. 22:52:55 I'm not sure I have more of an opinion there than to agree that it's less noisy when enfused. 22:53:03 fizzie: well no i wouldn't require that; but you could have that curvy-cs-metal-stop-you-falling-thing shape and also the outer curvy-on-a-slant-plus-the-ampitheater-curves-around-it-the-other-way thing <-- the first thing, do you mean the banister (iirc?) 22:53:07 uorygl: I guess I have a bit to say, but I'd probably want to do it in /msg to avoid multithreading this place even more. 22:53:11 AnMaster: yeah 22:53:14 curvy metal 22:53:16 fizzie, http://omploader.org/vMzl0NA 22:53:36 ehird, with those sudden jumps in it due to parallax? 22:53:40 :( 22:53:43 Anshaddap :P 22:53:46 I don't want to miss out on the less wrong talk 22:53:54 fine then 22:54:00 ehird, that would be cool though :) 22:54:02 -!- MigoMipo has quit. 22:54:09 #inwhichehirddivulgeshisfewopinionsonlesswronginahideouslyverboselynamedchannel 22:54:19 darn, too long 22:54:26 ehird, yeah I was about to mention that 22:54:28 Misread ampitheater as "armpit heater". (The line broke at the middle t there.) 22:54:34 fizzie, :D 22:54:39 #iwedhfoolwiahvnc 22:54:58 ehird, also the armpit theatre *is* curved 22:55:03 not the same way 22:55:05 but it still is 22:55:20 fizzie, that is now it's official name 22:55:44 ehird, #iwedhfoolwiahvnc <-- did you notice that "fool" in there ;P 22:55:59 s/;/:/ 22:56:25 fizzie, in the night time one, that person there does have a corona if you see what I mean 22:57:00 I wed H. Fool W.; I... ah, VNC. 22:57:18 ehird, heh 22:57:56 AnMaster: That one is made from enblending 30 source images, each source image being generated from three exposures with align_image_stack + enfuse with default options. 22:58:08 ah 22:58:10 that explains it 22:58:29 fizzie, also do you see those antialiased walls in http://omploader.org/vMzl0NA 22:58:45 0.25s, 0.5s and 1s shutter times, it seems. 22:58:50 since it is progressive it may take a white to see it. also you need to zoom past 200 percent 23:01:05 fizzie, anyway over all I think it is way better than the enblended one due to less noise. Also it seems to have been corrected for vignetting already somehow. Not sure where and when 23:02:08 Actually, people who code in java think like assholes, and people who code in everything else don't. There, I just proved Sapir-Whorf 23:02:17 (he was joking) 23:02:38 it is however true, happenstantially. 23:04:18 AnMaster: If you look closely at cs.jpg, you can see a ghost, also. (It's there on the third -- uppermost -- floor, just coming out of the last mostly-visible door on the long corridor/balcony/walkway on the left side.) 23:05:36 soupdragon: Surely he means ruby 23:06:49 fizzie, err? 23:06:57 fizzie, in the further or the closer end? 23:07:22 AnMaster: In the far end; the closer end would be "first", not "last". At least for my intuition. 23:07:34 clearly the programming language you're coding in affects the way you think about the problem, but that's only because all you're doing is translating it into the language 23:07:38 fizzie, the one at the very end? well no I can't 23:08:48 AnMaster: Well, not the very end of the corridor if you mean the doors that are directly next to the far brick wall; but the last visible door that goes to one of the rooms on the left side. There's a very vaguely person-shaped shadow-looking thing that sort of looks like it's coming out of the door. 23:08:50 well, not all, but most or programming is just that, translating thoughts into a crappy language. 23:09:13 or at least that's the reason i don't program much nowadays 23:09:42 fizzie, that thing that looks like a darker, filled y=-x^2 curve overlayed? 23:10:15 AnMaster: A bit like that, yes. I can see a head there above it, but maybe that's just because I've seen the source images. 23:10:23 fizzie, possibly 23:10:42 fizzie, the details on the wall are clearly visible through him/her 23:11:23 AnMaster: See http://zem.fi/~fis/i009e0.jpg and ...e1.jpg and ...e2.jpg. 23:11:38 He 23:11:40 fizzie, AnMaster: what are you doing? 23:11:48 's in e0 and e2, but not e1, so it ends up being a bit translucent. 23:12:11 fizzie, that's a large section, why so much parallax issues with such a zoomed out image? 23:12:39 oklopol, panoramas. What else? 23:13:17 if there are multiple conversations at once, i often accidentally start ignoring the less interesting one 23:13:50 oklopol, I meant "what else" as in, what else would fizzie and me be talking about that involves images 23:13:57 AnMaster: Possibly a bit suboptimal alignment. I got tired listening to the awfully loud fan noises the computer makes when it's actually, you know, computing things. 23:14:00 fizzie, hm 23:14:10 you could be talking about something more specific 23:15:12 fizzie, ah my computer has a constant speed fan. And my laptop can compute heavily on both cores without fan speeding up very much 23:15:49 fizzie, oh and gpu remapping crashed nona for me 23:16:08 AnMaster: It crashed nona for me too. 23:16:22 fizzie, like this? 23:16:24 gpu shader program compile time = 0.2 23:16:24 nona: GL error: Framebuffer incomplete, incomplete attachment in: /build/src/hugin-2009.2.0/src/hugin_base/vigra_ext/ImageTransformsGPU.cpp:708 23:16:43 fizzie, and "please report bug"? Well since you already hit this I guess you reported a bug already ;P 23:16:58 and since we have the same gpu model, no need for me to do it then 23:17:37 I wonder if AnMaster reports all the bugs he finds in software. 23:17:40 Certainly not for Perl. 23:18:06 Something like that; I didn't report anything, though. The list of working hardware at the panotools wiki wasn't especially long. 23:18:11 ehird, well I couldn't figure out how. There was no way to do it on that bug tracker 23:18:33 ehird, or if there was, please provide the link to the page with the form for it 23:18:45 How to report bugs 23:18:45 Bugs in Perl 5 -- use perlbug 23:18:45 — http://rt.perl.org/perlbug/ 23:18:49 → 23:18:50 http://perldoc.perl.org/perlbug.html 23:19:36 as I said, I did create an account on that website. Are you saying you can only use a command line tool. 23:19:55 I was pointing you to the part of the website that links to a page telling you how to report Perl 5 bugs. 23:20:07 well then, if I remembered what the bug was any longer I would report it now that proper information has been provided 23:20:18 ehird, you didn't get that page after logging in for some reason 23:20:26 Because you're in the RT interface, then. 23:20:33 Presumably you would then report bugs using RT's bug reporting interface. 23:20:41 ehird, yes and I was assuming it worked like other bug trackers 23:20:44 It does. 23:21:02 Perhaps web-based submissions were disabled for Perl 5 in lieu of perlbug. 23:21:05 Presumably you would then report bugs using RT's bug reporting interface. <-- no such functionality as far as I could find 23:21:13 perhaps 23:21:19 Perhaps you should have looked harder. 23:21:24 BugZilla is a bitch to use, too. 23:21:32 ehird, they don't know about principle of least surprise 23:21:44 I'm sorry, have you ever used BugZilla? 23:21:47 ehird, agreed, but at least there is a huge "file bug" thing iirc 23:21:51 ehird, yes plenty of times 23:21:58 for gentoo, for mozilla, for kernel.org 23:22:02 Exactly. And that's the only reason you don't vomit every time you use it. 23:22:17 Its interface is abhorrent; I'd much rather one hard-to-find link than a horrible, horrible form after that link. 23:22:42 yes it's a pita, it was to begin with as well. Still it wasn't too hard to find "enter a new bug report" on http://bugs.gentoo.org/ 23:22:46 very very visible isn't it? 23:22:50 in the link list 23:22:51 #perl 23:22:55 Complain ↑ 23:23:00 Just like submitting a bug report 23:23:07 -!- olsner_ has changed nick to olsner. 23:23:34 ehird, also I didn't vomit on perl's bug tracker. It seemed nice. Just a lack of filing bugs feature made me confused., 23:23:36 confused* 23:23:41 err fail 23:23:45 s/.,/./ 23:23:55 wait 23:24:04 Kenneth E. Iverson, the originator of the APL programming language, believed that the Sapir–Whorf hypothesis applied to computer languages (without actually mentioning the hypothesis by name). His Turing award lecture, "Notation as a tool of thought", was devoted to this theme, arguing that more powerful notations aided thinking about computer algorithms. 23:24:12 /^s/s/\./\\./ 23:24:52 -!- MizardX- has joined. 23:24:52 soupdragon, what is that hypothesis about? 23:24:55 Also, it took me a good 30 seconds to find the enter new bug report link on http://bugs.gentoo.org/. 23:25:02 But then I am sleep-deprived. 23:25:19 ehird, I would say it would take a non-sleep-deprived ehird 15-20 seconds 23:25:26 still I spent minutes at the perl bug tracker 23:25:30 still,* 23:25:34 Then I guess you're meant to use perlbug. 23:25:41 It is linked *above* the "yo login to RT" link, after all. 23:25:46 yes I guess so 23:25:55 ehird, also I logged in *first* before reading all the details on the page 23:26:17 Well, don't do that. 23:26:18 and not mentioning after that breaks the principle of least surprise for someone used to other bug trackers. 23:26:20 It's a gateway page. 23:26:24 ehird, hard to know isn't it ;P 23:26:35 "Principle of least surprise" is often used as a synonym for "I don't like it". 23:26:37 For instance, in this case. 23:26:41 and yeah I will use perl bug in a bit, if you remind me what the bug was 23:26:43 since I forgot that 23:26:48 Something about VMS or something. 23:26:53 Some spacing, issue, or something. 23:26:55 Grep the logs or something. 23:26:59 hm good idea 23:27:00 It's when I did my horrible perl shebang 23:27:01 So grep @REM 23:27:11 ehird, did you get it to work properly btw? 23:27:13 *Hopefully* we've never talked about bat files before that. 23:27:17 AnMaster: Oh, I never tested it. 23:27:25 I think it would have almost worked. 23:27:27 ehird, oh? not even on *nix? 23:27:37 But I never bothered to totally complete it. 23:27:39 AnMaster: Nope. 23:27:42 The laze is strong within me. 23:27:44 ehird, also now you made me wonder about if we talked about *.bat before... 23:27:50 too lazy to check though 23:27:57 It'll come up in the grep :P 23:28:02 Oh wait, you have that weird-ass CD system 23:28:06 Nevermind 23:28:27 ehird, yes and they are lzma compressed. That takes some time. Older ones are bz2 which is insanely slow 23:28:28 -!- Pthing has joined. 23:28:37 brb 23:40:54 -!- MizardX has quit (Connection timed out). 23:41:18 -!- MizardX- has changed nick to MizardX. 23:45:48 any more good books on omega point? 23:46:01 http://en.wikipedia.org/wiki/Omega_Point#Science_Fiction 23:46:13 http://en.wikipedia.org/wiki/Omega_Point#Science_fiction 23:48:57 I thought singularity was omega point :/ 23:49:03 turns out that singularity is something else 23:57:20 they're variations on the same dumb idea