Search
92 results for “ahelwer”
-
I wrote a blog post about a type of TLA+ contract I've done a few times, why it never goes as well as hoped, and how future contracts could be restructured for greater success.
-
I wrote a blog post about a type of TLA+ contract I've done a few times, why it never goes as well as hoped, and how future contracts could be restructured for greater success.
-
I wrote a blog post about a type of TLA+ contract I've done a few times, why it never goes as well as hoped, and how future contracts could be restructured for greater success.
-
I wrote a blog post about a type of TLA+ contract I've done a few times, why it never goes as well as hoped, and how future contracts could be restructured for greater success.
-
Hillel Wayne had some ideas to make TLA+ syntax more familiar to software engineers (basically less LaTeX-y, like "all" instead of "\A"), so I branched the Java-based parser and whipped up some changes to see what this would look like in practice. It was very low effort but also totally works. Taking additional requests!
-
Hillel Wayne had some ideas to make TLA+ syntax more familiar to software engineers (basically less LaTeX-y, like "all" instead of "\A"), so I branched the Java-based parser and whipped up some changes to see what this would look like in practice. It was very low effort but also totally works. Taking additional requests!
-
Hillel Wayne had some ideas to make TLA+ syntax more familiar to software engineers (basically less LaTeX-y, like "all" instead of "\A"), so I branched the Java-based parser and whipped up some changes to see what this would look like in practice. It was very low effort but also totally works. Taking additional requests!
-
Hillel Wayne had some ideas to make TLA+ syntax more familiar to software engineers (basically less LaTeX-y, like "all" instead of "\A"), so I branched the Java-based parser and whipped up some changes to see what this would look like in practice. It was very low effort but also totally works. Taking additional requests!
-
I wrote a blog post version of my talk at the 2025 TLA⁺ Community Event last week. I try to capture the current state of TLA⁺ tooling development: what tools exist, our greatest challenges, and what I want in the near-mid future.
-
The current state of TLA⁺ development
https://ahelwer.ca/post/2025-05-15-tla-dev-status/
#HackerNews #TLA+ #TLAplus #development #software #engineering #formal #methods #programming
-
Let go of StackOverflow; communities must take ownership
https://ahelwer.ca/post/2025-11-25-stackoverflow/
#HackerNews #Let #go #of #StackOverflow #communities #must #take #ownership #ownership #of #knowledge #tech #communities
-
🎉 Oh look, another article about the tragic demise of StackOverflow's glory days—because clearly, nothing screams relevance more than reminiscing about a website from the mid-2010s. 🚀 Spoiler: communities have already moved on, but hey, thanks for the history lesson, Andrew! 🙄
https://ahelwer.ca/post/2025-11-25-stackoverflow/ #StackOverflow #Nostalgia #TechCommunity #OnlineLearning #WebDevelopment #HistoryLesson #HackerNews #ngated -
Oh, look! Another riveting blog post about TLA⁺ development, because clearly the world was desperate for more updates on formal specification languages from 2025. 🎉🤖 Congratulations, Andrew, for making sure our excitement levels match those of a toaster's firmware update. 🍞🔧
https://ahelwer.ca/post/2025-05-15-tla-dev-status/ #TLAplus #TLAplusDevelopment #FormalSpecification #Humor #TechUpdates #HackerNews #ngated -
Lamport's new (and final) book A Science of Concurrent Programs is now officially published! The final draft PDF has long been available for free on Lamport's website, but now you can buy a hardcover from Cabridge press. Discussion on the TLA+ mailing list: https://discuss.tlapl.us/msg06762.html
-
Lamport's new (and final) book A Science of Concurrent Programs is now officially published! The final draft PDF has long been available for free on Lamport's website, but now you can buy a hardcover from Cabridge press. Discussion on the TLA+ mailing list: https://discuss.tlapl.us/msg06762.html
-
Lamport's new (and final) book A Science of Concurrent Programs is now officially published! The final draft PDF has long been available for free on Lamport's website, but now you can buy a hardcover from Cabridge press. Discussion on the TLA+ mailing list: https://discuss.tlapl.us/msg06762.html
-
Lamport's new (and final) book A Science of Concurrent Programs is now officially published! The final draft PDF has long been available for free on Lamport's website, but now you can buy a hardcover from Cabridge press. Discussion on the TLA+ mailing list: https://discuss.tlapl.us/msg06762.html
-
Spent a bit of time exercising my temporal logic/basic boolean algebra muscles today. Found a nice derivation, felt good!
https://groups.google.com/g/tlaplus/c/4hw3eUzDVA8/m/KKjzEAqOAQAJ
-
Spent a bit of time exercising my temporal logic/basic boolean algebra muscles today. Found a nice derivation, felt good!
https://groups.google.com/g/tlaplus/c/4hw3eUzDVA8/m/KKjzEAqOAQAJ
-
Spent a bit of time exercising my temporal logic/basic boolean algebra muscles today. Found a nice derivation, felt good!
https://groups.google.com/g/tlaplus/c/4hw3eUzDVA8/m/KKjzEAqOAQAJ
-
Spent a bit of time exercising my temporal logic/basic boolean algebra muscles today. Found a nice derivation, felt good!
https://groups.google.com/g/tlaplus/c/4hw3eUzDVA8/m/KKjzEAqOAQAJ
-
Tuesday evening project: trying out the new #Arch Linux image for the #PineNote to try to build a distraction-free computing environment. Thesis: if it takes an hour to connect to wi-fi and another hour to connect it to a Bluetooth keyboard, I probably won’t use it to waste time scrolling. But I might use it to waste time formalizing math from a textbook!
-
Tuesday evening project: trying out the new #Arch Linux image for the #PineNote to try to build a distraction-free computing environment. Thesis: if it takes an hour to connect to wi-fi and another hour to connect it to a Bluetooth keyboard, I probably won’t use it to waste time scrolling. But I might use it to waste time formalizing math from a textbook!
-
Tuesday evening project: trying out the new #Arch Linux image for the #PineNote to try to build a distraction-free computing environment. Thesis: if it takes an hour to connect to wi-fi and another hour to connect it to a Bluetooth keyboard, I probably won’t use it to waste time scrolling. But I might use it to waste time formalizing math from a textbook!
-
Tuesday evening project: trying out the new #Arch Linux image for the #PineNote to try to build a distraction-free computing environment. Thesis: if it takes an hour to connect to wi-fi and another hour to connect it to a Bluetooth keyboard, I probably won’t use it to waste time scrolling. But I might use it to waste time formalizing math from a textbook!
-
Tuesday evening project: trying out the new #Arch Linux image for the #PineNote to try to build a distraction-free computing environment. Thesis: if it takes an hour to connect to wi-fi and another hour to connect it to a Bluetooth keyboard, I probably won’t use it to waste time scrolling. But I might use it to waste time formalizing math from a textbook!
