Proper Treatment 正當作法

“Show me.”

My experience immigrating to a foreign place is inextricable from my experience growing up.

Whether and why and how to double-blind depends on what we’re trying to do together, what’s just, and what’s humanly achievable—all assumptions hard to pin down even if folks are willing.

A type checker that derails: ”show :: a -> String” “OK” ”x :: Int” “OK” ”show x” “but you can’t show functions” A proof checker that derails: “Birds fly.

Did you know that all ACM-sponsored conferences have an anti-harassment policy?

Thank you all for coming!

I want to discuss two moral aspects of how to talk about borderline people (e.g., whether to say “MTF” or “female”, “smart” or “good at math”).

Many people are riled up that Dart’s type system proudly features covariant generics and so “is unsound”.

”FREE BOOKS!

I was honored to be an invited speaker at the Workshop on Theory and Practice of Delimited Continuations last month.

There are two kinds of people, those whose utterances have truth conditions and those whose utterances are jokes.

Art Meets Science is an exhibition of quilts inspired by science.

This literate Haskell program translates Shriram Krishnamurthi, Matthias Felleisen, and Daniel P.

To: Lukhnos D.

You are responsible for not hitting whatever is in front of you, unless it is crossing against the light, unless it is stopped.

To: Mike Solomon Cc: Chris Barker, Jim Pryor Thanks for starting this great discussion, whether the start was this month, this year, or this millennium.

On 2010-12-18T06:36:54-0500, Jesse Howarth wrote: Say I have functions like so: let rec foo (f: 'a ->'a) (x: 'a) : 'a = f x and a (x: float) = x and b (x: string) = x and bar = foo a 1.0 and baz = foo b "a" I get an error on the last line that foo is ex…

In his paper ”The complexity of songs”, Knuth introduced the notion of the space complexity of a song and used it to account for music history.

Thanks to Adam Chlipala for teaching me how to prove vec2list2vec.

Oh, to hell with all this screwy business with savedefault in Grub 2.