Home Page - Metamathhttps://us.metamath.org/
(development repository) Description: Mel O'Cat and Mario Carneiro's mmj2 GUI Proof Assistant for the Metamath language. Includes thorough file validation and proof verification,
How To Become A Hackerhttp://www.catb.org/%7Eesr/faqs/hacker-howto.html
most of our software development time in the debugging phase. That's why any open-source author who's thinking will tell you that good beta-testers (who know how to describe sympt
Unconventional physicshttp://users.beotel.net/~gmarjanovic/
a "crossroad" in its development, where it finally HAS TO MAKE a decision in which direction it will go, what is crucial for the future life on the Earth."
Attempt to unify particle and radiation form of matery
* arachnoid.comhttps://arachnoid.com/
Glass. Discusses developments in virtual reality. Why are computers so hard to use? Article: Why are computers so hard to use? Discusses history, current technology, consequences.
A site for people who think. Intellectual resources, programming, astronomy, science, mathematics, Java
<![CDATA[Interesting Thing of the Day]]>https://feedpress.me/InterestingThingOfTheDay
anything else, held up development. Many Venetians did not want to believe their city was in imminent danger—and even to the extent that they did, there was tremendous disagreemen
The Pornographic Conspiracyhttps://rense.com//general86/porno.htm
can affect the natural development of a child's brain. Of course it can! Statistics show that the primary consumers of pornography are boys between the ages of 12 and 17 years. In
MicroMac 90MHz Carrera040 Acceleratorhttps://www.micromac.com/products/90mhz_carrera040.html
publishing and Web page development. Break the Speed Limit: The 90MHz Carrera040 is the first90MHz 68040 accelerator on the market to bring you the fastestacceleration at a highly
/retro/ - Y2K - Page 1https://trashchan.xyz/retro/index.html
after five years of development by the Belgian company Hyperion Entertainment under license from Amiga, Inc. for AmigaOne registered users. https://en.wikipedia.org/wiki/AmigaOne
1990s and 2000s Nostalgia
Peter Neumann's Home Pagehttps://www.csl.sri.com/users/neumann/
of Computer Software Development and Use: Zen and the Art of Computing, Theory and Practice of Software Technology, D. Ferrari, M. Bolognani, and J. Goguen (editors), North-Hollan
Is the barcode The Mark of the Beast 666?https://www.av1611.org/666/barcode.html
Tracking. A fascinating development took place recently. On March 2, 1999, patent 5,878,155 was issued to Houston inventor Thomas W. Heeter described as a "Method for verifying hu
Is the barcode The Mark of the Beast 666? What does the Bible REALLY say about the Mark of the Beast 666? www.av1611.org
Theora.org :: news - Theora, video for everyonehttps://www.theora.org/news/
and Theora, exciting development possibilities such as SVG desktops or annotated media will also be possible, creating new ways of interacting with video online. The adoption rate
https://www.rfc-editor.org/rfc/rfc3023.txthttps://www.rfc-editor.org/rfc/rfc3023.txt
in Appendix A. As XML development continues, new XML document types are appearing rapidly. Many of these XML document types would benefit from the identification possibilities of
Find more...