Kab1r

10 ms·

1.
by Kab1r 2mo ago
Arch for PCs
2.
by Kab1r 3mo ago
But then sales taxes are fees, no?
3.
by Kab1r 4mo ago
Best library name.
4.
by Kab1r 4mo ago
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.
5.
by Kab1r 4mo ago
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
6.
by Kab1r 5mo ago
I have written complex proofs for distributed system using verus which are certainly not expressed by clippy
7.
by Kab1r 5mo ago
And some websites consume the entire history that a browser displays in that menu
8.
by Kab1r 5mo ago
I've had this a couple times too
9.
by Kab1r 6mo ago
I think CXL, perhaps more specifically cxl.mem on edsff, is a more relevant replacement for DDR, that most have also not seen
10.
by Kab1r 7mo ago
An anthropic the only provider with an IL6 approved frontier model?
11.
by Kab1r 8mo ago
Yes please take as many of the ≈10^12 unique email addresses I have used in the last year.
12.
by Kab1r 10mo ago
As opposed to the rest of the world who believe you must let yourself be murdered /s
13.
by Kab1r 1y ago
Is there a good reason (other than licensing and Linux as an alternative) I shouldn't use Windows Server 202X as a Desktop OS?
14.
by Kab1r 2y ago
> S3 launched as the first public AWS service. Didn't SQS launch publicly earlier than S3?
15.
by Kab1r 2y ago
> RAID or do regular off-site backups. RAID is not a backup! Do both.
16.
by Kab1r 2y ago
Does anyone know if this is the same vulnerability that ASUS leaked in a beta BIOS?
17.
by Kab1r 2y ago
Being grateful for a miserable life marginally improving does not negate otherwise unavoidable prolonged suffering.
18.
by Kab1r 2y ago
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 c
19.
by Kab1r 2y ago
I would call this a compiler bug
20.
by Kab1r 2y ago
Grace Hopper already includes Arm based CPUs (and reference motherboards)
21.
by Kab1r 2y ago
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.
22.
by Kab1r 2y ago
Am I the only one that really dislikes the syntax choices here?
23.
by Kab1r 2y ago
Either this or they worship Progress and Poverty like a lost religious text
24.
by Kab1r 2y ago
Is this just searching certificate transparency logs?
25.
by Kab1r 2y ago
If only it worked on ARM
26.
by Kab1r 2y ago
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.
27.
by Kab1r 2y ago
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.
28.
by Kab1r 2y ago
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 wouldn't be
29.
by Kab1r 2y ago
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 repository).
30.
by Kab1r 2y ago
Really? I don't think I've ever had a YouTube video take longer than 30 seconds to load on a good Internet connection

More ›