Kab1r

Arch for PCs

But then sales taxes are fees, no?

Best library name.

I don't think formally verifying my showing that the model is correct is good enough anymore. You must prove that your implementation refines the model.

I've been building a TLA style Temporal Logic library for Verus (using LLMs). My experience so far is that LLMs are surprisingly useful at generating the mechanical proof scaffolding (when they're not occasionally trying to cheat with `assume(false)` statements), but they are not a substitute for knowing what property you actually want.

I have written complex proofs for distributed system using verus which are certainly not expressed by clippy

And some websites consume the entire history that a browser displays in that menu

I've had this a couple times too

I think CXL, perhaps more specifically cxl.mem on edsff, is a more relevant replacement for DDR, that most have also not seen

An anthropic the only provider with an IL6 approved frontier model?

Yes please take as many of the ≈10^12 unique email addresses I have used in the last year.

As opposed to the rest of the world who believe you must let yourself be murdered /s

Is there a good reason (other than licensing and Linux as an alternative) I shouldn't use Windows Server 202X as a Desktop OS?

> S3 launched as the first public AWS service.

Didn't SQS launch publicly earlier than S3?

> RAID or do regular off-site backups.

RAID is not a backup! Do both.