Matt Godbolt on Robot Semantic Models of CPUs

See Stephen Edwards and Bill Mensch on the History of the 6502 Microprocessor for another example of an Apple ][ emulator, ... that thing can emulate itself emulating itself, .... I think. You don't necessarily need to implement the full instruction set to do that, do you? 19:25 when the CPU starts emulating itself in the graphics display RAM, what sort of patterns do you get? It doesn't have to be entirely random, because it depends upon how the display hardware interprets the RAM contents, ... think of a bit being represented by a square of n by n pixels, each pixel of which is the representation of  one of the nest of emulators, so is there a way to test the whole stack of n squared emulations of emulators emulating emulators, ... etc. and look for the fixpoint. See https://hackaday.com/2024/01/02/video-feedback-machine-creates-analog-fractals/ for some artistic inspiration, if you need it.

See Matt Godbolt's page: https://xania.org/MattGodbolt.

Subscribe to Computerphile. 


 

Subscribe to Philip Bradbury.

See Matt Godbolt Explains "Young Man, It's Robots All The Way Down!" 

See also https://bbc.godbolt.org/. My laptop can't quite manage this, ... the keyboard interface drops a lot of interrupts, I think!

You can also listen to his and Ben Rady's podcasts at https://www.twoscomplement.org/#podcast. This one is very good: https://www.twoscomplement.org/podcast/copying_and_pasting.mp3. What a nightmare! Just think about this for a bit: how many people are going through shit like this on a daily basis just to get some thing they need done? Fucking millions! This one is not quite so depressing: https://www.twoscomplement.org/podcast/iterative_and_incremental.mp3. I wonder when they are going to talk about maintenance?

Comments

Post a Comment

Popular posts from this blog

Steven Johnson - So You Think You Know How to Take Derivatives?

Image
A derivative is linearisation, and differential calculus is essentially linear algebra, ...  See  Freya Holmér - Why Can't You Multiply Vectors?  and  Freya Holmér on Continuity of Splines . See also the MIT OCW page:  Matrix Calculus For Machine Learning And Beyond  (Alan Edelman, Steven G. Johnson) Subscribe to The Julia Programming Language . Alan Edelman talking about expressing mathematics as computer code. The idea is that you can use computer languages to communicate mathematical ideas precisely to other people. See my comments about functional programming languages here:  https://prooftoys.org/ian-grant/hm/ Subscribe to TEDx Talks .
Read more

Welsh Republic Podcast Talking With Kars Collective on Armenia Azerbaijan Conflict

Image
  In the last 30 hours, Azerbaijan has blocked the Berdzor Corridor (the only route in and out of Artsakh), established a military police presence, threatened to shoot any flying object leaving the capital Stepanakert, and has now cut the gas supply. This is now a blockage. — Kars Collective (Կարսի Կոլեկտիվ) (@KarsCollective) December 13, 2022 Subscribe to Welsh Republic Podcast .
Read more

Hitachi HD44780U LCD Display Fonts

Image
I finally got the bit-mapped fonts from the Hitachi "1602" display :  Here's some JavaScript: const HD44780U01ASCII=[ [],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[], [],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, ], [4, 4, 4, 4, 0, 0, 4, 0, 0, 0, ], [10, 10, 10, 0, 0, 0, 0, 0, 0, 0, ], [10, 10, 31, 10, 31, 10, 10, 0, 0, 0, ], [4, 15, 20, 14, 5, 30, 4, 0, 0, 0, ], [24, 25, 2, 4, 8, 19, 3, 0, 0, 0, ], [12, 18, 20, 8, 21, 18, 13, 0, 0, 0, ], [12, 4, 8, 0, 0, 0, 0, 0, 0, 0, ], [2, 4, 8, 8, 8, 4, 2, 0, 0, 0, ], [8, 4, 2, 2, 2, 4, 8, 0, 0, 0, ], [0, 4, 21, 14, 21, 4, 0, 0, 0, 0, ], [0, 4, 4, 31, 4, 4, 0, 0, 0, 0, ], [0, 0, 0, 0, 12, 4, 8, 0, 0, 0, ], [0, 0, 0, 31, 0, 0, 0, 0, 0, 0, ], [0, 0, 0, 0, 0, 12, 12, 0, 0, 0, ], [0, 1, 2, 4, 8, 16, 0, 0, 0, 0, ], [14, 17, 19, 21, 25, 17, 14, 0, 0, 0, ], [4, 12, 4, 4, 4, 4, 14, 0, 0, 0, ], [14, 17, 1, 2, 4, 8, 31, 0, 0, 0, ], [31, 2, 4, 2, 1, 17, 14, 0, 0, 0, ], [2, 6, 10, 18, 31, 2, 2, 0, 0,...
Read more