Hacker News: Kab1r

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.

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

Kab1r — Mon, 21 Oct 2024 23:46:15 +0000

Am I the only one that really dislikes the syntax choices here?

New comment by Kab1r in "A Georgist's Guerilla Gardening Guide"

Kab1r — Sat, 12 Oct 2024 19:28:48 +0000

Either this or they worship Progress and Poverty like a lost religious text

New comment by Kab1r in "Enumerate all the subdomains for a domain name"

Kab1r — Sun, 08 Sep 2024 02:47:28 +0000

Is this just searching certificate transparency logs?

New comment by Kab1r in "macOS in QEMU in Docker"

Kab1r — Wed, 31 Jul 2024 23:11:01 +0000

If only it worked on ARM