Hillel Wayne

Posts

• Logic for Programmers is Now Available #Programming #SoftwareEngineering #ComputerScience

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 29, 2026

• Chicago vs New York Pizza is the Wrong Argument #Food #Debate #Opinion

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Apr 1, 2026

• Some Silly Z3 Scripts I Wrote #Programming #SoftwareEngineering #CS

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Feb 23, 2026

• A Very Early History of Algebraic Data Types #Programming #ComputerScience #History

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Sep 25, 2025

• Gamer Games for Non-Gamers #Gaming #Software #CS

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Apr 1, 2025

• A Perplexing Javascript Parsing Puzzle #JavaScript #Programming #Coding

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Mar 12, 2025

• The Hierarchy of Controls (or how to stop devs from dropping prod) #SoftwareEngineering #DevOps #Programming

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Mar 4, 2025

• Hiatus #SoftwareEngineering #Programming #ComputerScience

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Sep 11, 2024

• Toolbox languages #Programming #SoftwareEngineering #ComputerScience

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jul 15, 2024

• Composing TLA+ Specifications with State Machines #SoftwareEngineering #Programming #FormalMethods

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Jun 17, 2024

• What We Know We Don't Know: Empirical Software Engineering #SoftwareEngineering #ComputerScience #Research

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  May 29, 2024

• Comment Section: Software Friction #SoftwareEngineering #Programming #ComputerScience

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  May 14, 2024

• Software Friction #SoftwareEngineering #Programming #ComputerScience

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  May 1, 2024

• Don't let Alloy facts make your specs a fiction #SoftwareEngineering #FormalMethods #ComputerScience

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Apr 10, 2024

• How old is the name 'Daniel'? #History #Linguistics #Etymology

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Apr 1, 2024

• Comment Section: The Hunt For The Missing Data Type #SoftwareEngineering #Programming #ComputerScience

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Mar 18, 2024

• The Hunt for the Missing Data Type #Programming #SoftwareEngineering #ComputerScience

  3

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  0

  Pick your instance

  Enter the Mastodon instance your account is hosted at.

  Go

  Don't have an account? Find a server at joinmastodon.org

  close
  Mar 2, 2024