FranklinChen

5 ms·

1.
by FranklinChen 3mo ago
Huh, I haven't found the weights either.
2.
by FranklinChen 2y ago
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 classmates who took first year "ma
3.
by FranklinChen 2y ago
There's also a 2024 edition https://github.com/blanchette/interactive_theorem_proving_20...
4.
by FranklinChen 8y ago
The Incredible Proof Machine for learning various logics: http://incredible.pm/
5.
by FranklinChen 12y ago
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
6.
by FranklinChen 15y ago
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 college. I was lucky that my parents allowed me to live at hom
7.
by FranklinChen 15y ago
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 attending meetings. - I know the main web sites for the lang
8.
by FranklinChen 15y ago
Exactly what I was saying in my blog post: that it's all OK, and everyone should just get along already.
9.
by FranklinChen 15y ago
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-...