ACCUConfACCU on Sea 2026 SESSION ANNOUNCEMENT: Contracts, Safety and Correctness by Lucian Radu Teodorescu
https://accuonsea.uk/2026/sessions/contracts-safety-and-correctness/
Register now at https://accuonsea.uk/tickets/
C++ on SeaACCU on Sea 2026 SESSION ANNOUNCEMENT: Contracts, Safety and Correctness by Lucian Radu Teodorescu
https://accuonsea.uk/2026/sessions/contracts-safety-and-correctness/
Register now at https://accuonsea.uk/tickets/
Some Bits: Nelson's Linkblogrsync AI drama: Essential and reliable sysadmin tool has had some bugs recently that seem related to using AI to code
https://www.reddit.com/r/sysadmin/comments/1tqvkxz/rsync_343_might_break_incremental_backups_for_you/#:~:text=Rsync%203.4.3%20might%20break,Open
#correctness #claude #rsync #slop #ai #-
https://www.reddit.com/r/sysadmin/comments/1tqvkxz/rsync_343_might_break_incremental_backups_for_you/#:~:text=Rsync%203.4.3%20might%20break,Open
#correctness #claude #rsync #slop #ai #-
Hacker NewsCreusot 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
ACCU on Sea 2026 SESSION ANNOUNCEMENT: Contract Assertions on Virtual Functions by Timur Doumler
https://accuonsea.uk/2026/sessions/contract-assertions-on-virtual-functions
Register now at https://accuonsea.uk/tickets/
ACCU on Sea 2026 SESSION ANNOUNCEMENT: Contract Assertions on Virtual Functions by Timur Doumler
https://accuonsea.uk/2026/sessions/contract-assertions-on-virtual-functions
Register now at https://accuonsea.uk/tickets/
WIST QuotationsAUDITOR: 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.]
[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
Cicero, Marcus Tullius - Tusculan Disputations [Tusculanae Disputationes], Book 1, ch. 17 (1.17) / sec. 39 (1.39) (45 BC) [tr. @sententiq (2012)] | WIST Quotations
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.] (Source (Latin)). Alternate translations: Had rather, I assure you, be mistaken with Plato ... than to be of their opinion in…
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 #+
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
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…
Wednesday LinksWednesday Links - 2026-03-04
https://dev.to/0xkkocel/wednesday-links-edition-2026-03-04-279p
#java #jvm #spring #gradle #github #tomcat #correctness
https://dev.to/0xkkocel/wednesday-links-edition-2026-03-04-279p
#java #jvm #spring #gradle #github #tomcat #correctness
