[artursapek]

I was going to say, I don’t even understand how the second example in this post is a gettier. He thought one event caused the issue to start, but a different event did instead. And they happened around the same time. Ok? This doesn’t seem very philosophical to me.

[Maxatar]

That's what a gettier is, it's when you have a justified true belief about a proposition but the justification is merely coincidental. You were still justified to believe the proposition, the proposition is still true, and so under the "justified, true, belief" model of knowledge you would be considered to have known the proposition, and yet as this example and others demonstrate, that's not really what we'd consider to be knowledge, indicating that knowledge is more than justified, true, belief.

Whether you agree or disagree is a separate matter and something you can discuss or ponder for 5 minutes. The article is about taking a somewhat interesting concept from philosophy and applying it to a routine software development scenario.

[artursapek]

Right but merely what time two events occurred doesn’t seem like enough to “justify” a belief. It can be a suspicion but that’s about it.