The Interim Operating System

#1

Post by mntmn » Tue, Sep 15, 2015, 8:25 PM UTC

The Interim Operating System
interim.mntmn.com

Re: The Interim Operating System

#2

Post by [deleted] » Tue, Sep 15, 2015, 10:12 PM UTC

[deleted]

Re: The Interim Operating System

#3

Post by hga » Tue, Sep 15, 2015, 11:07 PM UTC

From the GitHub README:

Interim

Interim OS is a radical new operating system with a focus on minimalism. It steals conceptually from Lisp machines (language-based kernel) and Plan 9 (everything is a file system). It boots to a JITting Lisp-like REPL and offers the programmer/user the system's resources as filesystems.

Interim runs on:

  Raspberry Pi 2 (Broadcom VideoCore4/ARMv7, Bare Metal)
  Olimex Olinuxino (Freescale IMX233/ARMv5, Bare Metal)
  ARM5+ Linux (Hosted)
  Intel/AMD x64 Linux (Hosted)

Re: The Interim Operating System

#4

Post by coderjames » Wed, Sep 16, 2015, 12:32 AM UTC

This looks absolutely awesome. It is the kind of software I thought the RPi was originally going to ship with.

Re: The Interim Operating System

#5

Post by DavidSJ » Wed, Sep 16, 2015, 2:04 AM UTC

Paper here: http://dump.mntmn.com/interim-paper/

This seems motivated similarly to the OS Alan Kay's Viewpoints Research Institute is working on -- an OS a single person can comprehend.

Re: The Interim Operating System

#6

Post by ised » Wed, Sep 16, 2015, 3:27 AM UTC

I really enjoyed reading the paper.

The author's focus is in the right place (IMO).

Technical ability is perhaps common but having the right focus is, sadly, rare. It's the difference between someone who says they could do or did something many years ago versus the the person who actually does it, _now_, when it is sorely needed.

Computing today is in dire need of _true_ minimalism, IMHO.

Re: The Interim Operating System

#7

Post by jwatte » Wed, Sep 16, 2015, 4:06 AM UTC

One thing seems off in that description: If the end of the list is represented as pointer to pair of nils then the last element of a list cannot contain nil. The traditional LISP representation is simply a nil pointer for end. '() is nil (NULL in C.)

Re: The Interim Operating System

#8

Post by Sodel » Wed, Sep 16, 2015, 4:59 AM UTC

The is the operating system that I always wanted to make, without having the time or talent to pull it off. Just wonderful.

Re: The Interim Operating System

#9

Post by qnaal » Wed, Sep 16, 2015, 5:41 AM UTC

why do you have more pictures of your weird keyboard than screenshots from the device?

who photographs lcds honestly

Re: The Interim Operating System

#10

Post by fengor » Wed, Sep 16, 2015, 7:40 AM UTC

qnaal wrote: post #9

why do you have more pictures of your weird keyboard than screenshots from the device? who photographs lcds honestly

because the device is a RaspberryPI built into the keyboard?