She is also famous for the Qubes OS project and coining the term "evil maid attack".
> What is Qubes OS?
Qubes OS is a free and open-source, security-oriented operating system for single-user desktop computing. Qubes OS leverages Xen-based virtualization to allow for the creation and management of isolated compartments called qubes.
These qubes, which are implemented as virtual machines (VMs), have specific:
Purposes: with a predefined set of one or many isolated applications, for personal or professional projects, to manage the network stack, the firewall, or to fulfill other user-defined purposes.
Natures: full-fledged or stripped-down virtual machines based on popular operating systems, such as Fedora, Debian, and Windows.
Levels of trust: from complete to non-existent. All windows are displayed in a unified desktop environment with unforgeable colored window borders so that different security levels are easily identifiable.
source: https://doc.qubes-os.org/en/latest/introduction/intro.htmlUncertainty and incompleteness are only meaningful in relation to certainty and completeness, and these point at desire. We desire food to complete us nutritionally, at least for a time. When we desire to know something, our minds come to rest - relatively speaking - when we arrive at that knowledge.
The questions then become: what is lacking to make something uncertain? What is lacking to make something incomplete? So, while these defects may be unavoidable (at least in his life), then the question one should be asking is what does the apparent insurmountably of this condition entail? What is the desire in question that isn't being satisfied?
What is he on about? Sounds like his future blog posts could just be rambling about anything.
https://tracesofhumanity.org/freediving-embodiment-and-human...
Please, please, please let this not be the incentive!
In my ideal future, Joanna would write about things like :
- how do we secure LLMs leading up to AGI, presumably they can bypass our best attempt at airgap firewalls
- is consciousness different from thinking from intelligence ?
- how do we ensure AI is distributed so all humans can benefit, and not used as a multiplier of extreme wealth inequality ?
- whats missing in current AI LLMs ?
I'll take a crack at the last one : imo, the current generation of LLMs is missing : - a bias for truth / fact .. or a mode switch to make it bias truthiness
- reasoning by chains of formal language [ formal logic ]
- reasoning by chains of probabilistic inference [ bayesian logic ]
- reasoning by deep simulation [ stochastic modelling ]
- spatial reasoning [ 3D model of space, machinery, physics. 3D reconstruction. model of humans and animals with bones, muscles, mass ]
- mathematical modelling [ proposing formulae, checking fit ]
- psychological model of humans, of human populations, their needs / motivations / rewards and psychoses
Essentially AGI would require a proper merging of RL style [ NN learning from a stochastic simulation of future states ] and current ChatGPT style LLMs.An implication of the above is that future AGI will need to run on fast branching CPU _and_ massively parallel GPU with a fast data path between them - ie. balanced compute.
However, the best part will be discovering what the real Joanna writes about !