Re: [racket-users] Racket machine image

2016-02-24 Thread Robby Findler 
http://everythingisaremix.info/watch-the-series/

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

Robby

On Wed, Feb 24, 2016 at 1:15 PM, Matthias Felleisen
 wrote:
>
> 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.
>
>
> On Feb 24, 2016, at 2:10 PM, Neil Van Dyke  wrote:
>
>> The possibility of reinvention and parallel invention... is of course still 
>> better than the opposite extreme. :)
>>
>> Neil V.
>>
>
> --
> 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+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Racket machine image

2016-02-24 Thread 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. 


On Feb 24, 2016, at 2:10 PM, Neil Van Dyke  wrote:

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

-- 
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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Racket machine image

2016-02-24 Thread Neil Van Dyke 
The possibility of reinvention and parallel invention... is of course 
still better than the opposite extreme. :)


Neil V.

--
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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Racket machine image

2016-02-24 Thread Matthias Felleisen 

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


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

> 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
> 
> On Wed, 24 Feb 2016 at 15:44, Matthias Felleisen  wrote:
> 
> 
> 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 :-)
> 
> 
> 
> 
> 
> 
> On Feb 24, 2016, at 8:51 AM, Stephen De Gabrielle  
> wrote:
> 
> > 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
> >
> >
> > --
> > 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+unsubscr...@googlegroups.com.
> > For more options, visit https://groups.google.com/d/optout.
> 

-- 
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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Racket machine image

2016-02-24 Thread 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
 wrote:
> 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
>
>
> On Wed, 24 Feb 2016 at 15:44, Matthias Felleisen 
> wrote:
>>
>>
>>
>> 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 :-)
>>
>>
>>
>>
>>
>>
>> On Feb 24, 2016, at 8:51 AM, Stephen De Gabrielle
>>  wrote:
>>
>> > 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
>> >
>> >
>> > --
>> > 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+unsubscr...@googlegroups.com.
>> > For more options, visit https://groups.google.com/d/optout.
>>
> --
> 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+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.



-- 
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 64:33

-- 
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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Racket machine image

2016-02-24 Thread 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

On Wed, 24 Feb 2016 at 15:44, Matthias Felleisen 
wrote:

>
>
> 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 :-)
>
>
>
>
>
>
> On Feb 24, 2016, at 8:51 AM, Stephen De Gabrielle 
> wrote:
>
> > 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
> >
> >
> > --
> > 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+unsubscr...@googlegroups.com.
> > For more options, visit https://groups.google.com/d/optout.
>
>

-- 
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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Racket machine image

2016-02-24 Thread 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 :-) 






On Feb 24, 2016, at 8:51 AM, Stephen De Gabrielle  
wrote:

> 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
> 
> 
> -- 
> 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+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
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+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.