hwayne

45 ms·

181.
List of All “Journal of Memetics” Papers(cfpm.org)
13 points by hwayne 4y ago|1 comments
182.
by hwayne 4y ago
I hope so! So far I've been unimpressed with ChatGPT and Copilot for generating TLA+. It mixes in idioms from other programming languages, like RETURN, which make no sense in TLA+. What I'm hoping is that it'll be helpful for
183.
by hwayne 4y ago
Note: I deleted the email after it accidentally sent but it still seems to be publicly available? In case it's a caching thing, I'm also hosting this post at https://www.hillelwayne.com/post/indiana-pi-bill&#x
184.
by hwayne 4y ago
When did Laurie Voss advocate for Angular? I checked his blog and his Twitter and there is nothing pushing Angular in either.
185.
Hypercard Stacks(archive.org)
3 points by hwayne 4y ago|0 comments
186.
Ubj gb ernq EBG13 (How to read ROT13)(drmaciver.substack.com)
1 points by hwayne 4y ago|0 comments
187.
by hwayne 4y ago
Most package managers don't actually use SAT, because it's hard to get data about the version conflicts when it's unsatisfiable.
188.
by hwayne 4y ago
Yup, TLC is a brute force model checker and Apalache uses SMT.
189.
by hwayne 4y ago
COBOL actually worked pretty well for its time. The ultimate reason COBOL died was because it was a first generation language that nobody really iterated on. It's similar to how most of us don't use FORTRAN, ALGOL, or LISP 1.5. Un
190.
by hwayne 4y ago
Brains are clocks, I mean machines, I mean computers, I mean neural nets.
191.
by hwayne 4y ago
There's a difference between errors in UI/reliability/performance/etc and errors in business logic. When there's an error in the business logic, then heads roll.
192.
The Bobbit Worm Chronicles(whyy.org)
2 points by hwayne 4y ago|0 comments
193.
by hwayne 4y ago
I know this is getting downvoted for being an ad but this is exactly what I was talking about, so thank you I will look into it!
194.
by hwayne 4y ago
To clarify, Bertrand Meyer is the one who gave the test cases and accepted the wrong answer without verifying them. I'm the one who lamented the resulting burden of proofreading.
195.
by hwayne 4y ago
Holy shit this looks AMAZING. Rule out domains from searches entirely? Sold!
196.
by hwayne 4y ago
They are godsent at getting a TikZ drawing jumpstarted.
197.
by hwayne 4y ago
I'd be interested in hearing more about your disagreement! If I had to reconcile this post with my overall shameless FM promotion, I'd say that "proofreading is hard" is the human limit that is amplified by AI use, and m
198.
The Scientific Case for P≠NP(scottaaronson.blog)
5 points by hwayne 4y ago|0 comments
199.
by hwayne 4y ago
"Creative misuse" refers to intended use. TLA+ isn't "meant" for these things, it just happens to be good for some (and kinda-okay for others). But that's the beauty of tools: it doesn't matter what they
200.
by hwayne 4y ago
I don't think that most software is a variable-latency distributed system. I wouldn't use it for a simulation, for example, or anything which depends at a high level on non-integer numbers (TLA+ can't model-check floats or re
201.
by hwayne 4y ago
Not everybody should learn TLA+. It's a pretty niche tool and it's not helpful for a lot of kinds of software!
202.
by hwayne 4y ago
Software is dysfunctional because everything is dysfunctional. Any human endeavor done at scale is going to be a complete clusterfuck of a trainwreck. It's just more obvious with software because we're closer to it. Civilization i
203.
A Social History of Jell-O Salad: The Rise and Fall of an American Icon(seriouseats.com)
2 points by hwayne 4y ago|0 comments
204.
Snowflakes, snow crystals, and other ice phenomena(snowcrystals.com)
2 points by hwayne 4y ago|0 comments
205.
Why the Wingdings Font Exists(vox.com)
2 points by hwayne 4y ago|0 comments
206.
Sierra's Macintosh Timebomb(benshoof.org)
8 points by hwayne 4y ago|0 comments
207.
Rosalind: Learn Bioinformatics Through Programming Problems(rosalind.info)
3 points by hwayne 4y ago|0 comments
208.
List of Eponymous Laws(en.wikipedia.org)
2 points by hwayne 4y ago|0 comments
209.
by hwayne 4y ago
I was skeptical and did some further reading, but it seems like there's other papers showing that diabetes is reversible with weightloss. In particular: - This 2006 paper found that bariatric surgery can reverse diabetes: [2006] - This
210.
Conservation of the Coffin of Ipi-ha-ishutef(oi.uchicago.edu)
2 points by hwayne 4y ago|0 comments

More ›