wiby  
Settings



tree-shaking, the horticulturally misguided algorithm — wingolog

http://wingolog.org/archives/2023/11/24/tree-shaking-the-horticulturally-misguided-algorithm

I think it’s that the programming models are just too different: the Web’s primary programming model is JavaScript, a language with dynamic typing and managed memory, whereas WebA

The Early Years of Academic Computing

https://www.cs.cornell.edu/wya/AcademicComputing/text/dtss.html

they created the Basic programming language and the Dartmouth Time Sharing System (DTSS). Kemeny later became President of Dartmouth and Kurtz was the first director of the Kiewit

Spin - Formal Verification

http://spinroot.com/spin/old.html

and Distributed Programming (the 2nd Edition , which is based on Spin), Ben-Ari, Addison-Wesley, 2006. Model Checking with Spin (in Japanese), by Shin Nakajima, Publ. Kindai Kagud
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.

Basic C

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

good language to start programming in. If you don't know any programming languages, don't start with C. Learn BASIC or Pascal first, to get down some essential programming theory

stardot.org.uk - Index page

https://www.stardot.org.uk/forums/index.php

May 01, 2026 6:03 pm programming bbc micro/electron/atom/risc os coding queries and routines Topics: 907 907 Topics 13127 Posts Last post RAM saving: Automatic deletio… by BigEd V
for users of Acorn computers and emulators

Xlib - C Language X Interface

https://www.x.org/releases/current/doc/libX11/libX11/libX11.html

Conventions within Xlib Programming Considerations Character Sets and Encodings Formatting Conventions 2. Display Functions Opening the Display Obtaining Information about the Dis

An Evaluative Study of Modern Technology in Education

http://papert.org/articles/AnEvaluativeStudyofModernTechnology.html

the concept of a programming language. The conceptual gap between, say, BASIC or APL and the languages used, for example, in Artificial Intelligence research is growing exponentia

Accessible Rich Internet Applications (WAI-ARIA) 1.0

https://www.w3.org/TR/2014/REC-wai-aria-20140320/complete

the spelling of "programming" to "programing", correcting the spelling of "assistive", and updating some references to latest versions. This document has been reviewed by W3C Memb

Don’t Use ISO/IEC 14977 Extended Backus-Naur Form (EBNF)

https://dwheeler.com/essays/dont-use-iso-14977-ebnf.html

a language (such as a programming language or complex data structure) it’s often helpful to use some kind of Extended Backus-Naur form (EBNF). Often people do a Google searc
A description of why you should not use ISO

What's New! January 1994

http://home.mcom.com/home/whatsnew/whats_new_0194.html

with all design, programming, contributions and artwork created by people from around the world, is now in the Web. Talk.Bizarre is on the Web, allowing all frequent posters, net.

http://www.call-with-current-continuation.org/microfleng/microfleng.html

http://www.call-with-current-continuation.org/microfleng/microfleng.html

level concurrent logic programming language descended from Prolog. A cross-compiler for UNIX-compatible systems is provided to translate programs written in FLENG into executable

ICPUG Electronic Journal - Article Number 6 - Volume 2 Number 6

http://www.icpug.org.uk/national/journals/jnls2000/ej600/art6.htm

EFFICIENCY OF iCab AND PROGRAMMING IN THE 80s by John A. Ardelli: gelfling@syd.eastlink.ca   Mario wrote: Makes me wonder how is it possible for an unknown German guy to crea


Find more...