Viewing profile — amitprasad

Our system somewhat predates ublk; at the time we wrote it, FUSE was the most reasonable option. Moving over to ublk would require re-architecting around block devices rather than …

Relevant post: https://modal.com/blog/dollars-per-token-considered-harmful (disclaimer: I work with the author)

I’m being a little reductive and ignored Guix purely based on adoption; but you’re completely right. I believe the core argument is that there is a (relatively small) category of t…

Just because you or I may invest effort into deep-thinking, it does not mean that others will. I'm not worried about this at Modal, but I am worried about this in the greater OSS c…

To be clear, I am also having the most fun I've had when it comes to side-projects and even more exploratory things at work. I don't derive all my joy from "Good Code" -- that's si…

It's hard to say. Perhaps LLMs of tomorrow will become capable enough to fix the mistakes of LLMs today. If so, great -- I'm worried about nothing. If not, we could see that LLMs o…

I would be extremely happy to be proven wrong! I love using agents for exploratory prototypes as well as "rote" work, but have yet to see them really pay off when dealing with exis…

Right: Having "Good Code" is an investment into future velocity. IMO we shouldn't strive to make an entire codebase pristine, but building anything on shaky foundations is a recipe…

There's an opportunity-cost here. I use agents to be more productive. As many have noted, "Good Code" doesn't rank highly compared to actually shipping a product. The tragedy, for …

If you're not looking for GPU snapshotting the ecosystem is relatively mature. Specifically, CPU-only VM-based snapshotting techniques are pretty well understood. However, if you n…

Generic data stores often don’t have this luxury — if you’re designing a system in which data is relatively opaque, you’re often forced to work with bytes. (e.g. rocksdb, etc)

author here -- agreed on all fronts. Mentioned this in the other comment but I approached the topic from a relatively narrow perspective (I was working on a specific project at the…

Unexpected seeing this posted here. I wrote this post mostly out of interest for a personal project and thus it's not actually a very holistic exploration of the topic. May revisit…

How is the 795s7? What do you put it to work on? Just sprung for one at a good price.

This is notoriously hard when you start to involve GPUs

This is heavily language runtime dependent — there’s nothing that fundamentally stops you from doing anything during the phase between jumping to an entry point and the main()

Not so much the confusion of what little endian is, but how we tend to represent it in notation. Of course this confusion was back when I was first learning things in high school, …

I think I got stuck in the same rut that I learned address space in whilst writing that diagram. I would tend to agree with you that your model makes much more sense to the student…

You’re right, and I knew this back in February when I wrote most of this post. I must have revised it down incorrectly before posting; will correct. Bit of a facepalm from my side.…

Ah I should have taken the time to verify; It might also have something to do with the way I was compiling / cross-compiling for RISC-V! More generally, I'm not surprised at the sy…

Ah yes, you’re completely correct :) General idea was just to highlight some of the dangers of vector registers. I believe the same is true of ymm (256) to a lesser extent.