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
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.
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…
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
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…
I'm not sure if GitHub is the right place for chromium mirrors. When you upload to GitHub, you are agreeing that the code is licensed to GitHub under certain conditions (in addition to the license specified in the…
> the default storage options did not support ReadWriteMany for Block and Object Storage, which were necessary for using my database Postgres. Postgres does not require ReadWriteMany volumes. > To better understand…
Ironically WSL uses a VM as well
eMMC for cloud seems to me like a dangerous proposition. As far as I know, they do not hold up well to write intensive workloads. I suppose you will need to use networked logging.
I almost feel attacked for using plain yaml, helm, cert-manager AND the ingress api just for personal homelab shenanigans.
> what it could tell me about how it was programmed, what internal data Google uses it to train it, and what policy was used to determine what data was acceptable/unacceptable. I find it's common that we assume that a…
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
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.
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…
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
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…
I'm not sure if GitHub is the right place for chromium mirrors. When you upload to GitHub, you are agreeing that the code is licensed to GitHub under certain conditions (in addition to the license specified in the…
> the default storage options did not support ReadWriteMany for Block and Object Storage, which were necessary for using my database Postgres. Postgres does not require ReadWriteMany volumes. > To better understand…
Ironically WSL uses a VM as well
eMMC for cloud seems to me like a dangerous proposition. As far as I know, they do not hold up well to write intensive workloads. I suppose you will need to use networked logging.
I almost feel attacked for using plain yaml, helm, cert-manager AND the ingress api just for personal homelab shenanigans.
> what it could tell me about how it was programmed, what internal data Google uses it to train it, and what policy was used to determine what data was acceptable/unacceptable. I find it's common that we assume that a…