Viewing profile — nlavezzo

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.

All true. But also GDP, science and innovation, and charitable giving - both overall and per capita.

THANK YOU!!

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…

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 s…

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 obv…

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 (especia…

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 don…

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 educati…

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 "Reasona…

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 Willia…

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.

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 th…

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 nationali…

This is a cool idea. I’ll ask the team about it. Would make for a very interesting blog post or talk!

This is very cool. That said, it reminded me of a funny collider meme I saw recently: https://tinyurl.com/2k8u4dk6

We’ll be writing a lot in the near future about how Antithesis works, stay tuned :)

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 wis…

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, i…

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://antithesi…

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 (th…

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 t…

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'…

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