git @ Cat's Eye Technologies The-Glosscubator / master TOPICS.md
master

Tree @master (Download .tar.gz)

TOPICS.md @master — view markup · raw · history · blame

Topic Index

Collecting these bookmarks reveals there is a common topic structure to various things I've collected or written. This document begins to collate it and elaborate on it in the hopes of it one day becoming a common schema (with common "See also" links between topics, and other metadata) so that this information can be presented in a combined, navigable fashion or something.

TODO: Waste Management, Biology, Telephony

Vertical

  • Chrysoberyl entry
  • Bookmark (Internet resource)
  • Wikipedia article (CC BY SA 4.0)
  • StackExchange question/answer (CC BY SA)
  • Book (free online / archive.org borrowable / library borrowable / bookshop buyable)
  • Paper (free online / behind publisher firewall but with DOI or similar)

Horizontal

4-Dimensional Space

  • used-in: bookmarks
  • see-also: Mathematics, Philosophy, Physics

Works regarding the premise of physical space consisting of 4, rather than the commonly-assumed 3, dimensions.

6502

  • title: MOS 6502
  • used-in: bookmarks
  • see-also: Z80, x86, Retrocomputing, Commodore 64, VIC-20, Apple II
  • wikipedia: https://en.wikipedia.org/wiki/MOS_Technology_6502

Works regarding the MOS 6502 microprocessor, and programming in the machine language of same.

Abstract Algebra

  • used-in: bookmarks

Works regarding abstract algebra.

Artificial Intelligence

  • used-in: books, bookmarks

Works regarding the methods of designing and building systems which exhibit characteristics that people typically regard as "intelligent".

Agile Development

  • used-in: bookmarks
  • see-also: Software Engineering

Works regarding methodologies which are oriented towards maintaining a steady flow of delivery of increments of value to the end user of a service, even in the face of changing requirements.

Algebra

  • used-in: books

Works regarding the symbolic manipulation of expressions or equations as a means to simplifying them or solving them. Usually done with numeric expressions and variables representing unknowns.

Algebraic Logic

  • used-in: bookmarks
  • see-also: Logic
  • wikipedia: https://en.wikipedia.org/wiki/Algebraic_logic

Works regarding the subject of algebraic logic, that is, treating logical systems as abstract algebraic structures, with algebraic properties.

Algorithms

  • used-in: bookmarks
  • see-also: Computational Complexity
  • wikipedia: https://en.wikipedia.org/wiki/Algorithm

Works regarding algorithms.

Annuals

  • used-in: books

Particular books which are published once a year, usually composed around a particular theme or media franchise.

Apple II

  • used-in: bookmarks
  • see-also: Retrocomputing, 6502, BASIC
  • wikipedia: https://en.wikipedia.org/wiki/Apple_II

Works regarding the Apple II computer system, including its architecture, software and games available for it, and programming of it.

Applied Mathematics

  • used-in: books

Works regarding the application of mathematical ideas to practice in concrete areas such as engineering, meteorology, sociology, and so forth.

Astronomy

  • used-in: bookmarks
  • see-also: Physics

Works regarding the study of outer space and the objects found therein. May also include works on astrophysics.

Art

  • used-in: books

Works about art. (Constrast: not particular works of art.)

Attribute Grammars

  • used-in: bookmarks
  • see-also: PLDI, Formal Language, Compiler Construction, Parsing

Works regarding attribute grammars, a formalism which is based on context-free grammars and which adds the notion of attributes to the sentence fragments being parsed.

Automata

  • used-in: Chrysoberyl
  • see-also: Automata Theory

Particular individual automata, and works regarding these particular automata.

Automata Theory

  • used-in: books, bookmarks
  • see-also: Automata, Theory of Computation, Formal Language

Works regarding the theoretical study of automata. (Constrast: not particular automata.)

BASIC

  • used-in: bookmarks
  • see-also: Programming Languages, Retrocomputing, Apple II, Commodore 64, VIC-20, TRS-80

Works regarding the programming language BASIC.

