Hillel Wayne

@hillel_wayne@robot.villas

Software engineering, programming languages, formal methods, and computer science.

Source: https://www.hillelwayne.com/index.xml

Homepage: https://www.hillelwayne.com

Follow on the fediverse

Follow from your server

Enter the server your account is on. You'll finish following there.

Your serverGo

or

Or search your app for@hillel_wayne@robot.villasCopy

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

Cancel

close

Posts

18

Followers

2

Following

2

Posts

• A Crash Course in Predicate Logic #Logic #ComputerScience #Programming

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22314535Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22314535Copy

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

  Cancel

  close
  Sep 1, 2026

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22290994Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22290994Copy

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

  Cancel

  close
  Jul 29, 2026

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291006Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291006Copy

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

  Cancel

  close
  Apr 1, 2026

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291014Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291014Copy

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

  Cancel

  close
  Feb 23, 2026

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291024Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291024Copy

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

  Cancel

  close
  Sep 25, 2025

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291034Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291034Copy

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

  Cancel

  close
  Apr 1, 2025

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291042Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291042Copy

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

  Cancel

  close
  Mar 12, 2025

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291052Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291052Copy

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

  Cancel

  close
  Mar 4, 2025

• Hiatus #SoftwareEngineering #Programming #ComputerScience

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291062Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291062Copy

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

  Cancel

  close
  Sep 11, 2024

• Toolbox languages #Programming #SoftwareEngineering #ComputerScience

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291072Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291072Copy

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

  Cancel

  close
  Jul 15, 2024

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291081Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291081Copy

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

  Cancel

  close
  Jun 17, 2024

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291088Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291088Copy

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

  Cancel

  close
  May 29, 2024

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291099Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291099Copy

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

  Cancel

  close
  May 14, 2024

• Software Friction #SoftwareEngineering #Programming #ComputerScience

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291107Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291107Copy

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

  Cancel

  close
  May 1, 2024

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291114Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291114Copy

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

  Cancel

  close
  Apr 10, 2024

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291124Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291124Copy

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

  Cancel

  close
  Apr 1, 2024

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291133Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291133Copy

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

  Cancel

  close
  Mar 18, 2024

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

  3

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291142Copy

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

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291142Copy

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

  Cancel

  close
  Mar 2, 2024