alankay1
Joined 10 years ago
Joined 10 years ago
I came up with the Smalltalk half-pager because John McCarthy had shown how to do it -- and because message-passing OOP can be a not too crazy perspective on Lisp (especially a variant of "apply", and especially if you use the FEXPR and closure ideas).
But I mostly think that "fractions as ratios" can be left until the child is older and has more chops for derivations.
The Greeks thought about these as different ways to measure intervals, and they worked out the idea of "common measure" as a good solution to dealing with these problems.
So what I actually said, is that doing it the way you are doing it will wind up with a game that is not successful or very playable.
Just why they misunderstood what I said is a bit of a mystery, because I spelled out what could be really good for the game (and way ahead of what other games were doing). And of course it would work on an Apple II and other 8 bit micros (Logo ran nicely on them, etc.)
The software nature of the device also needs to match up to human abilities and needs: so I always ask questions about the GUI, how does it help in learning itself and other things, what kinds of things can I see and contrast and compare, what kinds of things can I do by programming, what kinds of things can kids do by programming.
And so forth. What do you think?
Computing has augmented human intellect, but right now almost exclusively for scientists, engineers, the medical profession, and other professionals. The real computer revolution will happen when the general public are able to boost their own intellects internally and to boost their reach externally with the help of computers.
Getting fixated on a poor problem can mask the problems that need to be worked on. A big one is "real education". Another is "real governance and democracy".
An analogy is to the Kennedy moonshot, which set back space travel more than 50 years. Real space travel has to be done quite differently than just relying on chemical rocketry, and the better ways to do it were swamped by the "stunt" to this day.
Not understanding Hypercard was one of Apple's largest mistakes in the world of end-users. It was a real breakthrough in something that end-users could really handle and be usefully programmable by them. Besides not understanding its significance on the Mac, we (old Parc hands) pleaded until we were blue in the face to make HC the basis of a really good web browser (it was a great model of a symmetric author-consumer media tool). Missing the latter was a tragedy.
In the light of the first comment, we could then contemplate an end-user system that combined what was great about Hypercard, Smalltalk, and some other experience from the 80s (e.g. the use-cases from Ashton-Tate "Framework", etc.).
(Worth pondering this way of going about things.)
What was disappointing is that the market couldn't value personal computing, especially the general market. For example, the Lisa with its hard disk was really the better machine to be the flagship for Apple. In the early 80s it was priced at less than an average car -- ~$10K -- a mass market price if you could see that this would be your "information and speculation vehicle".
Instead, PCs could only be sold at consumer price levels, more or less as novelties and in business as spreadsheet machines -- and this forced the Mac to be much smaller (both in RAM and disk) so that it was more like a toy than a vehicle.
So, no, we (not I - I was part of a research community) did not underestimate the importance of economics. Note that my original Dynabook paper in 1972 said these would eventually be sold for the same price as color TV sets. But we did underestimate the ability of the early market to value computing.
The Peano axioms describe constraints for instances within a set. Is something already "there" just because we can test the constraints after it appears, or use them to make it?
The foundations of OMeta go way way back (starting with Meta II by Val Schorre ca 1964 -- and in the context of the many different approaches to parsing in the 60s). The modern addition to help make OMeta was the packrat parsing idea. It wouldn't be surprising if some Prolog lore wafted its way in, but I don't recall that any of the many parsing schemes that Prolog has been used for were in the conversations. One of the Ur-centers that most parsing theory has to contend with is "Earley Parsing". However, the idea that a dynamic proof can be used to parse goes very far back.