Bioinformatics

  • used-in: bookmarks

Works regarding the application of information technology to biological science.

Business

  • used-in: books

Works regarding methods, culture, etc. used in the world of business.

Calculus of Constructions

  • used-in: bookmarks
  • see-also: Coq

Works regarding the the Calculus of [Inductive] Constructions.

Category Theory

  • used-in: bookmarks
  • see-also: Mathematics

Works regarding abstract nonsense.

Chaos Theory

  • used-in: bookmarks
  • see-also: Systems Theory, Numerical Analysis

Works regarding the tendency of some systems to be extremely sensitive to initial conditions and to exhibit behaviour which cannot be easily predicted.

Character Sets

  • used-in: bookmarks

Works regarding groupings of characters, that is glyphs, into what would be called (were they to consist only of letters), an alphabet; but because they contain other symbols (such as punctuation) too, they are called character sets. May also contain works on character encoding details, and on graphemics and graphetics.

Chemistry

  • used-in: books

Works regarding chemistry.

Closure Systems

  • used-in: bookmarks
  • see-also: Topology, Matroid Theory

Works regarding systems in mathematics and logic which involve a closure operator, which turns out to be an awful lot of them, once you start looking hard enough for them.

Combinatorics

  • used-in: bookmarks
  • see-also: Mathematics

Works regarding the branch of mathematics that is concerned with arrangements of elements and counting arguments.

Comics

  • used-in: books, bookmarks

Works which are regarded as comic strips and single-panel cartoons and comic books, including graphic novels.

Commodore 64

  • used-in: bookmarks
  • see-also: Retrocomputing, VIC-20, 6502, BASIC

Works regarding the Commodore 64 computer system, including its architecture, software and games available for it, and programming of it.

Compiler Construction

  • used-in: books, bookmarks
  • see-also: PLDI, Parsing

Works concerned with compiler technology (contrast: not particular compilers).

Computational Complexity

  • used-in: books, bookmarks
  • see-also: Theory of Computation

Works regarding computational complexity.

Computer Architecture

  • used-in: books

Works regarding how computer hardware is designed and arranged to build computing systems.

Computer Security

  • used-in: bookmarks

Works regarding how computers can be kept secure from cyberattacks, and primarily pertaining to how their software should be designed and constructed.

Computer Science

  • used-in: books

Works regarding Computer Science.

Constraint Programming

  • used-in: bookmarks
  • see-also: Logic Programming, Relational Programming

Works regarding programming by means of specifying constraints and having the programming language execution find solutions to those constraints.

Coq

  • used-in: bookmarks
  • see-also: Theorem Proving, Calculus of Constructions
  • wikipedia: https://en.wikipedia.org/wiki/Rocq

Works regarding the proof assistant Coq and its language Gallina.

Database Theory

  • used-in: books

Works regarding the theory of databases, including relational algebra.

Docker

  • used-in: bookmarks
  • wikipedia: https://en.wikipedia.org/wiki/Docker_(software)

Works regarding the software containerization tool known as Docker.

DOS

  • used-in: bookmarks
  • see-also: Retrocomputing
  • wikipedia: https://en.wikipedia.org/wiki/DOS

Works regarding the operating system DOS, including Microsoft's MS-DOS as well as clones such as PCDOS and FreeDOS.

Dafny

  • used-in: bookmarks
  • see-also: Programming Languages
  • wikipedia: https://en.wikipedia.org/wiki/Dafny

Works regarding Dafny, a programming language which supports formal verification by allowing invariants to be stated within the program.

Discrete Math

  • used-in: books

Works regarding discrete mathematics (combinatorics, mathematical logic, and so forth).

DOM

  • used-in: bookmarks
  • see-also: JavaScript, Web APIs
  • wikipedia: https://en.wikipedia.org/wiki/Document_Object_Model

Works regarding the Document Object Model, mostly as it pertains to JavaScript and HTML in the context of a web browser.

Electronics

  • used-in: books, bookmarks
  • see-also: Electronics Projects, Energy Management

