https://www.hillelwayne.com/tags/ Recent content in Tags on Hillel Wayne Hugo -- gohugo.io en-us Wed, 10 Apr 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/alloy/ Wed, 10 Apr 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/alloy/ 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. Alloy is a specialty of mine. I am on the Alloy board and currently in charge of writing the online documentation. I also offer consulting services. Related Tags TLA+: Another formal method I specialize in. https://www.hillelwayne.com/tags/april-cools/ Mon, 01 Apr 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/april-cools/ https://www.hillelwayne.com/tags/architecture/ Sun, 03 Dec 2017 00:00:00 +0000 https://www.hillelwayne.com/tags/architecture/ https://www.hillelwayne.com/tags/augmentation/ Wed, 03 May 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/augmentation/ https://www.hillelwayne.com/tags/autohotkey/ Mon, 15 Jul 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/autohotkey/ https://www.hillelwayne.com/tags/bad-ideas/ Tue, 05 Dec 2017 00:40:32 -0600 https://www.hillelwayne.com/tags/bad-ideas/ https://www.hillelwayne.com/tags/blub-studies/ Mon, 13 Dec 2021 00:00:00 +0000 https://www.hillelwayne.com/tags/blub-studies/ 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. https://www.hillelwayne.com/tags/challenge/ Wed, 25 Apr 2018 00:00:00 +0000 https://www.hillelwayne.com/tags/challenge/ https://www.hillelwayne.com/tags/commission/ Fri, 16 Mar 2018 00:00:00 +0000 https://www.hillelwayne.com/tags/commission/ https://www.hillelwayne.com/tags/companies/ Sat, 08 Dec 2018 00:00:00 +0000 https://www.hillelwayne.com/tags/companies/ https://www.hillelwayne.com/tags/computer-science/ Sat, 02 Mar 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/computer-science/ https://www.hillelwayne.com/tags/constraint-solving/ Tue, 20 Feb 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/constraint-solving/ https://www.hillelwayne.com/tags/consulting/ Wed, 22 Jan 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/consulting/ https://www.hillelwayne.com/tags/contracts/ Mon, 08 Apr 2019 00:00:00 +0000 https://www.hillelwayne.com/tags/contracts/ https://www.hillelwayne.com/tags/crankery/ Tue, 14 Mar 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/crankery/ https://www.hillelwayne.com/tags/crimes/ Mon, 17 Apr 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/crimes/ https://www.hillelwayne.com/tags/culture/ Wed, 25 Apr 2018 00:00:00 +0000 https://www.hillelwayne.com/tags/culture/ https://www.hillelwayne.com/tags/decision-tables/ Wed, 09 Sep 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/decision-tables/ A formal specification format, where you enumerate all possible inputs and corresponding outputs. For example: n % 3 n % 5 f(n) T T “FizzBuzz” T F “Fizz” F T “Buzz” F F n 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. https://www.hillelwayne.com/tags/documentation/ Wed, 05 Jul 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/documentation/ https://www.hillelwayne.com/tags/education/ Mon, 27 Apr 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/education/ https://www.hillelwayne.com/tags/eiffel/ Mon, 27 Nov 2017 00:00:00 +0000 https://www.hillelwayne.com/tags/eiffel/ https://www.hillelwayne.com/tags/engineering/ Mon, 15 Jul 2019 00:00:00 +0000 https://www.hillelwayne.com/tags/engineering/ https://www.hillelwayne.com/tags/essay/ Wed, 07 Aug 2019 00:00:00 +0000 https://www.hillelwayne.com/tags/essay/ https://www.hillelwayne.com/tags/experimental/ Sun, 10 Oct 2021 00:00:00 +0000 https://www.hillelwayne.com/tags/experimental/ https://www.hillelwayne.com/tags/favorites/ Wed, 20 Jan 2021 00:00:00 +0000 https://www.hillelwayne.com/tags/favorites/ The pieces I’m most proud of. Not necessarily my most popular pieces, just the ones I like the most. https://www.hillelwayne.com/tags/feature-interaction/ Wed, 05 Feb 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/feature-interaction/ https://www.hillelwayne.com/tags/formal-methods/ Mon, 17 Jun 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/formal-methods/ 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. At a broad level, FM divides into two subfields: proving that the code we write is correct, and proving that the designs we intend to implement are correct. I specialize in the latter, and most of this blog is about design verification. https://www.hillelwayne.com/tags/fringetech/ Fri, 10 Jul 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/fringetech/ https://www.hillelwayne.com/tags/frink/ Mon, 15 Jul 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/frink/ https://www.hillelwayne.com/tags/go/ Fri, 25 Sep 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/go/ https://www.hillelwayne.com/tags/grambling/ Thu, 26 Oct 2017 00:00:00 +0000 https://www.hillelwayne.com/tags/grambling/ https://www.hillelwayne.com/tags/graphs/ Sat, 02 Mar 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/graphs/ https://www.hillelwayne.com/tags/great-slate/ Fri, 16 Mar 2018 00:00:00 +0000 https://www.hillelwayne.com/tags/great-slate/ https://www.hillelwayne.com/tags/halfbakery/ Tue, 05 Dec 2017 00:40:32 -0600 https://www.hillelwayne.com/tags/halfbakery/ https://www.hillelwayne.com/tags/hiatus/ Sun, 13 Feb 2022 00:00:00 +0000 https://www.hillelwayne.com/tags/hiatus/ https://www.hillelwayne.com/tags/history/ Tue, 14 Mar 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/history/ 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”. In 2019 I gave a talk at Deconstruct on the importance of studying software history. Highlights There’s Always More History: A dive into why Vim uses hjkl and why the JavaScript date API numbers months from 0-11. https://www.hillelwayne.com/tags/humor/ Mon, 05 Mar 2018 00:00:00 +0000 https://www.hillelwayne.com/tags/humor/ https://www.hillelwayne.com/tags/hypothesis/ Fri, 19 Jun 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/hypothesis/ https://www.hillelwayne.com/tags/interviewing/ Sat, 08 Dec 2018 00:00:00 +0000 https://www.hillelwayne.com/tags/interviewing/ https://www.hillelwayne.com/tags/interviews/ Sat, 02 Mar 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/interviews/ https://www.hillelwayne.com/tags/j/ Mon, 15 Jul 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/j/ https://www.hillelwayne.com/tags/javascript/ Tue, 08 Dec 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/javascript/ https://www.hillelwayne.com/tags/knacks/ Mon, 22 Jan 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/knacks/ https://www.hillelwayne.com/tags/latex/ Fri, 24 Jul 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/latex/ https://www.hillelwayne.com/tags/list/ Wed, 25 Mar 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/list/ https://www.hillelwayne.com/tags/logic/ Mon, 11 Feb 2019 00:00:00 +0000 https://www.hillelwayne.com/tags/logic/ https://www.hillelwayne.com/tags/ltl/ Sun, 18 Apr 2021 00:00:00 +0000 https://www.hillelwayne.com/tags/ltl/ https://www.hillelwayne.com/tags/lua/ Mon, 13 Mar 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/lua/ https://www.hillelwayne.com/tags/math/ Mon, 22 Jan 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/math/ https://www.hillelwayne.com/tags/meta/ Sun, 13 Feb 2022 00:00:00 +0000 https://www.hillelwayne.com/tags/meta/ https://www.hillelwayne.com/tags/minizinc/ Sun, 30 Sep 2018 00:00:00 +0000 https://www.hillelwayne.com/tags/minizinc/ https://www.hillelwayne.com/tags/neovim-only/ Fri, 19 Aug 2022 00:00:00 +0000 https://www.hillelwayne.com/tags/neovim-only/ https://www.hillelwayne.com/tags/newsletter/ Tue, 14 Mar 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/newsletter/ https://www.hillelwayne.com/tags/niche-language-demos/ Tue, 20 Feb 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/niche-language-demos/ https://www.hillelwayne.com/tags/notation/ Sun, 03 Dec 2017 00:00:00 +0000 https://www.hillelwayne.com/tags/notation/ https://www.hillelwayne.com/tags/oop/ Wed, 22 May 2019 00:00:00 +0000 https://www.hillelwayne.com/tags/oop/ https://www.hillelwayne.com/tags/opinion/ Wed, 28 Oct 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/opinion/ https://www.hillelwayne.com/tags/prism/ Mon, 02 Nov 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/prism/ 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 dtmc const int N; module workers left : [0..N] init N; [worker] (left > 0) -> 0.5: (left' = left - 1) + 0.5: true; [] (left = 0) -> true; endmodule // see next section rewards "total_time" [] left > 0: 1; endrewards The model checker can find the average time it takes to process all N messages with R{"total_time"}=? https://www.hillelwayne.com/tags/pbt/ Fri, 19 Jun 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/pbt/ https://www.hillelwayne.com/tags/picat/ Mon, 15 Jul 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/picat/ https://www.hillelwayne.com/tags/postmortem/ Wed, 25 Apr 2018 00:00:00 +0000 https://www.hillelwayne.com/tags/postmortem/ https://www.hillelwayne.com/tags/powershell/ Thu, 18 Aug 2022 00:00:00 +0000 https://www.hillelwayne.com/tags/powershell/ https://www.hillelwayne.com/tags/practices/ Mon, 15 Jul 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/practices/ https://www.hillelwayne.com/tags/programming/ Tue, 24 Jan 2017 12:37:25 -0600 https://www.hillelwayne.com/tags/programming/ https://www.hillelwayne.com/tags/projects/ Mon, 21 Aug 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/projects/ https://www.hillelwayne.com/tags/python/ Mon, 17 Apr 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/python/ https://www.hillelwayne.com/tags/raku/ Mon, 15 Jul 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/raku/ https://www.hillelwayne.com/tags/rambling/ Thu, 26 Oct 2017 00:00:00 +0000 https://www.hillelwayne.com/tags/rambling/ https://www.hillelwayne.com/tags/rant/ Wed, 03 May 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/rant/ https://www.hillelwayne.com/tags/rants/ Wed, 05 Jul 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/rants/ https://www.hillelwayne.com/tags/release/ Fri, 01 Jul 2022 00:00:00 +0000 https://www.hillelwayne.com/tags/release/ https://www.hillelwayne.com/tags/requirements/ Mon, 15 Jul 2019 00:00:00 +0000 https://www.hillelwayne.com/tags/requirements/ https://www.hillelwayne.com/tags/research/ Mon, 09 Mar 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/research/ https://www.hillelwayne.com/tags/responses/ Fri, 09 Feb 2018 00:00:00 +0000 https://www.hillelwayne.com/tags/responses/ https://www.hillelwayne.com/tags/sat/ Mon, 20 Feb 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/sat/ https://www.hillelwayne.com/tags/science/ Mon, 09 Mar 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/science/ https://www.hillelwayne.com/tags/short/ Wed, 07 Aug 2019 00:00:00 +0000 https://www.hillelwayne.com/tags/short/ https://www.hillelwayne.com/tags/society/ Mon, 09 Mar 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/society/ https://www.hillelwayne.com/tags/software-engineering/ Mon, 29 Aug 2022 00:00:00 +0000 https://www.hillelwayne.com/tags/software-engineering/ https://www.hillelwayne.com/tags/specification/ Mon, 21 Jan 2019 00:00:00 +0000 https://www.hillelwayne.com/tags/specification/ https://www.hillelwayne.com/tags/stamp/ Wed, 02 Jan 2019 00:00:00 +0000 https://www.hillelwayne.com/tags/stamp/ https://www.hillelwayne.com/tags/state-machines/ Mon, 11 Jun 2018 00:00:00 +0000 https://www.hillelwayne.com/tags/state-machines/ https://www.hillelwayne.com/tags/systems/ Wed, 02 Jan 2019 00:00:00 +0000 https://www.hillelwayne.com/tags/systems/ https://www.hillelwayne.com/tags/tla+/ Mon, 17 Jun 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/tla+/ 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. TLA+ is my specialty. I’ve written numerous articles and two guides, the Practical TLA+ book and the learntla free website. I also offer consulting services. https://www.hillelwayne.com/tags/talks/ Mon, 28 Oct 2019 00:00:00 +0000 https://www.hillelwayne.com/tags/talks/ https://www.hillelwayne.com/tags/teaching/ Tue, 07 Nov 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/teaching/ https://www.hillelwayne.com/tags/techniques/ Mon, 17 Jun 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/techniques/ https://www.hillelwayne.com/tags/terms/ Wed, 01 May 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/terms/ https://www.hillelwayne.com/tags/testing/ Mon, 28 Jun 2021 00:00:00 +0000 https://www.hillelwayne.com/tags/testing/ https://www.hillelwayne.com/tags/crossover-project/ Fri, 22 Jan 2021 00:00:00 +0000 https://www.hillelwayne.com/tags/crossover-project/ 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? https://www.hillelwayne.com/tags/theorycrafting/ Thu, 04 Jan 2024 00:00:00 +0000 https://www.hillelwayne.com/tags/theorycrafting/ 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. https://www.hillelwayne.com/tags/tooling/ Mon, 13 Mar 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/tooling/ https://www.hillelwayne.com/tags/tutorial/ Wed, 09 Oct 2019 00:00:00 +0000 https://www.hillelwayne.com/tags/tutorial/ https://www.hillelwayne.com/tags/ux/ui/ Tue, 12 May 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/ux/ui/ https://www.hillelwayne.com/tags/vim/ Mon, 13 Mar 2023 00:00:00 +0000 https://www.hillelwayne.com/tags/vim/ https://www.hillelwayne.com/tags/wittgenstein/ Sun, 10 Dec 2017 00:00:00 +0000 https://www.hillelwayne.com/tags/wittgenstein/ https://www.hillelwayne.com/tags/workshops/ Fri, 24 Jul 2020 00:00:00 +0000 https://www.hillelwayne.com/tags/workshops/