hwayne

57 ms·

601.
by hwayne 9y ago
If you're interested I've written some stuff on property testing with oracle functions: https://www.hillelwayne.com/post/hypothesis-oracles/
602.
by hwayne 9y ago
The editors' response: http://physics.nyu.edu/sokal/SocialText_reply_LF.pdf
603.
by hwayne 9y ago
Do you know if it ended up ever being a full series? The Etsy site only has the first two parts.
604.
by hwayne 9y ago
Looks like the Mac client is failing, too: > > Now GDrive is crashing consistently on my Mac. > The second you can resolve 6 months back by issuing chargebacks. It may be polite to request a refund first, after downloading the file
605.
by hwayne 9y ago
I wrote a step-by-step tutorial to using the IDE. Hope it helps! https://learntla.com/pluscal/toolbox/
606.
by hwayne 9y ago
The only in-depth study I know about is "Alloy meets TLA+".[1] Their conclusion was that Alloy is much more flexible and easier to use _unless_ your system is dynamic, because you have to manually model time in Alloy. [1] https:&
607.
by hwayne 9y ago
First of all, as always, huge respect for your work, and I'm looking forward to reading the rest of the posts. There is something I'd like to start a discussion on, though: > nor will reading these posts teach you how to write
608.
by hwayne 9y ago
Find a nonprofit you like and offer them free tech support.
609.
by hwayne 9y ago
These are third party iOS apps; we don't make them, just curate them. We've at times looked into replacing all of the native apps with web apps but there just isn't enough quality stuff out there to make the switch possible.
610.
by hwayne 9y ago
The way it worked out for me was to first learn it on my own, then model a buggy system at work, then demonstrate how it finds a bug. It's one thing to explain the ideas, another to see it actually run and produce an error trace that m
611.
by hwayne 9y ago
Would you mind emailing me the screenshots at h@learntla? My immediate guess would be that "temporal properties" is unchecked, but I'd have to take a look.
612.
by hwayne 9y ago
I just gotta say, it's _incredibly_ surreal seeing one of the people who inspired me to start studying formal methods link an article I wrote on formal methods.
613.
by hwayne 10y ago
You can make a node that feeds into itself, which is an okay substitute for an open system: http://bit.ly/2mwSlgX
614.
by hwayne 10y ago
I've personally found it absolutely fantastic for modeling business logic. It's also really good for any kind of concurrent system, which covers pretty much every webtech startup.
615.
by hwayne 10y ago
IMO not very. It's easy in TLA+ to write things like "randomly select some bijective function from the power set of N to [0, 1]", which can be really handy for speccing but isn't exactly programming-friendly. I personall
616.
by hwayne 10y ago
I wrote an essay[0] about a non-trivial example I did at my company. We had to work with several finicky APIs and the TLA+ spec caught several critical bugs with it. Plus, it's purely a business logic system, so it's pretty concre