hwayne

38 ms·

421.
by hwayne 6y ago
I don't have the necessary background to find a good "Kubernetes everywhere" ice shower, but if someone else found one and submitted it I think I could evaluate it.
422.
by hwayne 6y ago
I used to think this, and then I interviewed people who did both traditional and software engineering professionally, and now I'm not so sure. I did a first draft of what I learned here: https://www.youtube.com/watch?v=
423.
by hwayne 6y ago
I seeded most of the list and know basically nothing about docker or kubernetes, so don't know of any cold showers myself. But I would be more than happy to edit a submission by someone who knows the space!
424.
by hwayne 6y ago
Laurent Bossavit tears the Boehm paper apart in his book "Leprechauns of Software Engineering"[1]. It's a good read for anyone interested in the empirical side of software research. [1]: https://leanpub.com/le
425.
by hwayne 6y ago
If I find any cold showers with formal modeling, I will absolutely include those too. :D
426.
Burritos for the Hungry Mathematician [pdf](emorehouse.wescreates.wesleyan.edu)
2 points by hwayne 6y ago|0 comments
427.
Explore connected papers in a visual graph(connectedpapers.com)
2 points by hwayne 6y ago|0 comments
428.
The Frink Is Good, the Unit Is Evil(hillelwayne.com)
3 points by hwayne 6y ago|0 comments
429.
Introduction to Graph Theory [pdf](maths.ed.ac.uk)
2 points by hwayne 6y ago|0 comments
430.
by hwayne 6y ago
I wrote this case study on using TLA+ for a business project: https://medium.com/espark-engineering-blog/formal-methods-in... . This was a system we'd already spent a lot of time working on and consistently saw a d
431.
by hwayne 6y ago
> That modelling was only somewhat successful; based on the constraints applied by each part, I discovered that it would be impossible to make the entire system reliable. "I discovered I can't satisfy all my requirements at onc
432.
by hwayne 6y ago
I wrote an online guide designed to be a bit more accessible: https://www.learntla.com (I stopped working on it to write a full book, but now that that's done I really need to get back and overhaul it. Still a useful resour
433.
by hwayne 6y ago
Which blueprint? Engineers I talked to often mentioned that they'd make several different blueprints and different layers of detail. Is code the "high level" or the "low level" blueprints?
434.
by hwayne 6y ago
Yeah, they do. https://www.youtube.com/watch?v=yJW--wNMv1M
435.
by hwayne 6y ago
I've interviewed a bunch of people who used to professionally design buildings and now professionally write software. They have a lot more in common than you think.
436.
by hwayne 6y ago
Buttondown lets you send emails to just paying subscribers of the newsletter, kinda like substack. I was playing around with the config and didn't realize it would ask people to pay! I am very dumb. Anyway, I disabled it. There is no p
437.
by hwayne 6y ago
Author here. Normally I try to avoid discussing the content on HN (I have weird beliefs about author engagement), but I wanted to share my thoughts on this. I mostly agree with you about the manual labor thing. Outside of tech I'm a re
438.
by hwayne 6y ago
Most of the time Python doesn't do implicit type coercion.
439.
The extreme lengths people will go to break the Cannonball Run record(whichcar.com.au)
2 points by hwayne 6y ago|0 comments
440.
Search All Preprint Archives(osf.io)
1 points by hwayne 6y ago|0 comments
441.
List of Optical Illusions(en.wikipedia.org)
1 points by hwayne 6y ago|0 comments
442.
by hwayne 6y ago
It depends on what you mean by "formal methods". Fully verifying code is fully correct is extremely expensive. Partially verifying code is somewhat correct is a lot less expensive. Verifying the _design_ you intend to code is less
443.
by hwayne 6y ago
This is correct: the TLA+ model checker (TLC) will check all possible behaviors for the finite model. As the GP said, they were only working with a finite number of workers, but within those constraints it guarantees the spec always satisfi
444.
by hwayne 7y ago
I've found that this approach often backfires and makes people lose interest in TLA+. Telling people "it's not programming" tells people they can't use their intuitions for programming, and that they have to be &quo
445.
by hwayne 7y ago
Small correction: I don't work at Stripe! The person who made Buttondown does, I just use it for my newsletter.
446.
by hwayne 7y ago
Ooops, didn't quite explain that properly! The tinyurl links to Berger's Facebook page.
447.
by hwayne 7y ago
One of my favorite examples is this tour de force on "proving" that chocolate helps with weight loss: https://io9.gizmodo.com/i-fooled-millions-into-thinking-choc...
448.
The social side of science seen in the research on programming language quality(hillelwayne.com)
137 points by hwayne 7y ago|84 comments
449.
by hwayne 7y ago
Almost all of the students are going to be somewhere between 17 and 23 years old, so you first do one pass as a bucket sort for each of those seven values. Then sort the remaining students however you want. While it's technically still
450.
by hwayne 7y ago
> A sibling comment discussed most probable message Good luck finding that! Condensed morse code can be _bananas_. https://en.wikipedia.org/wiki/Telegram_style

More ›