Search for tag: "t."

Far Beyond Mental Health: What the New Phone-Based Life is Doing to Human Development, Social Capital, and Democracy

Is the current wave of concern about smartphones…

From  Broadcast Broadcast Center Staff 0 likes 9 plays

The End of Free Speech is the End of Science with Jay Bhattacharya

On April 15, 2024, the James Madison Program…

From  James Madison Program James Madison Program 0 likes 149 plays

Anschutz Lecture: "Activism @ the Intersection of Race and Youth: Prarie View A &M University, Black Colleges and the Fight for Voting Rights" (11.9.23)

From  Broadcast Broadcast Center Staff 0 likes 5 plays

Whose Privileges? What Immunity? A Symposium for the Sesquicentennial of the Slaughter-House Cases

On September 16, 2023, Princeton…

From  James Madison Program James Madison Program 0 likes 49 plays

James Madison Program - "When Professions Go Woke, Can Dissenters Survive?" Annual Princeton University Reunions Event

Join Robert P. George, Director of the James…

+23 More
From  Broadcast Broadcast Center Staff 0 likes 301 plays

'Of course I shall defend you': Gene Andrew Jarrett on Paul Laurence Dunbar

On February 13th, 2023, Princeton…

From  James Madison Program James Madison Program 0 likes 31 plays

Losing Our Dignity

Annual Harold T. Shapiro Lecture on Ethics,…

From  James Madison Program James Madison Program 0 likes 91 plays

The Compleat Victory: Saratoga and the American Revolution

Please join us for a discussion between Professor…

From  Broadcast Broadcast Center Staff 0 likes 128 plays

What It Means to Be Human: The Case for the Body in Public Bioethics

O. Carter Snead, Professor of Law; Director, de…

+23 More
From  cduke 0 likes 154 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for…

+20 More
From  Daniel Macleod 0 likes 253 plays

cos326-2020-17-02-type-checking-implementation

Type Checking: Part 2: Ocaml Implementation

+20 More
From  Daniel Macleod 0 likes 141 plays

cos326-2020-17-01-type-checking-rules

Type Checking: Part 1: Formal Rules

+20 More
From  Daniel Macleod 0 likes 156 plays

cos326-2020-13-03-ho-rep-inv

Reasoning About Modular Programs: Part 3: More…

+20 More
From  Daniel Macleod 0 likes 230 plays

cos326-2020-10-01-generalized-induction-hyps

Generalizing Your Inductive Hypothesis

+20 More
From  Daniel Macleod 0 likes 228 plays

cos326-2020-08-04-induction-datatypes

Did I Get it Right? Part 4: Induction for…

+20 More
From  Daniel Macleod 0 likes 186 plays

Jefferson's Legal Commonplace Book Symposium: Keynote Address

From  Broadcast Broadcast Center Staff 0 likes 102 plays