-
Late Ada Lovelace day
I missed it this year (sigh, timing so bad) but in recent years I've been reading concurrency, database, type theory and computational logic research, so here are some new rad women in CS I've been following:
- Christine Paulin-Mohring: one of the main forces developing Coq, winner of ACM software systems award. Possibly most influential / ( Read more... )
-
(Untitled)
If one is lucky, one's hair turns white early; if -- as in old Chinese poetry -- one is indulging oneself, one dreams of old age. For in old age the Whileawayan woman -- no longer as strong and elastic as the young -- has learned to join with calculating machines in the state they say can't be described but is most like a sneeze that never comes ( Read more... ) -
programming languages and empiricism
Yesterday I had a somewhat incoherent conversation / argument about programming languages, over dinner with friends, and I wanted to write a more coherent and less argumentative version of here for future reference.
( verbose argument follows ) -
the male (eval)
A couple days ago I saw this article: The Male Glance. It's pretty good. You should probably read it. I recommend reading all of it, and reading it slowly. Try to really hear what is being described. Do not rush to summarize and dismiss. It already condenses quite a lot. Discourse I've heard from women over the years, about gender-coding of work, ( Read more... ) -
"What next?"
Warning: this has turned out to be a .. long post.
Recently, on the twitters, Stephanie Hurlburt suggested that it'd be healthy for people who have been around the computering industry for a while (*cough cough*) to take some "audience questions" from strangers. I obliged, and someone asked me an interesting one:
"After memory safety, what do ( Read more... ) -
what we are about
In any case, we are using it [price control], and those who doubt that it is necessary or wise should remember that in the incommensurable task of governing this Republic, we often do in practice what we only later find to be justified in principle. [...] Even though we do not like what we are doing, we should understand what we are about.
--John ( Read more... ) -
belief
I saw a lot of people post an oatmeal comic in the past couple days. It's called "you're not going to believe what I'm about to tell you" and it makes a stab at discussing the so-called "backfire effect", the (well known) tendency for a person, when told some fact that contradicts their beliefs, to disbelieve the fact and increase their belief to ( Read more... ) -
Rust is mostly safety
Steve Klabnik recently writes that "Rust is more than safety"; in this post he argues that Rust's "marketing pitch" focuses too much on safety, and that that topic doesn't really resonate with everyone ( Read more... ) -
Today is remembrance day
On the radio today they were addressing the fact that young people today aren't taught enough Canadian History to be able to talk meaningfully about Canada's involvement in WWI. This is hilarious to me because of the unstated premise that any Young Person Today (or Old Person Today) has the slightest idea what WWI was about in the first place. Does ( Read more... ) -
etymology
From Utopian Socialism to Scoubi-Doggle.
Everything I'm about to tell you is true. Or mostly true.
( there is no way you will believe me )