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…
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
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
> 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
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.
I tried Ly maybe a couple years ago, but I ran some issues. I've had great luck with greetd+tuigreet. The UI is quite similar as well.
I have used iodine, which though isn't the easiest to setup works on every airline I have tried, to bypass airline Internet firewalls. DNS packets are one of the few things they don't seem to even try to filter. I…
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…
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
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
> 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
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.
I tried Ly maybe a couple years ago, but I ran some issues. I've had great luck with greetd+tuigreet. The UI is quite similar as well.
I have used iodine, which though isn't the easiest to setup works on every airline I have tried, to bypass airline Internet firewalls. DNS packets are one of the few things they don't seem to even try to filter. I…