Kab1r · HackerTrans

Kab1r

6 uur geledendiscuss

Arch for PCs

Kab1r

2 maanden geledendiscuss

But then sales taxes are fees, no?

Kab1r

2 maanden geledendiscuss

Best library name.

Kab1r

2 maanden geledendiscuss

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.

Kab1r

2 maanden geledendiscuss

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 with `assume(false)` statements), but they are not a substitute for knowing what property you actually want.

Kab1r

3 maanden geledendiscuss

I have written complex proofs for distributed system using verus which are certainly not expressed by clippy

Kab1r

3 maanden geledendiscuss

And some websites consume the entire history that a browser displays in that menu

Kab1r

4 maanden geledendiscuss

I've had this a couple times too

Kab1r

4 maanden geledendiscuss

I think CXL, perhaps more specifically cxl.mem on edsff, is a more relevant replacement for DDR, that most have also not seen

Kab1r

5 maanden geledendiscuss

An anthropic the only provider with an IL6 approved frontier model?

Kab1r

6 maanden geledendiscuss

Yes please take as many of the ≈10^12 unique email addresses I have used in the last year.

Kab1r

8 maanden geledendiscuss

As opposed to the rest of the world who believe you must let yourself be murdered /s

Kab1r

vorig jaardiscuss

Is there a good reason (other than licensing and Linux as an alternative) I shouldn't use Windows Server 202X as a Desktop OS?

Kab1r

vorig jaardiscuss

> S3 launched as the first public AWS service.

Didn't SQS launch publicly earlier than S3?

Kab1r

vorig jaardiscuss

> RAID or do regular off-site backups.

RAID is not a backup! Do both.

Kab1r

vorig jaardiscuss

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

Kab1r

2 jaar geledendiscuss

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

Kab1r

2 jaar geledendiscuss

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 concrete spec for the rust language) it should be instead treated as a backwards compatible bug fix

Kab1r

2 jaar geledendiscuss

I would call this a compiler bug

Kab1r

2 jaar geledendiscuss

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

comments