Michael Rawson

http://rawsons.uk/michael/

fills in the easy parts as users write large computer-checked proofs. Unfortunately systems like Lean use complex dependent type theories as their foundation, which are very hard

An Experimental Time-Sharing System

http://larch-www.lcs.mit.edu:8001/~corbato/sjcc62/

mean using different parts of the hardware at the same time for different tasks, or one can mean several persons making use of the computer at the same time. The first meaning, of

Rolozo Tolkien

http://fan.theonering.net/~rolozo/cgi-bin/rolozo.cgi

been working on redoing parts of the website again. I revived the short URL scheme again and added random sampling of collections to the detailed image pages. Once again I've a hu
Rolozo Tolkien image gallery

milesstones

http://fredautley.com/milestones/

the Communists keep the parts of Manchuria they then occupied. The victorious offensive of the Nationalist forces was halted. In the interval that followed General Marshall and Pr

A Saint in a TV-Age Religion « Isegoria

http://www.isegoria.net/2010/03/a-saint-in-a-tv-age-religion/

food, water, spare parts, and replacements required to sustain a real offensive. Huge supply depots are efficient. They are also incredibly vulnerable targets,... Isegoria : It’s

Exarchia, Athens

https://www.athensguide.com/exarchia/

as the sum of its parts and Exarchia is an important part of the city, maybe more so today because of the unrest of the youth and their frustration with this mess of a world that
Is it right to portray Exarchia as an evil den of anarchists and criminals living in a neighborhood that is beyond the law, rather than just a really cool place that your parents w

Oligarchy is inherently leftist, just as monarchy is inherently rightist « Isegoria

http://www.isegoria.net/2023/04/oligarchy-is-inherently-leftist-just-as-monarchy-is-inherently-rightist/

food, water, spare parts, and replacements required to sustain a real offensive. Huge supply depots are efficient. They are also incredibly vulnerable targets,... Isegoria : It’s

100R — tools ecosystem

http://100r.co/site/tools_ecosystem.html

ever again. Combining parts to create a good-working computer was, at the time, our only viable option. We would keep using these laptops, repairing them anyway we can until we co

Patimokkha

https://the-wanderling.com/pindola2.html

are divided into two parts: one for the monks (Bhikkhu Patimokkha) and the other for the nuns (Bhikkhukni Patimokkha). It is a moot point whether the rules originally appeared wit

Introduction and TOC, A System of LogicJohn Stuart Mill

http://www.laits.utexas.edu/poltheory/mill/sol/

``vintage'' decade, but parts of it are pertinent to Mill's utilitarianism, so we have elected to include it here. The twelveth chapter of the sixth book on the ``Logic of Practic

EGYPTAIR 990 Introduction

https://www.multiultramedia.com/conspiracy/intro.html

conveniently left out parts of the CVR transcript and FDR data that were not supportive of their explanation ( 4 ). Even if the combination of data from the recorders dispels the

yozy//NET

https://yozy.net/

us start with the good parts: The toothbrush cleans teeth well. The best feature is that the pressure sensor not only indicates when too much pressure is applied (all decent elect

Find more...