nextaccountic

7 ms·

91.
by nextaccountic 2mo ago
exactly what rust devs realized. they went from "core team" to "leadership council" in the next iteratiion
92.
by nextaccountic 2mo ago
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
93.
by nextaccountic 2mo ago
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 all other tools available as async functions. Maki use
94.
by nextaccountic 2mo ago
Not all platforms want to operate like mainstream social media though
95.
by nextaccountic 2mo ago
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 distracting. If you must use LLMs, also do a rewrite pass
96.
by nextaccountic 2mo ago
Grit isn't made for internal use though, and it's still changing the license
97.
by nextaccountic 2mo ago
> 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 the project, especially given the prett
98.
by nextaccountic 3mo ago
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 a whole verified TLS implementation in F* and discovered a b
99.
by nextaccountic 3mo ago
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's what open source has always been about. The weights a
100.
by nextaccountic 3mo ago
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 hard to modify in a systematic way. I think what Tail
101.
by nextaccountic 3mo ago
The type theory of Lean is certainly rich enough though
102.
by nextaccountic 3mo ago
if your article is about how your product was insufficient to protect against something, you get a pass i guess
103.
by nextaccountic 3mo ago
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 intelligence is a performance improvement and vice versa
104.
by nextaccountic 3mo ago
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 to run this stuff
105.
by nextaccountic 3mo ago
Could you publish to a store? Either/or Google Play or F-Droid
106.
by nextaccountic 3mo ago
Intelligent systems can be tricked in ways that a dumb automaton can't, though
107.
by nextaccountic 3mo ago
I agree but asking your partners to get tested is not abstinence
108.
by nextaccountic 3mo ago
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 leads to logically impossible program states) Also note that J
109.
by nextaccountic 3mo ago
We could call it distillation learning A model is teaching another here Everyone wins
110.
by nextaccountic 3mo ago
"—"
111.
by nextaccountic 3mo ago
> That's an unusually low electric rate for the US What about buying your own solar panels and batteries?
112.
by nextaccountic 3mo ago
It's also highly unethical (for some values of ethics)
113.
by nextaccountic 3mo ago
Types, preconditions and theorems are still a guardrail Agents perform better when programming in Rust than <insert dynamic language here> (at least in my experience), exactly because types matter. Those theorem provers just have a p
114.
by nextaccountic 3mo ago
But why? This looks like the mother of all boilerplates. And for what purpose? Also: just having stuff in an array or vector invites you to the ABA problem. You need a generation counter in there too, or else the array indice may get reuse
115.
by nextaccountic 3mo ago
In the short term the year-to-year temperature fluctuates. Next year might be better than this year In the medium term, summers in Paris WILL be worse than this year It will come a day that good years are the ones that are as mild as 2026
116.
by nextaccountic 3mo ago
We can fix it nonetheless, we have the resources and the need. We broke it and we will fix it
117.
by nextaccountic 3mo ago
This is called misalignment We may some day find out that the smarter the model is, the hard is to align it properly
118.
by nextaccountic 3mo ago
The culprit here is capitalism. The system was designed for this. Any technology will be used to squeeze the working class AI has the merit of showing SWE folks exactly where in the class divide they belong. If you are selling your workforc
119.
by nextaccountic 3mo ago
Good thing tjat Trump and Netanyahu ensured the IRGC will stay in power for many years to come, then
120.
by nextaccountic 3mo ago
> TLDR; The Zig compiler takes about 1 minute and 30 seconds to compile debug builds of Bun. Zig's language server doesn't do basic things like type-checking, so often have to run the compiler to see if my code works. 90 second

More ›