/explore
|
You are here 
|
bookmaniac.org | ||
| | | | |
supercarnostalgia.com
We take a closer look at a 6500 mile 1997 McLaren F1 originally delivered to Oracle founder Larry Ellison which is heading to auction in San Francisco Bay |
|
| | | | | ||
| | | | |
arcadeblogger.com
Last year I wrote an article which looked at some of Atari's early industrial design concept drawings. I was looking again at that piece last night, and one picture jumped out at me: It's an intriguing idea and one that never really took off. This is what Atari called its 'Theatre' concept. Designed to maximise... |
|
| | | | | ||
| | | | |
surfingcomplexity.blog
The Axiom of Experience: the future will be like the past, because, in the past, the future was like the past. - Gerald M. Weinberg, An Introduction to General Systems Thinking Last Friday, the San Francisco Bay Area Rapid Transit system (known as BART) experienced a multiple hour outage. Later that day, the BART Deputy... |
|
| | | | | ||
| | | | |
github.com
The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. |
|
| | | |||
