vitalmixofntrnt

3 ms·

1. 1.▲
   by vitalmixofntrnt 1y ago

   Oh no, politics.
2. 2.▲
   by vitalmixofntrnt 1y ago

   Wrong, only once have I seen a useful ad in my entire life, and decided against buying it because I don't need it. I can reveal the ad if you ask, just don't want to be seen as a, dare I say, a tiser'.
3. 3.▲
   Can Linux have "transfer data structures to new kernel" rebooting like Minix?

   5 points by vitalmixofntrnt 1y ago|1 comments
4. 4.▲
   by vitalmixofntrnt 2y ago

   Surely that subreddit might know of any AIs that don't use copyright incompatible training data and / or weights. What other places could I ask?
5. 5.▲
   by vitalmixofntrnt 2y ago

   Can I add my own instruction set extensions to the original x86 isa as implemented by the 8086 without permission from Intel and / or AMD as long as I'm not copying any x86 instruction set extensions?
6. 6.▲
   by vitalmixofntrnt 2y ago

   Because of the Curry Howard Correspondence, do they have a compiler to compile proofs written in this language to machine code, with optional inline assembly support?
7. 7.▲
   by vitalmixofntrnt 2y ago

   What counts as real linux? Is it that it runs a linux kernel, or runs a linux-libre kernel, or has a desktop linux user space as opposed to the android user space or a GNU user space, is it because real linux is meant to be unpopular such a