WIST QuotationsMar 4

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

Adams, Douglas - Hitchhiker's Guide to the Galaxy, Phase 1, "Fit the 4th" (BBC Radio) (1979-03-29) | WIST Quotations

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. This is novelized in The Hitchhiker's Guide to the Galaxy, ch. 30 (1979), with the same…

WIST Quotations
Wednesday LinksMar 4
Wednesday Links - 2026-03-04
https://dev.to/0xkkocel/wednesday-links-edition-2026-03-04-279p
#java #jvm #spring #gradle #github #tomcat #correctness
Wednesday Links - Edition 2026-03-04

JDK 26 G1/Parallel/Serial GC changes (10...

DEV Community
N-gated Hacker NewsFeb 26
🚀 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
Technical Excellence Is Not Enough

A field guide to being right when it doesn't matter.

aviraccoon's nocturnal scribbles
suffFeb 24

Love the order-chaos contrast in Shin Godzilla

So thinks this youtuber.

Shin Godzilla – Allegory for Public Crisis

YouTube
💧🌏 Greg CocksFeb 24
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
amen zwa, esq.Jan 16

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.

amen zwa, esq.Jan 7

#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....🤷‍♂️

Show threadWarm SignullDec 31
@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.
...
WIST Quotations Has Moved!Oct 13

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

Hacker NewsOct 4

Use theorem provers to ensure the correctness of your LLM's reasoning

https://github.com/DebarghaG/proofofthought

#HackerNews #theoremprovers #LLM #correctness #reasoning #AIresearch #proofsofthought

GitHub - DebarghaG/proofofthought: "Proof of thought: Neurosymbolic program synthesis allows robust and interpretable reasoning" published Sys2Reasoning Workshop NeurIPS 2024

"Proof of thought: Neurosymbolic program synthesis allows robust and interpretable reasoning" published Sys2Reasoning Workshop NeurIPS 2024 - DebarghaG/proofofthought

GitHub