_flux

6 ms·

91.
by _flux 5mo ago
> GPT for instance had a lot of issues using git worktrees, and didn't understand how to correctly use it to then merge stuff back into a main branch, vs Claude which seems to do this much more naturally. I wonder how much of that i
92.
by _flux 5mo ago
I've played a bit with having a Claude generate a TLA+ model, I review it, Claude reviews it, and then Claude checks for alignment with the actual system. The code in the system can be annotated with comments to link back to the model,
93.
by _flux 5mo ago
I think it could potentially be useful. Sometimes I need "simple" shapes that still are somewhat annoying to create. And I think you don't need to one-shot these, the process is permitted to be iterative! The skills can be im
94.
by _flux 5mo ago
..and what kind of tracking, e.g. anonymous usage statistics vs update checks, e.g. *:analytics=1:google_analytics=0,syncthing:upgrade=1 The specification could go on and on!
95.
by _flux 5mo ago
I always choose to go with positive terms with variables etc, so this would then be ALLOW_TRACKING=0 . It brings in some consistence and makes it easier to reason, as you get to avoid double negation. Perhaps the "DO NOT TRACK" n
96.
by _flux 5mo ago
I think it's possible to come up with a situation where you want to do a sorted search per every pixel in the screen, for every frame.
97.
by _flux 5mo ago
I think the difference is that Cloudflare is the one party providing streaming access for their customers: not just anyone can proxy the data through Cloudflare, they need to be a Cloudflare customer first. When I'm posting this messag
98.
by _flux 5mo ago
I'm relatively sure the source code I've written and stored in my local computer is not sucked up in the LLM training data. And I believe people working with Blender models are pretty much in the same situation: they don't ho
99.
by _flux 5mo ago
How could that possibly work?
100.
by _flux 5mo ago
Let's say we didn't have assemblers, but instead we would have three professions: - Specifiers, who make the specification for the system - Programmers, who write C code - Machine encoders, that take that C code and write machine
101.
by _flux 5mo ago
I think it should be pretty clear that if you provided the tool the specification for the code you want, you have already provided creative input. After all, is this not what happens with compilers as well? LLM agents are just quite advance
102.
by _flux 5mo ago
If someone really wants to continue the name, they can of course ask the author; maybe they have a compelling case.
103.
by _flux 6mo ago
I looked it up: https://doc.rust-lang.org/std/string/struct.String.html#meth... In case anyone else was wondering it, yes, it's "unsafe".
104.
by _flux 6mo ago
I don't know how large the cache is, but Gemini guessed that the quantized cache size for Gemini 2.5 Pro / Claude 4 with 1M context size could be 78 gigabytes. ChatGPT guessed even bigger numbers. If someone is able to deliver a m
105.
by _flux 6mo ago
Wouldn't it help if the system did compaction before the eviction happens? But the problem is that Claude probably don't want to automatically compact all sessions that have been left idle for one hour (and very likely abandoned a
106.
by _flux 6mo ago
What we would call O(n^2) in your rewriting message history would be the case where you have an empty database and you need to populate it with a certain message history. The individual operations would take 1, 2, 3, .. n steps, so (1/
107.
by _flux 6mo ago
The term unityped is used as well, and at typing level this also makes sense: you have one type called object , you put that object alongside the value object ("tag"), and then at runtime all operations on that object check if
108.
by _flux 6mo ago
Oh I actually had some editing mistake, I meant to say that also Rust has restrict by default, by virtue of all references being unique xor readonly. As I understand it, the Fortran compiler just expects your code to respect the "restr
109.
by _flux 6mo ago
I believe __restrict, and __builtin_prefetch/__builtin_assume are compiler extensions, not part of the C++ language as is, and different compilers implement (or don't) these differently. The rust compiler actually has similar thin
110.
by _flux 6mo ago
Ah well that does simplify things significantly, I suppose it's probably still somewhat useful. But I'd expect a big part of the nets are not connected to the ground? I mean in my hobby designs a majority of them is, but let'
111.
by _flux 6mo ago
What does it do with a single probe, though? You need two to actually probe anything, right? So I'm wondering how is the second probe problem dealth with. I've considered something similar but with small weight attached to a pogo
112.
by _flux 6mo ago
Will it help? AI authors will just then buy those subscriptions and in the big picture it won't cost that much.
113.
by _flux 6mo ago
They could write to the RFID how much filament "it has left".
114.
by _flux 6mo ago
I mean definitely a good starting point is a share-nothing system, but then it becomes impossible to use tools (no shared filesystem, no networking), so everything needs to happen over connections the agent provides. MCP looks like it would
115.
by _flux 6mo ago
In principle it could use e.g. the `gdb` and step until it gets the secret. Or it can know ahead where the app stores the cerentials. We could use suid binaries (e.g. sudo) to prevent that, but currently I don't think we can. Most anyo
116.
by _flux 6mo ago
I've found Gemini useful in extracting timestamps for particular spots in videos. Presumably it works with transcriptions, given how fast it is. The three answers it found were: - Avoiding lock-in to them: http://www.youtube
117.
by _flux 6mo ago
They make noise, and people remote, so that might not be the case. In addition, more working time equals more wear and tear for parts.
118.
by _flux 6mo ago
Surely mapping also helps reducing the time it takes to achieve the task?
119.
by _flux 6mo ago
I think it would be impossible to find the price point for a monthly subscribtion that would both be profitable to a provider, as well as attractive to the customer. If anything, as the customers would now be paying necessarily even a highe
120.
by _flux 6mo ago
That's what these providers want as well, but from the other side. They want to know that a customer won't be able to eat more than certain number of servings, as they need to pay for each of those servings. It works out even if s

More ›