ViewTube

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

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

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

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

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

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

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.

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

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

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

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

Want to leave a tip or connect?: https://linktr.ee/letsfindoutasmr Description: Another exploration in the command prompt in ...

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

Philipp Kant Formally Specifying Blockchain Protocols using the Psi Calculus Blockchains are distributed systems, with actors that ...

Blockchains, with their primary focus on decentralization, open participation, and resilience, inherently lack efficiency, scalability, ...

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

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

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

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

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