00:03:27 I fixed the problem thus: 00:03:29 : /mod swap /mod ; \ fucking committees 00:04:12 that doesn't recurse? 00:04:27 -!- BeholdMyGlory has quit (Remote closed the connection). 00:04:39 oerjan: no 00:05:07 oops 00:05:39 I meant : /mod /mod swap ; \ fucking committees 00:06:07 so if : is like scheme let, does forth have something corresponding to letrec? 00:06:22 not easily 00:06:53 you have hooks, which are a kind of forward definition 00:07:33 you don't really need it much, for the same reason you don't need package/module cycles much in other languages 00:29:31 -!- Gracenotes has quit ("Leaving"). 00:53:19 * SimonRC just got project euler #12 to run in a sensible amount of time 00:53:38 my initial approach was totally DOOMED given the size of the answer 00:54:05 my initial approach was O(n ^ ohshit) 00:54:54 then inspiration struck and I realised I was wasting loads of effort 00:56:14 I solved it with a non-allocating forth program 8 lines long 00:56:32 and TBH, there are like 4 lines that do work in there 00:58:19 actually, 8 lines is about as short as I can get it nicely 00:59:00 yay fun! 00:59:03 * SimonRC goes to bed 01:05:44 -!- coppro has joined. 01:15:46 -!- adam_d has quit ("Leaving"). 01:29:25 -!- quantumEd has quit ("Leaving"). 02:51:25 -!- Asztal has quit (Read error: 110 (Connection timed out)). 02:55:43 -!- augur[hw] has quit (Read error: 110 (Connection timed out)). 03:15:14 -!- oerjan has quit (farmer.freenode.net irc.freenode.net). 03:15:14 -!- bsmntbombdood has quit (farmer.freenode.net irc.freenode.net). 03:15:14 -!- iamcal has quit (farmer.freenode.net irc.freenode.net). 03:15:14 -!- mycroftiv has quit (farmer.freenode.net irc.freenode.net). 03:15:14 -!- ineiros has quit (farmer.freenode.net irc.freenode.net). 03:15:16 -!- sebbu has quit (farmer.freenode.net irc.freenode.net). 03:15:16 -!- Gregor has quit (farmer.freenode.net irc.freenode.net). 03:15:16 -!- SimonRC has quit (farmer.freenode.net irc.freenode.net). 03:15:16 -!- Rembane has quit (farmer.freenode.net irc.freenode.net). 03:15:17 -!- MizardX has quit (farmer.freenode.net irc.freenode.net). 03:15:18 -!- fizzie has quit (farmer.freenode.net irc.freenode.net). 03:15:18 -!- fungot has quit (farmer.freenode.net irc.freenode.net). 03:15:18 -!- Ilari has quit (farmer.freenode.net irc.freenode.net). 03:15:18 -!- Deewiant has quit (farmer.freenode.net irc.freenode.net). 03:15:18 -!- rodgort has quit (farmer.freenode.net irc.freenode.net). 03:15:19 -!- mtve has quit (farmer.freenode.net irc.freenode.net). 03:15:19 -!- AnMaster has quit (farmer.freenode.net irc.freenode.net). 03:15:19 -!- Warrigal has quit (farmer.freenode.net irc.freenode.net). 03:16:19 -!- SimonRC has joined. 03:16:19 -!- Rembane has joined. 03:16:19 -!- MizardX has joined. 03:16:19 -!- fizzie has joined. 03:16:19 -!- fungot has joined. 03:16:19 -!- Deewiant has joined. 03:16:19 -!- Ilari has joined. 03:16:19 -!- rodgort has joined. 03:16:19 -!- mtve has joined. 03:20:40 -!- augur has joined. 03:21:03 -!- mycroftiv has joined. 03:45:03 -!- Gracenotes has joined. 04:42:29 -!- Gracenotes has quit (Read error: 104 (Connection reset by peer)). 04:53:14 -!- Gracenotes has joined. 04:58:18 -!- calamari has joined. 06:13:17 -!- Pthing has joined. 06:14:45 -!- calamari has quit ("Leaving"). 06:17:41 -!- Pthing has quit (Remote closed the connection). 06:25:08 -!- bsmntbombdood has joined. 06:25:08 -!- iamcal has joined. 06:25:08 -!- ineiros has joined. 06:25:08 -!- sebbu has joined. 06:25:08 -!- Gregor has joined. 06:25:42 -!- AnMaster has joined. 06:25:42 -!- Warrigal has joined. 07:54:09 For "explicit" recursion, when you need it, there's also the "recurse" word, that recursively calls the word you're defining. 07:56:11 fizzie, language? 07:56:53 Forth; this was a direct continuation of what's before the splittery-looking thing. 07:57:22 fizzie, ah, well I was on the wrong side of the split 07:57:31 it didn't just look like a split, it was one 07:57:36 But this was before the split. 07:58:01 from ~04:17:52 to 07:28:46 07:58:30 quite a long one 07:58:38 bbl university 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:16:34 -!- kar8nga has joined. 10:20:41 SimonRC: 20 letters can be memorized with one reading using HARRY LORAINES MAGICAL MEMORY TECHNIQUES. 10:21:24 anyway iirc either you or pikhq (i think it was you) said they'd tried the system and it didn't work 10:21:39 confirmation plz 10:22:44 also cool how he was too lazy to redraw the lips, just moved them and kept them in the same position when she opened her moutg 10:22:45 *mouth 10:23:01 err not same position, more like same angle 10:23:11 moving tends to change position 11:13:40 -!- iamcal has quit (Read error: 104 (Connection reset by peer)). 11:55:28 -!- Ilari_ has joined. 11:55:38 -!- oklofok has joined. 11:56:48 -!- Ilari has quit (Read error: 131 (Connection reset by peer)). 11:58:01 -!- Ilari_ has changed nick to Ilari. 12:13:15 -!- oklokok has quit (Read error: 110 (Connection timed out)). 12:50:57 -!- puzzlet has quit (Remote closed the connection). 12:51:02 -!- puzzlet has joined. 12:58:43 -!- kar8nga has quit (Remote closed the connection). 13:32:18 -!- kar8nga has joined. 13:37:16 -!- quantumEd has joined. 13:48:07 -!- puzzlet has quit (Remote closed the connection). 13:48:19 -!- puzzlet has joined. 13:58:02 -!- coppro has quit ("I am leaving. You are about to explode."). 14:15:58 -!- puzzlet has quit (Remote closed the connection). 14:16:03 -!- puzzlet has joined. 14:16:05 -!- augur has quit (Read error: 110 (Connection timed out)). 14:29:28 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)). 14:30:39 -!- puzzlet has joined. 14:40:50 -!- augur has joined. 14:52:07 -!- puzzlet has quit (Remote closed the connection). 14:52:20 -!- puzzlet has joined. 15:08:21 -!- augur has quit (Read error: 145 (Connection timed out)). 16:26:54 -!- BeholdMyGlory has joined. 16:30:28 -!- cal153 has joined. 16:43:41 -!- augur has joined. 16:49:11 -!- MigoMipo has joined. 16:57:05 -!- Asztal has joined. 17:22:33 -!- kar8nga has quit (Remote closed the connection). 17:28:21 -!- iamcal has joined. 17:35:10 -!- MigoMipo has quit (Read error: 54 (Connection reset by peer)). 17:47:03 -!- puzzlet has quit (Remote closed the connection). 17:47:17 -!- puzzlet has joined. 17:47:23 -!- ais523 has joined. 17:50:49 ais523, any good at gpg? 17:50:50 "gpg: WARNING: signature digest conflict in message" 17:50:53 I have no clue what that means 17:51:48 neither do I, offhand 17:54:35 -!- cal153 has quit (Read error: 113 (No route to host)). 18:09:25 -!- kar8nga has joined. 18:37:48 -!- oklokok has joined. 18:40:10 -!- puzzlet has quit (Remote closed the connection). 18:40:15 -!- puzzlet has joined. 18:50:02 -!- quantumEd has quit ("Leaving"). 18:56:14 -!- oklofok has quit (Read error: 110 (Connection timed out)). 19:13:56 -!- adam_d has joined. 19:16:26 -!- SimonRC has quit (farmer.freenode.net irc.freenode.net). 19:16:26 -!- MizardX has quit (farmer.freenode.net irc.freenode.net). 19:16:26 -!- Rembane has quit (farmer.freenode.net irc.freenode.net). 19:16:37 -!- SimonRC has joined. 19:16:57 -!- MizardX has joined. 19:17:10 -!- Rembane has joined. 19:29:11 -!- Pthing has joined. 19:36:23 -!- nooga has joined. 19:45:34 -!- FireFly has joined. 19:46:07 -!- kar8nga has quit (Remote closed the connection). 19:46:37 -!- puzzlet_ has joined. 19:53:04 -!- pikhq has joined. 19:59:07 -!- puzzlet has quit (Read error: 110 (Connection timed out)). 20:11:20 -!- iamcal has quit (Read error: 104 (Connection reset by peer)). 20:14:01 -!- cal153 has joined. 20:17:15 -!- MigoMipo has joined. 20:29:22 -!- Slereah_ has joined. 20:32:55 -!- nooga_ has joined. 20:39:33 -!- Slereah has quit (Read error: 110 (Connection timed out)). 20:46:13 -!- pikhq has quit ("Java user signed off"). 20:49:56 -!- Pthing has quit (Remote closed the connection). 20:56:59 -!- nooga has quit (Read error: 110 (Connection timed out)). 21:01:06 -!- quantumEd has joined. 21:09:06 ais523, you know you talked about MySQL analyse vs. analyze? 21:09:14 yes 21:09:50 ais523, it seems that postgresql accepts both, but only the American spelling is documented 21:09:57 heh 21:10:03 at least for VACUUM ANALYZE 21:10:14 * AnMaster goes to try ANALYSE on it's own 21:10:27 yeah both spellings work there too 21:18:15 Version 8.4.1-1~jaunty1: 21:18:15 * Automated backport upload; no source changes. 21:18:21 ais523, does that make any sense to you? 21:18:39 yep, that happens a lot 21:18:43 they're just fixing up dependencies 21:18:48 oh 21:19:09 ais523, any idea why postgresql package would auto-hold without me telling it to? 21:19:19 hmm... actually, is that the message when they've tested something already in lucid and are just copying it to karmic-proposed? 21:19:37 as for the auto-hold, it's a dependency problem 21:19:37 it is listed as "backport" 21:19:43 ais523, uh uh 21:19:46 i.e. it depends on things that conflict with what you have atm 21:19:51 normally that's fixed eventually 21:19:56 how do I fix it with the limited tools available 21:20:01 you don't, you just wait 21:20:12 oh wait, they backported 8.4 instead of 8.3 21:20:13 gah 21:20:14 the problem's there for everyone, in a non-stable version it happens from time to time 21:20:28 ais523, I'm running jaunty. it's stable 21:20:44 hmm 21:20:56 that shouldn't be happening, are you sure you aren't running -proposed? 21:21:02 and now libpq5 is listed there too 21:21:05 btw, avoid karmic, it feels rather buggy atm 21:21:07 ais523, 100% sure 21:21:12 I'm on jaunty 21:21:27 ais523, did you make any progress with the fsck bug? 21:21:38 not yet 21:22:51 -!- MigoMipo has quit. 21:23:51 ais523, this upgrade to 8.4 from 8.3 should not be happening of postgresql in januty 21:23:56 the upgrade is non-trivial 21:24:06 requiring user to dump everything first and then re-import it 21:24:12 AnMaster: check software sources, to see which repos are set 21:24:22 ais523, /etc/apt/? 21:24:50 AnMaster: no, via the menus 21:24:58 settings | administration | software sources 21:25:03 ais523, why, that takes a lot longer... 21:25:17 because I don't know where the actual file is 21:25:27 and also, because the GUI explains what repos you're running in a much clearer way 21:25:37 also it shows a dumbed down GUI where you can't really see the details 21:25:55 ais523, it is /etc/apt/sources.list 21:26:25 ais523, and that shows I selected: main, universe, restricted, multiverse 21:26:36 and there is a - instead of and x for the "source" box 21:26:55 it says it should fetch from http://ftp.df.lth.se/ubuntu 21:26:55 AnMaster: that's the wrong question, the GUI shows whether you're running stable, proposed, backports 21:27:10 ais523, hm? 21:27:15 I looked where you said 21:27:32 ais523, it doesn't say what you mentioned to me 21:27:37 well, one of the tabs, there's a checkbox for running -proposed or not 21:27:54 ais523, oh and there are the debugging symbol repos on the "third party" tab. 21:28:15 AnMaster: how up to date are those? I wouldn't be surprised if they were following -proposed not stable 21:28:22 ais523, you mean the one that has jaunty-security, jaunty-updates and jaunty-backports checked? 21:28:37 jaunty-proposed isn't checked 21:28:44 AnMaster: ah, ok, that's what I was trying to ask 21:28:52 ais523, well since there is one debugging symbol repo per each of the main ones 21:28:52 the postgres upgrade might be -updates, I suppose 21:28:59 I would assume it tracks the relevant one 21:29:00 as in 21:29:01 or -backports 21:29:04 AnMaster: ah, ok 21:29:08 deb http://ddebs.ubuntu.com jaunty main restricted universe multiverse 21:29:08 deb http://ddebs.ubuntu.com jaunty-updates main restricted universe multiverse 21:29:08 deb http://ddebs.ubuntu.com jaunty-security main restricted universe multiverse 21:29:13 are the ones in the sources.list 21:29:15 easier to copy 21:29:47 ais523, anyway the postgresql one is *backports* 21:29:56 as far as I can tell 21:29:56 well, you can expect backports to increase versions 21:29:59 that's what that means 21:30:08 ais523, yeah but why break the deps then 21:30:14 it means you get versions of software that had a version-bump in later versions 21:30:29 ais523, not all such software though? 21:30:44 and probably, because the new version is unacceptable for some older software you have installed that isn't getting updated at the same time 21:31:15 ais523, also 8.4 been out for some time now 21:31:30 since May or so iirc 21:31:34 maybe June 21:31:47 ah no, July it seems 21:31:47 Release date: 2009-07-01 21:36:55 -!- kar8nga has joined. 21:37:42 -!- Sgeo has joined. 21:55:27 rc postgresql-8.3 8.3.8-0ubuntu9.04 object-relational SQL database, version 8.3 server 21:55:30 ais523, what does that mean? 21:55:36 the rc 21:55:38 rather than ii 21:55:47 from dpkg -l output 21:56:01 I don't know 21:56:05 oh, I do 21:56:07 residual config 21:56:13 not installed, but it didn't delete the config files 21:56:19 so that it'll be configured the same way if it's reinstalled 21:56:30 it's the usual method of uninstalling something 21:56:40 well apt-get purge postgresql-8.3 tells me: 21:56:43 Package postgresql-8.3 is not installed, so not removed 21:56:52 so that seems wrong 21:57:02 ais523, no? 21:57:24 yes, it should have removed the config 21:57:30 is it still marked as residual config? 21:57:34 ais523, yes it is 22:00:14 ais523, any idea what to do next? 22:00:19 no 22:00:28 -!- ais523 has quit ("Page closed"). 22:00:35 oh well 22:00:54 uhu 22:28:38 -!- kar8nga has quit (Remote closed the connection). 22:29:27 -!- puzzlet_ has quit (Remote closed the connection). 22:29:31 -!- puzzlet has joined. 22:47:51 -!- augur has quit (Read error: 145 (Connection timed out)). 22:55:50 You can try the "lower-level"-ish "dpkg --purge postgresql-8.3", but I don't promise anything. 22:56:20 fizzie, worked 22:58:41 I'm guessing apt-get parses "purge foo" as "remove --purge foo" (those are listed as equivalent), and then the main "remove" command refuses to do anything since the package isn't really installed, it just has those leftover config files. 23:01:56 fizzie, purge usually works when there is left around configs 23:09:33 -!- puzzlet has quit (Read error: 60 (Operation timed out)). 23:09:55 "For historical reasons (i.e., this is clearly wrong but it's far too late to change it), [...]" 23:09:58 how nice 23:10:01 fizzie, ^ 23:11:24 -!- puzzlet has joined. 23:16:09 -!- augur has joined. 23:23:21 -!- coppro has joined. 23:24:21 -!- pikhq has joined. 23:34:39 -!- FireFly has quit (Client Quit). 23:34:40 quick! i need someone i can talk logic with! :| 23:34:50 -!- BeholdMyGlory has quit (Remote closed the connection). 23:35:47 pong 23:36:27 ping 23:36:35 you need to talk logic? 23:38:31 If I buy fish then it will rain 23:55:58 what if you teach fish? 23:58:44 Then it will rain for the rest of your life.