wiby  
Settings



Home Page - Metamath

https://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 Hacker

http://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,

Tom Murphy 7's Invincible Web Page

http://tom7.org/

of projects . I love programming languages to the max. For my research I worked on the ConCert Project , eventually designing and implementing a typed programming language for dis

Dave Raggett

https://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

Agile and the Long Crisis of Software

https://logicmag.io/clouds/agile-and-the-long-crisis-of-software/

o mean application programming first appeared in print in an article by statistician John W. Tukey four years later. By the mid-1960s, at least a hundred thousand people worked as
What is Agile? And where does it come from?

Computation isn't Consciousness: The Chinese Room Experiment

https://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

The Nascom Home Page

http://nascomhomepage.com/

his book 'Machine Code Programming for the Nascom 1 & 2'. 2011-12-28 Rebecca Yates contributed the manual for Dungeon Quest and the game Dungeon Quest . 2011-12-25 Rebecca Yates c

PET index - Transfer files to the PET and back

http://www.6502.org/users/andre/petindex/transfer.html

Hardware Extensions Programming Languages Open questions Specials SuperPET MMF9000 The 8096 and 8296 models The 8032-SK Internationalization Peripherals Disk drives Others Program
PET index - Transfer files to the PET and back

Voyager Spacecraft and Fortran 5

http://www.geonius.com/writing/other/voyager.html

ground system, programming in Fortran 77 on VAX/VMS minicomputers. The mission-control developers on the other half of our cubicle farm at NASA's Goddard Spaceflight Center progra
Voyagers NOT programmed in Fortran 5

Hackman's Realm

http://webarchive.me/geocities/SiliconValley/2072/

a very important programming language. Come here to find out why (and for a cute picture of some beans). JavaScript A language which people confuse with Java, even though it's not

Douglas W. Jones

http://homepage.divms.uiowa.edu/~jones/

, Spring 2004 Programming Languages CS:2820 Object Oriented Software Development , Spring 2021 CS:4980:1 Compiler Construction , Fall 2018 Research Areas Computers in Voting and E
Home page, Douglas W. Jones, Computer Science, University of Iowa

Documents, Links & Videos

https://www.ed-thelen.org/comp-hist/merged.html

A Brief History of Microprogramming , Mark Smotherman, Last updated: October 2012 ( local copy ) - corrective comment from Ignacio Menendez Computers available in era A SYMPOSIUM


Find more...