Home Page - Metamathhttps://us.metamath.org/
mathematics and computers, with references to other proof verifiers and automated theorem provers. The Metamath book is available in many forms: Metamath book in PDF format (free)
Introduction to TeXhttps://math.vanderbilt.edu/schectex/wincd/intro_to_tex.htm
available for Windows computers and how to use TeX on our department's Unix computers . Outline of this page: What is (La)TeX? The editing cycle Forward and inverse search How man
How to choose a browser for everyday use?http://digdeeper.love/articles/browsers.xhtml
sync to Chrome on other computers and devices. Synced data can include bookmarks, saved passwords, open tabs, browsing history, extensions, addresses, phone numbers, payment metho
How To Become A Hackerhttp://www.catb.org/%7Eesr/faqs/hacker-howto.html
first time-sharing minicomputers and the earliest ARPAnet experiments. The members of this culture originated the term ‘hacker’. Hackers built the Internet. Hackers made the Unix
* arachnoid.comhttps://arachnoid.com/
Telescope Learn how computers imitate nature. Unicode Character Search An easy-to-use Unicode character search page including emojis. 3D Printing for Builders How to print in dept
A site for people who think. Intellectual resources, programming, astronomy, science, mathematics, Java
Site Constructionhttps://ohio.araw.xyz/site/
low-end and/or old computers with slow and/or outdated software can visit with little to no hassle on their end; locations with poor internet connectivity can still browse the con
to oblique lair
Jean-Marc Valin — Publicationshttp://jmvalin.ca/publications.html
Estimation Problem , Computers and Electrical Engineering (Elsevier) , Vol. 36, No. 4, pp. 603-616, 2010. ( arXiv , demo ) J.-M. Valin, T. B. Terriberry, C. Montgomery, G. Maxwell
/retro/ - Y2K - Page 1https://trashchan.xyz/retro/index.html
DOS, most 1980's microcomputers have the same advantage. Actually my favorite is CP/M because it's so minimal! Web 1.0 and Web 1.5 Nostalgia General Fellow Time Traveler 09/09/201
1990s and 2000s Nostalgia
IRC: #boycottnovell @ FreeNode: November 14th, 2008http://techrights.org/o/2008/11/15/irc-log-14112008/
MinceR well, crApple "computers" are usually bought as room ornaments for gay people Nov 14 17:36 PetoKraus well nice... is there anything he could do? Nov 14 17:36 schestowitz Th
IRC Log for November 14th, 2008
I was wrong. CRDTs are the futurehttps://josephg.com/blog/crdts-are-the-future/
with my data, on my computers. Its about time my software reflected that relationship. I want my laptop and my phone to share my files over my wifi. Not by uploading all my data t
Netsukuku - P2P mesh routinghttp://netsukuku.freaknet.org/
a net is composed by computers linked physically each other, therefore it isn't build upon any existing network. Netsukuku builds only the routes which connects all the computers
Mesh routing protocol designed to handle a massive amount of nodes with very low resource consumption.
Quick Mention: Marketing Linux Not with FUDhttp://techrights.org/o/2007/11/18/fud-marketing-linux/
Gateway Node, Smol Computers, and Old E-mail Links for the day Links 24/04/2026: Intel Abandoning Computer Freedom (Even Further), Iran Reports That American Software and Hardware
Using FUD as a marketing tool. That is just what Novell does against competitors, such as Red Hat and others. This is well recorded.
Find more...