-
A website for popular science
BBC Science is a very entertaining website, looks good, nice content. Usually the content does not go very deep, but it is still fun because it can point you in the direction of new things you find interesting. -
The art of blogging
I find blogging difficult! I mean it is difficult and takes discipline to produce something nearly every day, and that is necessary if you want to call it blogging to my opinion. Otherwise you are just posting a collection of articles on the internet. Nothing wrong with that, but that feels different to me than a blog.
A fun aspect of writing a blog is that it gives you the idea your ideas are being kept somewhere. It does not matter that nobody reads your blog. Also you have to like writing and you have to like seeing your writings on the internet, and I do. And I want to learn how to improve such writing, but the only way I see how I can do that is by just doing it, and reading other people's blogs. Reading other blogs is also fun, it makes you feel you get to know this person, and the anticipation is fun: How are they doing? I bet they will write about <your worldwide event here>, what do they think about it? -
Fun on BlogShares
I found the BlogShares game via cbbrowne here on Advogato. I have to put an image button
on my blog, this makes me the CEO of this blog. Looks like I can not put an image button here but maybe the BlogShares bot will still see this?? If you read this, and you know how I can put this "image button" on http://www.advogato.org/person/wspace/, please let me know!
-
Formal methods for OO languages?
First a question: Why would formal semantics for a programming language be useful? The answer (?): I want to be able to proof properties of a program written in that language. To proof things, I want to use mathematics, logic.
Ideally these properties are stated in the same programming language the program is written in. Is this a good approach? Is the set of programs that can be written *and* "proved" in this way large enough to be useful in the real world?
And there is the other way around: Given a set of desired properties I would like a program that leads from another set of properties to these desired properties. Would it be possible to automatically generate that program in a modern language like Python?
What kind of properties? Well, anything you can express in that language!