Live data from Hacker News

Is something bugging you?

antithesis.com

421–430 of 438 posts

Re: Is something bugging you?

#421
post #104

In my career I learned two powerful tools to get bug free code. Design by Contract and Randomized testing. I had to roll this by myself for each project I did. Antithesis seems to systematize it and created great tooling around it. That's Great!!! However, looking at their docs they rely on assertion failures to find bugs. I believe Antithesis has a missed opportunity here by not properly pushing for Design by Contra…

What’s your favourite writing on best practices for randomised testing?

Re: Is something bugging you?

#422
post #10

I've been super interested in this field since finding out about it from the `sled` simulation guide [0] (which outlines how FoundationDB does what they do). Currently bringing a similar kind of testing in to our workplace by writing our services to run on top of `madsim` [1]. This lets us continue writing async/await-style services in tokio but then (in tests) replace them with a deterministic executor that patches…

Does something like madsim / Deterministic Simulation Testing exist for Java applications?

Re: Is something bugging you?

#423

Earlier quoted context omitted.

When I was in college, I've met a few people that coded _a lot_ faster than me. Typically, they started since they were 12 instead of 21 (like me). That's how 10x engineers exist, by the time they are 30, they have roughly 20 years of programming experience behind their belt instead of 10. Also, their professional experience is much greater. Sure, their initial jobs at 15 are the occassional weird gig for the uncle/a…

Yes: Programmers who start at twelve are often the 10x programmers who can really program faster than the average developer by a lot. No: It's not because they have 10 more years of experience. Read "The Mythical Man Month." That's the book that popularized the concept that some developers were 5-25x faster than others. One of the takeaways was that the speed of a developer was not correlated with experience. At all.…

> Most people will only ever be able to speak a language as fluently as a native speaker if they learn it before they're about 13-14 years old.

Very few people both have a ton of exposure to a language and actually study the grammar and stuff as adults. If you don't learn the grammar you will still speak like a dog after living in a country for 20 years. A lot of people in an average company don't write hard things at their job, didn't read any textbooks etc. and spend loads of time in meetings etc.

Re: Is something bugging you?

#424

Earlier quoted context omitted.

Even when they are smart enough to know, they seem to have very short memories. While I don't consider myself to be a 10x engineer; I have certainly done a number of 10x things over my career. I worked for a company where I almost single handedly built a product that resulted in tens of millions of dollars in sales. I got a nice 'atta boy' for it, but my future ideas were often overridden by someone in management who…

Did you go build your own company? You totally should with a story like that.

As a matter of fact, I did.

https://www.didgets.com

Re: Is something bugging you?

#425
post #273
post #195

Earlier quoted context omitted.

I know it's meant to be funny, but the number of tech people who spend zero time learning about "what's out there", are usually not the most effective developers. You won't find better solutions to existing or even new problems without an interest in industry. Maybe this particular article isn't "industry valuable fair enough", but having zero interest in refining and enhancing your craft beyond the work in front of…

Hard agree. Another flaw in his thinking: brain cycles and sub-conscious processing. I'm in the middle of a hard problem right now. I ran out of ideas, and opened HN about half an hour ago. In that time, without "trying", I've had two new ideas - one sent me back to my notes, which revealed that my original thinking was flawed; the second sent me to documentation, which suggested a new route to pursue. I'm digesting…

Not disagreeing with you, but just as a thought exercise: what if you had spent that time going for a walk outside rather than on HN?

Re: Is something bugging you?

#426
post #273

Earlier quoted context omitted.

Hard agree. Another flaw in his thinking: brain cycles and sub-conscious processing. I'm in the middle of a hard problem right now. I ran out of ideas, and opened HN about half an hour ago. In that time, without "trying", I've had two new ideas - one sent me back to my notes, which revealed that my original thinking was flawed; the second sent me to documentation, which suggested a new route to pursue. I'm digesting…

Not disagreeing with you, but just as a thought exercise: what if you had spent that time going for a walk outside rather than on HN?

If I'd done that I couldn't have context-switched back to the documentation so easily!

Nah. I get what you're saying, and it's a great idea. Sometimes I do go for a walk. More often I do dishes. Those are both, however, higher-commitment, more time-consuming activities than flipping to a different window. If I remember correctly, my sticking point that day felt like a small one, and so the distraction / break I felt like I needed was correspondingly small.

Re: Is something bugging you?

#427

> We thought about this and decided to just go all out and write a hypervisor which emulates a deterministic computer. Huh. Yes, that would work. It's in the category of obvious in hindsight. That is a very convincing sales pitch.

Along similar lines, Mario Carneiro wrote a formalisation of a subset of x86 in MetaMath Zero (https://github.com/digama0/mm0/blob/master/examples/x86.mm0) with the ultimate goal of proving that the MetaMath Zero verifier itself is sound. https://arxiv.org/pdf/1910.10703.pdf

(And of course Permutation City is a fiction book all about emulating computers with sound properties!)

Re: Is something bugging you?

#428
This is how I have always developed hard-to-make-bug-free software. Write a simulator first that will deterministically give your software the worst possible environment to run in with failures happening all the time. I have delivered complicated software into production using this method with zero bugs ever reported. It works brilliantly.

Re: Is something bugging you?

#429

I kept cringing when I read the words “no bugs.” This is hubris in the classic style - it’s asking for a literal thunderbolt from the heavens. It may be true, but…come on. Everyone who has ever written a program has thought they were done only to find one more bug. It’s the fundamental experience of programming to asymptotically approach zero bugs but never actually get there. Again, perhaps the claim is true but it…

Nope. CompCert is an example of software that was mostly proven correct (all the important stuff) and zero bugs have ever been found in the proven correct parts. So yes you can indeed write zero bugs software.

Re: Is something bugging you?

#430
post #258
post #33

Earlier quoted context omitted.

Your life depends on lots of unsavory tasks.

Yes, like sewage pipe maintenance. Not data mining to figure out who to assassinate without trial. Using the “unsavory” euphemism for unethical and illegal violence is somewhat of a deception, is it not?

No, I did mean to say potentially "unethical" tasks. Much of national defense is deemed "unethical" by many, yet a critical function that allows you to live a peaceful life.
Post reply on HN