nlavezzo

6 ms·

1.
by nlavezzo 3mo ago
Yes, That Hideous Strength despite being written probably 60 years ago seems dead on as a criticism of many of the things being pushed today.
2.
by nlavezzo 5mo ago
All true. But also GDP, science and innovation, and charitable giving - both overall and per capita.
3.
by nlavezzo 6mo ago
THANK YOU!!
4.
by nlavezzo 6mo ago
I'd strongly disagree with this. Since becoming serious about my faith as a 15 year old from a non-christian background, my life and my friend group has gotten progressively better. I had an existential crisis that helped bring me to f
5.
by nlavezzo 6mo ago
Having spent several years unexpectedly alone after a big breakup in my mid twenties, I'd also highly recommend getting involved in a church, even if it's just to serve others in some practical way organized by the church. Most ch
6.
by nlavezzo 7mo ago
100%. I never was excited about having a kid but it's totally amazing to be helping a little human that you love to figure out the world and grow into a good person. People can obviously make the opposite choice, but I'd encourage
7.
by nlavezzo 7mo ago
This is absolutely not our experience, but we've been intentional about joining communities / activities that involve lots of in-person time together. Church is a huge one (especially joining small groups / service groups), b
8.
by nlavezzo 10mo ago
There are in fact neighborhood kids. It only takes a couple of families deciding to restrict phones and video games and support their kids in spending real time together. We’ve done this in our neighborhood and it’s great. It just has to be
9.
by nlavezzo 10mo ago
What leads you to believe the reason parents are willing to dedicate huge amounts of their time and money to homeschool their children is racism? Maybe it's: - the terrible educational state of the school system? - the fact that
10.
by nlavezzo 1y ago
Some of my favorites recently for intellectually engaging Christian thinking are "The Surprising Rebirth of Belief in God" podcast (first season is the best), and the book "Reasonable Faith" by William Lane Craig.
11.
by nlavezzo 1y ago
If you're interested in some of the classic intellectual / philosophical arguments for faith (albeit from a Christian perspective) you should check out "Reasonable Faith" by William Lane Craig.
12.
by nlavezzo 2y ago
HN has never made me cry before, but here I am crying. This is really a wonderful article and discussion. Makes me appreciate this community even more.
13.
by nlavezzo 2y ago
This is great. Please put together an extension. I use Safari but this might get me to switch. Something that would give me a button I could press to de-bullshit a site, not one that tries it on every single site maybe?
14.
by nlavezzo 2y ago
Not sure how you define "biggest" but WWII killed the most people and WWI is probably a close second and neither of those were primarily motivated by religion, but rather nationalism. I'd suggest you check out Tom Holland&#x2
15.
by nlavezzo 2y ago
This is a cool idea. I’ll ask the team about it. Would make for a very interesting blog post or talk!
16.
by nlavezzo 2y ago
This is very cool. That said, it reminded me of a funny collider meme I saw recently: https://tinyurl.com/2k8u4dk6
17.
by nlavezzo 3y ago
We’ll be writing a lot in the near future about how Antithesis works, stay tuned :)
18.
by nlavezzo 3y ago
One of the cool tricks we can use is that since the testing is all fully deterministic, once we find an interesting point in a test run - even if it is “deep” into the run time wise - our system can start many new branches of test runs off
19.
by nlavezzo 3y ago
I'd suggest taking a dive into the docs - there is quite a lot there that should address some of these questions. That said, Antithesis doesn't require you to write manual tests, integration or otherwise. It requires your software
20.
by nlavezzo 3y ago
Depends on how far you mean with "advanced" here. We specifically cover the differences between Antithesis and Chaos Engineering in our "How It's Different" page: https://antithesis.com/product/
21.
by nlavezzo 3y ago
Nick with Antithesis here with a funny story on this. I became friends with Dave our CTO when I was 5 or 6, we were neighbors. He'd already started coding little games in Basic (this was 1985). Later in our friendship, like when I was
22.
by nlavezzo 3y ago
Antithesis here - curious what part of the Getting Started doc gave you that impression? If you take a look at our How Antithesis Works page, it might help answer you question as to how Antithesis is different from just bundling your unit t
23.
by nlavezzo 3y ago
I think the reference to "all the bugs" here is basically that our insanely brutal deterministic testing system was not finding any more bugs after 100's of thousands of runs. Can't prove a negative obviously, but the fa
24.
by nlavezzo 3y ago
We'll be starting some meetups, attending conferences, etc. this year. Also hop into our Discord if you want to chat, lots of us are in there regularly. discord.gg/antithesis
25.
by nlavezzo 3y ago
We've actually done quite a bit of testing on open source projects as we've built this, and have discussed doing an on-going program of testing open source projects that have interested contributors. We'd probably find some i
26.
by nlavezzo 3y ago
FDB co-founder here. Aphyr / Jepsen never tested FDB because, as he tweeted "their testing appears to be waaaay more rigorous than mine." We actually put a screen cap of that tweet in the blog post linked here.
27.
by nlavezzo 3y ago
I generally agree, but there have been some really great ones. For All Mankind (from Apple) is in my opinion fantastic, and I don't think could have been done well without a big budget. Also from Apple, Ted Lasso was very good.
28.
by nlavezzo 3y ago
Yep!
29.
by nlavezzo 3y ago
When we built FoundationDB, we had a maniacal focus on quality and testing. So much so that we built it in a language we invented, called Flow, that allowed us to deterministically simulate arbitrary sized FDB clusters and subject them to c
30.
Maybe getting rid of your QA team was bad(davidkcaudill.medium.com)
433 points by nlavezzo 3y ago|270 comments

More ›