Search for tag: "cons"

The largest movable structures on Earth could save New York City from another Hurricane Sandy, but will they get built?, D.J. Rasmussen (2309867)

On the night of October 29th, 2012, Hurricane…

From  Research Princeton Research Day April 29th, 2021 3 likes 121 plays

Exploring Privacy Apps

(InfoSec 101) In celebration of International…

From  Stefanie Clerkin January 29th, 2021 0 likes 39 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for…

+20 More
From  Daniel Macleod November 15th, 2020 0 likes 255 plays

COS510-preview

COS510 preview - Software Verification

+20 More
From  Daniel Macleod September 16th, 2020 0 likes 149 plays

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

+20 More
From  Daniel Macleod August 21st, 2020 0 likes 233 plays

cos326-2020-16-01-mutation

Mutation

+20 More
From  Daniel Macleod August 21st, 2020 0 likes 183 plays

cos326-2020-11-01-computability

Computability

+19 More
From  Daniel Macleod August 16th, 2020 0 likes 191 plays

cos326-2020-08-03-induction-lists

Did I Get it Right? Part 3: Induction for Lists

+20 More
From  Daniel Macleod August 16th, 2020 0 likes 206 plays

cos326-2020-04-03-poly-ho

Polymorphism

+20 More
From  Daniel Macleod August 16th, 2020 0 likes 284 plays

cos326-2020-04-02-map-reduce-reasoning

Poly Ho!

+20 More
From  Daniel Macleod August 14th, 2020 1 likes 316 plays

cos326-2020-04-01-c-rant

C Rant

+20 More
From  Daniel Macleod August 14th, 2020 0 likes 217 plays

cos326-2020-03-02-lists

Thinking Inductively

+20 More
From  Daniel Macleod August 14th, 2020 0 likes 364 plays