8 ms·

Mezzano on Librebooted ThinkPads

226 points by _19qg 5y ago

7thaccount 5y ago
That's pretty cool. I like these little tiny OSs.
eggy 5y ago
I am playing with and learning April[1], a subset of APL that compiles to Lisp. It is a blast for me, because I had programmed a bit in Lisp in the 90s, and then I found J around 2011/12. I always loved Lisp, and I didn't really get into Clojure, although it is a nice language. I had heard of APL when I had my Commodore PET 2001 in 1977 and my Vic20 later, but I never got to play with it. Once I did back in 2015, and the APL characters resonated with me (hard to find keyboard input workarounds etc.) because I was free of the associations of ASCII and the symbols made sense as I learned it a bit in their graphic representation and function. I have dreamed of having a real, modern Lisp Machine, so maybe I can get some of that with Mezzano. I am not sure how hard or easy it would be for April's creator, Andrew Sengul (##phantomics) to swing that, but I would participate in a crowdsourcing of it (on The Framework notebook[2] would be the icing on the cake!). I don't know enough of Mezzano to say how vialbe it really is, but I am hoping! I didn't quite get April right away, but I am really starting to appreciate it (with Andrew's help, and the APL community). Andrew's 'Why April' section, poetic and seemingly hyperbolic, is ringing less hyperbolic and more true as I get to know this twisted marriage of PLs: Lisp's legacy, tons of libs, emacs/slime, debugging, and parentheses, yes those beautiful things, to handle all the "front end" programming you could ever need, to feed the array-munching and alchemy of APL. And what about Python? I refer all Pythonistas to take heed of their and MIT's sinful choice to worship the serpent and casting us out from the garden of Lisp! Just read Milton's Paradise Lost, Book X, around verse 550-ish ;) Machine learning which is heavily based on arrays or array math in their implementation, hence the popularity of libs to handle them like Pandas and NumPy (inspired by J, by the way. Ask Wes McKinney), has some nice nuggets or implementations of an ELM (Extreme Learning Machine) in J called 'JELM'[3], CNNs in APL[4] with some benchmarks, or getting APL into optimized GPU code via Futhark[5] and apltail[6]. And under some of those covers is Haskell as a treat! Ah, yes we live in interesting times! A link to an HN post in 2020 by Andrew: [0] https://news.ycombinator.com/item?id=24434717 https://news.ycombinator.com/item?id=24434717 [1] https://github.com/phantomics/april https://github.com/phantomics/april [2] https://frame.work/ https://frame.work/ [3] https://github.com/peportier/jelm https://github.com/peportier/jelm [4] https://dl.acm.org/doi/10.1145/3315454.3329960 https://dl.acm.org/doi/10.1145/3315454.3329960 [5] https://futhark-lang.org/blog/2016-06-20-futhark-as-an-apl-compiler-target.html https://futhark-lang.org/blog/2016-06-20-futhark-as-an-apl-c... [6] https://github.com/melsman/apltail/ https://github.com/melsman/apltail/ Milton reference for the pious (with no parentheses;) or proper line breaks, sorry!) Now Dragon grown, larger then whom the Sun Ingenderd in the Pythian Vale on slime, Huge Python, and his Power no less he seem’d Above the rest still to retain; they all Him follow’d issuing forth to th’ open Field, Where all yet left of that revolted Rout Heav’n-fall’n, in station stood or just array, Sublime with expectation when to see In Triumph issuing forth thir glorious Chief; They saw, but other sight instead, a crowd Of ugly Serpents; horror on them fell, And horrid sympathie; for what they saw, They felt themselvs now changing; down thir arms, Down fell both Spear and Shield, down they as fast, And the dire hiss renew’d, and the dire form Catcht by Contagion, like in punishment, As in thir crime.
- Igelau 5y ago
  > and then I found J At first glance I took that to mean Visual J++
  - eggy 5y ago
    Oh, no! Bring back the MSJVM!
a0-prw 5y ago
Very cool. Did you film it with a helmet-mounted GoPro? ;)
- deleted 5y ago
  [deleted]
bananamerica 5y ago
Someone tell Stallman he can stop using a typewriter!
- deleted 5y ago
  [deleted]
- deleted 5y ago
  [deleted]
