Search Results: "ana"

23 November 2005

Antti-Juhani Kaijanaho: Requiem et Kyrie

Requiem aeternam dona eis, Domine, et lux perpetua luceat eis
Te decet hymnus, Deus, in Sion, et tibi reddetur
votum in Jerusalem: exaudi orationem meam, ad
te omnis caro veniet.
No, I am not that religious, and certainly not Catholic, but I do find comfort in the classic renderings of the Requiem Mass, especially Verdi's Messa da Requiem. Kyrie eleison.
Christe eleison.
Kyrie eleison.
Eternal rest grant them... (+)

Antti-Juhani Kaijanaho: GLR parsing is sooo fun

Perry Lorier reminded me of Earley's algorithm; it is a parsing algorithm that can cope with arbitrary context-free grammars (as I noted earlier, most parsing systems take only LL(1) or LALR(1)). I then remembered that recent Bisons have an option for GLR parsing. I should try that. Actually, I did. Not having run the parser, I note that Bison still reports conflicts. It's disappointing. (Argh, ACM Digital Library is throwing a tantrum. Cannot give a link to GLR at this time.)

Antti-Juhani Kaijanaho: Darcs

I must say it, I already like darcs quite a bit. The ability to work without a centralized server seems a blessing. I'm sure other systems have that, but then they aren't written with Haskell :) How many of them allow ssh access?

Antti-Juhani Kaijanaho: LALR parsing is sooo fun

I'm writing a grammar for Hao, a programming language I am designing (ow, design is such a poor word for this. painting?) loosely based on Lasu's specs. I run into LALR conflicts, and it takes forever to chase them. LALR grammars are not the easiest things to debug. Unfortunately, the alternatives are much worse; if easier to debug, then less maintaineable. Baad. All baad. It would be nice to have a program that would accept a grammar which is not LALR(1) or LL(1) or whatever the program uses internally but does transfer the grammar automatically into the appropriate format, if possible. (Many languages are LALR(1) but the most natural grammars for them are not.)

Antti-Juhani Kaijanaho: Page 23

Instructions: Grab the nearest book, open it to page 23, find the 5th sentence, post the text of the sentence in your journal along with these instructions.
Chapters 5 through 7 elaborate the same story for a much more powerful language, the untyped lambda-calculus, where we must also deal with name binding and substitution. I cheated by choosing the nearest English-language book. I also assumed that a sentence is ended by a period, instead of assuming that a sentence contains a single finite verb. In Finnish grammar, the latter would be the correct choice, but I am not sure about English.

Antti-Juhani Kaijanaho: A feature browsers are missing

I hate it when I cut&paste; an URL from somewhere and the cutting is a little off, leaving out an h in the front or l in the back or adding garbage to either end. Mozilla and other browsers choke in such proto-URLs. Why can't they simply apply some simple heuristics to handle these mistakes? It's not like they don't do heuristics already for URLs...

Antti-Juhani Kaijanaho: I voted for the "editorial" changes

I voted for the "editorial" changes to the Social Contract. At the time it seemed like the right thing to do. I considered writing a rant about the lack of supporting information for the GR. There was no published rationale that I could find, nobody advocated either side, as far as I could see, and there was not even a diff indicating the changes. Well, I soon found out myself that a diff would have been mostly useless, as the wording changes were fairly thorough. It did not help me make my mind. Of course, I could have read mail archives of the vote mailing list. My past experience told me not to bother. It was likely that I could not find the relevant pieces of information I sought for without investing too much time to it.
I wrote the above about a hour ago and was interrupted by having to catch the bus. Now I noticed that there was a request for discussion on devel-announce about a month ago. It is clear that I could have participated in the discussion, but I had faith in all the sides being represented in the discussion without my involvement, and I assumed that rationales and advocacy would be present and easily locatable when the voting time came. When the actual call for votes appeared, I no longer remembered that mail. It seems I was not the only one. I made my decision based on reading the proposal, comparing it to the current wording and not noticing the bomb. Nobody pointed the bomb out to me, either. I assumed that a GR marked "editorial" would really be editorial, not intended to change the meaning of the document. As we have seen, this assumption was faulty. What we should learn from this incident is, in my opinion, that all general resolutions should be accompanied with an official rationale document (similar to DPL election platforms) with rebuttals from people who oppose the change. Campaigning should be more visible. I do not agree with Joey Hess's assessment that GRs are not a good idea for Debian. I would not have had (did not have) the time to participate in a discussion seeking a consensus, and thus it cannot be assumed that all of the 200 or so developers who voted would have participated. The problem with respect to the low number of voters is in my opinion that the issue being decided seemed to me (and thus probably many others) uncompilcated and void of any disagreement. There was even no counterproposals! I would assume that many people did not vote because they believed that it would pass anyway. All of our other general resolutions have enjoyed more voters; I believe the reason is that they were considered more controversial by many and hence many more felt the need to make their voices heard.

