Doug Orleans’ cute program to compute roots of quadratic equations:
(define (± x y)
(shift k (values (k (+ x y)) (k (- x y)))))
(define (quadratic-formula-roots a b c)
(reset (/ (± (- b) (√ (- (² b) (* 4 a c))))
(* 2 a))))
Doug Orleans’ cute program to compute roots of quadratic equations:
(define (± x y)
(shift k (values (k (+ x y)) (k (- x y)))))
(define (quadratic-formula-roots a b c)
(reset (/ (± (- b) (√ (- (² b) (* 4 a c))))
(* 2 a))))
If you wanted to learn about formalizing PL metatheory, you’d be hard pressed to find better teachers than Bob Harper or Stephanie Weirich. And if you wanted to reason about programs with ACL2, Pete Manolios is your man. Unfortunately for you, these folks teach at geographically diverse universities (not to mention your SAT [...]
Undoubtedly, my favorite poet is Charles Bukowski. Here is “16-bit Intel 8088 chip,” one of the few poems of his having to do with computers. I’m rather fond of it.
with an Apple Macintosh
you can’t run Radio Shack programs
in its disc drive.
nor can a Commodore 64
drive read a file
you have created on an
IBM Personal [...]