Works regarding the science of electronics, the exploiting of electric charges as signal and control mechanisms.

Electronics Projects

  • used-in: Chrysoberyl, bookmarks
  • see-also: Electronics

Particular electronics projects. Contrast with electronics the subject.

Energy Management

  • used-in: bookmarks
  • see-also: Electronics

Works regarding energy storage, distribution, usage, and conservation, covering both technical aspects and policy aspects.

Engineering

  • used-in: books

Works regarding engineering topics.

Equational Logic

  • used-in: bookmarks
  • see-also: Logic, Term Rewriting, Universal Algebra
  • wikipedia: https://en.wikipedia.org/wiki/Equational_logic

Works regarding the subject of equational logic, that is, logical systems based on the properties of equivalence relations (reflexivity, symmetry, transitivity) and the rule of "replacing equals with equals".

Events

  • used-in: Chrysoberyl

Particular, chronologically-delimited social activities, usually of a collective and/or nominally competitive nature.

FoM

  • title: Foundations of Mathematics
  • used-in: bookmarks
  • see-also: Mathematics, Logic, Incompleteness

Works regarding the foundations of mathematics, including systems in which doing mathematics is possible, and the philosophical underpinnings of mathematics.

Forks

  • used-in: Chrysoberyl

Particular open-source projects which were derived from previous (generally open-source) projects, generally having an independent mandate and stewardship.

Formal Language

  • title: Formal Language Theory
  • used-in: bookmarks
  • see-also: Attribute Grammars, Parsing
  • wikipedia: https://en.wikipedia.org/wiki/Formal_language_theory

Works on the subject of formal language theory.

Formal Specification

  • used-in: books, bookmarks
  • see-also: Software Engineering, Logic, Refinement Calculus, Model Checking, Theorem Proving, TLA(plus)

Works on the subject of specifying the behavior of a system by formal means, that is to say, means which can be rigorously and unambiguously defined, and mechanically verified.

Formats

  • used-in: Chrysoberyl

Particular file formats that are not easily classifiable as programming languages, nor image formats, nor video formats.

Forth

  • used-in: bookmarks
  • see-also: Programming Languages

Works regarding the programming language Forth, include its philosopy and history.

Functional Programming

  • used-in: books, bookmarks
  • see-also: Lambda Calculus

Works regarding programming in a functional style, whether that be pure or impure, strictly typed or latently typed, combinatorial or applicative.

Game Assets

  • used-in: bookmarks
  • see-also: Games, Game Development

Particular freely-available assets (graphics, sound, etc.) that can be used in construction of video games and other computer games.

Game Development

  • used-in: books, bookmarks
  • see-also: Games, Game Design, Game Assets

Works regarding the art and science of developing video games.

Game Design

  • used-in: bookmarks
  • see-also: Games, Game Development

Works regarding the art and science of designing games, with an emphasis on video games, but not excluding computer games and other kinds of games.

Games

  • used-in: Chrysoberyl, bookmarks
  • see-also: Game Design, Game Development, Game Assets

Works that are particular games or are about particular games that don't have their own category.

Game Implementations

  • used-in: Chrysoberyl

Works that are particular implementations of games of which there can be multiple implementations (for example, "ports" of a video game to different systems).

Genetic Programming

  • used-in: bookmarks
  • wikipedia: https://en.wikipedia.org/wiki/Genetic_programming

Works regarding algorithms and computer processing techniques that proceed by evolutionary means, that is to say, the successive generation, mutation, and selection of programs.

Gewgaws

  • used-in: Chrysoberyl

Particular computer bagatelles.

Group Theory

  • used-in: bookmarks
  • wikipedia: https://en.wikipedia.org/wiki/Group_theory

Works pertaining to the mathematical study of groups, mathematical objects which capture a notion of reversibility.

HTML5 Installations

  • used-in: Chrysoberyl

Particular instances of computational things embedded in HTML5 pages and runnable in a web browser.

Haskell

  • used-in: bookmarks
  • see-also: Functional Programming, Programming Languages
  • wikipedia: https://en.wikipedia.org/wiki/Haskell

