Racket machine image

[Stephen De Gabrielle]

Hi,
Has anyone ever done a racket machine image like:
• Mirage https://mirage.io
• LING/Erlang on Xen http://erlangonxen.org
• Rumprum https://github.com/rumpkernel/rumprun

I heard a podcast and recently saw an old presentation [1] that was interesting. I'm interested, but never had the motivation to do something like LinuxFromScratch.

Stephen


[1]https://www.slideshare.net/mobile/AnilMadhavapeddy/mirage-ml-kernels-in-the-cloud-ml-workshop-2010

[Matthias Felleisen]

In the late 90s, all of us had a FluxKit image on our laptops that would boot PLT Scheme on the raw machine. Matthew, with help from the Flux people, put it together in a relatively short time. I am sure more could have done with that, but we went in different directions.

At Strange Loop I saw a talk from the first group. It was mostly about the networking part of the OS, the TCP stack. Strangely enough, the presenter did not know anything about the Fox project at CMU, which had done all of this in the mid 90s, following the X project from UofA.

Computer science is the discipline of reinvention. Until everyone who knows how to write 10 lines of code has invented a programming language and solved the Halting Problem, nothing will be settled :-)

> --
> You received this message because you are subscribed to the Google Groups "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to racket-users...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

[Stephen De Gabrielle]

Thank you,
I thought you might be exaggerating until I saw the Fox Project web page
http://www.cs.cmu.edu/~fox/

Sadly I can't find fluxkit. It sometimes seems like history is written by Google and Wikipedia. Doing a literature review is expensive and time consuming.

> Computer science is the discipline of reinvention. Until everyone who knows how
>to write 10 lines of code has invented a programming language and solved the
>Halting Problem, nothing will be settled :-)

I don't blame them, this computing stuff is like magic and it's hard not to get excited.

Kind regards
Stephen

[Jay McCarthy]

It's not called fluxkit. It's OSkit but the Flux research group:

https://www.cs.utah.edu/flux/oskit/

It should still be in the configure script for Racket.

Jay

On Wed, Feb 24, 2016 at 12:33 PM, Stephen De Gabrielle

--
Jay McCarthy
Associate Professor
PLT @ CS @ UMass Lowell
http://jeapostrophe.github.io

"Wherefore, be not weary in well-doing,
for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
- D&C 64:33

[Matthias Felleisen]

I exaggerated a little bit as far as the Halting Problem is concerned.

[Neil Van Dyke]

The possibility of reinvention and parallel invention... is of course
still better than the opposite extreme. :)

Neil V.

[Matthias Felleisen]

Yeap.

And fwiw, I am perfectly aware that Edison did not invent the light bulb or, more generally, that re-invention (separated by decades and longer) is a cross-disciplinary phenomenon.

[Robby Findler]

http://everythingisaremix.info/watch-the-series/

Their title kind of casts a light on the way we judge research, eh?

Robby