testing computational artifacts

People also watched

ICPC North America

0:28

MIT is first to solve problem C

4,505,596 views

5 years ago

JentGent

these compression algorithms could halve our image file sizes (but we don't use them) #SoMEpi

an explanation of the source coding theorem, arithmetic coding, and asymmetric numeral systems this was my entry into #SoMEpi.

18:23

these compression algorithms could halve our image file sizes (but we don't use them) #SoMEpi

347,628 views

1 year ago

The Science of Products

If I Started Product Design in 2025, I'd Do This

Want to get into product design but don't know where to start? May be " The Essential Product Design Framework" can help you.

12:07

If I Started Product Design in 2025, I'd Do This

79,127 views

7 months ago

udiprod

Proof That Computers Can't Do Everything (The Halting Problem)

If you disagree or get confused by this video, read this FAQ: https://www.udiprod.com/halting-problem/#faq Visit my home page: ...

7:52

Proof That Computers Can't Do Everything (The Halting Problem)

2,706,475 views

12 years ago

POPL 2019

Paper and supplementary material: https://popl19.sigplan.org/event/popl-2019-research-papers-gradual-type-theory • Abstract: ...

22:34

Gradual Type Theory

687 views

6 years ago

EU Code Week

Computational Thinking and problem solving, by Miles Berry

Computational Thinking can be taught across different disciplines and help us approach the solution of various problems, while it ...

7:25

Computational Thinking and problem solving, by Miles Berry

46,209 views

7 years ago

Computerphile

Tournament selection, roulette selection, mutation, crossover - all processes used in genetic algorithms. Dr Alex Turner explains ...

12:13

The Knapsack Problem & Genetic Algorithms - Computerphile

268,072 views

5 years ago

Next LVL Programming

What Are Artifacts In Software Development? Have you ever considered the role of artifacts in software development?

2:53

What Are Artifacts In Software Development? - Next LVL Programming

345 views

9 months ago

ACM SIGPLAN

[POPL'22] Type-Level Programming with Match Types

Type-Level Programming with Match Types Olivier Blanvillain, Jonathan Immanuel Brachthuser, Maxime Kjaer, and Martin ...

23:08

[POPL'22] Type-Level Programming with Match Types

260 views

3 years ago

WIRED

Artist Refik Anadol doesn't work with paintbrushes or clay. Instead, he uses large collections of data and machine learning ...

10:33

How This Guy Uses A.I. to Create Art | Obsessed | WIRED

2,582,302 views

6 years ago

ViewTube

People also watched