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 Sandy ravaged New York City with water levels nearly 14 feet above normal. The storm’s flood claimed the lives of 44 New Yorkers, caused nearly $20…

From  Research Princeton Research Day 3 likes 110 plays

Exploring Privacy Apps

(InfoSec 101) In celebration of International Data Privacy Day (January 28) and in collaboration with the Center for Digital Humanities’ Privacy Initiative, the Information Security Office will…

From  Stefanie Clerkin 0 likes 37 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod 0 likes 250 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod 0 likes 141 plays

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

From  Daniel Macleod 0 likes 230 plays

cos326-2020-16-01-mutation

Mutation

From  Daniel Macleod 0 likes 181 plays

cos326-2020-11-01-computability

Computability

From  Daniel Macleod 0 likes 184 plays

cos326-2020-08-03-induction-lists

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

From  Daniel Macleod 0 likes 202 plays

cos326-2020-04-03-poly-ho

Polymorphism

From  Daniel Macleod 0 likes 278 plays

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

Poly Ho!

From  Daniel Macleod 1 likes 309 plays

cos326-2020-04-01-c-rant

C Rant

From  Daniel Macleod 0 likes 211 plays

cos326-2020-03-02-lists

Thinking Inductively

From  Daniel Macleod 0 likes 356 plays