Works regarding the programming language Haskell, including not only the programming language itself, but also its ecosystem.

Image Formats

  • used-in: bookmarks
  • see-also: Video Formats

Works providing information about working with file formats that are used to represent digital images.

Incompleteness

  • used-in: bookmarks
  • see-also: FoM, Logic

Works regarding logical incompleteness.

JavaScript

  • used-in: bookmarks
  • see-also: Programming Languages, DOM, Web APIs, npm
  • wikipedia: https://en.wikipedia.org/wiki/JavaScript

Works regarding the programming language JavaScript. This means the programming language itself, and not its ecosystem.

Juvenile Fiction

  • used-in: books

.

Labyrinths

  • used-in: bookmarks
  • wikipedia: https://en.wikipedia.org/wiki/Labyrinth

Works regarding labyrinths and mazes, both particular labyrinths and mazes, or writings on the subject of labyrinths and mazes.

Lambda Calculus

  • used-in: bookmarks
  • see-also: Name Binding, Logic, Type Theory, Functional Programming
  • wikipedia: https://en.wikipedia.org/wiki/Lambda_calculus

Works regarding the lambda calculus, a logical system that was developed in the pursuit of generalizing the idea of a quantifier.

Language Implementations

  • used-in: Chrysoberyl

Particular implementations of particular defined languages, focussed on but not limited to programming languages.

Languages

  • used-in: Chrysoberyl

Particular individual defined languages, focussed on but not limited to programming languages.

Learn Programming

  • used-in: books

.

Linguistics

  • used-in: books, bookmarks

Works regarding the study of the human use of language. There may be an emphasis here on computational linguistics and/or natural language processing (NLP).

Lisp

  • used-in: bookmarks
  • see-also: Programming Languages, Functional Programming, Scheme
  • wikipedia: https://en.wikipedia.org/wiki/Lisp_(programming_language)

Works regarding the programming language Lisp.

Literature

  • used-in: books, bookmarks

Works of literature, which can be taken either generally to mean any written work, or narrowly to mean those written works which have elevated writing to an art form.

Literary Criticism

  • used-in: books

.

Logic

  • used-in: books, bookmarks
  • see-also: Modal Logic, Equational Logic, Algebraic Logic, Proof Theory, Lambda Calculus, FoM, Incompleteness

Works regarding the subject of logic, that is, the study of systems that allow deductions to be made, from some given positions, to obtain some further positions; a chain of such deductions being known as a proof.

Logic Programming

  • used-in: books, bookmarks
  • see-also: Prolog, Logic, Theorem Proving, Relational Programming, Unification

Works regarding the use of logic theorem proving techniques to execute computer programs.

Lua

  • used-in: bookmarks
  • see-also: Programming Languages
  • wikipedia: https://en.wikipedia.org/wiki/Lua

Works regarding the programming language Lua. This includes, not only the programming language itself, but also its ecosystem.

Macros

  • used-in: bookmarks
  • wikipedia: https://en.wikipedia.org/wiki/Macro_(computer_science)

Works regarding the facilities provided by programming languages to increase the terseness of expression by allowing expressions to be expanded from more abbreviated expressions.

Mathematics

  • used-in: bookmarks
  • see-also: FoM, Probability Theory, Combinatorics, Group Theory, Order Theory, Category Theory, Closure Systems, Topology, Matroid Theory, Numerical Analysis, Recreational Mathematics
  • wikipedia: https://en.wikipedia.org/wiki/Mathematics

Works on the subject of mathematics. Note that most such works can be found in a more specific sub-topic of this one.

Matroid Theory

  • used-in: bookmarks
  • see-also: Closure Systems
  • wikipedia: https://en.wikipedia.org/wiki/Matroid

Works on the study of matroids, a mathematical object which is in some sense a generalization of a matrix, and which in some sense generalizes the notion of linear independence.

Monads

  • used-in: bookmarks
  • see-also: Category Theory, Functional Programming, Haskell
  • wikipedia: https://en.wikipedia.org/wiki/Monad_(functional_programming)