Antti-Juhani Kaijanaho: Planet query result

My recent Planet query got two legitimate replies: Planet JD is a personal Planet (though the owner, David Pashley, does not mind if I mention the address); in the comments Gergely Nagy mentioned his Planet which does not feed directly off my site yet. This leaves at least two planets unaccounted for: their identification strings are Planet persson and Planet BTJ. Anybody know about them? Some people have wondered why I need to query like this, after all, everybody can easily find Planet GNOME, right? Well, I should be so fortunate to be republished by them, though I fail to see why they would. However, most Planets feeding off my blog are not easily recognisable. I don't particularly mind Planets, but I like to know about them. After all, I am interested about my readership :) I would be satisfied with a page that listed planets in a way that would allow me to translate an Apache log entry into a URL of the Planet in question. Having the Planet URL in the Referer field would not be a bad idea, either. ObDebian: I should be starting implementing query-dctrl soonish.

Antti-Juhani Kaijanaho: A Planet query

I see from my logs that more than one Planet is republishing my Debian bits. It seems there is no way for me to figure out what those planets are (I know about Debian Planet since I submitted my blog there myself) without doing something like this. I have two requests for the maintainers of those planets:
  1. Let me know that you are republishing my bits; if your planet is publically available, let me know the address; if you ask, I'll keep it to myself. (Debian Planet need not bother, I already know you.)
  2. Please, consider syndicating en/ instead of en/debian/.
My mail address is <ajk@debian.org>. Or leave a comment to this entry :)

Antti-Juhani Kaijanaho: I am slow sometimes

About two weeks ago I got a mysterious bug report regarding BNFC: for some reason, builds failed on some architectures due to ldd failing mysteriously when invoked by dpkg-shlibdeps. I finally got around to tracking it down during the Easter holidays, and it turned out that GHC6 produced static executables on those arches. Eventually Ian Lynagh, the GHC6 maintainer, told me that this had been fixed. I am so slow sometimes. Instead of just uploading a new version closing this bug with a version constraint on the build-time dependency on ghc6, I just asked the submitter to retry a build with the new version. How thoughtless of me. Fixed, now.

Antti-Juhani Kaijanaho: God

An aquaintance on IRC pointed me to an amusing story featuring God. I rather like it. It is similar to my own theology :)

Antti-Juhani Kaijanaho: How I will be spending March

I just sent the following email to certain mailing lists and individuals on campus:
Did you ever wonder how computers could be made prove theorems? Did you ever look at logic and tell yourself, wow, this should be automated? Are you... ... an IT student interested in logic or software/hardware verification? ... a math student with a taste for logic and the foundations of mathematics, and with an interest in computer science? Starting on Tuesday, 2 March 2004, I will give a series of lectures on *** Automated Reasoning (TIE 329, 2 cr) *** We will look at how logical information can be processed on a computer. We will discuss (both in theory and in practice) fundamental automated reasoning methods such as unification, resolution and semantic tableaux. In the end, we will have constructed a simple automated reasoning system. A familiarity with first-order (predicate) logic is necessary. Other prerequisities are the Automata and formal language course (or equivalent) and programming experience. Enroll via Korppi. The course has a home page at http://www.mit.jyu.fi/antkaij/opetus/ap/2004/. For the benefit of our foreign students, we will use the English language.

Antti-Juhani Kaijanaho: Stable is untrusted

Hit http://ftp.uk.debian.org stable/main Packages
Hit http://ftp.uk.debian.org stable/main Release
Hit http://ftp.uk.debian.org stable/non-free Packages
Hit http://ftp.uk.debian.org stable/non-free Release
Hit http://ftp.uk.debian.org stable/contrib Packages
Hit http://ftp.uk.debian.org stable/contrib Release
Hit http://security.debian.org stable/updates/main Packages
Hit http://security.debian.org stable/updates/main Release
Hit http://security.debian.org stable/updates/contrib Packages
Hit http://security.debian.org stable/updates/contrib Release
Hit http://security.debian.org stable/updates/non-free Packages
Hit http://security.debian.org stable/updates/non-free Release
Reading Package Lists...
Building Dependency Tree...
Merging Available information
Replacing available packages info, using /var/cache/apt/available.
Information about 8839 package(s) was updated.
Checking sources in /etc/apt/sources.list:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
You should take care to ensure that the distributions you're downloading
are the ones you think you are downloading, and that they are as up to
date as you would expect (testing and unstable should be no more than
two or three days out of date, stable-updates no more than a few weeks
or a month).
Source: deb http://ftp.uk.debian.org/debian/ stable main non-free contrib
  o Origin: Debian/Debian
  o Suite: stable/woody
  o Date: Thu, 20 Nov 2003 18:57:17 UTC
  o Description: Debian 3.0r2 Released 20th November 2003
  * Signed by EXPIRED key: Debian Archive Automatic Signing Key (2003) <ftpmaster@debian.org>
  * Signed by EXPIRED key: Debian Archive Automatic Signing Key (2003 v2) <ftpmaster@debian.org>
  * NO VALID SIGNATURE
  * PROBLEMS WITH main (NOCHECK, NOCHECK)
  * PROBLEMS WITH non-free (NOCHECK, NOCHECK)
  * PROBLEMS WITH contrib (NOCHECK, NOCHECK)
