Skip to content

avdi.codes

Avdi Grimm, Code Cleric

  • Home
  • Blog
    • The Banana Stand Articles
  • Graceful.Dev
  • The Cache Flush
  • Stuff I Do
    • Graceful.Dev
    • Podcasts
      • The Cache Flush
    • Coaching & Counsel
    • Workshops
    • Consulting
    • Speaking
    • Courses
    • Newsletters
    • Books
    • Patreon
  • About
    • About Avdi
    • Hire Me
    • Contact
  • Github
  • Twitter
  • Facebook
  • LinkedIn
  • YouTube
  • Patreon

Tag: formal methods

Collaborations Videos

Jessitron & Avdi Learn About Alloy

Posted on April 21, 2020April 21, 2020 by Avdi Grimm1 comment on “Jessitron & Avdi Learn About Alloy”
Continue reading "Jessitron & Avdi Learn About Alloy"
TSA Notice of Baggage Inspection

Articles

Edsger Dijkstra and the TSA school of software correctness

Posted on March 20, 2020March 20, 2020 by Avdi Grimm
Continue reading "Edsger Dijkstra and the TSA school of software correctness"

Recent Posts

  • Writing boring code with the help of ChatGPT
  • Why Grace Matters (for Software Development)
  • Mastodon: Zero to Green Tests Locally (as of December 2022)
  • SIGAVDI #96: Olbas Edition
  • On Rigor, White Supremacy, and Occam’s Razor

RSS Podcast: The Cache Flush

  • The Cache Flush Episode 13: The Grammar of Systems
  • The Cache Flush 012: Computer Power and Human Reason
  • The Cache Flush Episode 11: The Closed World
  • The Cache Flush Episode 010: Making Errors, Making Sense, Making Use
  • 009 Sponsorship Specifications
  • Home
  • Blog
    • The Banana Stand Articles
  • Graceful.Dev
  • The Cache Flush
  • Stuff I Do
    • Graceful.Dev
    • Podcasts
      • The Cache Flush
    • Coaching & Counsel
    • Workshops
    • Consulting
    • Speaking
    • Courses
    • Newsletters
    • Books
    • Patreon
  • About
    • About Avdi
    • Hire Me
    • Contact

Categories

  • #NOCODE
  • Announcements
  • Articles
  • Collaborations
  • Dev Journal
  • Event Log
  • Fragments
  • How-to
  • Humor
  • MOOM Course Updates
  • Resources
  • RubyTapas Freebies
  • Serializations
  • SIGAVDI
  • Skills
  • Technologies
  • Uncategorized
  • Videos
  • Github
  • Twitter
  • Facebook
  • LinkedIn
  • YouTube
  • Patreon

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
Copyright ©️ 2021 Avdi Grimm
Cleantalk Pixel