Works about the mathematical construct, originally from category theory and in heavy use in functional programming, known as the monad.

miniKanren

  • used-in: bookmarks
  • see-also: Relational Programming
  • wikipedia: https://en.wikipedia.org/wiki/miniKanren

Works regarding the embedded relational programming language miniKanren.

  • used-in: bookmarks
  • see-also: Logic
  • wikipedia: https://en.wikipedia.org/wiki/Modal_logic

Works on the subject of modal logic, that is, systems of logic which capture the ideas of necessity and possibility, as considered under different possible interpretations or "possible worlds".

Model Checking

  • used-in: bookmarks
  • see-also: Logic, Formal Specification, Theorem Proving, TLA(plus)
  • wikipedia: https://en.wikipedia.org/wiki/Model_checking

Works regarding the study and application of the activity of checking that a (usually finite) model of a system meets a given specification.

Movies

  • used-in: Chrysoberyl

.

Musical Compositions

  • used-in: Chrysoberyl

.

Name Binding

  • used-in: bookmarks
  • see-also: Lambda Calculus, Theorem Proving

Works regarding the issues surrounding binding names to values. This includes Higher-Order Abstract Syntax (HOAS).

Narratology

  • used-in: books
  • wikipedia: https://en.wikipedia.org/wiki/Narratology

Works regarding the study of storytelling.

Nautilus

  • used-in: bookmarks
  • wikipedia: https://en.wikipedia.org/wiki/GNOME_Files

Works regarding the official file manager tool used in the GNOME desktop environment.

.NET

  • used-in: books

.

npm

  • used-in: bookmarks
  • see-also: JavaScript

Works regarding the npm package manager for JavaScript.

Numerical Analysis

  • used-in: bookmarks
  • see-also: Mathematics, Chaos Theory
  • wikipedia: https://en.wikipedia.org/wiki/Numerical_analysis

Works regarding the study of algorithms to compute approximate solutions to problems of mathematical analysis.

Order Theory

  • used-in: bookmarks
  • see-also: Mathematics
  • wikipedia: https://en.wikipedia.org/wiki/Order_theory

Works regarding the study of the intuitive notion of order, in a mathematical setting, using binary relations.

PLDI

  • title: Programming Language Design and Implementation
  • used-in: bookmarks
  • see-also: Type Systems, Partial Evaluation, Compiler Construction, Programming Languages, Attribute Grammars

Works regarding the design and implementation of programming languages.

Parsing

  • used-in: bookmarks
  • see-also: Formal Language, Compiler Construction, Attribute Grammars

Works regarding the study and implementation of techniques that assign grammatical categories to segments of a sequence of symbols.

Partial Evaluation

  • used-in: books, bookmarks
  • see-also: PLDI
  • wikipedia: https://en.wikipedia.org/wiki/Partial_evaluation

Works relating to partial evaluation, a technique for transforming programs into other programs by evaluating parts of them and leaving other parts unevaluated.

Pascal

  • used-in: bookmarks
  • see-also: Programming Languages, Retrocomputing
  • wikipedia: https://en.wikipedia.org/wiki/Pascal_(programming_language)

Works regarding the programming language Pascal (and, until such time as there are enough resources to justify having separate topic spaces for them, Modula-2 and Oberon-07 as well).

Pictures

  • used-in: Chrysoberyl

.

Philosophy

  • used-in: books, bookmarks
  • wikipedia: https://en.wikipedia.org/wiki/Philosophy

Philosophical works, which I am not going to venture to define further in this space.

Phraseology

  • used-in: bookmarks
  • wikipedia: https://en.wikipedia.org/wiki/Phraseology

Works regarding the study of (or collections of) fixed phrases with meaning distinct from their components.

Physics

  • used-in: bookmarks
  • see-also: Astronomy

Works regarding the study of the physical world and the rules by which it behaves. May also include works on astrophysics.

Platforms

  • used-in: Chrysoberyl

