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…
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 behavior (and as far as I know there isn't a…
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
Last time I opted out of facial recognition when re-entering the US, I got put through an additional baggage and security scan with my passport literally locked in a box.
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…
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 behavior (and as far as I know there isn't a…
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
Last time I opted out of facial recognition when re-entering the US, I got put through an additional baggage and security scan with my passport literally locked in a box.