Notes concerning “Graphical user interfaces”

• Index set inference or domain inference for programming with indexed families 2007 to 2009 (updated 2019-05-05) (27 minutes)
• How should we design a UI for a new OS? 2012-10-10 (updated 2012-10-11) (4 minutes)
• Quadtree compression of terminal video RAM to do a megapixel windowing system in 6 KiB 2013-05-17 (9 minutes)
• Instant hypertext 2013-05-17 (updated 2013-05-20) (14 minutes)
• Transactional screen updates 2015-04-01 (10 minutes)
• An IMGUI-style drawing API isn’t necessarily just immediate-mode graphics 2015-09-03 (3 minutes)
• Minimal GUI libraries 2015-11-14 (updated 2015-11-15) (5 minutes)
• Circle-portal GUI 2016-06-03 (11 minutes)
• Quicklayout 2017-01-10 (updated 2017-01-18) (3 minutes)
• Caching screen contents 2017-06-14 (2 minutes)
• Pixel stream 2017-06-15 (updated 2018-10-26) (4 minutes)
• Real time windowing 2017-08-03 (9 minutes)
• Cached SOA desktop 2017-08-03 (updated 2018-10-26) (6 minutes)
• What does a futuristic OS look like? 2017-08-18 (updated 2019-05-05) (6 minutes)
• General purpose layout syntax 2017-11-10 (updated 2019-09-01) (34 minutes)
• A minimal window system 2018-04-27 (updated 2018-10-26) (12 minutes)
• Window systems 2018-10-26 (1 minute)
• A nonscriptable design for the Wercam windowing system 2018-10-26 (updated 2018-11-13) (6 minutes)
• Scriptable windowing for Wercam 2018-10-26 (updated 2019-07-24) (26 minutes)
• Speculative plans for BubbleOS 2018-10-28 (updated 2019-02-24) (12 minutes)
• IMGUI programming compared to Tcl/Tk 2018-12-24 (updated 2018-12-31) (8 minutes)
• IMGUI programming language 2019-01-01 (updated 2019-07-30) (21 minutes)
• Byte-stream GUI applications 2019-11-29 (updated 2019-11-30) (17 minutes)