.

Politics

  • used-in: books

.

PostgreSQL

  • used-in: bookmarks
  • wikipedia: https://en.wikipedia.org/wiki/PostgreSQL

Works pertaining to the use and study of the open-source relational database software PostgreSQL (a.k.a. Postgres).

Probability Theory

  • used-in: books, bookmarks
  • see-also: Mathematics
  • wikipedia: https://en.wikipedia.org/wiki/Probability_theory

Works regarding the study of probability or likelihood, especially how these phenomena can be given a mathematical basis.

Programming Languages

  • used-in: books, bookmarks
  • see-also: BASIC, Dafny, Forth, Haskell, JavaScript, Lisp, Lua, Pascal, Prolog, Python, PLDI, Scheme, Shell Scripting

Works which are, or closely pertain to, individual particular programming languages. Contrast PLDI, which pertains to the study of programming languages as a subject.

Prolog

  • used-in: bookmarks
  • see-also: Logic Programming, Programming Languages
  • wikipedia: https://en.wikipedia.org/wiki/Prolog

Works regarding the logic programming language Prolog.

Proof Theory

  • used-in: bookmarks
  • see-also: Logic
  • wikipedia: https://en.wikipedia.org/wiki/Proof_theory

Works regarding the study of proofs as mathematical objects in their own right.

Psychology

  • used-in: books

.

Public Domain

  • used-in: bookmarks

Works that are either regarding the concept of the public domain, or are (collections of) works that are in the public domain.

Python

  • used-in: books, bookmarks
  • see-also: Programming Languages
  • wikipedia: https://en.wikipedia.org/wiki/Python_(programming_language)

Works regarding the programming language Python, including not only the programming language itself, but also its ecosystem.

Reactive Systems

  • used-in: bookmarks
  • see-also: Software Engineering

Works regarding the definition and construction of systems whose operational theory is based on the idea that the system reacts to events in its environment, usually in a soft real-time manner.

Recreational Mathematics

  • used-in: bookmarks
  • see-also: Mathematics

Works regarding mathematics pursued as a pastime.

Refinement Calculus

  • used-in: books, bookmarks
  • see-also: Logic, Formal Specification, Theorem Proving
  • wikipedia: https://en.wikipedia.org/wiki/Refinement_calculus

Works relating to refinement calculus, a framework for transforming specifications of programs into executable programs in a stepwise and formal fashion.

Relational Programming

  • used-in: bookmarks
  • see-also: miniKanren, Logic Programming, Constraint Programming

Works regarding programming using mathematical relations, usually as a sort of non-deterministic substitute for functions, so that there will not be a unique result of running a program, but rather a set of results, any of which would satisfy the program.

Retrocomputing

  • used-in: books, bookmarks
  • see-also: DOS, VIC-20, Commodore 64, Apple II, TRS-80, 6502, Z80

Works regarding historical computers and computing practices.

Scheme

  • used-in: bookmarks
  • see-also: Programming Languages, Functional Programming, Lisp
  • wikipedia: https://en.wikipedia.org/wiki/Scheme_(programming_language)

Works regarding the programming language Scheme, including not only the programming language itself, but also its ecosystem.

Sci-Fi

  • used-in: books

.

Shell Scripting

  • used-in: bookmarks
  • see-also: Programming Languages

Works regarding the construction and maintenance of scripts runnable by operating system shells, often used as "glue code".

Situationism

  • used-in: books

.

Software Engineering

  • used-in: books, bookmarks
  • see-also: Formal Specification, Reactive Systems, Agile Development
  • wikipedia: https://en.wikipedia.org/wiki/Software_engineering

Works regarding the study of how to build, maintain, and decomission defined systems which are composed primarily or entirely of software components.

Systems

  • used-in: books

.

Systems Theory

  • used-in: books, bookmarks
  • see-also: Chaos Theory
  • wikipedia: https://en.wikipedia.org/wiki/Systems_theory

Works regarding the study of the general properties of systems.

