jmalicki

27 ms·

661.
by jmalicki 9mo ago
A key part of this is making sure bite sized issues reference any related holistic concerns like code quality, testing, documentation style, commit strategy, git workflow etc. In my experience you have to refer to the relevant docs on thing
662.
by jmalicki 9mo ago
Something noone else has said here, and I don't know the degree to which it is true for this study, but good study design generally includes stratified sampling. e.g. if there are subpopulations whose experience differs a lot, you want
663.
by jmalicki 9mo ago
And for a complicated concurrent system you can also replay the exact timings and orderings as well!
664.
by jmalicki 9mo ago
For all practical purposes any code reliant on the output of a PRNG is non-deterministic in all but the most pedantic senses... And if the LLM temperature isn't set to 0 LLMs are sampling from a distribution. If you're going to ca
665.
by jmalicki 9mo ago
They have code in training data, and you have e.g. git where you can see how the code evolved, and they can train on PR reviews on comments. There isn't much posted in the way of "bash history and terminal output of successful sys
666.
by jmalicki 9mo ago
This is basically what CodeRabbit had built - they just put a ton more time into building the specialized review agents.
667.
by jmalicki 9mo ago
This is done that way at the GPU layer of abstraction - generally (with some exceptions!) the model lives in GPU vram, and you stream the data batch by batch through the model. The problem is that for larger models the model barely fits in
668.
by jmalicki 9mo ago
Do you have examples of LLMs proving global correctness for say, C? Having worked on static analysis for both C and Rust, Rust is the easier problem because of the type system, but I am eager to be proven wrong!
669.
by jmalicki 9mo ago
Sometimes anonymous strangers in similar situations help more than either: 1) close colleagues you might not want to be vulnerable towards, or 2) people you are close to and feel vulnerable to you, but do not have similar career trajectorie
670.
by jmalicki 9mo ago
How is this an issue specifically with Rust and Haskell? Do you find that LLMs have an easier time proving global correctness with C, Python, or Typescript?
671.
by jmalicki 10mo ago
CodeRabbit in particular is gold here. I don't know what they do but it is far better at reviewing than any AI model I've seen. From the deep kinds of things it finds, I highly suspect they have a lot of agents routing code to e
672.
by jmalicki 10mo ago
In context, we're talking about pills cut with fentanyl, in which case it is often consumed orally, mixed in at a very small concentration compared to the other ingredients. Powedered drugs like cocaine mixed with fentanyl are even mor
673.
by jmalicki 10mo ago
You're complaining about resume driven development in the same thread you're upset they wouldn't let you rewrite everything in ZeroMQ? That is a very inconsistent position, and reflects extreme confirmation bias, and by itse
674.
by jmalicki 10mo ago
Other drugs aren't dosed in micrograms. It's pretty believable that street labs don't having the precision to get reliable dosing in such small quantities. 50/100mcg is the typical ambulance dosing of fentanyl (where i
675.
by jmalicki 10mo ago
If you are deep frying, for e.g. french fries, any cooking oil that is solid at room temperature can keep them from being greasy. This includes beef tallow, but also coconut oil for a vegetable-based oil. For some foods the being-solid-at-
676.
by jmalicki 10mo ago
Unrelated would be a cosine of 0. Being opposites is a very strong relation.
677.
by jmalicki 10mo ago
Most of the bad ones IPOd in 2021, when there was a huge overvaluation of speculative tech companies... Marking performance since IPO is also a bit weird since it's kind of arbitrary date in the firm's history.
678.
by jmalicki 10mo ago
Thanks! Yes, as the sibling noted, if you limit this to PLP drives it makes sense, but that is also a special case. Outside of the latency hit (which is significant in some cases), FLUSH is also nearly free on those though.
679.
by jmalicki 10mo ago
What SSDs are reasonably performant without a volatile write cache? The standards you quote specify why it is necessary to issue flush!
680.
by jmalicki 10mo ago
It's a common business model - have an open source core, but have separate closed source extensions to support enterprise features.
681.
by jmalicki 11mo ago
Learning an unfamiliar aspect and doing it be hand will have the same issues. If you're new to Terraform, you are new to Terraform, and are probably going to even insert more footguns than the AI. At least when the AI does it you can
682.
by jmalicki 11mo ago
It's a security hole. Rust doesn't prevent you from writing unsafe code that reads it. The bug wasn't that it could be read by a well conforming language, it was that it was handed off uninitialized to use space at all.
683.
by jmalicki 11mo ago
MCP servers are really just skills paired with python scripts, it's not really that different, MCP just lets you package them together for distribution.
684.
by jmalicki 11mo ago
Yes. I find these very useful for enforcing e.g. skills like debugging, committing code, make prs, responding to pr feedback from ai review agents, etc. without constantly polluting the context window. So when it's time to commit, mak
685.
by jmalicki 11mo ago
And for more complex linters I find that it can be easy to get the LLM to write most of it itself!!!
686.
by jmalicki 11mo ago
I do a lot of LLM work in rust, I find the type system is a huge defense against errors and hallucinations vs JavaScript or even Typescript.
687.
by jmalicki 11mo ago
https://xkcd.com/793/ captures the stereotype well.
688.
by jmalicki 11mo ago
Something like Shrimp is useful for at least coordinating different Claude subagents.
689.
by jmalicki 11mo ago
Meta may have lots of assets, but the LLC may not. The ability to have one wholly owned LLC go bankrupt by itself is one of the main reasons shell corporations exist.
690.
by jmalicki 11mo ago
you just... file for bankruptcy like any other person or corporation?

More ›