#correctness — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #correctness, aggregated by home.social.
-
Creusot helps you prove your Rust code is correct
https://github.com/creusot-rs/creusot/tree/master
#HackerNews #Creusot #Rust #Proving #Code #Correctness #Software #Development #Open #Source #Programming
-
Creusot helps you prove your Rust code is correct
https://github.com/creusot-rs/creusot/tree/master
#HackerNews #Creusot #Rust #Proving #Code #Correctness #Software #Development #Open #Source #Programming
-
Creusot helps you prove your Rust code is correct
https://github.com/creusot-rs/creusot/tree/master
#HackerNews #Creusot #Rust #Proving #Code #Correctness #Software #Development #Open #Source #Programming
-
Creusot helps you prove your Rust code is correct
https://github.com/creusot-rs/creusot/tree/master
#HackerNews #Creusot #Rust #Proving #Code #Correctness #Software #Development #Open #Source #Programming
-
Creusot helps you prove your Rust code is correct
https://github.com/creusot-rs/creusot/tree/master
#HackerNews #Creusot #Rust #Proving #Code #Correctness #Software #Development #Open #Source #Programming
-
AUDITOR: By Hercules, I prefer to be wrong with Plato […] than to be right with those idiots.
[Errare mehercule malo cum Platone […] quam cum istis vera sentire.]Marcus Tullius Cicero (106-43 BC) Roman orator, statesman, philosopher
Tusculan Disputations [Tusculanae Disputationes], Book 1, ch. 17 (1.17) / sec. 39 (1.39) (45 BC) [tr. @sententiq (2012)]More about (and translations of) this quote: wist.info/cicero-marcus-tulliu…
#quote #quotes #quotation #qotd #cicero #authority #bias #correctness #esteem #loyalty #partisanship #party #respect #right #truth #wrong
-
AUDITOR: By Hercules, I prefer to be wrong with Plato […] than to be right with those idiots.
[Errare mehercule malo cum Platone […] quam cum istis vera sentire.]Marcus Tullius Cicero (106-43 BC) Roman orator, statesman, philosopher
Tusculan Disputations [Tusculanae Disputationes], Book 1, ch. 17 (1.17) / sec. 39 (1.39) (45 BC) [tr. @sententiq (2012)]More about (and translations of) this quote: wist.info/cicero-marcus-tulliu…
#quote #quotes #quotation #qotd #cicero #authority #bias #correctness #esteem #loyalty #partisanship #party #respect #right #truth #wrong
-
AUDITOR: By Hercules, I prefer to be wrong with Plato […] than to be right with those idiots.
[Errare mehercule malo cum Platone […] quam cum istis vera sentire.]Marcus Tullius Cicero (106-43 BC) Roman orator, statesman, philosopher
Tusculan Disputations [Tusculanae Disputationes], Book 1, ch. 17 (1.17) / sec. 39 (1.39) (45 BC) [tr. @sententiq (2012)]More about (and translations of) this quote: wist.info/cicero-marcus-tulliu…
#quote #quotes #quotation #qotd #cicero #authority #bias #correctness #esteem #loyalty #partisanship #party #respect #right #truth #wrong
-
AUDITOR: By Hercules, I prefer to be wrong with Plato […] than to be right with those idiots.
[Errare mehercule malo cum Platone […] quam cum istis vera sentire.]Marcus Tullius Cicero (106-43 BC) Roman orator, statesman, philosopher
Tusculan Disputations [Tusculanae Disputationes], Book 1, ch. 17 (1.17) / sec. 39 (1.39) (45 BC) [tr. @sententiq (2012)]More about (and translations of) this quote: wist.info/cicero-marcus-tulliu…
#quote #quotes #quotation #qotd #cicero #authority #bias #correctness #esteem #loyalty #partisanship #party #respect #right #truth #wrong
-
The Future of Everything is Lies, I Guess: Systems expert with a very critical take on AI from a thoughtful perspective.
https://aphyr.com/posts/411-the-future-of-everything-is-lies-i-guess
#correctness #systems #aphyr #kyle #llm #ai #+ -
The Future of Everything is Lies, I Guess: Systems expert with a very critical take on AI from a thoughtful perspective.
https://aphyr.com/posts/411-the-future-of-everything-is-lies-i-guess
#correctness #systems #aphyr #kyle #llm #ai #+ -
The Future of Everything is Lies, I Guess: Systems expert with a very critical take on AI from a thoughtful perspective.
https://aphyr.com/posts/411-the-future-of-everything-is-lies-i-guess
#correctness #systems #aphyr #kyle #llm #ai #+ -
The Future of Everything is Lies, I Guess: Systems expert with a very critical take on AI from a thoughtful perspective.
https://aphyr.com/posts/411-the-future-of-everything-is-lies-i-guess
#correctness #systems #aphyr #kyle #llm #ai #+ -
A quotation from Douglas Adams
SLARTIBARTFAST: I’d far rather be happy than right any day.
ARTHUR: And are you?
SLARTIBARTFAST: No, that’s where it all falls down, of course.
ARTHUR: Pity, It sounded like quite a good lifestyle otherwise.Douglas Adams (1952-2001) English author, humorist, screenwriter
Hitchhiker’s Guide to the Galaxy, Phase 1, “Fit the 4th” (BBC Radio) (1979-03-29)More about this quote: wist.info/adams-douglas/82517/
#quote #quotes #quotation #qotd #douglasadams #hitchhikersguide #hitchhikersguidetothegalaxy #slartibartfast #arthurdent #correctness #happiness #lifestyle #rectitude
-
A quotation from Douglas Adams
SLARTIBARTFAST: I’d far rather be happy than right any day.
ARTHUR: And are you?
SLARTIBARTFAST: No, that’s where it all falls down, of course.
ARTHUR: Pity, It sounded like quite a good lifestyle otherwise.Douglas Adams (1952-2001) English author, humorist, screenwriter
Hitchhiker’s Guide to the Galaxy, Phase 1, “Fit the 4th” (BBC Radio) (1979-03-29)More about this quote: wist.info/adams-douglas/82517/
#quote #quotes #quotation #qotd #douglasadams #hitchhikersguide #hitchhikersguidetothegalaxy #slartibartfast #arthurdent #correctness #happiness #lifestyle #rectitude
-
A quotation from Douglas Adams
SLARTIBARTFAST: I’d far rather be happy than right any day.
ARTHUR: And are you?
SLARTIBARTFAST: No, that’s where it all falls down, of course.
ARTHUR: Pity, It sounded like quite a good lifestyle otherwise.Douglas Adams (1952-2001) English author, humorist, screenwriter
Hitchhiker’s Guide to the Galaxy, Phase 1, “Fit the 4th” (BBC Radio) (1979-03-29)More about this quote: wist.info/adams-douglas/82517/
#quote #quotes #quotation #qotd #douglasadams #hitchhikersguide #hitchhikersguidetothegalaxy #slartibartfast #arthurdent #correctness #happiness #lifestyle #rectitude
-
A quotation from Douglas Adams
SLARTIBARTFAST: I’d far rather be happy than right any day.
ARTHUR: And are you?
SLARTIBARTFAST: No, that’s where it all falls down, of course.
ARTHUR: Pity, It sounded like quite a good lifestyle otherwise.Douglas Adams (1952-2001) English author, humorist, screenwriter
Hitchhiker’s Guide to the Galaxy, Phase 1, “Fit the 4th” (BBC Radio) (1979-03-29)More about this quote: wist.info/adams-douglas/82517/
#quote #quotes #quotation #qotd #douglasadams #hitchhikersguide #hitchhikersguidetothegalaxy #slartibartfast #arthurdent #correctness #happiness #lifestyle #rectitude
-
Wednesday Links - 2026-03-04
https://dev.to/0xkkocel/wednesday-links-edition-2026-03-04-279p
#java #jvm #spring #gradle #github #tomcat #correctness -
🚀 Ah, the age-old tale where #techie #wonderkids deliver the holy grail of perfection, only for it to be politely shoved aside because, heaven forbid, "comfort" isn't synonymous with "correctness" in organizations. 🤦♂️ Take solace in knowing that your technical genius will be appreciated by exactly zero living souls until the #apocalypse. 🌍💥
https://raccoon.land/posts/technical-excellence-is-not-enough/ #comfort #vs #correctness #organizational #challenges #tech #innovation #HackerNews #ngated -
🚀 Ah, the age-old tale where #techie #wonderkids deliver the holy grail of perfection, only for it to be politely shoved aside because, heaven forbid, "comfort" isn't synonymous with "correctness" in organizations. 🤦♂️ Take solace in knowing that your technical genius will be appreciated by exactly zero living souls until the #apocalypse. 🌍💥
https://raccoon.land/posts/technical-excellence-is-not-enough/ #comfort #vs #correctness #organizational #challenges #tech #innovation #HackerNews #ngated -
🚀 Ah, the age-old tale where #techie #wonderkids deliver the holy grail of perfection, only for it to be politely shoved aside because, heaven forbid, "comfort" isn't synonymous with "correctness" in organizations. 🤦♂️ Take solace in knowing that your technical genius will be appreciated by exactly zero living souls until the #apocalypse. 🌍💥
https://raccoon.land/posts/technical-excellence-is-not-enough/ #comfort #vs #correctness #organizational #challenges #tech #innovation #HackerNews #ngated -
🚀 Ah, the age-old tale where #techie #wonderkids deliver the holy grail of perfection, only for it to be politely shoved aside because, heaven forbid, "comfort" isn't synonymous with "correctness" in organizations. 🤦♂️ Take solace in knowing that your technical genius will be appreciated by exactly zero living souls until the #apocalypse. 🌍💥
https://raccoon.land/posts/technical-excellence-is-not-enough/ #comfort #vs #correctness #organizational #challenges #tech #innovation #HackerNews #ngated -
The Power Of Using A Story For Better Data Comprehension And Hence Decision Making
--
https://doi.org/10.1080/15228053.2021.2016151 <-- shared book review, “Data Story: Explain Data And Inspire Action Through Story”
--
[I encountered this excellent graphic from @saurabh Rai, and went and explored the ideas put so succinctly here; I found, well, a technical story overview (link above) to ‘match’; however, this should not be considered an endorsement of this book]
#data #storytelling #data #comprehension #presentation #story #frameworks #context #setting #dataquality #communication #usecase #robustness #insights #correctness #decisionmaking #narratives #decisions -
The Power Of Using A Story For Better Data Comprehension And Hence Decision Making
--
https://doi.org/10.1080/15228053.2021.2016151 <-- shared book review, “Data Story: Explain Data And Inspire Action Through Story”
--
[I encountered this excellent graphic from @saurabh Rai, and went and explored the ideas put so succinctly here; I found, well, a technical story overview (link above) to ‘match’; however, this should not be considered an endorsement of this book]
#data #storytelling #data #comprehension #presentation #story #frameworks #context #setting #dataquality #communication #usecase #robustness #insights #correctness #decisionmaking #narratives #decisions -
In life-critical #engineering practice, #correctness and #reliability concerns always take precedence over cost, performance, and other factors.
In modern business #software practice, #cost considerations and #LLM hallucinations reign supreme. No other factors seem worthy of a consideration.
-
#Programming in a #dependent #type system does not imply a blind obedience to the type system by the #programmer: not all types need be adorned with fully-dependent regalia. That is, the programmer selects the desired level of type specificity. For example, we may type the all-too-familiar \(\texttt{qsort}\) with progressively finer specificity, as follows:
• Simple, parameterised typed:
\[
𝑞𝑠𝑜𝑟𝑡\ :\ [ℤ]→[ℤ]
\]• Dependent, parameterised, indexed typed:
\[
qsort\ :\ (n : ℕ) ⇒ [ℤ\ n] → [ℤ\ n]
\]• Fully-dependent, parameterised, indexed, predicated \(\Sigma\) type:
\[
𝑞𝑠𝑜𝑟𝑡\ :\ (𝑛:ℕ)⇒[ℤ\ 𝑛]→(𝑥𝑥:[ℤ\ 𝑛], 𝑆𝑜𝑟𝑡𝑒𝑑\ 𝑥𝑥)
\]The closer we approach full dependence, the greater our burden of proof and the messier our #code. And the farther we retreat from full dependence, the less precise our type specifications and the weaker their #correctness guarantees.
Such is the thug-life of a programmer....🤷♂️
-
@hamishcampbell (4/9)
While I am #guessing that it must have been something along the lines of, if they can't see #past the first #impressions then I don't want them anyways. My opinion based on some #experience is that it also might have put off some right #people . And for something like this every single one #matters . Irrelevant whether that trait is #positive or #negative in them. I am not assuming my #correctness here.
... -
@hamishcampbell (4/9)
While I am #guessing that it must have been something along the lines of, if they can't see #past the first #impressions then I don't want them anyways. My opinion based on some #experience is that it also might have put off some right #people . And for something like this every single one #matters . Irrelevant whether that trait is #positive or #negative in them. I am not assuming my #correctness here.
... -
A quotation from Judith Martin
It is, indeed, a trial to maintain the virtue of humility when one can’t help being right.
Judith Martin (b. 1938) American author, journalist, etiquette expert [a.k.a. Miss Manners]
“Miss Manners,” syndicated column (1999-02-02)More info about this quote: wist.info/martin-judith/79642/
#quote #quotes #quotation #qotd #judithmartin #missmanners #correctness #ego #falsemodesty #humility #modesty #pride #rectitude #selfrighteousness
-
A quotation from Judith Martin
It is, indeed, a trial to maintain the virtue of humility when one can’t help being right.
Judith Martin (b. 1938) American author, journalist, etiquette expert [a.k.a. Miss Manners]
“Miss Manners,” syndicated column (1999-02-02)More info about this quote: wist.info/martin-judith/79642/
#quote #quotes #quotation #qotd #judithmartin #missmanners #correctness #ego #falsemodesty #humility #modesty #pride #rectitude #selfrighteousness
-
A quotation from Judith Martin
It is, indeed, a trial to maintain the virtue of humility when one can’t help being right.
Judith Martin (b. 1938) American author, journalist, etiquette expert [a.k.a. Miss Manners]
“Miss Manners,” syndicated column (1999-02-02)More info about this quote: wist.info/martin-judith/79642/
#quote #quotes #quotation #qotd #judithmartin #missmanners #correctness #ego #falsemodesty #humility #modesty #pride #rectitude #selfrighteousness
-
A quotation from Judith Martin
It is, indeed, a trial to maintain the virtue of humility when one can’t help being right.
Judith Martin (b. 1938) American author, journalist, etiquette expert [a.k.a. Miss Manners]
“Miss Manners,” syndicated column (1999-02-02)More info about this quote: wist.info/martin-judith/79642/
#quote #quotes #quotation #qotd #judithmartin #missmanners #correctness #ego #falsemodesty #humility #modesty #pride #rectitude #selfrighteousness
-
A quotation from Judith Martin
It is, indeed, a trial to maintain the virtue of humility when one can’t help being right.
Judith Martin (b. 1938) American author, journalist, etiquette expert [a.k.a. Miss Manners]
“Miss Manners,” syndicated column (1999-02-02)More info about this quote: wist.info/martin-judith/79642/
#quote #quotes #quotation #qotd #judithmartin #missmanners #correctness #ego #falsemodesty #humility #modesty #pride #rectitude #selfrighteousness
-
Use theorem provers to ensure the correctness of your LLM's reasoning
https://github.com/DebarghaG/proofofthought
#HackerNews #theoremprovers #LLM #correctness #reasoning #AIresearch #proofsofthought
-
Use theorem provers to ensure the correctness of your LLM's reasoning
https://github.com/DebarghaG/proofofthought
#HackerNews #theoremprovers #LLM #correctness #reasoning #AIresearch #proofsofthought
-
Use theorem provers to ensure the correctness of your LLM's reasoning
https://github.com/DebarghaG/proofofthought
#HackerNews #theoremprovers #LLM #correctness #reasoning #AIresearch #proofsofthought
-
Use theorem provers to ensure the correctness of your LLM's reasoning
https://github.com/DebarghaG/proofofthought
#HackerNews #theoremprovers #LLM #correctness #reasoning #AIresearch #proofsofthought
-
Use theorem provers to ensure the correctness of your LLM's reasoning
https://github.com/DebarghaG/proofofthought
#HackerNews #theoremprovers #LLM #correctness #reasoning #AIresearch #proofsofthought
-
I found https://rfd.shared.oxide.computer/rfd/400 today and really liked it! The examples of #async cancel safety are probably the most clear examples I've seen so far 😄
Thanks @rain for putting this together! #rust #correctness
-
Nice – more code-samples would’ve made it better:
“To Be a Better Programmer, Write Little Proofs In Your Head”, Nerve (https://the-nerve-blog.ghost.io/to-be-a-better-programmer-write-little-proofs-in-your-head/).
Via HN: https://news.ycombinator.com/item?id=44573409
See Also: “The Science Of Programming”, by David Gries.
-
Pedantry prides herself on being wrong by rules; while common sense is contented to be right without them.
Charles Caleb "C. C." Colton (1780-1832) English cleric, writer, aphorist
Lacon: Or, Many Things in Few Words, Vol. 1, § 48 (1820)Sourcing, notes: wist.info/colton-charles-caleb…
#quote #quotes #quotation #qotd #cccolton #bureaucracy #commonsense #correctness #error #legalism #pedantry #procedure #rules
-
🚀 Welcome to the parallel universe where #AWS apparently cares about 'correctness' instead of just 'scale now, patch later.' 🤖 The only thing larger than their server farms is their #audacity in claiming they can teach anybody about #security and #privacy. 😂
https://cacm.acm.org/practice/systems-correctness-practices-at-amazon-web-services/ #Correctness #HackerNews #ngated -
C and C++ Prioritize Performance over Correctness (2023)
-
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.
-
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
-
This story is perfect and so, so beautiful. On so many levels.
As an insight into creativity; as a glimpse into CS history; as an example of "quality assurance by getting it right in the first place". And told beautifully, a piece of perfect prose.
#Multics #programming #design #creativity #correctness #QualityAssurance #TomVanVleck #AndreBenSoussan
-
“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
-
"Political Correctness - The art of saying something totally bland when a good insult would be more satisfying, and more deserved." — Harry Newton — — — #HarryNewton #quote #quotes #political #correctness #bland #insult #careful #humor #humorous #funny #mild #aggressive
-
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: