| | Physical vs. Logical Time (buttondown.email/hillelwayne) |
| 3 points by BerislavLopac on June 22, 2021 | past | 1 comment |
|
| | Comment the Why *and* the What (buttondown.email/hillelwayne) |
| 4 points by mmastrac on June 15, 2021 | past |
|
| | Designing Software with Predicate Logic (buttondown.email/hillelwayne) |
| 19 points by azhenley on June 10, 2021 | past |
|
| | Users Are Nondeterministic Agents of Chaos (buttondown.email/hillelwayne) |
| 2 points by BerislavLopac on June 8, 2021 | past |
|
| | Predicate Logic for Programmers (buttondown.email/hillelwayne) |
| 3 points by azhenley on June 1, 2021 | past |
|
| | Scaffolding TLA+ (buttondown.email/hillelwayne) |
| 3 points by Tomte on May 21, 2021 | past |
|
| | The Jame of Life (buttondown.email/hillelwayne) |
| 46 points by g0xA52A2A on May 21, 2021 | past | 13 comments |
|
| | Esolangs (buttondown.email/hillelwayne) |
| 1 point by BerislavLopac on May 4, 2021 | past |
|
| | Can formal methods succeed where UML failed? (buttondown.email/hillelwayne) |
| 3 points by azhenley on May 2, 2021 | past | 1 comment |
|
| | Can Formal Methods Succeed Where UML Failed? (buttondown.email/hillelwayne) |
| 2 points by BerislavLopac on April 30, 2021 | past |
|
| | Why UML “Really” Died (buttondown.email/hillelwayne) |
| 182 points by BerislavLopac on April 27, 2021 | past | 198 comments |
|
| | The Jame of Life (buttondown.email/hillelwayne) |
| 1 point by Tomte on April 22, 2021 | past |
|
| | “Naming Things” Is a Poor Name for Naming Things (buttondown.email/hillelwayne) |
| 5 points by sealeck on April 16, 2021 | past |
|
| | Why Property Testing Finds Bugs Unit Testing Does Not (buttondown.email/hillelwayne) |
| 1 point by BerislavLopac on April 8, 2021 | past |
|
| | Reject Simplicity, Embrace Complexity (buttondown.email/hillelwayne) |
| 2 points by BerislavLopac on April 8, 2021 | past |
|
| | Why Property Testing Finds Bugs Unit Testing Does Not (buttondown.email/hillelwayne) |
| 3 points by Jtsummers on April 2, 2021 | past |
|
| | Some Rambling About Structured Text (buttondown.email/hillelwayne) |
| 2 points by mpweiher on March 30, 2021 | past |
|
| | A Binder Full of Questions (buttondown.email/hillelwayne) |
| 2 points by todsacerdoti on March 23, 2021 | past |
|
| | No Seriously, Hate Your Tools (buttondown.email/hillelwayne) |
| 1 point by BadInformatics on March 17, 2021 | past |
|
| | Vim Is Turing-Complete (buttondown.email/hillelwayne) |
| 4 points by adamgordonbell on March 8, 2021 | past |
|
| | Vim Is Turing-Complete (buttondown.email/hillelwayne) |
| 3 points by todsacerdoti on March 8, 2021 | past |
|
| | “Naming Things” Is a Poor Name for Naming Things (buttondown.email/hillelwayne) |
| 4 points by BerislavLopac on Feb 17, 2021 | past |
|
| | “Naming Things” Is a Poor Name for Naming Things (buttondown.email/hillelwayne) |
| 2 points by quazar on Feb 16, 2021 | past |
|
| | No, “reasoning about code” is not a scam (buttondown.email/hillelwayne) |
| 6 points by BerislavLopac on Feb 2, 2021 | past |
|
| | Cross-Branch Testing (buttondown.email/hillelwayne) |
| 3 points by azhenley on Dec 21, 2020 | past |
|
| | Safety and Liveness Properties (buttondown.email/hillelwayne) |
| 2 points by todsacerdoti on Dec 1, 2020 | past |
|
| | Software Engineers Don't Have Disciplines (buttondown.email/hillelwayne) |
| 2 points by BerislavLopac on Dec 1, 2020 | past |
|
| | I Still Use Vim (buttondown.email/hillelwayne) |
| 118 points by luu on Nov 12, 2020 | past | 121 comments |
|
| | I Still Use Vim (buttondown.email/hillelwayne) |
| 4 points by todsacerdoti on Nov 11, 2020 | past |
|
| | Clean code won't save the planet (buttondown.email/hillelwayne) |
| 84 points by headalgorithm on Nov 6, 2020 | past | 85 comments |
|
|
| More |
