hwayne

36 ms·

331.
by hwayne 5y ago
They're getting 500% markups by scamming influencers into joining fake affiliate programs.
332.
by hwayne 5y ago
Dropshipping itself looks totally legitimate, and there's market value of selling things for a small markup. The scammers in this case are doing a 500% markup.
333.
by hwayne 5y ago
> Shopify's business model encourages people to build dropshipping sites, there are literally hundreds of thousands of them. They promote plugins like Oberlo[1] that let you import products directly from AliExpress into your store t
334.
by hwayne 5y ago
Earlier this year I wrote a piece interviewing ex-traditional engineers to compare and contrast with software engineering. [1] Pieces like this were a lot of my inspiration: there's big difference between how we conceive of trad engi
335.
by hwayne 5y ago
Many mechanical and electrical engineers see their work as craft.
336.
by hwayne 5y ago
Here ya go! http://tobacco.stanford.edu/tobacco_main/publications/JUUL_M...
337.
by hwayne 5y ago
Juul's advertising was specifically targeted at teens: https://www.vox.com/2019/1/25/18194953/vape-juul-e-cigarette... (Referenced paper: http://tobacco.stanford.edu/tobacco_main&#x2
338.
by hwayne 5y ago
It's formal verification of an abstract machine as opposed to running code. The problem is that formal methods as a field doesn't yet have a rich enough vocabulary to distinguish between its flavors. I use "code verification&
339.
by hwayne 5y ago
Have you ever met any chemical engineers?
340.
by hwayne 5y ago
Most of the recent egregious hacks I can think of were compromised by things like out-of-date software, poor access control, stuff on the configuration level. Static analysis might help here, but I don't think formal methods is the low
341.
by hwayne 5y ago
> In my opinion, formal methods for software engineering have been heavily advocated for by people and organizations who want to sell books, seminars, and conferences. People who want to act as gatekeepers while extracting money from th
342.
by hwayne 5y ago
> The software industry (SWIND for short) is a mixture of unsafe tooling, high-risk practices, sloppy execution, and total delegation of responsibility. So I agree that the SWIND will never be civil engineering. ^_^ I interviewed a bunc
343.
by hwayne 5y ago
VB6 > TLA+
344.
by hwayne 5y ago
> It really depends on the project, or put it another way, the ROI. Then core protocols of a storage system or an OS kernel will benefit from formal methods, but I’m not sure a CRUD app will. I've seen people successfully use forma
345.
by hwayne 5y ago
Generally unit testing is faster than formal verification, so you're out less work if requirements change.
346.
by hwayne 5y ago
Bridges change all the time too!
347.
IT Without Software(ndt.instedd.org)
188 points by hwayne 5y ago|72 comments
348.
by hwayne 5y ago
The original TDD book said it was both.
349.
by hwayne 5y ago
I was in the audience for that talk. The recording doesn't capture how much energy there was- we were all gasping and cheering throughout. Still a decade off from production, though. That it doesn't just take "test cases&quot
350.
by hwayne 5y ago
> Wow, these formal specification tools is something I always wanted to look into but the learning curve seems steep. One of my dreams is to flatten that learning curve. I don't think we'll ever make these tools effortless, bu
351.
by hwayne 5y ago
Hm. So the easiest, short term thing might be more annotations. For example, is `on_start` and `on_msg` Rust-isms, or are they particular to this project? If the latter, I'd suggest putting a comment describing what they do in the code
352.
by hwayne 5y ago
This is really cool! Also, `JobMarket` is a pun I'm surprised I haven't seen before. One recommendation for the guide: you know the tool much better than the audience, so you're going to underestimate how hard it is for reade
353.
by hwayne 5y ago
Imagine you're making a theatre booking system, where groups can reserve tickets in blocks. Lots of people are reserving tickets both individually and in groups at a time. How do you enforce that groups are mostly booked together? What
354.
by hwayne 5y ago
We've been working on some techniques for this. To my understanding, Stateright (the OP's repo) directly connects the spec with Rust code, so you can make some implementation guarantees. If you don't have that (say you'r
355.
by hwayne 5y ago
Formal Methods is a big field, and there's lots of different pieces with varying usefulness. I'm working on a bigger intro right now, but a couple years back I wrote an overview on why people don't use it: https:/&#x2
356.
by hwayne 5y ago
May I ask where you work? Leslie Lamport has been asking around for examples of companies using TLA+ internally; he'd be interested in hearing your story.
357.
by hwayne 5y ago
Typoing "thought leader" as a way to poke fun at them was deliberate, typoing it in a way that's also slang for a prostitute was completely unintentional and something I wouldn't have done if I knew. Changed it to some
358.
by hwayne 5y ago
…Goddamn it. I guess I'm an old now.
359.
by hwayne 5y ago
> We use a vendor’s API that’s very well documented, and if you asked me to chart how we’d use it based on those docs, it would be very straightforward. In reality, we (only halfway) joke that this vendor puts the “eventual” in “eventual
360.
by hwayne 5y ago
I think the only one who retired during the early decline was Rumbaugh; as one person told me, "he got out while the going was good." Grady Booch left modeling later. Ivar Jacobson is still around, though now he pitches his Essenc

More ›