Plan of Study
I’m am ignorant of a lot of the issues. This is my plan of study.
Well… It’s more of a dumping ground for stuff I’d like to eventually
look at.
General
Math
- Graphical Lineral Algebra -
Found it because they talk about using intersecting strings as
notation and I was looking around at a better notation for stack
manipulations in Forth.
Operating Systems
- The operating system: should there be one?. - Stephen Kell (2013) - “The Lurking Smalltalk”, Smalltalk vs Unix/Plan 9, “An operating system is a collection of things that don’t fit into a language. There shouldn’t be one”, Unix’s programmability exists but it very fragmented, there is an bias against lots of small files, Smalltalk itself doesn’t have a solution to fragmentation, it’s solution is “Don’t fragment, use Smalltalk for everything”, “The Grand Narrative”
Programming Languages
Graphic Design
- Math markup in TeX Quick Reference -
A Math Stack Exchange question with a bunch of crowd-sourced
notations. Better than anything Knuth has done. Can use the
MathJax Demo to try stuff out quickly.
- OpenSCAD - The
Programmers Solid 3D CAD Modeller written by the same guy who
reverse-engineered an FPGA format and wrote the only full-stack of
open source FPGA development tools. The method of input is code
rather than clicking on buttons so I should be able to learn
something about how to do something similar on a 2D surface. Also,
it just looks really cool.
- Metapost looks like a better tool than raw Postscript for doing display figures.
Lots of examples
- Scholarly Markdown on HN - Also https://www.peterkrautzberger.org/0172/
and http://aig.cs.man.ac.uk/people/srp/
- ΕΥΚΛΕΙΔΗΣ - A Geometry Drawing Language
- Visual History of EVE
- pyglet -
Python toolkit for drawing stuff on the screen and handling keyboard
events, looks pretty easy to use. The nice thing about it which
seperates it from the others is that it requires no external
dependenies. Might be a good place to start experimenting.
CPUs
Assembly Language
- Strata - Automatically Learning the x86-64 Instruction Set
Displays
Similar Projects
- CollapseOS - Collapse OS is a Forth operating system and a collection of tools and documentation with a single purpose: preserve the ability to program microcontrollers through civilizational collapse.
- Interim OS and Paper - Lisp OS written for the
Raspberry Pi in a super bare metal fashion. Requires a custom
keyboard since it doesn’t have USB drivers!
- SomethingNew - A group of random people who want to change computing
- Stefan Lesser’s List of Problems
- Future of Programming Slack
- Ideal OS - Not a project but a very good essay on what an OS
should be.
- Bootstrappable - Build a full gcc/linux system from a tiny amount of bootstraping code that can be entered in with a hex editor. They maintain a wiki of their ideas and progress.
- BubbleOS - Very very similar to what I am doing. Also has lots of notes (>2019) that are related to my project including the book part.
History
shrug
- robin milner relational semantics
- https://www.scratchapixel.com
- https://john.cs.olemiss.edu/~hcc/csci658/notes/Free_Prog_Lang_Textbooks.html
- http://worrydream.com/dbx/
- https://ivorylang.org/ivory-introduction.html Ivory is an embedded domain-specific language for safer systems programming.
- insect lang - High precision scientific calculator with support for physical units
- Chuck Moore’s Creations and a talk by chuck more
- terra lang - Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language
- Stepanov’s Notes on Programming and a bunch of other stuff at his website
- Floooh’s Blog - Game dev with good insights