YIL:
Yesterday I Learned
that Nebraska used to be known as NB before New Brunswick remained the sole nominee (in 1962 or thereabout).
The occasion was an error in a US weather report about hurricane Erin bringing surge waves to Nebraska (spelled out in full).
(NC was badly affected indeed and NJ was also affected, possibly NY as well.)
For those of you have been programming for more than a decade, what programming languages, ecosystems, technologies do you wish you had spent more time with?
For me, it would be: #C, #Perl, #OpenZFS, #TLA+, #ErlangOTP .
(I have spent some time with #commonlisp, #clojure, #java, #rakulang so these are not listed.)
Systems Correctness Practices at Amazon Web Services. Leveraging formal and semi-formal methods.
https://cacm.acm.org/practice/systems-correctness-practices-at-amazon-web-services/
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
The 2025 TLA⁺ Community Event was held last week on May 4th at McMaster University in Hamilton, Ontario, Canada. It was a satellite event to ETAPS 2025, which I also attended, and plan to write about in the near future. I gave a talk somewhat-hucksterishly titled It’s never been easier to write TLA⁺ tooling! which I will spin into a general account of the state of TLA⁺ development here. The conference talks were all recorded, so if you’d like this blog post in video form you can watch it below:
Vassil Nikolov | Васил Николов
IcatianJ
vy
Samuel Chase
jnpn
🅱🅸🅶🅾🆁🆁🅴.🅾🆁🅶
C.
ma𝕏pool
Hacker News
Charles Should