トップ新着トレンドコメント過去質問紹介求人

Kab1r

no profile record

Kab1r

·先月·議論

But then sales taxes are fees, no?

Kab1r

·2 か月前·議論

Best library name.

Kab1r

·2 か月前·議論

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 か月前·議論

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 か月前·議論

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

Kab1r

·3 か月前·議論

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

Kab1r

·3 か月前·議論

I've had this a couple times too

Kab1r

·4 か月前·議論

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 か月前·議論

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

Kab1r

·6 か月前·議論

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

Kab1r

·8 か月前·議論

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