ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

2,314 results

BOBKonf
BOB 2022 Philipp Kant - Concurrent programs in Haskell

We present applications of the Haskell library io-sim. This library provides type classes with concurrency primitives that can either ...

31:33
BOB 2022 Philipp Kant - Concurrent programs in Haskell

164 views

3 years ago

Input Output Group
IOHK | Formal Methods - Philipp Kant

In this video, IOHK's Philipp Kant discussed the importance of formal methods and why we use this at IOHK. This video was ...

4:21
IOHK | Formal Methods - Philipp Kant

3,885 views

7 years ago

LiquidZulu
The Subjectivism of Kant

Start your journey into expertise now for FREE: https://liquidzulu.github.io Video courses available here: ...

15:42
The Subjectivism of Kant

4,415 views

2 years ago

Input Output Group
IOHK | Philipp Kant, Director of Formal Methods.

Philipp Kant is Director of Formal Methods at IOHK. In this video, he explains what formal methods are and why they are important ...

59:32
IOHK | Philipp Kant, Director of Formal Methods.

3,573 views

7 years ago

BOBKonf
BOB 2017 - Philipp Kant: Performance and Safety: an Example of using Liquid Haskell in the Real Worl

Video from BOB 2017: http://bobkonf.de/2017/kant.html.

50:16
BOB 2017 - Philipp Kant: Performance and Safety: an Example of using Liquid Haskell in the Real Worl

1,036 views

8 years ago

BOBKonf
BOB 2019 - Philip Kant, Designing Applications with Pluggable Layers Using Polymorphism

Philip Kant Designing Applications with Pluggable Layers Using Polymorphism The flagship product of IOHK is Cardano, the ...

47:15
BOB 2019 - Philip Kant, Designing Applications with Pluggable Layers Using Polymorphism

83 views

6 years ago

Drawn to Philosophy
Why Your Intuitions About Morality Are Wrong! (Kant’s Categorical Imperative)

Kant's Categorical Imperative explained: the moral philosophy that says you should NEVER lie, NEVER use people as means, ...

12:44
Why Your Intuitions About Morality Are Wrong! (Kant’s Categorical Imperative)

577 views

1 month ago

Think Mate
The Darkest Truth About Morality – Immanuel Kant

What if morality itself is the greatest illusion of all? In this video, we dive deep into Immanuel Kant's philosophy of morality, ...

25:48
The Darkest Truth About Morality – Immanuel Kant

2,829 views

4 months ago

makingthematrix
Programming with Functions #1 - Introduction

Dans ses écrits, un sage Italien Dit que le mieux est l'ennemi du bien. Voltaire This is the first of a series about FP basics in Scala.

11:04
Programming with Functions #1 - Introduction

4,599 views

5 years ago

Yaron Brook
The Nihilistic Morality of Immanuel Kant

Join this channel to get access to perks: https://www.youtube.com/channel/UCabMx-URCjr2toe9wOE3Y-Q/join Like what you hear ...

3:42
The Nihilistic Morality of Immanuel Kant

1,621 views

3 years ago

World Economic Forum
AI could reshape knowledge work in just the next 3 years. What leaders should do now

Software development and software engineering could be the first major economically valuable capability that closes the gap ...

25:48
AI could reshape knowledge work in just the next 3 years. What leaders should do now

3,344 views

4 months ago

LibreOffice - The Document Foundation
LibreOffice Conference 2016: Integrate your applications with LO using LOKDocView

A presentation from the LibreOffice Conference 2016 in Brno, Czech Republic. Presenter: Pranav Kant Support LibreOffice: ...

27:18
LibreOffice Conference 2016: Integrate your applications with LO using LOKDocView

199 views

9 years ago

Dr B.K. Dhar
Immanuel Kant: Hypothetical and Categorical imperative

... deals with the hypothetical imperative and the second deals with the categorical imperative kant then assumes that everybody ...

5:14
Immanuel Kant: Hypothetical and Categorical imperative

86 views

3 years ago

Vidhu Kant Sharma
The coolest Pomodoro timer in Arch Linux: Polydoro widget for polybar and its friends.

In this video I showcase a little pomodoro timer I wrote in rust. Originally meant as a polybar widget, polydoro also supports ...

17:40
The coolest Pomodoro timer in Arch Linux: Polydoro widget for polybar and its friends.

325 views

5 months ago

nptelhrd
Mod-01 Lec-08 Deontological theories  Immanuel Kant

Ethics by Prof. Vineet Sahu, Department of Humanities and Social Sciences, IIT Kanpur. For more details on NPTEL visit ...

38:14
Mod-01 Lec-08 Deontological theories Immanuel Kant

4,222 views

10 years ago

Age of Enlightenment
What Means, to Orient Oneself in Thinking by Immanuel Kant 1786

Immanuel Kant published this essay in October 1786 and it was translated into English in 1798. He oriented himself in the dark by ...

46:23
What Means, to Orient Oneself in Thinking by Immanuel Kant 1786

256 views

4 years ago

BioniChaos
Turn Research Papers into Web Apps with Roo Code and Local LLMs

Local LLMs in VS Code: Roo Code Setup with Ollama and Gemini AI Co-Hosting In this session, we explore the practical side of ...

8:47
Turn Research Papers into Web Apps with Roo Code and Local LLMs

237 views

1 month ago

Mente Artificial
I Tried Stoicism For A Month - Here’s What Happened

In this video, we dive deep into Alasdair MacIntyre's After Virtue: A Study in Moral Theory, one of the most influential philosophical ...

19:35
I Tried Stoicism For A Month - Here’s What Happened

91 views

1 year ago

MJ the Fellow Actuary
Ethics and Uncertainty Actuarial Podcast #2

When we introduce chance to famous thought experiments, do they change our moral decisions? In this podcast I compare the ...

15:49
Ethics and Uncertainty Actuarial Podcast #2

896 views

7 years ago

Let's Find Out
Kant's Island Universes | ASMR SCIENCE PHILOSOPHY (whisper)

Want to leave a tip or connect?: https://linktr.ee/letsfindoutasmr Description: Kant was one of the first to speculate on the nature of ...

47:55
Kant's Island Universes | ASMR SCIENCE PHILOSOPHY (whisper)

33,609 views

7 years ago