|
The Arbitrum blockchain protocol started as a Princeton University research project, and has grown into a robust community hosting hundred of applications and over 600,000 monthly users. Along the…
Date
March 8th, 2023 Speaker
Ed Felten Department
CITP Location
Comp Sci 105
|
|
People assess effort in their everyday lives and such assessments may lead them to execute a task or avoid it. In this experiment, we studied effort assessments in a controlled setting using a…
Speaker
Temitope Oshinowo Department
Neuroscience
|
|
The Turing Machine Test: module proof for equivalence
Date
November 15th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
COS510 preview - Software Verification
Date
September 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Reasoning About Modular Programs: Part 2: Proving Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Generalizing Your Inductive Hypothesis
Date
August 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 4: Induction for Datatypes
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 3: Induction for Lists
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 2: Induction for Naturals
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Lecture 5 | Free Will Lecture Series | Old news to physicists. Descartes and Leibniz disproved. The Janus universe. Left/right symmetry. Satisfying Curie. Hidden variable theories. Random vs.…
Date
April 20th, 2009 Speaker
John Conway Department
Mathematics
|
|
Lecture 6 | Free Will Lecture Series | Consistency proofs and truth. Godel and truth. Determinism in philosophy and science departments. Scientific experiments and free will. Surprise and…
Date
April 27th, 2009 Speaker
John Conway Department
Mathematics
|