C and C++ Prioritize Performance over Correctness (2023)
#correctness
@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 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/
#quote #quotes #quotation #accomplishment #answer #correctness #kiss #pleasure #solution
#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
#software #softwareengineering #clang #compiler #correctness
My #computing is far too important for me to be pacified by mere #MemorySafety. I demand actual #correctness.
#coauthor #checking #calculation #correctness #already #know #phdstudent #doctoratestudent #phd #doctorate #motivation #meme #memes #phdmotivation #phdmeme #phdmemes #phdlife #phdstudentlife #phdtroll #doctoratemotivation #doctoratememe #doctoratememes #doctoratelife #doctoratestudentlife #doctoratetroll
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
Годный выпуск Подлодки:
Podlodka #268 -- Формальные методы и верификация программ
"Political correctness is tyranny with manners." — Charleton Heston — — — #CharletonHeston #quote #quotes #pc #political #correctness #tyranny #manners #quip #snarky #humor
This is all similar to #political #correctness undermining and blocking any kind of social statements. #Olympia is political, it always has been.
After accounting for all variables, we're seeing something funny when subtracting backgrounds that put question marks on fundamental background subtraction practices in scattering.
So I wrote a little bit about it:
“Visions Of The Future: Formal Verification In Rust”, Xavier Denis (https://xav.io/blog/rust-formal-verification/).
On Lobsters: https://lobste.rs/s/fekcju/visions_future_formal_verification_rust
#Rust #FormalVerification #HoareLogic #SeparationLogic #Correctness #Proof #Assertions #References #Aliasing
First day of the #Eusprig annual #spreadsheet #risk #conference is confirmed; second day to follow.
https://eusprig.org/conferences/eusprig-annual-conference/
#Excel
#Climate, Risk, and #Spreadsheets
Spreadsheets, Risk and the #Legal Presumption of #Correctness
#Generative #AI’s #Critical Risks to Spreadsheets
Expressing Spreadsheet #Uncertainty with #Confidence
See also:
“How Did Software Get So Reliable Without Proof?” [1996, PDF], C. A. R. Hoare (https://6826.csail.mit.edu/2020/papers/noproof.pdf).
#FormalVerification #Paper #SoftwareEngineering #Correctness #Reliability #Software
This 👆🏽 article by the creator of #Rust is a must-read for #PLDI folks to understand why it has “mutable XOR aliased” #references, a borrow-checker, and could drop #GarbageCollection to become a #SystemsProgramming language. 👌🏽
“Some Notes On Rust, Mutable Aliasing And Formal Verification”, Graydon Hoare (https://graydon2.dreamwidth.org/312681.html).
On HN: https://news.ycombinator.com/item?id=40375341
On Lobsters: https://lobste.rs/s/rushnh/some_notes_on_rust_mutable_aliasing
#PLDI #Programming #FormalVerification #Rust #References #Correctness
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst