@geopolitics @politics
@society @education

via @Daniele1919

https://mastodon.social/@Daniele1919/114036095298614027

Hardly with #wokeism, #political in-#correctness, #velvet-gloving, #idiocy-protectionism, #hamas-apologism, and likes having invaded all #EU politics.

A #strong #alpha #dictator #philospher is not on the horizon (#Macron is an exception).

#Educate yourself. Grow your #consciousness. Become #alpha.

A quotation from Goethe

A correct answer is like an affectionate kiss.
 
[Eine richtige Antwort ist wie ein lieblicher Kuß.]

Johann Wolfgang von Goethe (1749-1832) German poet, statesman, scientist
Sprüche in Prosa: Maximen und Reflexionen [Proverbs in Prose: Maxims and Reflections] (1833) [tr. Mann (1948)]

Sourcing, notes, alternate translations: wist.info/goethe-johann/38240/

#RemiPommarel found and fixed a bug/regression in a recent change someone had added to @batadv in the #Linux #kernel. One take home message from Remi:

"On a side note, I am all about #hardening and #MemorySafety stuff but if that means impacting readability and spending more time trying to please the tool than thinking about the #correctness of the code change, that's where we end up converting a perfectly fine #code into a logically flawed one."
(hash tags added by me)

#Velvet #Gloves are used to handle fragile materials.

Political #correctness is a velvet glove for the #feeble masses.

Feeble #specimens unable to handle their environment assuredly faint into extinction.

#againstdarkmanners #consciousnessevolution
@society @education
@rants

If you work with #LLVM IR and require type information a friend has just published the initial release of the library llvm-dimeta. it uses LLVM debug information to restore type information for your program's allocations.

Check it out at https://github.com/ahueck/llvm-dimeta

My #computing is far too important for me to be pacified by mere #MemorySafety. I demand actual #correctness.

If you are curious about our #unittest approach with #OMPT for #OpenMP implementations (at least the one in #ROCm ) check out our paper on it at #sc24 !

I will be talking about it at the #Correctness workshop.

https://sc24.conference-program.com/presentation/?id=ws_corr103&sess=sess759

A while a go I started working on a modal semantics for defining errors in distributed computing via types. The results have now appeared in a chapter for a volume dedicated to one my PhD mentors and teacher Göran Sundholm. The actual formalism is a bit far away from the tons of things I learned from him, but it touches on the issues of correctness and errors in proofs part of his philosophical research.

#proofs #computing #errors #correctness

https://link.springer.com/chapter/10.1007/978-3-031-52411-0_11

@philosophy

A quotation from Jerome, Jerome K.:

«
There are two kinds of clocks. There is the clock that is always wrong, and that knows it is wrong, and glories in it; and there is the clock that is always right — except when you rely upon it, and then it is more wrong than you would think a clock could be in a civilized country.
»

Full quote, sourcing, notes:
https://wist.info/jerome-jermome-k/66591/

A quotation from Colton, Charles Caleb:

«
Pedantry prides herself on being wrong by rules; while common sense is contented to be right, without them.
»

Full quote, sourcing, notes:
https://wist.info/colton-charles-caleb/66138/

A quotation from Johnson, Lyndon:

«««««
That’s just the trouble, Sam Houston — it’s always my move. And damnit, I sometimes can’t tell whether I’m making the right move or not. Now take this Vietnam mess. How in the hell can anyone know for sure what’s right and what’s wrong, Sam? I got some of the finest brains in this country — people like Dean…
»»»»»

Full quote, sourcing, notes:
https://wist.info/johnson-lyndon/20177/