Great information and insight into what the SharpOS folks are doing. Singularity, Spec#, Sing#, House (which I didn’t know about), and other cool technologies are also mentioned.
It’s unfortunate for me that they opted to use GPL v3.0 as their license since I can’t look/play with the code (since I will be “tainted” :-(.
Happy New Year everyone! I was planning for my next BrainExpanded post to be a…
See "BrainExpanded - Introduction" for context on this post. Notes and links Over the years,…
This is the first post, in what I think is going to be a series,…
Back in February, I shared the results of some initial experimentation with a digital twin.…
I am embarking on a side project that involves memory and multimodal understanding for an…
I was in Toronto, Canada. I'm on the flight back home now. The trip was…