git @ Cat's Eye Technologies The-Glosscubator / 7bb79e1
Remove deprecated topics. Give more topics descriptions. Chris Pressey a month ago
2 changed file(s) with 51 addition(s) and 49 deletion(s). Raw diff Collapse all Expand all
+49
-40
TOPICS.md less more
1111 elaborate on it in the hopes of it one day becoming a common schema (with common
1212 "See also" links between topics, and other metadata) so that this information
1313 can be presented in a combined, navigable fashion or something.
14
15 TODO: Geometry, Industry, Zoology, Biology, Telephony, Labyrinths
1416
1517 Vertical
1618 --------
3941 * used-in: bookmarks
4042 * see-also: x86, Retrocomputing, Commodore 64, VIC-20, Apple II
4143
42 Works regarding the MOS 6502 computer processing unit (CPU) and
44 Works regarding the MOS 6502 microprocessor, and
4345 programming in the machine language of same.
4446
4547 ### Abstract Algebra
7476
7577 * used-in: bookmarks
7678 * see-also: Logic
79 * wikipedia: https://en.wikipedia.org/wiki/Algebraic_logic
7780
7881 Works regarding the subject of algebraic logic, that is, treating logical systems
7982 as abstract algebraic structures, with algebraic properties.
8285
8386 * used-in: bookmarks
8487 * see-also: Computational Complexity
88 * wikipedia: https://en.wikipedia.org/wiki/Algorithm
8589
8690 Works regarding algorithms.
8791
96100
97101 * used-in: bookmarks
98102 * see-also: Retrocomputing, 6502, BASIC
103 * wikipedia: https://en.wikipedia.org/wiki/Apple_II
99104
100105 Works regarding the Apple II computer system, including its architecture,
101106 software and games available for it, and programming of it.
269274
270275 * used-in: bookmarks
271276 * see-also: Theorem Proving, Calculus of Constructions
277 * wikipedia: https://en.wikipedia.org/wiki/Rocq
272278
273279 Works regarding the proof assistant Coq and its language Gallina.
274280
281287 ### Docker
282288
283289 * used-in: bookmarks
290 * wikipedia: https://en.wikipedia.org/wiki/Docker_(software)
284291
285292 Works regarding the software containerization tool known as Docker.
286293
288295
289296 * used-in: bookmarks
290297 * see-also: Retrocomputing
298 * wikipedia: https://en.wikipedia.org/wiki/DOS
291299
292300 Works regarding the operating system DOS, including Microsoft's MS-DOS
293301 as well as clones such as PCDOS and FreeDOS.
348356
349357 * used-in: bookmarks
350358 * see-also: Logic, Term Rewriting, Universal Algebra
359 * wikipedia: https://en.wikipedia.org/wiki/Equational_logic
351360
352361 Works regarding the subject of equational logic, that is, logical
353362 systems based on the properties of equivalence relations
358367
359368 * used-in: Chrysoberyl
360369
361 .
370 Specific, chronologically-delimited social activities, usually of a collective
371 and/or nominally competitive nature.
362372
363373 ### FoM
364374
366376 * used-in: bookmarks
367377 * see-also: Mathematics, Logic, Incompleteness
368378
369 .
379 Works regarding the foundations of mathematics, including systems in which doing
380 mathematics is possible, and the philosophical underpinnings of mathematics.
370381
371382 ### Forks
372383
382393 * used-in: bookmarks
383394 * see-also: Attribute Grammars, Parsing
384395
385 .
396 Works on the subject of formal language theory.
386397
387398 ### Formal Specification
388399
656667 ### Narratology
657668
658669 * used-in: books
659
660 .
670 * wikipedia: https://en.wikipedia.org/wiki/Narratology
671
672 Works regarding the study of storytelling.
661673
662674 ### Nautilus
663675
664676 * used-in: bookmarks
665
666 .
677 * wikipedia: https://en.wikipedia.org/wiki/GNOME_Files
678
679 Works regarding the official file manager tool used in the GNOME desktop environment.
667680
668681 ### .NET
669682
689702
690703 * used-in: bookmarks
691704 * see-also: Mathematics
692
693 .
705 * wikipedia: https://en.wikipedia.org/wiki/Order_theory
706
707 Works regarding the study of the intuitive notion of order, in a mathematical setting,
708 using binary relations.
694709
695710 ### PLDI
696711
770785 ### PostgreSQL
771786
772787 * used-in: bookmarks
788 * wikipedia: https://en.wikipedia.org/wiki/PostgreSQL
773789
774790 Works pertaining to the use and study of the open-source relational database software PostgreSQL
775791 (a.k.a. Postgres).
776792
777 ### Practice
778
779 * used-in: books
780 * deprecated: true
781
782 .
783
784793 ### Probability Theory
785794
786795 * used-in: books, bookmarks
787796 * see-also: Mathematics
797 * wikipedia: https://en.wikipedia.org/wiki/Probability_theory
788798
789799 .
790800
800810
801811 * used-in: bookmarks
802812 * see-also: Logic Programming, Programming Languages
813 * wikipedia: https://en.wikipedia.org/wiki/Prolog
803814
804815 Works regarding the logic programming language Prolog.
805816
807818
808819 * used-in: bookmarks
809820 * see-also: Logic
821 * wikipedia: https://en.wikipedia.org/wiki/Proof_theory
810822
811823 Works regarding the study of proofs as mathematical objects in their own right.
812824
845857
846858 .
847859
848 ### Reference
849
850 * used-in: books
851 * deprecated: true
852
853 .
854
855860 ### Refinement Calculus
856861
857862 * used-in: books, bookmarks
905910
906911 * used-in: books, bookmarks
907912 * see-also: Formal Specification, Reactive Systems, Agile Development
913 * wikipedia: https://en.wikipedia.org/wiki/Software_engineering
908914
909915 .
910916
925931
926932 * used-in: bookmarks
927933 * see-also: Equational Logic
934 * wikipedia: https://en.wikipedia.org/wiki/Rewriting#Term_rewriting_systems
928935
929936 .
930937
937944 Works regarding the Tandy TRS-80 computer system (in particular the
938945 CoCo), including its computer architecture, software and games
939946 available for it, and programming of it.
940
941 ### Theory
942
943 * used-in: books
944 * deprecated: true
945
946 .
947947
948948 ### Theory of Computation
949949
980980 * title: TLA+
981981 * used-in: bookmarks
982982 * see-also: Formal Specification, Model Checking
983
984 .
983 * wikipedia: https://en.wikipedia.org/wiki/TLA+
984
985 Works regarding the specification language TLA+ and its underlying logic.
985986
986987 ### Tools
987988
993994
994995 * used-in: bookmarks
995996 * see-also: Mathematics, Closure Systems
997 * wikipedia: https://en.wikipedia.org/wiki/Topology
996998
997999 .
9981000
10011003 * used-in: bookmarks
10021004 * see-also: PLDI, Type Theory
10031005
1004 .
1006 Works regarding the study and practice of assigning types (collections of constraints)
1007 to values as part of informatically processing those values, for example in a computer
1008 program.
10051009
10061010 ### Type Theory
10071011
10151019 * used-in: bookmarks
10161020 * see-also: Logic Programming
10171021
1018 .
1022 Works regarding the theory and practice of deciding if two objects containing
1023 unknowns can be made equal by assigning some concrete values to their unknowns.
10191024
10201025 ### User Interface
10211026
10221027 * used-in: bookmarks
10231028
1024 .
1029 Works regarding the design and theory of user interfaces, as means by whch a human
1030 and a computer may interact.
10251031
10261032 ### VIC-20
10271033
10431049 ### Writing
10441050
10451051 * used-in: books
1046
1047 .
1052 * wikipedia: https://en.wikipedia.org/wiki/Writing
1053
1054 Works regarding the activity and discipline of composing written material.
10481055
10491056 ### x86
10501057
10511058 * used-in: bookmarks
10521059 * see-also: 6502
1053
1054 .
1060 * wikipedia: https://en.wikipedia.org/wiki/X86
1061
1062 Works regarding the computer architecture based originally on the Intel 80x86 line
1063 of microprocessors, and programming in the machine language of same.
+2
-9
schema/Topic.md less more
1515
1616 The displayed title of the topic
1717
18 ### wikipedia
19
20 * optional: true
21
22 URL of the Wikipedia article for the topic
23
2418 ### used-in
2519
2620 "bookmarks", "books", or "chrysoberyl", or a list of these
3125
3226 A list of other Topics to which this Topic relates
3327
34 ### deprecated
28 ### wikipedia
3529
3630 * optional: true
3731
38 If true, we've decided this Topic is not a good way to classify things
39 and we're trying to get rid of it.
32 URL of the Wikipedia article for the topic