Vi, taking a break as I make the bed.
I've just voted
Stefano Zacchiroli for Debian Project Leader (DPL). The voting period closes tonight, so if you are a Debian developer and haven't yet voted, please do!
Debian uses a Condorcet voting
system, which to my non-expert eyes, bears some resemblance to "Single
Transferrable Vote" (STV), at least compared to "First Past the Post" (FPTP).
There is a debate raging in the UK as to whether Government elections should be
counted based on an STV method instead of FPTP, with a referendum on the
subject in May.
I'm leaning towards "Yes to AV", but this opinion piece by journalist Stuart
Campbell
(which argues that people should spoil their ballots) is worth a read.
The last time I've tried network-manager it sucked.It often comes in different masquerades, like:
When did you test network-manager the last time?
A long time ago. Must have been around Etch.
Update: I reported the deluge issues and added a new problem about the lack of click on tapping on the touchpad.
As the project for the course System specification and implementation , which introduced the Event-B formalism to us, I modeled the algorithm given in one of the constructive proofs of Vizing s theorem and showed it to be correct, using the Event-B tool Rodin. Vizing s theorem states
For a finite undirected graph without autoloops and without multiple edges, at any vertex of which no more than N edges meet, N+1 colors suffice for an edge coloring such that edges incident on the same vertex are of different color.You can find more details about my approach and my conclusions about Event-B and Rodin in the project report and you can download my Rodin model. I was asked in the comments about my conclusions, so I ll reply here. The proof looks unweidly, but I do think that refinement based proofs, where possible, increase clarity, as more, but smaller steps have to be looked at. Also note that I had no prior exposure to Rodin, so some thing could have been done quicker and easier with more experience. But Rodin itself is not the theorem proving tool of my choice. More detail in the report, shortly put: Its math is too weak and not expressive enough, individual proofs are WORN (write-once-read-never) and can easily be lost when changing the models and there is too little emphasis on correctness, e.g. no trusted core base approach known from dedicated theorem provers. So I would use a different tool for proving mathematical statements, nevertheless the idea of refinements, and trying to find those small-steps-refinements, can also help coming up with better proofs in those tools.
Most probably haven't noticed yet but I finished the Mono 2.10.1
debian packaging effort of the past 3 months and uploaded it
to Debian/Experimental.
With Mono 2.10 I had to make the biggest changes in Mono packaging since
the big Mono 2.0 upload. The runtime no longer supports the 1.0
and 2.0 runtime profile, instead it now supports the 2.0 and 4.0 runtime
profile. This meant I had to drop all libmono*1.0-cil packages and add
libmono*4.0-cil packages. This sounds like a lot of s/1.0/4.0/ work but it
actually wasn't. Mono 2.10 ships a lot of new libraries over 2.6 and I had
again to decide where they should go. "Where should this $library go?" I have
been playing this game for the past 7 years maintaining Mono and I finally
gave up on it... What, where, when, why? I could give now a 2 hours talk
of the issues behind the current packaging approach (keeping the number of
library packages low) but instead I will do something else. Please, just
take a look at this picture for a second:
If your browser crashed, your eyes hurt or your brain simply melted, I think
you have got the idea.
The Big Split
The cure? cli-common-dev! This is a package that contains 2 extremely
important debhelper packaging tools for packaging Mono/CLI related packages
called dh_makeclilibs and dh_clideps. If you don't know these, they
do exact the same thing as dh_makeshlibs and dh_shlibdeps do. dh_makeclilibs
generates library dependency tracking information and dh_clideps consumes
that information to automatically generate the package dependencies for
you. So each library of the 4.0 runtime profile has now it's own package,
simple as that, the rest does cli-common-dev for me and you.
"Hey, that Mono packaging bastard is polluting the Debian archive because of
his laziness!" No, I am not. This packaging change not only has the advantage
of simplifying the packaging and with that bringing new Mono versions faster
to you but also reduces the typical install size for applications as they will
only pull in the really used libraries of Mono instead of groups of them. I
don't have any numbers handy right now as none of the applications are built
against Mono 2.10 (yet), but when the transition starts we will get numbers.
New Features
There is also a new SGen flavor of Mono available called mono-runtime-sgen
which is no longer using the conservative non-generational Boehm's garbage
collector but SGen which is a simple generational garbage collector with
promising advantages.
And here some more Mono 2.8/2.10 news from
/usr/share/doc/mono-runtime/NEWS.Debian.gz:
There is a reason it's called experimental isn't there?
In mono 2.10.1-3 I could solve all regressions except for kfreebsd-*
and armel. Jo Shields fixed the remaining regressions and the world
started to look good again in mono 2.10.1-4! He also took care of
mono-basic, mod-mono and xsp, but mod-mono and xsp are still waiting for
the translation call deadline to pass by so they can also be uploaded
to Debian/Experimental.
Planned Transition
As mentioned above, there will be a Mono 2.10 transition needed when the
packages hit Debian/Unstable. There is no ETA yet on this when it will happen
as I have to coordinate this with debian-release first. But as things are not
showtime ready in experimental anyhow, this will not happen too soonish. The
Mono 2.10 transition plan will be covered in a following post.
GIVMENOWPLX
OMG, all this rumbling about Mono 2.10 and I still haven't said a word on
how to obtain it, sorry about this, just do this and I will shut up now:
echo "deb http://ftp.debian.org/debian experimental main" >> /etc/apt/sources.list
apt-get update
apt-get install -t experimental mono-complete
(this is the easiest way of getting only mono 2.10.1 from experimental)
I stumbled across this file whilst sorting through some old backups. It's a
"sortpaper": a wallpaper designed to aid people with sorting out files on
their desktops.
I thought I would share it in case anybody thought the concept was
interesting: The size/aspect of the picture probably make it less practically
useful today than whenever I first made it.
All overrides listing files with a prefix of ./ or / will not work as of 2.5.0~rc1If you are curious as to why, please have a look at #534940. Fixing the override is simply a matter of removing the ./ or / prefix(es). If you discover a tag that still uses ./ or / as file name prefix, please file a bug (assuming someone did not beat you to it). I am not entirely sure if the FTP-masters have updated the copy of Lintian that handles auto-rejects[2], so you may have keep the old/broken override if it is for a non-fatal auto-reject tag. This is especially true for the embedded-zlib tag that were merged into embedded-library. [1] On a related note, this is why this is 2.5.0~rc1 and not 2.4.4. [2] I also do not know when they plan to do it if they have not already done so, but Tolimar has informed me that 2.5.0~rc2 is in squeeze-backports. >.>
It seems that Project Harmony
has finally taken itself public. From the website:
Project Harmony is a community-centered group focused on contributor agreements for free and open source software (FOSS).In reality, this seems to be a closed group that in no way represents the community in general and mainly acts in the interest of various corporations. Their goal is to create a bunch of templates for contracts to make participating in free software projects even more complicated than it already is. Look, we have a bunch of copyright licenses. They're not always easy to understand, and there's enough details and corner cases and interactions with the real world to make your head hurt. My head as well. (They're still easier, and more standardized, than contracts for proprietary software.) Contributing to a free software project is easy enough, in most cases. You make a patch, and if the project accepts it, yay. Your patch will be licensed the same way as all the other code. These Harmony agreements aim at making you give up your copyright to someone else, usually a corporate sponsor of the project. That's a bad thing. If the corporation owns the copyright, or you give them a license to do anything they wish with the project, they can do all sorts of evil things with it. For example, they can release it under a non-free license, or enter into complicated patent agreement with someone else that will require you to pay protection money later on, or something else. There is no end to the evil corporations invent, when given the chance. If, however, you refuse to give the corporation any ownership, or special powers, then their ability to do evil lessens, or at least you aren't helping them do that. It might be possible to use the Harmony agreements, as they are currently written, in ways that do not directly allow evil. However, why bother? By sticking to well-known, court-tested free software free software licenses, there is no need for the Harmony licenses. You get to keep the corporations honest, without having to read piles more legalese. Another way of looking at this: here's a bunch of corporations that want you to start using complicated legal documents for their benefit. Ask yourself, in what scenario is this going to be a good idea for you? Just say no to copyright assignments.
We're heading to release candidates for phpMyAdmin 3.4.0 (probably once GSoC application/evaluation rush period is over), so the translators have less time to make the translations better. There is no new complete translation, so we still have 14 translations at 100%:
Filed under: English Phpmyadmin 0 comments Flattr this!
Yes, it's that time of the year: I am blogging. I was using Jaws as my blogging tool and CMS for the past few years more or less and I am finally switching to something new.
I was running a SVN snapshot of Jaws and haven't updated nor maintained that one for about 3 years. This reduced my abilility to blog a lot as I had to look after bugs and jumping through the hoops to make a post. At some point I wanted to replace Jaws with something better that fits my needs but didn't find anything.
I have been keeping an eye on Joey Hess' ikiwiki for quite some time, but never felt the desire to blog something important and thus postponed solving my website mess.
When I wrote the Debian packaging tools for the Common Language Infrastructure, which are based on debhelper, I had to study code written by Joey Hess. Putting the syntax aside (I mean it's Perl, it can't be beautiful because of that) he does well designed and implemented software and this is the reason ikiwiki is a great candidate despite the used language.
Jo Shields suggested dogfeeding myself with a .NET based blog, but ASP.NET is just junk, but with Manos de Mono I am actually considering it! Manos is written in beautiful C# without any ASP.NET close to it, but is extremely new and has no blogging or wiki engine written for it yet. I was involved in Jaws's development and I didn't want to run into the same issue again for now (more hacking the tools, less using them).
So last night I finally made the decision, installed ikiwiki and made my first post with it, yay! The markdown syntax feels very naturaly to me. I usually end up searching for the syntax documentation every 2nd paragraph, but not on this one...
A brand new 0.9.4 release of
Rcpp
is now on CRAN and
Debian.
This version contains an improvement to loading and initialization of
Rcpp modules, a bug fix for vectors of factors, another build issue fix
as well as (per common practice with JSS) citation information for the article
Rcpp: Seamless R and C++ Integration which is now
Volume 40, Issue 8 in the Journal of Statistical Software (or JSS for short).
The complete NEWS entry is below; more details are in
the ChangeLog file in the package and on the
Rcpp Changelog page.
0.9.4 2011-04-12
o New R function "loadRcppModules" to load Rcpp modules automatically
from a package. This function must be called from the .onLoad function
and works with the "RcppModules" field of the package's DESCRIPTION file
o The Modules example wrapped the STL std::vector received some editing
to disambiguate some symbols the newer compilers did not like
o Coercing of vectors of factors is now done with an explicit callback
to R's "as.character()" as Rf_coerceVector no longer plays along
o A CITATION file for the published JSS paper has been added, and
references were added to Rcpp-package.Rd and the different vignettes
Thanks to
CRANberries, there is
also a
diff to the previous release 0.9.3:
Diff between Rcpp versions 0.9.3 dated 2011-04-05 and 0.9.4 dated 2011-04-12 Rcpp-0.9.3/Rcpp/build only Rcpp-0.9.3/Rcpp/inst/skeleton/yada.Rd only Rcpp-0.9.3/Rcpp/inst/unitTests/testRcppModule/R/Modules.R only Rcpp-0.9.3/Rcpp/inst/unitTests/testRcppModule/man/yada.Rd only Rcpp-0.9.4/Rcpp/ChangeLog 55 Rcpp-0.9.4/Rcpp/DESCRIPTION 10 Rcpp-0.9.4/Rcpp/NAMESPACE 29 Rcpp-0.9.4/Rcpp/R/Rcpp.package.skeleton.R 11 Rcpp-0.9.4/Rcpp/R/loadRcppModules.R only Rcpp-0.9.4/Rcpp/inst/CITATION only Rcpp-0.9.4/Rcpp/inst/NEWS 17 Rcpp-0.9.4/Rcpp/inst/doc/Makefile 2 Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-FAQ.pdf binary Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-FAQ/Rcpp-FAQ.Rnw 153 +- Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-extending.pdf binary Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-extending/Rcpp-extending.Rnw 2 Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-introduction.Rnw 734 ++++------ Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-introduction.pdf binary Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-modules.pdf binary Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-modules/Rcpp-modules.Rnw 36 Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-package.pdf binary Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-package/Rcpp-package.Rnw 4 Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-quickref.pdf binary Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-quickref/Rcpp-quickref.Rnw 34 Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-sugar.pdf binary Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-sugar/Rcpp-sugar.Rnw 2 Rcpp-0.9.4/Rcpp/inst/doc/Rcpp-unitTests.pdf binary Rcpp-0.9.4/Rcpp/inst/doc/Rcpp.bib 73 Rcpp-0.9.4/Rcpp/inst/doc/unitTests-results/Rcpp-unitTests.html 18 Rcpp-0.9.4/Rcpp/inst/doc/unitTests-results/Rcpp-unitTests.txt 40 Rcpp-0.9.4/Rcpp/inst/include/Rcpp/config.h 2 Rcpp-0.9.4/Rcpp/inst/skeleton/zzz.R 11 Rcpp-0.9.4/Rcpp/inst/unitTests/runit.Module.client.package.R 27 Rcpp-0.9.4/Rcpp/inst/unitTests/runit.Vector.R 18 Rcpp-0.9.4/Rcpp/inst/unitTests/testRcppModule/DESCRIPTION 2 Rcpp-0.9.4/Rcpp/inst/unitTests/testRcppModule/NAMESPACE 3 Rcpp-0.9.4/Rcpp/inst/unitTests/testRcppModule/R/zzz.R only Rcpp-0.9.4/Rcpp/inst/unitTests/testRcppModule/src/rcpp_module.cpp 6 Rcpp-0.9.4/Rcpp/inst/unitTests/testRcppModule/src/stdVector.cpp 18 Rcpp-0.9.4/Rcpp/inst/unitTests/testRcppModule/tests/modules.R 21 Rcpp-0.9.4/Rcpp/man/Rcpp-package.Rd 6 Rcpp-0.9.4/Rcpp/man/loadRcppModules.Rd only Rcpp-0.9.4/Rcpp/src/r_cast.cpp 9 43 files changed, 647 insertions(+), 696 deletions(-)As always, even fuller details are on the Rcpp Changelog page and the Rcpp page which also leads to the downloads, the browseable doxygen docs and zip files of doxygen output for the standard formats. A local directory has source and documentation too. Questions, comments etc should go to the rcpp-devel mailing list off the R-Forge page
A maintenance release 0.2.3 of
RProtoBuf
is now on CRAN.
RProtoBuf
provides
GNU R
bindings for
the
Google Protobuf data encoding
library used and released by Google.
The NEWS file entry follows below:
0.2.3 2011-04-12
o Protect UINT64 and INT64 with '#ifdef RCPP_HAS_LONG_LONG' which
itself is valid with either g++ <= 4.4, or newer versions if the
-std=c++0x is used
o The documentation Makefile now uses the $R_HOME environment variable
o The documentation Makefile no longer calls clean in the all target
And courtesy of
CRANberries, here is
the
diff to the previous release 0.2.2:
As always, there is more information at the RProtoBuf page which has a draft package vignette, a 'quick' overview vignette and a unit test summary vignette. Questions, comments etc should go to the rprotobuf mailing list off the RProtoBuf page at R-Forge.Diff between RProtoBuf versions 0.2.2 dated 2011-01-12 and 0.2.3 dated 2011-04-13 RProtoBuf-0.2.2/RProtoBuf/inst/doc/RProtoBuf-quickref.Rnw only RProtoBuf-0.2.3/RProtoBuf/ChangeLog 23 RProtoBuf-0.2.3/RProtoBuf/DESCRIPTION 8 RProtoBuf-0.2.3/RProtoBuf/R/with.R 12 RProtoBuf-0.2.3/RProtoBuf/cleanup 3 RProtoBuf-0.2.3/RProtoBuf/inst/NEWS 10 RProtoBuf-0.2.3/RProtoBuf/inst/doc/Makefile 42 RProtoBuf-0.2.3/RProtoBuf/inst/doc/RProtoBuf-quickref.pdf binary RProtoBuf-0.2.3/RProtoBuf/inst/doc/RProtoBuf-unitTests.pdf binary RProtoBuf-0.2.3/RProtoBuf/inst/doc/RProtoBuf.pdf 1267 +++++----- RProtoBuf-0.2.3/RProtoBuf/inst/doc/unitTests-results/RProtoBuf-unitTests.html 20 RProtoBuf-0.2.3/RProtoBuf/inst/doc/unitTests-results/RProtoBuf-unitTests.txt 14 RProtoBuf-0.2.3/RProtoBuf/src/extractors.cpp 44 RProtoBuf-0.2.3/RProtoBuf/src/mutators.cpp 55 RProtoBuf-0.2.3/RProtoBuf/src/wrapper_FieldDescriptor.cpp 24 15 files changed, 819 insertions(+), 703 deletions(-)
LIBGL_DRIVERS_PATH=/usr/lib32/dri. You can either put it in front
of every Wine invocation or you can export the variable in a specific shell
session (don't export it globally), in which you'll run Wine or other programs
needing the 32 bit libraries.
#614805 should be fixed automatically by the next ia32-libs upload, if it
contains a version of Mesa containing Git commit
cdd1912f.
My brother was so kind to improve the looks of the Pornyness Calculator which I recently presented here a small web application that tells you how porny a given word is, by comparing the filtered and the non-filtered Google Image search results. The new look is slightly unsuitable for work, so the plain old version is still available.
This went out to d-d-a a couple of days ago already but I figured that
this might be of interest here too:
The fourth Debian Groupware Meeting was held in the LinuxHotel,
Essen, Germany. This is a short summary of what happened during the
weekend:
As a followup action to my recent Talk about PyGI I now re-used my notes to provide some real wiki documentation.
It would be great if you could add package name info for Fedora/SUSE/etc., and perhaps add more example links for porting different kinds of software! Please also let me know if you have suggestions how to improve the structure of the page.
Next.