Tasty » Adam Sampson's mozilla bookmarks

IPC Protocols - MozillaWiki edit / delete

Protocol specifications from the Mozilla project (they plan to model-check using SPIN).

to concurrency ipc model-checking mozilla spin ... on 03 April

Sentry log overview edit / delete

Monitoring data for Mozilla's mirror weightings -- they use Nagios to adjust them, which is pretty cool.

to mirroring mozilla ukms ... on 01 May 2009

mozdev.org - conkeror: index edit / delete

Keyboard-driven UI for the Mozilla engine. It's not perfect, but it's still pretty impressive. (The biggest problem is Mozilla's normal keyboard-focus-tracking bugs, which are obviously more serious when keyboard focus is all you care about...)

to firefox mozilla software web ... on 14 May 2006