Viewing profile — natt941

It's fun to see package management improvements move full circle—lessons from Ruby package management contributed to Rust, Rust is helping improve package management for Python, an…

+1 to this, my son really enjoys programming for pico-8

I kinda miss the fun days of using addresses to physical memory. (Maybe I'm wrong but I've always assumed that explicit use of handles went out of fashion because virtual address l…

Anyone know how this relates to what Modular is building? (I gather Chris Lattner had been involved with XLA while at Google.)

Just to be clear, this content isn't from Stanford per se, the Stanford Encyclopedia of Philosophy is an academic publication that's hosted by Stanford (and was started by and cont…

Most folks who do traditional epistemology would say that you could have very good justification yet fail to have knowledge because what you believe isn't true. And yes, this proba…

> Under the "justified true belief" one might say that their knowledge was undermined because they learned it wasn't true. But their teacher, born (say) circa 1970, has no more dir…

Often we might think we know something and later conclude that we were wrong... but in this case, it's common to say "I thought I knew such-and-such, but I didn't". Also, for what …

If "quality" means something like strength of the evidence, then couldn't you still have Gettier-like cases, so long as the evidence doesn't entail the truth of the belief? (suppos…

Just to be clear, it isn't that people though justification (which, yes, can be probabilistic/non-deductive) invariable leads to knowledge, and these aren't supposed to be cases of…

I can understand why the idea of more structured, object-like input and output is appealing, but after using PowerShell for a while, my take is that it's much harder to manipulate …