Skip to Content| Hillel Wayne
2024, Mar 02| Hillel Wayne
Posted on | Hillel Wayne
| Tags on Hillel Wayne
| Tags on Hillel Wayne
| Tags on Hillel Wayne
Posted on | Hillel Wayne
2024, Jan 22| Hillel Wayne
2024, Jan 22| Hillel Wayne
Alloy is a formal specification language used to model software systems. It can be used to both check models and find them. Alloy can also output visualizations, making it very useful for communication and domain modeling.| Hillel Wayne
2023, Apr 01| Hillel Wayne
2017, Dec 03| Hillel Wayne
Posted on | Hillel Wayne
A Modular Hotkey System | Hillel Wayne
2017, Dec 05| Hillel Wayne
Blub studies, as defined by Ben Kuhn, is “mundane, ultra-specific-seeming knowledge” of software. It’s the implementation details, the mapped-out pitfalls, and the common tricks we use. All posts tagged “blug studies” are intended to be useful for people who are already comfortable with a topic and want to improve their skills.| Hillel Wayne
2018, Apr 25| Hillel Wayne
2018, Mar 16| Hillel Wayne
2018, Dec 08| Hillel Wayne
Posted on | Hillel Wayne
2020, Jan 22| Hillel Wayne
Posted on | Hillel Wayne
2023, Mar 14| Hillel Wayne
Posted on | Hillel Wayne
Posted on | Hillel Wayne
Decision tables are extremely easy to learn; I’ve taught nonprogrammers how to use them in less than ten minutes. This makes them an excellent introduction to formal methods.| Hillel Wayne
Posted on | Hillel Wayne
2020, Apr 27| Hillel Wayne
2017, Nov 27| Hillel Wayne
Posted on | Hillel Wayne
2019, Aug 07| Hillel Wayne
2021, Oct 10| Hillel Wayne
The pieces I’m most proud of. Not necessarily my most popular pieces, just the ones I like the most.| Hillel Wayne
2020, Feb 05| Hillel Wayne
Formal Methods is the study of how we can use mathematics to write bug-free software. FM is on the bleeding-edge of software verification techniques and has already had many high-profile industry success stories.| Hillel Wayne
Posted on | Hillel Wayne
2020, Jul 10| Hillel Wayne
Skip to Content| Hillel Wayne
2017, Oct 26| Hillel Wayne
2018, Mar 16| Hillel Wayne
2017, Dec 05| Hillel Wayne
2022, Feb 13| Hillel Wayne
Deep dives into the history of software. I’m especially interested in how people inside past contexts made decisions that are still with us today. Studying this gives us a richer understanding of “why things are the way they are”.| Hillel Wayne
Posted on | Hillel Wayne
Posted on | Hillel Wayne
2018, Dec 08| Hillel Wayne
Skip to Content| Hillel Wayne
Posted on | Hillel Wayne
2020, Jul 24| Hillel Wayne
Posted on | Hillel Wayne
2019, Feb 11| Hillel Wayne
2021, Apr 18| Hillel Wayne
2023, Mar 13| Hillel Wayne
Posted on | Hillel Wayne
2022, Feb 13| Hillel Wayne
Posted on | Hillel Wayne
LoadLocal | Hillel Wayne
Posted on | Hillel Wayne
2017, Dec 03| Hillel Wayne
2019, May 22| Hillel Wayne
2020, Oct 28| Hillel Wayne
PRISM is a probabilistic specification language. Not only can it tell you whether something in your system is possible, it can also tell you how likely. For example, given| Hillel Wayne
2020, Jun 19| Hillel Wayne
2018, Apr 25| Hillel Wayne
File Watcher | Hillel Wayne
2019, Mar 11| Hillel Wayne
Posted on | Hillel Wayne
Posted on | Hillel Wayne
Posted on | Hillel Wayne
2017, Oct 26| Hillel Wayne
Posted on | Hillel Wayne
Posted on | Hillel Wayne
2022, Jul 01| Hillel Wayne
2019, Jul 15| Hillel Wayne
Posted on | Hillel Wayne
Posted on | Hillel Wayne
2020, Mar 09| Hillel Wayne
2019, Aug 07| Hillel Wayne
2020, Mar 09| Hillel Wayne
Posted on | Hillel Wayne
Posted on | Hillel Wayne
2019, Jan 02| Hillel Wayne
2018, Jun 11| Hillel Wayne
2019, Jan 02| Hillel Wayne
TLA+ is a formal specification language used to model software systems. We can take the specification and check if it satisfies the properties we want, or produce a counterexample if it doesn’t. TLA+ is exceptionally well-suited for specifying concurrent and distributed systems, everything from kernel spinlocks to communicating microservices.| Hillel Wayne
2019, Oct 28| Hillel Wayne
Posted on | Hillel Wayne
Posted on | Hillel Wayne
Posted on | Hillel Wayne
Essays where I wanted to share ideas that I haven’t “battle-tested” myself. They make sense to me and I think are worth experimenting with, but I can’t guarantee how well they work out in practice.| Hillel Wayne
2023, Mar 13| Hillel Wayne
2019, Oct 09| Hillel Wayne
2020, May 12| Hillel Wayne
Posted on | Hillel Wayne
2017, Dec 10| Hillel Wayne
2020, Jul 24| Hillel Wayne
The Crossover Project was a series of interviews I did in 2019 and 2020 to understand our place in the engineering disciplines. I interviewed seventeen “Crossovers”: people who used to work as traditional engineers and now work as software developers. The pieces are intended to be read in sequence, starting with Are We Really Engineers?| Hillel Wayne