#hoarelogic — Public Fediverse posts

🚨 Breaking News: A genius who invented things no one understands has left the building! 🤔🔍 Let's all pretend we're familiar with "quicksort" and "Hoare logic" until the next tech buzzword distracts us. 🎉
https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html #BreakingNews #GeniusInventor #TechBuzzwords #Quicksort #HoareLogic #HackerNews #ngated

Long division verified via Hoare logic — https://www.cofault.com/2025/02/long-story-of-division.html
#HackerNews #LongDivision #HoareLogic #ComputerScience #Verification #Algorithms

“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

I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.

Please boost this so this also finds an audience beyond the types community!

#SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory