Mastodawn

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

WIST Quotations Mar 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 Links Mar 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 News Feb 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

suff Feb 24

Love the order-chaos contrast in Shin Godzilla

So thinks this youtuber.

Shin Godzilla – Allegory for Public Crisis

YouTube

💧🌏 Greg Cocks Feb 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 thread

Warm Signull Dec 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.
...