Viewing profile — rubiquity

My experience as well. LLMs also struggle with Rust's many abstractions and offerings but you can know that if it compiles it is data race free and work with the LLM to use better …

etcd has had numerous liveness and safety bugs, with one happening as recently as December of 2025. Would you consider that a correct implementation? You may be interested in knowi…

Thank you. I don't know why this is so complicated.

But they are misreading what I said. My original post is clearly about Go. What they wrote is also ambiguous. > The antithesis author states: > "we’ve found bugs in every Raft impl…

The intersection of the set of Raft libraries Antithesis tested and all Raft libraries in existence do not fully overlap. I personally have worked on multiple proprietary ones that…

You're misreading what I said. I didn't say other languages don't have buggy Raft/Paxos implementations, just that Go is yet to yield a single correct one.

Matches my experience as well. Go fans have conflated "can easily make something concurrent" with "does concurrency well." Go's primitives for concurrency should almost never be us…

There isn't. I'm 15% body fat, eat healthy (avoid saturated fats, prioritize fiber), exercise 5-6 times per week, and have hypercholesterolemia. I, along with my parents, have very…

Heidi's more abstract work on generalizing consensus as grids/matrices of intersecting registers is geoemtric.

I think it's fair to say they had achieved product-market fit when their revenues were growing deep triple digits month over month. What we're seeing now is that perhaps they have …

This was already known to be true by Heidi Howard’s research that yielded Flexible Paxos[0], Relaxed Paxos[1], and her more general thesis on Distributed consensus[2] as a whole 0 …

AWS has CLIs and SDKs in many languages.

People laugh at this, myself included in the past, but it works. I remember scoffing at AWS partnering with Deloitte and Accenture over a decade ago. My exact thoughts were "Our te…

This is what I ended up doing. A 2.5G switch for the few devices that can use it and a 1Gbit+PoE switch for all the other PoE and 1Gbit and less devices.

I use Pi at home and Claude Code at work (no choice). I use bone stock Pi. No extensions.

You should try it out. I'm incredibly impressed with Qwen 3.5 27B for systems programming work. I use Opus and Sonnet at work and Qwen 3.x at home for fun and barely notice a diffe…

At 8-bit quantization (q8_0) I get 20 tokens per second on a Radeon R9700.

Wouldn’t Cursor agreeing to such a deal be almost ironclad proof they are subsidizing tokens/inference out the ass? There’s wide speculation all the large revenue growing companies…

Are the mainboards and upgrade kits available for purchase now or just the whole laptop? edit: I think I found it: https://frame.work/products/laptop13pro-mainboard-intel-ultr...

He doesn't work at Vercel but he is the type to never pass up any opportunity to chase clout.

I have both HW3 (2021 Y) and HW4 (2025 3). FSD in the HW4 is a delight. FSD in HW3 phantom brakes constantly both back when FSD was a pile of C++ and now with the "Lite" driving mo…

You are right that it is an environment variable, and that's how I have it set in my nix config. Thanks for correcting that. Unfortunately llama.cpp is somewhat notorious for havin…

Have you tried running llama.cpp with Unified Memory Access[1] so your iGPU can seamlessly grab some of the RAM? The environment variable is prefixed with CUDA but this is not CUDA…

Not sure why you're being downvoted, I guess it's because how your reply is worded. Anyway, Qwen3.7 35B-A3B should have intelligence on par with a 10.25B parameter model so yes Qwe…