If you find PARC interesting, and especially if you're interested in symbolic computation, I can highly recommend digging as deep as you can possibly stomach into the FGCS:
As a public research initiative, pretty much everything was published when the initiative was completed. PIMs are absolute engineering marvels. The ICOT had command of an army of the absolute best talent in the entire country, and unified them towards a goal of pure exploratory research with no market pressure, with all the excesses of 1980s Japan.
"If you really want to great phenomenal items here is the plan:
- enter a market
- become a monopoly
- use those monopoly profits to fund R&D/building items of incredible quality"
A recent example of that is Apple TV. Apple makes so much money that they can fund the creation of incredibly high quality shows with basically minimal advertising.
A great tech book on symbolic computers in general and Lisp machines, is Peter Kogge's 1991, "The Architecture of Symbolic Computers". I believe new efforts by people like Yann LeCun will counter the "LLMs or bust" monoculture along with SOC/ASICs, in-memory compute, neuromorphic chips, dataflow, optical/analog hybrids , etc. that will bring a healthy correction or alternatives to the Von Neumann architecture.
"Residential programming" isn't it similar to interepreter!! Difference I can think of is it can completely rewrite something instead of updating or extending it. ex. rewrite the existing function instead of re-defining it.
Increasingly, I think that an agent (and I) would work much better in a malleable, notebook-like, inspectable program, than it would with its current file-based “edit and re-run” primitives.
“Marimo pair” (built into their notebook-like primitive) is an attempt at this. And they have program introspection tools built in.
I also think that Glamorous Toolkit (https://gtoolkit.com/)
might be a similar live environment, but I haven’t investigated it too much other than reading about it.
Is anyone else familiar with “modern” attempts at this?
Love the "Stop Writing Dead Programs" talk - and of course "Inventing on Principle" by Bret Victor is required viewing for anyone that hasn't seen it yet.
https://youtu.be/PUv66718DII
It turned out in practice that a Lisp Machine was basically a Lisp interpreter implemented in hardware. A better and much more pragmatic solution was to compile Lisp to efficient machine code and then run it on any traditional CPU. Which is what we do today.
15 comments
[ 3.4 ms ] story [ 41.5 ms ] threadhttps://www.airc.aist.go.jp/aitec-icot/ICOT/HomePage.html
As a public research initiative, pretty much everything was published when the initiative was completed. PIMs are absolute engineering marvels. The ICOT had command of an army of the absolute best talent in the entire country, and unified them towards a goal of pure exploratory research with no market pressure, with all the excesses of 1980s Japan.
I was really excited about this initiative at the time, just starting my computer science undergrad degree.
Hardware that ran Prolog as close to bare metal as possible.
Thanks for the reminder. 40 years ago.
https://en.wikipedia.org/wiki/TRON_project
"If you really want to great phenomenal items here is the plan:
- enter a market
- become a monopoly
- use those monopoly profits to fund R&D/building items of incredible quality"
A recent example of that is Apple TV. Apple makes so much money that they can fund the creation of incredibly high quality shows with basically minimal advertising.
0 - https://www.tiktok.com/@rorysutherlandclips/video/7314765561...
Wonderful for Larry et.,al. to keep it going as open source.
Increasingly, I think that an agent (and I) would work much better in a malleable, notebook-like, inspectable program, than it would with its current file-based “edit and re-run” primitives.
“Marimo pair” (built into their notebook-like primitive) is an attempt at this. And they have program introspection tools built in.
I also think that Glamorous Toolkit (https://gtoolkit.com/) might be a similar live environment, but I haven’t investigated it too much other than reading about it.
Is anyone else familiar with “modern” attempts at this?
Glamorous Toolkit is the main one I have found, yah.
The TruffleSqueak demos are pretty cool: https://github.com/hpi-swa/trufflesqueak
Enso Analytics also runs on GraalVM: https://ensoanalytics.com/
Love the "Stop Writing Dead Programs" talk - and of course "Inventing on Principle" by Bret Victor is required viewing for anyone that hasn't seen it yet. https://youtu.be/PUv66718DII
Emacs not mentioned. It better have been.