One of my life dreams is still to build a computer from scratch, then also all of the software on it: the operating system, every language and compiler, and so on
19
6
123
Conversation
Replying to
Been very interested in the stuff from assembly-upwards. I'd love to figure out how quickly you could get up to a workable type theory from a minimal foundation.
- justine.lol/sectorlisp2/
- wiki.xxiivv.com/site/uxntal.ht
- wiki.xxiivv.com/site/uxn_devlo
- collapseos.org
Also fun is microsoft.com/en-us/research - Also curious about typed assemblers too - and how hard they might be to build. It's all really interesting yet kind of intimidating at the same time!
2
1
RISCV has a cool formal specification (you might alsready be aware of it though):
1