zirk.us is one of the many independent Mastodon servers you can use to participate in the fediverse.
Literature, philosophy, film, music, culture, politics, history, architecture: join the circus of the arts and humanities! For readers, writers, academics or anyone wanting to follow the conversation.

Administered by:

Server stats:

747
active users

#correctness

0 posts0 participants0 posts today

#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)

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

link.springer.com/chapter/10.1

@philosophy

SpringerLinkHandling Mobility Failures by Modal TypesCorrectness is a major concern for logical systems, especially for its significance in computational settings. While establishing a norm for the correctness of computational procedures is a standard requirement, defining errors is a less investigated formal problem....

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:
wist.info/jerome-jermome-k/665

WIST · "Clocks," Diary of a Pilgrimage, and Six Other Essays (1891) - Jerome, Jerome K. | WIST QuotationsThere 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 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:
wist.info/johnson-lyndon/20177