Resume for Donald Edward Hopkinshttps://www.donhopkins.com/home/resume.html
developers. Passions: Programming languages. Visual programming. Cellular automata. Educational software. User created content. Content creation tools. Online communities. Develop
Loper OS » "Finite Field Arithmetic." Chapter 1: Genesis.http://www.loper-os.org/?p=1913
subset of the Ada programming language -- the only currently-existing nonproprietary statically-compiled language which permits fully bounds-checked, pointerolade -free code and p
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
How To Become A Hackerhttp://www.catb.org/%7Eesr/faqs/hacker-howto.html
it used to include programming in machine language, and didn't until recently involve HTML. But right now it pretty clearly includes the following: 1. Learn how to program. This,
The Abort Guidance Systemhttp://www.ibiblio.org/apollo/yaAGS.html
Electronic Assembly Programming Reference , H. L. Stiverson, 7322.3-17, April 1966, 77 pages. This document is the principle (and almost complete) reference for understandin
Dave Raggetthttps://www.w3.org/People/Raggett/
for object oriented programming languages as well as from the tree regular expressions that form the basis for RelaxNG. The new approach is called Exert as a contraction for XML a
Internet Kermit Servicehttps://www.kermitproject.org/uiksd.html
these commands include programming constructions such as variables, arrays, looping and selection mechanisms, and local and remote procedure calls, thus allowing file transfer and
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
C++ Applicationshttps://www.stroustrup.com/applications.html
| TC++PL | Tour++ | Programming | D&E | bio | interviews | videos | quotes | applications | guidelines | compilers C++ Applications Modified May 13, 2021 Here is a list of systems
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
Computation isn't Consciousness: The Chinese Room Experimenthttps://lukesmith.neocities.org/vids/chinese_room
know anything about programming. And that all code can be essentially boiled down to the same few logical gates. +2 @npicini - 2025-05-28 10:47:43 The emergent/complexity presuppo
requiem for a stringref — wingologhttp://wingolog.org/archives/2023/10/19/requiem-for-a-stringref
nature of encoding, programming languages should just use that. As a model for how strings are represented, array-of-codepoints is outdated, as indeed is UTF-16. Outdated doesn’t
Find more...