Viewing profile — FranklinChen

Huh, I haven't found the weights either.

Whoa, Liboff, that book... I only vaguely remember it now (took QM in 1988). I took "math for mathematicians" (Math 25) instead of "math for physicists" (Math 22?), but remember my…

There's also a 2024 edition https://github.com/blanchette/interactive_theorem_proving_20...

The Incredible Proof Machine for learning various logics: http://incredible.pm/

More precisely: -- Left reduce type Reducer a r = r -> a -> r -- Here's where then rank-2 type is needed type Transducer a b = forall r . Reducer a r -> Reducer b r

After I dropped out of a theoretical physics Ph.D. program a long time ago, I decided to try to become a computer programmer. I had not taken a single computer science course in co…

I'm early in the stages of learning Clojure, so here's what I've done so far and what I plan to continue doing. - I recently joined a local Clojure group on meetup.com and started …

Exactly what I was saying in my blog post: that it's all OK, and everyone should just get along already.

I still believe that people love or hate CoffeeScript mainly because of the differences in syntax: http://franklinchen.com/blog/2011/11/06/the-real-reason-for-...