Term Rewriting

  • used-in: bookmarks
  • see-also: Equational Logic
  • wikipedia: https://en.wikipedia.org/wiki/Rewriting#Term_rewriting_systems

Works regarding the study of term rewriting systems.

Technologies

  • used-in: bookmarks

Works describing or showcasing particular technologies. (Constrast to the subject of technology in general.)

Texts

  • used-in: Chrysoberyl

.

Theorem Proving

  • used-in: books, bookmarks
  • see-also: Formal Specification, Coq

Works regarding the formal proving of theorems, and the mechanical implementation of such, especially (but not exclusively) as computer software.

Theory of Computation

  • used-in: books, bookmarks
  • see-also: Computational Complexity, Automata Theory, Formal Language

Works regarding theory of computation, meaning models of computation and the limits they counter. This includes computability theory, including decidable and undecidable problems, also known as the theory of recursive functions. Note that "big" classes such as primitive recursive functions are regarded as complexity topics rather than computability topics here.

TLA(plus)

  • title: TLA+
  • used-in: bookmarks
  • see-also: Formal Specification, Model Checking
  • wikipedia: https://en.wikipedia.org/wiki/TLA+

Works regarding the specification language TLA+ and its underlying logic.

Tools

  • used-in: Chrysoberyl

.

Topology

  • used-in: bookmarks
  • see-also: Mathematics, Closure Systems
  • wikipedia: https://en.wikipedia.org/wiki/Topology

Works regarding the study of properties of space, roughly speaking, independent of distance; the study of those properties that remain unchanged when continuously deformations are applied to the space.

TRS-80

  • title: Tandy TRS-80
  • used-in: bookmarks
  • see-also: Retrocomputing, BASIC

Works regarding the Tandy TRS-80 computer system (in particular the CoCo), including its computer architecture, software and games available for it, and programming of it.

Type Systems

  • used-in: bookmarks
  • see-also: PLDI, Type Theory

Works regarding the study and practice of assigning types (collections of constraints) to values as part of informatically processing those values, for example in a computer program.

Type Theory

  • used-in: bookmarks
  • see-also: Type Systems

Works regarding the formal study of types, primarily in its original meaning as a means to avoid paradoxes in logic, and secondarily as it is studied in the modern world to provide a theoretical basis for type systems in programming languages.

Unification

  • used-in: bookmarks
  • see-also: Logic Programming

Works regarding the theory and practice of deciding if two objects containing unknowns can be made equal by assigning some concrete values to their unknowns.

User Interface

  • used-in: bookmarks

Works regarding the design and theory of user interfaces, as means by whch a human and a computer may interact.

VIC-20

  • title: Commodore VIC-20
  • used-in: bookmarks
  • see-also: Retrocomputing, Commodore 64, 6502, BASIC

Works regarding the Commodore VIC-20 computer system, including its architecture, software and games available for it, and programming of it.

Video Formats

  • used-in: bookmarks
  • see-also: Image Formats

Works providing information about working with file formats that are used to represent digital video.

Web APIs

  • used-in: bookmarks
  • see-also: DOM, JavaScript

Works regarding the APIs that web browsers expose to scripts (usually JavaScript) running within them; and/or the Browser Object Model (BOM), lumped in here.

Writing

  • used-in: books
  • wikipedia: https://en.wikipedia.org/wiki/Writing

Works regarding the activity and discipline of composing written material.

x86

  • used-in: bookmarks
  • see-also: 6502
  • wikipedia: https://en.wikipedia.org/wiki/X86

Works regarding the computer architecture based originally on the Intel 80x86 line of microprocessors, and programming in the machine language of same.

Z80

  • title: Zilog Z80
  • used-in: bookmarks
  • see-also: 6502, x86, Retrocomputing
  • wikipedia: https://en.wikipedia.org/wiki/Zilog_Z80

Works regarding the Zilog Z80 microprocessor, and programming in the machine language of same.

Zoology

  • used-in: bookmarks
  • wikipedia: https://en.wikipedia.org/wiki/Zoology

Works pertaining to scientific study of animals.