
AI 101
Thesis Title
In Plain English
Specification mining can discover properties that can be used to verify the secure behavior of closed source CISC CPU designs, properties that can be used to verify the temporal correctness of CPU designs, and hyperproperties that can be used to verify that modules, SoCs, and CPUs have secure information flow.
When parallelizing all trace generation and all case mining, Isadora could theoretically evaluate the Single ACW case fully in less than five minutes. Parallelizing the first phase requires a Radix-S and QuestaSim instance for each source register, and each trace is generated in approximately 100 seconds. Further, the trace generation time is dominated by write-to-disk, and performance engineering techniques could likely reduce it significantly, such as by changing trace encoding or piping directly to later phases. Parallelizing the second phase requires only a Python instance for each source register, and takes between 1 and 2 seconds per trace. Parallelizing the third phase requires a Daikon instance for each flow case, usually roughly the same number as unique sources, and takes between 10 and 30 seconds per flow case. The final phase, postprocessing, is also suitable for parallelization. Maximally parallelized, this gives a design-to-specification time of under four minutes for the single ACW and for similarly sized designs, including PicoRV32.
Plain text

In her book Atlas of AI researcher Kate Crawford uses a different term: large-scale computing.
| Company | $1 trillion | $2 trillion | $3 trillion | Nominal |
|---|---|---|---|---|
| Microsoft | 25 Apr 19 | 22 Jun 21 | 24 Jan 24 | 3,185 |
| Apple | 2 Aug 18 | 19 Aug 20 | 3 Jan 22 | 3,081 |
| Saudi Aramco | 11 Dec 19 | 12 Dec 19 | — | 2,463 |
| Nvidia | 30 May 23 | 23 Feb 24 | — | 2,380 |
| Alphabet | 16 Jan 20 | 8 Nov 21 | — | 2,150 |
| Amazon | 4 Sep 18 | — | — | 1,970 |
| Meta | 28 Jun 21 | — | — | 1,220 |
| Tesla | 25 Oct 21 | — | — | 1,210 |
| PetroChina | 5 Nov 07 | — | — | 1,200 |
Heat Wall Graph
Server Room
It is generally regarded that…
Scaling Diagram
Yahoo 2005
How long is 100 ms?
This is a “crisis of the commons” situation.
Bezos

This is the plot of King Richard (2021)
Shorter: doing n things at once is hard.
Instagram Down
Wait… isn’t that… next token prediction?