Viewing profile — 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 scaffoldi…

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.

Does anyone know if this is the same vulnerability that ASUS leaked in a beta BIOS?

Being grateful for a miserable life marginally improving does not negate otherwise unavoidable prolonged suffering.

If the change is targeting a rust edition it's being treated as a feature/improvement not as a compiler bug. If there isn't a spec that explicitly says that this is expected behavi…

I would call this a compiler bug

Grace Hopper already includes Arm based CPUs (and reference motherboards)

I fell in love with pattern matching the first time I used Haskell. Having the feature is great, but I really don't like the syntax used here.

Am I the only one that really dislikes the syntax choices here?

Either this or they worship Progress and Poverty like a lost religious text

Is this just searching certificate transparency logs?

If only it worked on ARM