As you may have seen on -dev, George Shapovalov is currently reorganizing the science project. There are a couple hundreds packages in sci-* but people, like myself, were a bit frightened at the idea of joining this project if only interested in a small subset of them. Well, it seems that “sub-herds” are being created. I jumped on the occasion and will deal with the math-proof herd. For now, it’s only sci-mathematics/coq and sci-mathematics/otter, which are both proof assistants. I plan to also add agda soon (my current ebuild has a sandbox violation, I guess I need to tweak the Makefile), as it is quite close to my research interest (Martin-L
Month: June 2006
My new shiny blog!
Thanks to beandog, I have now a nice blog hosted on planet.gentoo.org. This is a refreshing change from the blogspot one I used last year (it’s now dead but you can still find it at nattfodd.blogspot.com in case you desperately want to know about some internals of parrot).
I also seize the occasion to procrastinate, as I am supposed to finish packing and cleaning my appartment in Uppsala. Tomorrow, I’ll definitely move out of this great city and go to G