Viewing profile — nextaccountic

How to define the list of installed packages in a config file in StageX, and tell the system that it should be the new list of packages? Like done in nixos If I remove a package fr…

Flakes must drop the "experimental" moniker and be officially supported by Nix. It may not be perfect, but it has been widely adopted.

exactly what rust devs realized. they went from "core team" to "leadership council" in the next iteratiion

There's a subreddit about that, https://old.reddit.com/r/GuerrillaGardening/ Basically if you don't own land, you can plant stuff on.. land you don't own

That's a harness concern, not a protocol concern. For example, maki [0] allows that automatically for all tools > code_execution tool - uses monty to run an interpreter that has al…

Not all platforms want to operate like mainstream social media though

I actually came to the comments to share this snippet > The hot operation isn’t really “fold this character,” it’s “does this character fold?” Almost always no. Really that's distr…

Grit isn't made for internal use though, and it's still changing the license

> if licenses permit. As if licenses mattered in the LLM era Case in point https://news.ycombinator.com/item?id=48466812 > In looking at the code that the LLMs have produced for th…

Firefox cryptographic primitives are written and formally verified in F* Some Windows things too I think (I think F* is partially funded by Microsoft Research) They actually wrote …

The source is actually all training data, plus the software used for training, including some scripts or instructions to run the entire thing end to end on your own computer. That'…

It makes no sense for me that @apply is frowned upon. It's what makes Tailwind actually kinda usable for me. Without it, markup looks like line noise full of boilerplate that's har…

The type theory of Lean is certainly rich enough though

if your article is about how your product was insufficient to protect against something, you get a pass i guess

But perf improvements not only mean you can run the same thing on cheaper hardware, you can also run more capable models in the same hardware In this sense, any advance in intellig…

In this case, you need benchmarks, in addition to regular tests. You also need concise instructions (or better yet, following your language / ecosystem norms if applicable) to how …

Could you publish to a store? Either/or Google Play or F-Droid

Intelligent systems can be tricked in ways that a dumb automaton can't, though

I agree but asking your partners to get tested is not abstinence

safe Rust is actually more memory safe than Java, since it guards against data races (in Java data races are not UB, but they are still one of the worst kinds of bugs because it le…

We could call it distillation learning A model is teaching another here Everyone wins

"—"

> That's an unusually low electric rate for the US What about buying your own solar panels and batteries?

It's also highly unethical (for some values of ethics)

Types, preconditions and theorems are still a guardrail Agents perform better when programming in Rust than (at least in my experience), exactly because types matter. Those theorem…