Petrina Binney 🌈📚🌲 · @petrinabinney
786 followers · 886 posts · Server home.social

Published, 1995

⭐ ⭐ ⭐ ⭐ ⭐

John: Sandi and I made breakfast together. Cooking on board is a contact sport and we're now in the premier league. With our extra layers of clothing we bounce against each other constantly while a wide strap keeps us within the confines of the galley.

'Tomatoes?'

For the full review, hit www.petrinabinney.com/2023/04/05/book-review-island-race-by-john-mccarthy-and-sandi-toksvig/

#bookworm #booklove #readmore #bookreview #islandrace #johnmccarthy #sanditoksvig

Last updated 2 years ago

The Metal Dog ✅🤘 · @TheMetalDog
528 followers · 2687 posts · Server mastodon.social
Steph Mok · @EcoActivist
12 followers · 245 posts · Server econtwitter.net
Steph Mok · @EcoActivist
7 followers · 77 posts · Server econtwitter.net

Looking forward to listening to the whole of this programme presented by on the theme of
featuring one of my favourite sculptors
bbc.co.uk/sounds/play/b01rqgyn

#johnmccarthy #pieta #anthonygormley

Last updated 3 years ago

bs2 · @bsmall2
195 followers · 3346 posts · Server mstdn.jp

... Church switched to the closest thing [to the caret ^], an uppercase lambda, Ax(x + x). The A was easily confused with other symbols, so eventually the lowercase lambda was substituted... was a student of Church's at Princeton, so when McCarthy invented in 1958, he adopted the .
now back to for ??
(define-syntax ^
(make-rename-transformer #'λ)) ; or ; #'lambda
((^ (x y) (expt x y)) 3 4) ; 81

#racket #CaretNotation #notation #AlonzoChurch #lambdaNotation #lisp #johnmccarthy

Last updated 3 years ago