Hacker News: Kab1r

New comment by Kab1r in "Federal judge blocks H1B visa $100K fee"

Kab1r — Tue, 09 Jun 2026 05:08:39 +0000

But then sales taxes are fees, no?

New comment by Kab1r in "sp.h: Fixing C by giving it a high quality, ultra portable standard library"

Kab1r — Sat, 23 May 2026 04:09:02 +0000

Best library name.

New comment by Kab1r in "Aether: High-performance, formally-verified storage engine written in Rust"

Kab1r — Tue, 19 May 2026 04:17:34 +0000

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.

New comment by Kab1r in "Can LLMs model real-world systems in TLA+?"

Kab1r — Sun, 10 May 2026 13:59:44 +0000

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.

New comment by Kab1r in "Verus is a tool for verifying the correctness of code written in Rust"

Kab1r — Thu, 23 Apr 2026 07:09:56 +0000

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

New comment by Kab1r in "A new spam policy for “back button hijacking”"

Kab1r — Tue, 14 Apr 2026 05:14:13 +0000

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

New comment by Kab1r in "Someone at BrowserStack is leaking users' email addresses"

Kab1r — Mon, 06 Apr 2026 11:58:51 +0000

I've had this a couple times too

New comment by Kab1r in "The RAM stick is dying, and the replacement is something most have never seen"

Kab1r — Fri, 20 Mar 2026 06:22:38 +0000

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

New comment by Kab1r in "Pentagon Threatens Anthropic Punishment"

Kab1r — Fri, 20 Feb 2026 06:05:49 +0000

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

New comment by Kab1r in "US administration to require app, social media, possibly DNA for travelers"

Kab1r — Tue, 27 Jan 2026 04:49:00 +0000

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

New comment by Kab1r in "Israeli-founded app preloaded on Samsung phones is attracting controversy"

Kab1r — Tue, 18 Nov 2025 02:29:31 +0000

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

New comment by Kab1r in "Upcoming Windows 11 builds cannot install without internet and Microsoft Account"

Kab1r — Sat, 29 Mar 2025 07:01:40 +0000

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

New comment by Kab1r in "In S3 simplicity is table stakes"

Kab1r — Fri, 14 Mar 2025 23:35:46 +0000

> S3 launched as the first public AWS service.

Didn't SQS launch publicly earlier than S3?

New comment by Kab1r in "Backblaze Drive Stats for 2024"

Kab1r — Wed, 12 Feb 2025 03:42:57 +0000

> RAID or do regular off-site backups.

RAID is not a backup! Do both.

New comment by Kab1r in "AMD: Microcode Signature Verification Vulnerability"

Kab1r — Mon, 03 Feb 2025 20:36:15 +0000

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

New comment by Kab1r in "Assisted dying now accounts for one in 20 Canada deaths"

Kab1r — Sat, 14 Dec 2024 13:29:52 +0000

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

New comment by Kab1r in "Rust's Sneaky Deadlock With `if let` Blocks"

Kab1r — Wed, 13 Nov 2024 06:49:06 +0000

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

New comment by Kab1r in "Rust's Sneaky Deadlock With `if let` Blocks"

Kab1r — Wed, 13 Nov 2024 01:53:58 +0000

I would call this a compiler bug

New comment by Kab1r in "Speed, scale and reliability: 25 years of Google datacenter networking evolution"

Kab1r — Sun, 03 Nov 2024 08:34:14 +0000

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

New comment by Kab1r in "Civet: A Superset of TypeScript"

Kab1r — Tue, 22 Oct 2024 00:07:21 +0000

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.