Spin - Formal Verificationhttp://spinroot.com/spin/old.html
group of the Computing Sciences Research Center, starting in 1980. The software has been available freely since 1991, and continues to evolve to keep pace with new developments in
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
Links to Norse Poetryhttp://www.odins-gift.com/wichtig/links.htm
by H. E. Marshall Science vs. Norse Mythology: On Creation - Cartoon by Tim Kreider . You'll love it. Trust me on this. Ratatosk - Beautiful one-page comic strip with a new myth,
Meaning and the Problem of Universalshttps://friesian.com/universl.htm
modern notion that real science is mathematical and that mathematics reveals the fundamental characteristics of nature. Mathematics cannot be thought of as "abstracted" from exper
Atheistic Theocracy « Isegoriahttp://www.isegoria.net/2009/01/atheistic-theocracy/
pretty well with hard science. Other than that, you have no rational reason to trust anything coming out of the Cathedral — that is, the universities and press. You have no more r
fitxhugh.htmhttps://www.ditext.com/woodward/fitzhugh.html
the "Dismal Science," its professors, and their miserable "laws of the shop-till." Carlyle's essay, "The Present Age," furnished the text and suggest
Fourmilog: None Dare Call It Reason: July 2018 Archiveshttps://www.fourmilab.ch/fourmilog/archives/Monthly/2018/2018-07.html
founded by a science fiction writer, is gaining adherents among prominent figures in business, entertainment, and technology. Its “scriptures” advocate escape from the
The Daily Judgehttp://www.thedailyjudge.com/id238.htm
professors, political science "experts," bar association types and judges who've benefited from the incumbent-skewed system. In short, my advice is to ignore the "e
http://www.combinedfleet.com/discovery.htmhttp://www.combinedfleet.com/discovery.htm
of Ocean and Earth Science and Technology (SOEST). Terry Kerby and staff at the Hawaii Undersea Research Lab or HURL (Steve Price and Chris Kelley) had previously identified numer
Notebookshttps://bactra.org/notebooks/
2026 07:23) Recommended Science Fiction (06 Mar 2026 07:19) "Attention", "Transformers", in Neural Network "Large Language Models" (06 Mar 2026 07:12) Information Theory and Large
Breaking News, news commentary and news chronicle. News1.net - News and Photographic image archive. Global news with an emphasis on New Yohttp://www.news1.net/april2021.htm
is "deranged pseudoscience". April 22, 2021 President Biden is planning to increase the capital gains tax by 50% for people who have greater than 1 million in Capital Ga
Stock photography. Stock video footage. Stock photography and photos for printing brochures, advertising, annual reports, and electronic use on websites and presentations. Stock f
Foundation Review - nuwen.nethttps://nuwen.net/seldon.html
his nonfiction was science writing, both in essays and in books. A number of his nonfiction books are listed on my Book Reviews page. There's plenty of information on Asimov on th
Leading Edge International Research Grouphttp://trufax.org/
follow". Science Taboos - Many of the social control taboos in our society have in fact been inherited from science - what's "real" and what is not, wha
Leading Edge International Research Group Home Page. Planetary and Social Paradigm Analysis and Discussion
Find more...