Geo Carncross: How to program computers (kos)

Justin Cormack · 6K views · 2014 · 15:52

Open on YouTube

Operating systems & kernelsProgramming language designtalk

Why Hacker News recommends it

HN commenters recommend it as a rare live look at kOS in action, and one that is fascinating and mind-bending.

What it is

A 2014 talk by Geo Carncross (geocar) demonstrating kOS, a minimalist operating system and programming environment built around the k language, with early screenshots.

Recommended by 2 HN commenters across 2 different months, 2015 to 2020.

What Hacker News said

Recommends beagle3 · 2017-07 · on “Red Programming Language 0.6.3”

Not very easy to come by, but if you haven't seen it yet, here's a presentation by geocar from 2014: [this video]

Recommends undecidabot · 2019-06 · on “Impending kOS (2014)”

For those who want to see it in action, there's actually a talk about kOS on YouTube: [this video] . The talk is by the fourth member, Geo, who also frequents HN (geocar).

Cites srpeck · 2015-04 · on “Sbase – Suckless unix tools”

Same on kOS. In case you had not seen them, early kOS screenshots: [LINK] Featured live in geocar's presentation: [this video] Also: - "Arthur wrote an SQL in 20 lines of K, and a dynamic window manager in around 60 of C...kOS's kernel is under 60 lines of C as well (including annotations; paging, filesystem, syscalls, etc)." ( [LINK] ) - "k includes language, files, procs, ipc, webserver, dbms, ..z includes graphics...edit.k is 1KB code + k/ztk(9KB)." ( [LINK] ) - "kOS doesn't use the Linux kernel code. It supports a few of the same syscalls: clone, execve(!), epoll_create, epoll_ctl, epoll_wait, dup2, stat, rename, unlink, getcwd, chdir, fstat, getdents, open, close, read, write, ftruncate, mma

Cites exikyut · 2018-02 · on “Tiny Core Linux”

What counts as contribution? [this video] seriously, seriously did my head in. I was certainly fascinated by this, but I fear that I'd contribute one character, accidentally put it in the wrong place, break the build for two days because nobody can figure out what broke, and then feel really bad for weeks afterwards. (Okay, okay, diffing... but still. I'd break my own build, at least.) I _am_ genuinely interested, and I'd LOVE to play with this, but I'm really, really conservative, and would far prefer to be a fly on the wall for a bit for a while first.

Cites exikyut · 2018-10 · on “Looking Glass, a revolutionary window manager revealed in 2006”

Lots and lots of transition animations, and potentially very poor UI/UX model. Demos are not (largely) interactive, so the demoscene is not known for collective skill designing GUIs. The most similar/related type of things I can think of that are interactive are crack/keygen programs that include chiptunes and maybe a cute graphic effect somewhere. For some time I've actually wanted to go track down such programs to analyze/compare/study the progression of design. Kind of difficult to do so though, for obvious reasons (unfortunately). But my impression from the one or two programs I do very vaguely remember using, half for entertainment purposes was that the UI design was sort of at the "48%

Cites kick · 2020-03 · on “Stages of denial in encountering K”

I'm very much a believer in concise notation (more than most people I've worked with), but the advantages of having a name that can be unambiguously spoken are large enough to outweigh a small constant factor. I don't believe this holds up to scrutiny. APL as a language was made to be spoken, and it seems to have succeeded in that. Alan Perlis briefly touched on that in a great paper,[1] and just about everyone who's worked with the language and its derivatives agrees that your statement isn't true. The idea that APL and its derivatives can't be "read and talked about" is frankly ignoring reality by any stretch of the imagination. For example, here's [2] [3] [4] some videos disproving your s

Cites kick · 2020-03 · on “Stages of denial in encountering K”

And specifically in that example, using an external database when defending the speed of the language kdb isn't written in an external language. Has he? Couldn't find anything (I'd like to see it, honestly, seems a fun experiment). Not entirely him, of course. There are a few remaining files on kparc.com: kparc.com/z/ kparc.com/$/ so on. Not free software, and they seem reluctant to show it off. 'geocar has done a live demo of a primitive version, though: [this video] (2014) The archive is more interesting: [LINK]