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 classmates who took first year "math…
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 college. I was lucky that my parents…
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…
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-...
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 classmates who took first year "math…
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 college. I was lucky that my parents…
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…
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-...