elternal_love

Hmm, is the formal verification through? Lean just asserts no errors in the proof, but like can prerequisites not be fullfilled?

Machine owners have stocks which valuation must increase to satisfy their debts.

Were we go towards really smart roboters. It is interesting what kind of diferent model chips they can produce.

Short answer: no. Long answer: There is a lot of Research about fuzzing, and there is a lot of incremental progress. We are not even at half here...

Oh am I writing python code for some years this should be fun ... oh. Oh I see. Hmm. Ok, just give it to me: are they turing complete yet or do we need to wait for 3.14?

If you are ever thinking of writing somethings like this: please be aware that people could be executed based upon the validity of your assumptions and advice offered.

Linux kernel code has had many zero-days bugs and will continue to do so. Kernel programming is _incredibly_hard and unforgiving.

I believe a proven correct micro kernel for a production system in smartphone scale is a sufficiently complex engineering task.

This sound interesting - do you have any ideas were there are offers for that?

In large regards, this is basically my dream life. I just do not know where to start/what to write honestly.

The stars do align, more often then you would believe.

Hmm, plug this together with a app which collects photos and chats with a deceased love one and you have a working Malachim. Might be worth a shot.

Impressive technology - impressive demo! Sadly, the conversation seems to be a little bit overplayed. Might be worth plugging ChatGPT or some better LLM in the logic section.,