PickVids

Geo Carncross: How to program computers (kos)

Why it was recommended

For those who want to see it in action, there's actually a talk about kOS on YouTube

Recommendationundecidabot · Original

What it covers

A 2014 talk by Geo Carncross (geocar) demonstrating kOS, a minimalist operating system and programming environment built around the k language, with early screenshots. It is for someone who wants the derivation, proof, or implementation detail.

Video details

Channel
Justin Cormack
Length
15 min 52 sec
Year
2014
Open on YouTube

More in this topic

Hear about newly added videos?

Optional. We store this email and nothing else. It does not create an account.