Search for tag: "programming"

Butler College Residential College Experience - Families Weekend

Families of first-year Butler College students had the opportunity to sit in on a panel with staff and students and ask questions about what it's like living on Princeton's campus.

From  Butler Butler College Office 0 likes 36 plays

Butler College Families Welcome Webinar

The staff of Butler College at Princeton introduces themselves and answers any questions that families have to ask.

From  Butler Butler College Office 0 likes 79 plays

CITP Seminar: Juan Gilbert – Can Voters Detect Ballot Manipulations with a Transparent Voting Machine?

Touch-screen ballot-marking devices (BMDs) produce paper ballots that are counted by optical-scan voting machines and can be recounted by hand. If the BMD is hacked or misprogrammed so that it prints…

From  CI Center for Information Technology Policy 0 likes 52 plays

21-02-parallel-prefix-scan

Parallel Prefix Scan

From  Daniel Macleod 0 likes 229 plays

Effective ML

Yaron Minsky guest lecture in Princeton COS 326 Functional Programming, November 5, 2020

From  Andrew Appel 0 likes 94 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod 0 likes 139 plays

Minors Policy

Eric Hamblin and Killian Kueny will present on the Supplemental Guidance to the Policy for Programs Involving Minors and discuss the best practices for hosting virtual events with minors. We will be…

From  ces Conference and Event Services 0 likes 26 plays

cos326-2020-21-01-parallel-collections

Parallel Sequences

From  Daniel Macleod 0 likes 240 plays

cos326-2020-18-01-parallelism-future

Parallelism I

From  Daniel Macleod 0 likes 204 plays

cos326-2020-01-01-intro

Welcome and Introduction

From  Andrew Appel 0 likes 329 plays

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

From  Daniel Macleod 0 likes 222 plays

cos326-2020-16-01-mutation

Mutation

From  Daniel Macleod 0 likes 177 plays

cos326-2020-08-05-proofs-programming-languages

Did I Get it Right? Part 5: Proofs About Programming Languages

From  Daniel Macleod 0 likes 148 plays

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

From  Daniel Macleod 0 likes 249 plays

Community Action 2020: Education and Youth Mentorship Partner Interviews

Community Action Fellow Emily Perez '23 brings together leaders with Big Brothers, Big Sisters, HomeFront Tutoring and College Prep, Trenton Arts at Princeton, and In the Circus of Humanity with…

From  Gwen McNamara 0 likes 65 plays

Community Action: Engagement 101

Community Action Program Coordinator Maggie Hussar leads Engagement 101, a workshop to prepare first-year students at Princeton University for Community Action.

From  Gwen McNamara 0 likes 311 plays