Magos Logis Logan @jmw150@qoto.org

Next semester is going to be tough. Online stuff is going away for some reason.

@saxnot @TheAlgorythm

Ah C. There are these projects in progress on getting a handle on that landscape.

https://vst.cs.princeton.edu/

https://www.microsoft.com/en-us/research/project/boogie-an-intermediate-verification-language/

https://dl.acm.org/doi/10.1145/3485498

@saxnot @TheAlgorythm

Of course.

@TheAlgorythm @saxnot

The funny thing is that even 5 years ago, clang-tidy used formal method techniques to perfectly refactor code automatically to a modern and more reliable version.

Everybody seems to be living in the stone age.

@TheAlgorythm @saxnot

A linter would be good in that case. Dated, but this would be how in clang-tidy.

https://www.kdab.com/clang-tidy-part-1-modernize-source-code-using-c11c14/amp/

@saxnot

Most of the time in the professional engineering world, software infrastructure is too big and expensive to replace outright.

I just woke up. I treated it like an email, instead of an internet poll. 🥱

@saxnot

How big is the software base? I am guessing you adopted this thing.

@saxnot

Do you understand c++20 and what: linters, autoformaters, fuzzers, verifiers, etc are?

@saxnot

Recoding in rust or c# is serious overkill. It would both probably be really expensive, and introduce thousands of new bugs in the process.

@saxnot

If there is any sort of memory leak or other problem with c++ code, it can be found using modern tools.

@saxnot

Use C++ static or dynamic analysis tools and just fix the issue.

@dqn

So creepy

I wonder if I should adversarial noise my pictures. But it is kind of like an arms race of soft encryption.

https://proceedings.neurips.cc/paper/2019/file/335cd1b90bfa4ee70b39d08a4ae0cf2d-Paper.pdf

@snowdusk__

Ah I remember getting that bug in 2012. Glad to see they never patched it. Lol

@omniscion

The novel had at least three engineers.

But the entire staff listing was hilariously short. 5 geneticists recreating all of the dinosaurs, 3 security members for the whole island, etc...

@piratepartyau

The young and naive really like their sciencism.

Most of these happen accidentally, because there is not a simple prescription for universally correct reasoning.

@Insurrealist

It seems that all of the governments whom think of their citizens as peasants, will be doing this.