Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
2,314 results
We present applications of the Haskell library io-sim. This library provides type classes with concurrency primitives that can either ...
164 views
3 years ago
In this video, IOHK's Philipp Kant discussed the importance of formal methods and why we use this at IOHK. This video was ...
3,885 views
7 years ago
Start your journey into expertise now for FREE: https://liquidzulu.github.io Video courses available here: ...
4,415 views
2 years ago
Philipp Kant is Director of Formal Methods at IOHK. In this video, he explains what formal methods are and why they are important ...
3,573 views
Video from BOB 2017: http://bobkonf.de/2017/kant.html.
1,036 views
8 years ago
Philip Kant Designing Applications with Pluggable Layers Using Polymorphism The flagship product of IOHK is Cardano, the ...
83 views
6 years ago
Kant's Categorical Imperative explained: the moral philosophy that says you should NEVER lie, NEVER use people as means, ...
577 views
1 month ago
What if morality itself is the greatest illusion of all? In this video, we dive deep into Immanuel Kant's philosophy of morality, ...
2,829 views
4 months ago
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.
4,599 views
5 years ago
Join this channel to get access to perks: https://www.youtube.com/channel/UCabMx-URCjr2toe9wOE3Y-Q/join Like what you hear ...
1,621 views
Software development and software engineering could be the first major economically valuable capability that closes the gap ...
3,344 views
A presentation from the LibreOffice Conference 2016 in Brno, Czech Republic. Presenter: Pranav Kant Support LibreOffice: ...
199 views
9 years ago
... deals with the hypothetical imperative and the second deals with the categorical imperative kant then assumes that everybody ...
86 views
In this video I showcase a little pomodoro timer I wrote in rust. Originally meant as a polybar widget, polydoro also supports ...
325 views
5 months ago
Ethics by Prof. Vineet Sahu, Department of Humanities and Social Sciences, IIT Kanpur. For more details on NPTEL visit ...
4,222 views
10 years ago
Immanuel Kant published this essay in October 1786 and it was translated into English in 1798. He oriented himself in the dark by ...
256 views
4 years ago
Local LLMs in VS Code: Roo Code Setup with Ollama and Gemini AI Co-Hosting In this session, we explore the practical side of ...
237 views
In this video, we dive deep into Alasdair MacIntyre's After Virtue: A Study in Moral Theory, one of the most influential philosophical ...
91 views
1 year ago
When we introduce chance to famous thought experiments, do they change our moral decisions? In this podcast I compare the ...
896 views
Want to leave a tip or connect?: https://linktr.ee/letsfindoutasmr Description: Kant was one of the first to speculate on the nature of ...
33,609 views