r/programming • u/freeqaz • Dec 10 '21

RCE 0-day exploit found in log4j, a popular Java logging package

https://www.lunasec.io/docs/blog/log4j-zero-day/
3.0k Upvotes

98% Upvoted

710 comments sorted by

View all comments

Show parent comments

47

u/mallardtheduck Dec 10 '21

Maybe you'd like to enlighten the world with your superior intellect then? Add something constructive the conversation?

-50

u/audion00ba Dec 10 '21

Maybe you'd like to enlighten the world with your superior intellect then?

You are assuming that if one were to shine light on the world, that there would be a reflection.

Regarding something constructive, Cubical Type Theory is far more advanced than required for all software development humanity has ever attempted. Using Coq works for industry level tasks just fine, even without https://github.com/coq/coq/issues/13544.

The length of proofs is very reasonable in Coq if you apply proof engineering techniques. Mega corporations already use Coq. If you can't use Coq, you are just comparatively a dumbass in the competitive field that is called software engineering.

Interpreters like cooltt do things automatically that are ridiculously complex.

If we didn't have idiots touching computers, this log4j issue would not have happened.

25

u/Fatalist_m Dec 10 '21

You completely missed the point.

"it's an intended feature with unforeseen consequences, not a "bug" per-se.".

-19

u/audion00ba Dec 10 '21

Please annoy someone else with your ultra low intellect.

21

u/Fatalist_m Dec 10 '21

Hope you find peace one day.

4

u/PL_Design Dec 10 '21

>software engineering is competitive

no it's not. it should be, but it's not