halting problem :: page 26

Older posts

  1. , — This is a comment I left on Philip’s blog in response to Ross’ blog. question: what are we, third graders that we must do all this touchy-feely, “we must not make comments” stuff? ross’ comment was a bit on the edge, but its his blog, and he has …
  2. , — Marta got accepted for a MSc at the LSE, and she’d really like to move to Good Ol’ London - with me coming along. So, in the next months I’ll have to find a gig in the UK: time to update my resumé.
  3. , — The first second β-release of the Gnome-utils package is out! Fixes for crashers, better error handling, font settings and much more! Go get it! Update Gnome-utils 2.13.90 had a glitch in the build system that resulted in the absence of the translations database in the package; thus …
  4. , — I’ve just updated the Recent Files and Bookmarks page on Gnome’s wiki: some (long due) clean ups and typo checking, but I’ve also added a porting guide, showing how to use the RecentManager and RecentChooser objects: addition, look up, display, sorting and filtering. If you are using …
  5. , — With the incoming release of Gnome 2.13.90, we are approaching the 2.14 version of Gnome. Now, features are frozen, and soon even changing the UI will require at least two approvals (one from the GUP and one from the release team); so, while we still have a …
  6. , — The next release of gnome-utils, 2.13.90, will make libgdict adhere to the API/ABI freeze, even if it’s not part of the Gnome Developer Platform but only of the Desktop. The freeze had been in effect since the last release (January 18th), and I planned not to …
  7. , — It’s been snowing since yesterday morning, here in Milan. Waking up with 20 cm of snow and watching it grow has some sort of hypnotical beauty, which vanishes as soon as you realize that: two of the major national airports (one of which is the italian major international hub …
  8. , — Shamed by kris’ post about the state of Project Ridley stuff, I resumed the recent-files hacking after the gnome-utils/gnome-dictionary crazy run that occupied my nights in the last three months or so. RecentManager and RecentChooser I already did a review of the documentation and the code last month, but …
  9. , — Tonight it was release time - when GNOME tarballs were due in order to allow 48 hours of smoke testing before the actual release, on January 18th. I did the gnome-utils release, and decided to hang out a bit on #gnome-hackers - and I would have better had not to, since everything …
  10. , — I’ve just rolled the 2.13.5 release of gnome-utils, code-named Optimized for Size. This release sports a ton of fixes for Dictionary, which now can remember its size and state across sessions; the usage (in the Search Tool and in Dictionary) of the new, spiffy, faster and lighter …

⇤ « Page 26 / 36 » ⇥