There is a distinctly higher concentration of ThinkPads vs. MacBooks than on non-functional conferences.
It looks like English teachers have some kind of a conspiracy to lead their students astray.
I remember clearly a lesson where half of the class had to be taught to pronounce "data" as /ˈdeɪtə/ (first "a" like in "fate"). Everyone learned well, thanks to the famous lieutenant... and now it turns out about half of the native speakers naturally say /ˈdɑːtə/ (first "a" like in "cut").
And yesterday I learned the capital of the United Kingdom doesn't have to be /ˈlʌn.dən/ (first "o" like in "some") - saying just like everyone read it the first time in a textbook - /ˈlɔn.dən/ (both "o" sound the same) is also okay.
Will buy credit card sized sunscreen packets, to put into wallet just in case.
Sometimes you are solving a problem, whether by yourself or talking to someone, and realize you actually want to operate on a different meta level. For example:
If a problem is urgent, you focus on level one. However, once it's over, you want to revisit it and answer the other questions too.
Last week I've found myself twice having to bring the counterpart to the correct meta level. Once it was from "who is to blame" to "how to fix this" and once from "how to fix this" to "how to future-proof this".
I am not sure whether the "levels" actually have total ordering and aren't simply aspects. Anyway, it would be nice to be able to tell someone, "Hey, up one meta level" to quickly shift the discussion focus. (Of course, if they disagree, the whole discussion turns into a meta-discussion.)
P.S. "Who is to blame" is usually not the question to ask anyway.
P.P.S. "Gödel, Escher, Bach" is a good read. Even if some parts are outdated or wrong.
When did it absorb Agda?
test_graph.cpp:40:61: error: no match for 'operator<=' (operand types are 'Catch::STATIC_ASSERT_Expression_Too_Complex_Please_Rewrite_As_Binary_Comparison' and 'int')
Dear sir or madame,
Whenever I'm stirring tea or shaking a bottle of milk, the number of stirs is a power of two.
Finally, the blog is up and running. As usual, I fell through the gaps in the feature lists of pretty much everything. So here's a list of what I want:
All the static blog generators, by definition, get the last one wrong since they cannot even see your
Accept-Language header. So, even though very little is implemented of the other aspects, multiblog is released and powering this site.
Hopefully this even displays properly - I have not yet tested this in production at the moment I'm writing this.