hwayne

16 ms·

151.
by hwayne 3y ago
The car can be in drive, neutral, or reverse, the light can be red, green, yellow, or broken, the seatbelt can be off or on. That's 24 states.
152.
Github.dev: edit any GitHub repo from VSCode, in the browser(github.dev)
2 points by hwayne 3y ago|0 comments
153.
by hwayne 3y ago
Not everybody is online enough to know this!
154.
by hwayne 3y ago
Precision vs recall, the bane of our lives
155.
by hwayne 3y ago
IIRC Dan Luu had a post about this: sites do catch a lot of this but there's just so much out there that they can't catch it all, not without accidentally flagging genuine reviews and getting everyone mad at them.
156.
by hwayne 3y ago
The guide lists four different GUI frameworks and the comments (so far!) have listed two more.* None of them really have claim to being the good "default" (except maaaaaaaaybe tkinter) and all of the "GUI-knowledge" is f
157.
by hwayne 3y ago
According to a separate article ( https://www.vice.com/en/article/n7ezkm/eating-disorder-helpl... ) the chatbot wasn't supposed to be ChatGPT-based and instead is a "rule-based, guided conversation&qu
158.
Eating Disorder Helpline Chatbot Gives 'Harmful' Responses After Firing Staff(vice.com)
14 points by hwayne 3y ago|1 comments
159.
by hwayne 3y ago
Hi! I've done extensive work in both TLA+ and Alloy. My advice is to pick something small and just run with it. It takes some time to learn either, and the better you get, the more easily you'll be able to apply it to even small s
160.
by hwayne 3y ago
Paragraph two: it's smartphones. Paragraphs three, four, and five: it's the pandemic.
161.
The Reason That There Are So Many Thai Restaurants in America(vice.com)
2 points by hwayne 3y ago|0 comments
162.
by hwayne 3y ago
No, it's a dumb mistake, I was thinking of the number of subgraphs of the N-node graph. I'll fix it.
163.
by hwayne 3y ago
The former, though it grows a little slower than Ack(N). If I read the paper write, they showed that an 18-state Petri Net has a worst case reachability problem on the order of Ack(3), and then every six states you add, n goes up by one. So
164.
by hwayne 3y ago
Unrelated but the coolest thing I discovered while researching this piece was that Petri Net reachability is decidable but Ackermann-complete. ACK-COMPLETE is a thing. That's wild.
165.
by hwayne 3y ago
there are too many specification languages
166.
by hwayne 3y ago
Yeah, I was thinking about biological trees. In retrospect, I should've gone with "there's no such thing as a fish."
167.
by hwayne 3y ago
You raise good points! Ultimately the technical distinction between a specification and programming language comes down to the existence or not of a compiler. Imagine if Python came out in 1960, but without anybody building a Python interpr
168.
by hwayne 3y ago
Yup, `:C:THe::The` will do it.
169.
by hwayne 3y ago
TLA+ and PlusCal are specification languages, not programming languages. Spec languages have their own ur-languages: TLA+ is from the LTL dynasty, Alloy and Event-B are from Z, PRISM is CSP I think?
170.
by hwayne 3y ago
A good place to start is hotstrings: ::;shrug::¯\_(ツ)_/¯ If you type `;shrug` anywhere AHK will replace it with `¯\_(ツ)_/¯`. Some things I have hotstring'd: my ACH routing number, my home address (for filling out for
171.
by hwayne 3y ago
My favorite thing about that page is how the second answer is "regex is actually fine for the asker's specific question"
172.
by hwayne 3y ago
Neat! Microsoft has been trying to mainstream stuff like this recently: Excel now has an "import table from image" button and Powertoys has a built-in OCR widget.
173.
by hwayne 3y ago
This is a good example of how "percent employees of underrepresented groups" isn't a very useful metric. They're counting all US jobs in that category, and page 211 of the report shows that it's only 67% URM for s
174.
by hwayne 3y ago
I liked reading about what specifically he tried to record: who won + every player's strategy, to see if there were any exceptionally strong or weak approaches that need rebalancing.
175.
The Art of the Play Test: Designing Tests and Keeping Records(brandonthegamedev.com)
1 points by hwayne 3y ago|1 comments
176.
by hwayne 3y ago
Implementable in vim keystrokes! https://buttondown.email/hillelwayne/archive/vim-is-turing-c...
177.
by hwayne 4y ago
> Because Alloy works off of first order logic, it's a lot more general than TLA+ but doesn't have temporal logic concepts like liveness as first class primitives. This is incorrect: TLA+ is also based off first-order logic con
178.
by hwayne 4y ago
Line numbers. Space-based indentation. Right-clicking. Find-replace. (Some of these might just be problems on Windows)
179.
by hwayne 4y ago
Every time this comes up I promise myself I'll write a full post, and then I try to write a full post and give up 3000 words later. Here's my usual, now-about-two-years-out-of-date-spiel: ------- Alloy comes from the Z line of “sy
180.
by hwayne 4y ago
Found this while doing some research. Old school memeticists were weird .

More ›