43g34g34 5y ago
All I want is a bare metal browser. I don't want an operating system and I don't want to run chromium OS. It would be great to see a bare metal browser that implements something like Gecko.
- pb82 5y ago
  Any forks of Firefox OS still alive? That comes closest.
  - spijdar 5y ago
    Unless GP's objection to chromium OS is entirely because it's chromium, I don't think Firefox OS would be any better as it's essentially the same thing, Firefox running on Linux (not on bare metal) Without writing the entire browser from scratch, I don't personally think there's much point to this. I suspect if you traced down the library/runtime requirements for Firefox and reimplemented them in a bare metal runtime, you'd end up with something remarkably complex and not much simpler than Linux + runtime in the end. This is assuming you want a full browser capable of everything Firefox and Chromium are, which includes things like WebGL. If you cut out components, you can definitely reach a point where a bare metal browser is sensible, the question is how much are you willing to sacrifice from "web standards" and how much work are you willing to do reimplementing a kernel, TCP/IP stack, device drivers, etc...
    - nine_k 5y ago
      I can imagine a unikernel running a browser. I cannot imagine a unikernel with all the drivers ready for a reasonable variety of PC hardware, unless it's able to reuse Linux or at least FreeBSD as a source of drivers.
  - toast0 5y ago
    KaiOS is alive and well. You can probably find a phone or two using it wherever they sell phones.
- marcodiego 5y ago
Arcsech 5y ago
This is really cool, I’ve been meaning to give Mezzano a shot sometime.
jmercouris 5y ago
This is fantastic! This is my ultimate dream!
Abhinav2000 5y ago
Can somebody elaborate what is Mezzano and how it compares to Linux?
- varjag 5y ago
  It's best described as completely something else than Linux. Mezzano is an OS and desktop environment written from scratch in Common Lisp (including a CL compiler). It is a hobbyist project with several contributors but with most of the work done by one prolific programmer.
  - Abhinav2000 5y ago
    I see, thanks
