Home Page - Metamathhttps://us.metamath.org/
people in different programming languages, reducing the risk of accepting an invalid proof. Metamath's fundamental operation (substitution) is easy to understand, even by those wh
Watch Roomhttp://linusakesson.net/scene/watchroom.php
Obfuscated programming Piano music Sane programming Scene productions SID related pages Software downloads Underhanded code Video clip
The Datassetteshttp://linusakesson.net/hardware/datassettes/index.php
Obfuscated programming Piano music Sane programming Scene productions SID related pages Software downloads Underhanded code Video clip
Peter Neumann's Home Pagehttps://www.csl.sri.com/users/neumann/
Multics also had multiprogramming, multiprocessing, multiple protection domains, and other forms of multiplexing.) I had a minor role in the Multics input-output design, heavily i
The Anatomy of a Search Enginehttp://infolab.stanford.edu/~backrub/google.html
(both human and programming), vocabulary (email addresses, links, zip codes, phone numbers, product numbers), type or format (text, HTML, PDF, images, sounds), and may even be mac
Guitar Slinger Reconstructedhttp://www.linusakesson.net/music/guitar-slinger/index.php
Obfuscated programming Piano music Sane programming Scene productions SID related pages Software downloads Underhanded code Video clip
The Impossible Bottlehttp://linusakesson.net/games/the-impossible-bottle/index.php
Obfuscated programming Piano music Sane programming Scene productions SID related pages Software downloads Underhanded code Video clip
Building software for yourself with Linus Lee (Changelog Interviews #455)https://changelog.com/podcast/455
typed functional programming language called Ink that he used to write his full text personal search engine called Monocle . Linus is focused on writing software that solves his o
Today we're talking to Linus Lee about the practice of building software for yourself. Linus has several side projects we could talk about, but today's show is focused on L
Digital Equipment Corporation PDP 11/20 used in the FOSDIC systemhttp://www.retrotechnology.com/pdp11/FOSDIC.html
investigation required programming the PDP-11 for full document reading plus that for bar recognition. Pictured at the film scanner is Charles Gordon, an engineer who worked with
Web CD DVD - Frequently asked questions / FAQ - HyperPublish create CD catalogue Webhttp://www.visualvision.com/create_catalogs_cdroms_web_sites/cd_dvd_builder_software-00002f.htm
page number. See your programming environment manual to see how to call an HTML Help topic by Topic ID. What if I want to call context-sensitive Help (i.e. I want to
This page is about games> <
Fourmilog: None Dare Call It Reasonhttps://www.fourmilab.ch/fourmilog/
using the Literate Programming methodology with the nuweb system. Posted at 16:38 Saturday, July 31, 2021 Flashback Version 1.8 Update Released I have just posted an update, versi
Linuxhttps://www.billdietrich.me/Linux.html
learning software and programming : Since Linux has an open-source orientation, it's far easier to see how an application or a library or OS module works, than in Windows or Mac.
Linux operating system basics, parts, myths, and truths
Find more...