elternal_love

6 ms·

1.
by elternal_love 9d ago
Hmm, is the formal verification through? Lean just asserts no errors in the proof, but like can prerequisites not be fullfilled?
2.
by elternal_love 9d ago
Machine owners have stocks which valuation must increase to satisfy their debts.
3.
by elternal_love 7mo ago
Were we go towards really smart roboters. It is interesting what kind of diferent model chips they can produce.
4.
by elternal_love 7mo ago
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...
5.
by elternal_love 1y ago
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?
6.
by elternal_love 1y ago
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.
7.
by elternal_love 1y ago
Linux kernel code has had many zero-days bugs and will continue to do so. Kernel programming is _incredibly_hard and unforgiving.
8.
by elternal_love 1y ago
I believe a proven correct micro kernel for a production system in smartphone scale is a sufficiently complex engineering task.
9.
by elternal_love 1y ago
This sound interesting - do you have any ideas were there are offers for that?
10.
by elternal_love 1y ago
In large regards, this is basically my dream life. I just do not know where to start/what to write honestly.
11.
by elternal_love 1y ago
The stars do align, more often then you would believe.
12.
by elternal_love 1y ago
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 ov