3,863 karma · joined October 4, 2009
More important, everyone should read the paper being debated: Social Processes and Proofs of Theorems and Programs, Richard A. De Millo (Georgia Institute of Technology) and Richard J. Lipton and Alan J. Perlis (Yale University). This is one of my favorite CS papers because it exposes a lot of the mechanism behind making proofs that are convincing. What does it mean to say you have proven something.
An earlier compiler/interpreter in the same vein was written in 1971 for the Burroughs B6700 by Jim Ryan and described in the 3rd APL Conference.
One example: The Hacker's Conference ["Hackers"]. It is populated by a diverse group of people, . Attendees program, but I doubt that anyone of the attendees would call themselves a programmer except in jest.
Hackers do what they do. Some are mathematicians, some are musicians. At least one plays the organ. Others are into sex, drugs, and rock and roll. Some are spiritual, some agnostic. Some climb mountains. Others worry about how to planet-form the earth to recover from an over-abundance of CO2. Some have families and kids, some do not. Everyone is interested in everything. Hackers know things, observe, and learn things. They delight in sharing knowledge, particularly arcane knowledge. They are compassionate, ethical, and loving (although there are occasional exceptions).
If you are good at programming you are likely to be good at living an exploratory life. Be fearless and brash. Always wonder why and learn how.
If you have not used the system, spend some time and discover the gems that are included in its collection. https://archive.org Offer suggestions and get involved.
On July 15th I attended the Archive Open House and spoke with Brewster about the ambitious plans through the coming year and the next few decades. There is a lot that needs to be done.
The Archive needs your moral, political, and monetary support. To donate: https://archive.org/donate .
If you have not used the system, spend some time and discover the gems that are included in its collection. https://archive.org Offer suggestions and get involved.
On July 15th I attended the Archive Open House and spoke with Brewster about the ambitious plans through the coming year and the next few decades. There is a lot that needs to be done.
The Archive needs your moral, political, and monetary support. To donate: https://archive.org/donate .
Others have proposed similar projects and are actively developing sunshade technology.
https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&c...
Article I Section 8 | Clause 8 – Patent and Copyright Clause of the Constitution. [The Congress shall have power] “To promote the progress of science and useful arts, by securing for limited times to authors and inventors the exclusive right to their respective writings and discoveries.”
The Register in this article gets it wrong.
Under the Department of Commerce, the USPTO's core mission is to protect intellectual property, or IP. Creators file patent applications in hope of keeping competitors from copying their inventions without permission, and patents are supposed to allow businesses to thrive with their own novel designs while not stifling wider innovation.
The Register's focus is on the protection of intellectual property for businesses. The Constitution however mandates patents and copyright to promote the progress of science and useful arts [for the people] and offers a time-limited limited monopoly to inventors and authors as the means progress is promoted. The concepts are quite separate and distinct.
Every country needs to not buy Russian goods or goods produced by another sanctioned country.
Every country needs not to sell goods to Russia or another sanctioned country.
All financial and commercial interactions between the Russia and its sanctioned supporters needs to cease.
For example, that means China and India should not be buying Russian oil and other goods. If they do, then they too will be sanctioned.
Likewise, countries that sell goods to Russia or other sanctioned countries, for example, aircraft parts, should themselves be sanctioned.
Aggressive sanctions can cause significant damage, disruption, even casualties.
Are there realistic models of the various economies that can be used to forecast the impacts of various sanction strategies? Where is there data on the economies of Russia, the Ukraine, and their global trading partners adequate to estimate impacts of different strategies.