Source: deb http://security.debian.org/ stable/updates main contrib non-free
  o Origin: Debian/Debian-Security
  o Suite: stable/woody
  o Date: Thu, 05 Feb 2004 13:58:21 UTC
  o Description: Debian 3.0 Security Updates
  o Signed by: Debian Archive Automatic Signing Key (2004) <ftpmaster@debian.org>
  o Okay: main contrib non-free
Results
~~~~~~~
The contents of the following files in /var/lib/apt/lists could not be
validated due to the lack of a signed Release file, or the lack of an
appropriate entry in a signed Release file. This probably means that the
maintainers of these sources are slack, but may mean these sources are
being actively used to distribute trojans.  The files have been renamed
to have the extension .FAILED and will be ignored by apt.
    ftp.uk.debian.org_debian_dists_stable_main_binary-i386_Release
    ftp.uk.debian.org_debian_dists_stable_main_binary-i386_Packages
    ftp.uk.debian.org_debian_dists_stable_non-free_binary-i386_Release
    ftp.uk.debian.org_debian_dists_stable_non-free_binary-i386_Packages
    ftp.uk.debian.org_debian_dists_stable_contrib_binary-i386_Release
    ftp.uk.debian.org_debian_dists_stable_contrib_binary-i386_Packages
It would be very nice if stable could be re-signed with the new signing key. Why is it that this is not automatic?

Antti-Juhani Kaijanaho: Grep-dctrl 2.3 does numeric comparisons

Just uploaded to experimental a new version of grep-dctrl, 2.3. It can do numeric comparisons:
ajk@kukkaruukku[01:02:34]:dctrl-tools$ grep-available -FInstalled-Size --gt 100000 -sPackage
Package: openoffice.org-bin
Package: atlc-examples
Package: xlibmesa-dri-dbg
Package: vtk-doc
Package: gcc-snapshot
Package: fgfs-base
Package: gcc-experimental
Package: libopenh323-dbg
Package: vegastrike-data

Antti-Juhani Kaijanaho: Workbone is going to marry Workman

Yes, we decided to make the workbone binary package come from the workman source package and kill the workbone source package.

Antti-Juhani Kaijanaho: Workbone work

Workbone is essentially a curses-based wrapper on an ancient version of Workman's hardware support. I noticed that Workman includes a version of the Workbone sources and the workman Debian source package does not while it certainly could build the workbone binary package. I sent mail to the workman Debian maintainer, asking whether it made sense to replace the current workbone with workman's workbone.

Antti-Juhani Kaijanaho: Adopting workbone

I noticed workbone was force-orphaned and decided to adopt it. It seems to be orphaned upstream too, trying to reach the last upstream maintainer on record.

Antti-Juhani Kaijanaho: grep-aptavail in experimental

I have now started a series of experimental versions of grep-dctrl, in which I intend to implement most, if not all, of the outstanding feature requests. The proud first new feature is grep-aptavail, a grep-available lookalike that takes its input from apt-cache dumpavail by default. The grep-dctrl 2.2 release is therefore for all you grep-available users out there that kept dselect only to run dselect update. It will be installed in experimental shortly. (Note that you need to explicitly select experimental by pinning or by the -t switch to apt-get in order to install this version.)

Antti-Juhani Kaijanaho: Fun with the new CD/DVD burner

Yesterday, I finally set up my new toy (_NEC DVD_RW ND-1300A, ATAPI CD/DVD-ROM drive). Immediately tried debian-installer on the secondary machine. Found out it does not boot from CD. Spent hours considering flash BIOS update (the BIOS is from 1992...) and writing a small boot assistant that would fit on a floppy and simulate a proper CD bootup. Eventually found out about Smart Bootmanager, which was godsent. After lots of problems with floppy booting, I finally got debian-installer to boot from the CD-RW-simulated business card but saw it froze at loading RAMDISK. Realized the machine has only 24 MB of memory. Decided to try again with the primary computer. Tried installing sarge on the secondary disk (with the primary disconnected to prevent any collateral damage from bugs and misuse). Looked awesome, but there were problems. Since it was 5AM at that point, I went to bed. Now trying to persuade the secondary computer to boot from stable boot floppies. Fun!

Antti-Juhani Kaijanaho: [BIB] NR-Grep

NR-grep: a fast and flexible pattern-matching tool by Gonzalo Navarro, Software - Practice & Experience 31 (3), pp. 1265-1312, 2001.

Next.

Previous.