🚨 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.o rg/2026/03/tony-hoare-1934-2026.html #BreakingNews #GeniusInventor #TechBuzzwords #Quicksort #HoareLogic #HackerNews #ngated Tony Hoare (1934-2026) Turing Award winner and former Oxford professor Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...
Long [story of] division. The following text can be viewed as extremely dry and intimidating, or, equally, lightheadedly funny. Let's formally verify the vene...
xavxav - Visions of the future: formal verification in Rust
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
Type Systems / Type Theory 25.4% Runtime Verification (monitoring, instrumentation, ...) 11.7% Control-Flow and Data-Flow Analysis 13.2% Abstract Interpretation 4.6% Formal Verification for Functional Programs (Curry-Howard, dependent types, proof assistants, ...) 10.2% Formal Logic for Imperative Programs (Hoare logic, separation logic, ...) 9.6% Automatic Program Verification (model checking, SMT solvers, ...) 8.1% Operational Semantics (small-step and/or big-step) 8.6% Semantic Models of Computation (category theory, domain theory, ...) 5.1% Something else (comment below!) 3.6% Poll ended at Jun 17, 2023 at 11:14am .
Type Theory Forall - #29 Can PL theory make you a better software engineer? Type Theory Forall is a podcast about Type Theory and Programming Language research in general. We interview relevant people in our field.
N-gated Hacker News
Hacker News
रञ्जित (Ranjit Mathew)
Jesper Agdakx ♾️