finder83 5y ago
This looks really cool! May have to try it in a virtualbox or something. Does anyone know of anything similar to this, but in an image like Pharo/smalltalk has? Would love a fully interactive Common Lisp environment, built in debugger, window system, etc (that's open source)
- 7thaccount 5y ago
  Isn't that the intent of slime + emacs?
  - pjmlp 5y ago
    Without the graphics part of Lisp Machines.
    - 7thaccount 5y ago
      As always, thanks for the helpful commentary! I recall watching some recent symbolics demos (someone got it running on a VM I think) and everything did look slick.
- xkriva11 5y ago
  There is a try to resurrect the Interlisp (https://interlisp.org/ https://interlisp.org/), but it is just for preserving the old Gem. Anyway, it is a true tragedy that Genera and Interlisp do not have any modern open successor that would coin and improve the great legacy like Smalltalk has in the form of Pharo.
  - lispm 5y ago
    One has SBCL as a high-performance implementation of Lisp and McCLIM as a portable version of the Genera user interface management system. https://common-lisp.net/project/mcclim/ https://common-lisp.net/project/mcclim/
bruce343434 5y ago
From the video, the OS seems to have some considerable input latency. How snappy does it feel to use?
- deleted 5y ago
  [deleted]
criddell 5y ago
Is this at all like Symbolics' Lisp Machines from the 80's?
- cardanome 5y ago
  Nope. It is a modern from scratch attempt at writing an OS purely in Common Lisp. It is still very far from being useful for daily use or even getting close to the development experience of an Lisp Machine but for an Hobbyist OS, it is already quite impressive. Most OS projects don't even make it to the runs on real hardware step.
- johnlorentzson 5y ago
  The only notable thing they share is that they were both written in Lisp.
laurensr 5y ago
I couldn't help but read this as lib-reboot but it should be read as libre-boot
- deleted 5y ago
  [deleted]
vadfa 5y ago
To the webmaster: the video is webm only so it does not work on iphones.
- HerrMonnezza 5y ago
  I can play it on Debian with Firefox, no problems.
  - jraph 5y ago
    Give these phones a break, it's ok for a prototype not to support every format under the sun, even the more mainstream ones. Your comparison with Debian, a well-finished product which gets a lot of money and dedicated human resources to be made polished as hell is a bit unfair. Keep in mind WebM is only a decade old, it takes time to support a patent-free video format that has readily available implementations, including BSD-licensed software ones. I'm sure Apple will support WebM when they find some money and finally manage to bring iPhones out of beta. Not every small phone producer making it is as big as Debian. Anyway, if the default browser does not support something it should be easy to install an alternative browser, dumb phones from fifteen years ago had this ability (remember Opera Mobile?) and I hear iPhones are a bit more advanced so I'd expect them to let you do that. What kind of web-capable half-modern device wouldn't anyway.
    - vadfa 5y ago
      You are right - Apple should bend the knee and support everything Google shoves into the web without question, just like Mozilla. That's working very well for them.
      - jraph 5y ago
        Come on, I don't like Google and their control on the web. I go out of my way to avoid them. But we cannot blame them for providing us with a decent video codec for which you don't need to pay patent fees. That was truly missing at the time. We had Theora but it is far from being as good. We needed a good open video format at the time. Apple is holding back on WebM support arguably because it has interests in forcing people to keep using patent-encumbered codecs from the MPEG-LA. They did nothing for pushing an open video format for the web, quite the contrary. They are still fighting against this. Apple is the one deserving to be pointed the finger at. Let's not divert the blame here. I hate Google but we should recognize the rare good things they occasionally do.
throwaway81523 5y ago
I keep seeing "Librebooted" and thinking it says "liberated". I guess in a certain way though, that is the same thing.
Decabytes 5y ago
How is it even possible to write a kernel in Common Lisp? I thought kernels didn’t have enough to support the run time environment of languages that weren’t C, C++, or Rust? Even Rust C++, and C require special compilation without parts of the Stdlib to running in the kernel.
- cyberbanjo 5y ago
  Common Lisp always struck me (not that I'm familiar) as a language lower than C, and higher than hell. Looks like high level assembler in places. https://github.com/froggey/Mezzano/blob/master/supervisor/x86-64/cpu.lisp https://github.com/froggey/Mezzano/blob/master/supervisor/x8...
  - jonjacky 5y ago
    It is. The expressions that look like this: (sys.lap-x86:xor32 :eax :eax) are assembly language statements.
  - lispm 5y ago
    LAP = Lisp Assembly Program
- pjmlp 5y ago
  Just like with Rust, C++, and C, you have a language subset for the kernel, and then enjoy the full language on userspace.

226 points by _19qg 5y ago

That's pretty cool. I like these little tiny OSs.

eggy 5y ago

I am playing with and learning April[1], a subset of APL that compiles to Lisp. It is a blast for me, because I had programmed a bit in Lisp in the 90s, and then I found J around 2011/12. I always loved Lisp, and I didn't really get into Clojure, although it is a nice language. I had heard of APL when I had my Commodore PET 2001 in 1977 and my Vic20 later, but I never got to play with it. Once I did back in 2015, and the APL characters resonated with me (hard to find keyboard input workarounds etc.) because I was free of the associations of ASCII and the symbols made sense as I learned it a bit in their graphic representation and function. I have dreamed of having a real, modern Lisp Machine, so maybe I can get some of that with Mezzano. I am not sure how hard or easy it would be for April's creator, Andrew Sengul (##phantomics) to swing that, but I would participate in a crowdsourcing of it (on The Framework notebook[2] would be the icing on the cake!). I don't know enough of Mezzano to say how vialbe it really is, but I am hoping! I didn't quite get April right away, but I am really starting to appreciate it (with Andrew's help, and the APL community). Andrew's 'Why April' section, poetic and seemingly hyperbolic, is ringing less hyperbolic and more true as I get to know this twisted marriage of PLs: Lisp's legacy, tons of libs, emacs/slime, debugging, and parentheses, yes those beautiful things, to handle all the "front end" programming you could ever need, to feed the array-munching and alchemy of APL. And what about Python? I refer all Pythonistas to take heed of their and MIT's sinful choice to worship the serpent and casting us out from the garden of Lisp! Just read Milton's Paradise Lost, Book X, around verse 550-ish ;) Machine learning which is heavily based on arrays or array math in their implementation, hence the popularity of libs to handle them like Pandas and NumPy (inspired by J, by the way. Ask Wes McKinney), has some nice nuggets or implementations of an ELM (Extreme Learning Machine) in J called 'JELM'[3], CNNs in APL[4] with some benchmarks, or getting APL into optimized GPU code via Futhark[5] and apltail[6]. And under some of those covers is Haskell as a treat! Ah, yes we live in interesting times! A link to an HN post in 2020 by Andrew: [0] https://news.ycombinator.com/item?id=24434717 https://news.ycombinator.com/item?id=24434717 [1] https://github.com/phantomics/april https://github.com/phantomics/april [2] https://frame.work/ https://frame.work/ [3] https://github.com/peportier/jelm https://github.com/peportier/jelm [4] https://dl.acm.org/doi/10.1145/3315454.3329960 https://dl.acm.org/doi/10.1145/3315454.3329960 [5] https://futhark-lang.org/blog/2016-06-20-futhark-as-an-apl-compiler-target.html https://futhark-lang.org/blog/2016-06-20-futhark-as-an-apl-c... [6] https://github.com/melsman/apltail/ https://github.com/melsman/apltail/ Milton reference for the pious (with no parentheses;) or proper line breaks, sorry!) Now Dragon grown, larger then whom the Sun Ingenderd in the Pythian Vale on slime, Huge Python, and his Power no less he seem’d Above the rest still to retain; they all Him follow’d issuing forth to th’ open Field, Where all yet left of that revolted Rout Heav’n-fall’n, in station stood or just array, Sublime with expectation when to see In Triumph issuing forth thir glorious Chief; They saw, but other sight instead, a crowd Of ugly Serpents; horror on them fell, And horrid sympathie; for what they saw, They felt themselvs now changing; down thir arms, Down fell both Spear and Shield, down they as fast, And the dire hiss renew’d, and the dire form Catcht by Contagion, like in punishment, As in thir crime.

Igelau 5y ago
> and then I found J At first glance I took that to mean Visual J++
- eggy 5y ago
  Oh, no! Bring back the MSJVM!

a0-prw 5y ago

Very cool. Did you film it with a helmet-mounted GoPro? ;)

deleted 5y ago
[deleted]

bananamerica 5y ago

Someone tell Stallman he can stop using a typewriter!

deleted 5y ago
[deleted]
deleted 5y ago
[deleted]

43g34g34 5y ago

All I want is a bare metal browser. I don't want an operating system and I don't want to run chromium OS. It would be great to see a bare metal browser that implements something like Gecko.

pb82 5y ago
Any forks of Firefox OS still alive? That comes closest.
- spijdar 5y ago
  Unless GP's objection to chromium OS is entirely because it's chromium, I don't think Firefox OS would be any better as it's essentially the same thing, Firefox running on Linux (not on bare metal) Without writing the entire browser from scratch, I don't personally think there's much point to this. I suspect if you traced down the library/runtime requirements for Firefox and reimplemented them in a bare metal runtime, you'd end up with something remarkably complex and not much simpler than Linux + runtime in the end. This is assuming you want a full browser capable of everything Firefox and Chromium are, which includes things like WebGL. If you cut out components, you can definitely reach a point where a bare metal browser is sensible, the question is how much are you willing to sacrifice from "web standards" and how much work are you willing to do reimplementing a kernel, TCP/IP stack, device drivers, etc...
  - nine_k 5y ago
    I can imagine a unikernel running a browser. I cannot imagine a unikernel with all the drivers ready for a reasonable variety of PC hardware, unless it's able to reuse Linux or at least FreeBSD as a source of drivers.
- toast0 5y ago
  KaiOS is alive and well. You can probably find a phone or two using it wherever they sell phones.
marcodiego 5y ago

Arcsech 5y ago

This is really cool, I’ve been meaning to give Mezzano a shot sometime.

jmercouris 5y ago

This is fantastic! This is my ultimate dream!

Abhinav2000 5y ago

Can somebody elaborate what is Mezzano and how it compares to Linux?

varjag 5y ago
It's best described as completely something else than Linux. Mezzano is an OS and desktop environment written from scratch in Common Lisp (including a CL compiler). It is a hobbyist project with several contributors but with most of the work done by one prolific programmer.
- Abhinav2000 5y ago
  I see, thanks

finder83 5y ago

This looks really cool! May have to try it in a virtualbox or something. Does anyone know of anything similar to this, but in an image like Pharo/smalltalk has? Would love a fully interactive Common Lisp environment, built in debugger, window system, etc (that's open source)

7thaccount 5y ago
Isn't that the intent of slime + emacs?
- pjmlp 5y ago
  Without the graphics part of Lisp Machines.
  - 7thaccount 5y ago
    As always, thanks for the helpful commentary! I recall watching some recent symbolics demos (someone got it running on a VM I think) and everything did look slick.
xkriva11 5y ago
There is a try to resurrect the Interlisp (https://interlisp.org/ https://interlisp.org/), but it is just for preserving the old Gem. Anyway, it is a true tragedy that Genera and Interlisp do not have any modern open successor that would coin and improve the great legacy like Smalltalk has in the form of Pharo.
- lispm 5y ago
  One has SBCL as a high-performance implementation of Lisp and McCLIM as a portable version of the Genera user interface management system. https://common-lisp.net/project/mcclim/ https://common-lisp.net/project/mcclim/

bruce343434 5y ago

From the video, the OS seems to have some considerable input latency. How snappy does it feel to use?

deleted 5y ago
[deleted]

criddell 5y ago

Is this at all like Symbolics' Lisp Machines from the 80's?

cardanome 5y ago
Nope. It is a modern from scratch attempt at writing an OS purely in Common Lisp. It is still very far from being useful for daily use or even getting close to the development experience of an Lisp Machine but for an Hobbyist OS, it is already quite impressive. Most OS projects don't even make it to the runs on real hardware step.
johnlorentzson 5y ago
The only notable thing they share is that they were both written in Lisp.

laurensr 5y ago

I couldn't help but read this as lib-reboot but it should be read as libre-boot

deleted 5y ago
[deleted]

vadfa 5y ago

To the webmaster: the video is webm only so it does not work on iphones.

HerrMonnezza 5y ago
I can play it on Debian with Firefox, no problems.
- jraph 5y ago
  Give these phones a break, it's ok for a prototype not to support every format under the sun, even the more mainstream ones. Your comparison with Debian, a well-finished product which gets a lot of money and dedicated human resources to be made polished as hell is a bit unfair. Keep in mind WebM is only a decade old, it takes time to support a patent-free video format that has readily available implementations, including BSD-licensed software ones. I'm sure Apple will support WebM when they find some money and finally manage to bring iPhones out of beta. Not every small phone producer making it is as big as Debian. Anyway, if the default browser does not support something it should be easy to install an alternative browser, dumb phones from fifteen years ago had this ability (remember Opera Mobile?) and I hear iPhones are a bit more advanced so I'd expect them to let you do that. What kind of web-capable half-modern device wouldn't anyway.
  - vadfa 5y ago
    You are right - Apple should bend the knee and support everything Google shoves into the web without question, just like Mozilla. That's working very well for them.
    - jraph 5y ago
      Come on, I don't like Google and their control on the web. I go out of my way to avoid them. But we cannot blame them for providing us with a decent video codec for which you don't need to pay patent fees. That was truly missing at the time. We had Theora but it is far from being as good. We needed a good open video format at the time. Apple is holding back on WebM support arguably because it has interests in forcing people to keep using patent-encumbered codecs from the MPEG-LA. They did nothing for pushing an open video format for the web, quite the contrary. They are still fighting against this. Apple is the one deserving to be pointed the finger at. Let's not divert the blame here. I hate Google but we should recognize the rare good things they occasionally do.

throwaway81523 5y ago

I keep seeing "Librebooted" and thinking it says "liberated". I guess in a certain way though, that is the same thing.

Decabytes 5y ago

How is it even possible to write a kernel in Common Lisp? I thought kernels didn’t have enough to support the run time environment of languages that weren’t C, C++, or Rust? Even Rust C++, and C require special compilation without parts of the Stdlib to running in the kernel.

cyberbanjo 5y ago
Common Lisp always struck me (not that I'm familiar) as a language lower than C, and higher than hell. Looks like high level assembler in places. https://github.com/froggey/Mezzano/blob/master/supervisor/x86-64/cpu.lisp https://github.com/froggey/Mezzano/blob/master/supervisor/x8...
- jonjacky 5y ago
  It is. The expressions that look like this: (sys.lap-x86:xor32 :eax :eax) are assembly language statements.
- lispm 5y ago
  LAP = Lisp Assembly Program
pjmlp 5y ago
Just like with Rust, C++, and C, you have a language subset for the kernel, and then enjoy the full language on userspace.