Search for tag: "cons"

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 on January 29th, 2021 0 likes 10 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod on November 15th, 2020 0 likes 242 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod on September 16th, 2020 0 likes 131 plays

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

From  Daniel Macleod on August 21st, 2020 0 likes 216 plays

cos326-2020-16-01-mutation

Mutation

From  Daniel Macleod on August 21st, 2020 0 likes 170 plays

cos326-2020-11-01-computability

Computability

From  Daniel Macleod on August 16th, 2020 0 likes 173 plays

cos326-2020-08-03-induction-lists

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

From  Daniel Macleod on August 16th, 2020 0 likes 193 plays

cos326-2020-04-03-poly-ho

Polymorphism

From  Daniel Macleod on August 16th, 2020 0 likes 263 plays

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

Poly Ho!

From  Daniel Macleod on August 14th, 2020 1 likes 289 plays

cos326-2020-04-01-c-rant

C Rant

From  Daniel Macleod on August 14th, 2020 0 likes 200 plays

cos326-2020-03-02-lists

Thinking Inductively

From  Daniel Macleod on August 14th, 2020 0 likes 337 plays