_flux

18 ms·

301.
by _flux 1y ago
Personally I would enjoy if TLA+ would have types, though, and TLA+ belongs to the land of logic, right? I do not know how it differs from the abstraction logic referred in your writing and your other whitepapers. What is commonly used is a
302.
by _flux 1y ago
I believe it doesn't work for me to open a directory of HTML files in Firefox: it just opens one file, and that's it, so style sheets and links are missed. I've worked around by running a local web server for that content, bu
303.
by _flux 1y ago
I've found AppImages less universally functioning, though. Some segfault on start or have some other weird problems later, while presumably they work great on the author's system. They seem to work on my current systems, though, a
304.
by _flux 1y ago
Meanwhile in Linux we cannot even restart compositor without killing all GUI apps. I swear sometimes progress goes backwards..
305.
by _flux 1y ago
That's true, but there may be some some desktop BIOSes that will fail to boot without a display adapter—though I've had good luck on that on the few hosts I've made headless servers.
306.
by _flux 1y ago
E.g. OCaml has the ability to separate argument name and variable name for named arguments: let foo ~argument:variable = variable + variable In fact, I think OCaml has one of the best labeled argument system around there. The only downside
307.
by _flux 1y ago
I think currying is an important concept and not sugar at all, as it means each function takes exactly one parameter, i.e. in OCaml foo bar baz is equal to (foo bar) baz. Of course, some other languages can try to emulate the use of curryin
308.
by _flux 1y ago
Maybe it does help increasing resiliency by forcing them not use the device for the day? Whether it does that will be found during the next few years. Why is it unlikely in long term? You pose this as a question, but I find it's quite
309.
by _flux 2y ago
> I agree Rust is easy to learn. I've done it 4 or 5 times now. https://www.lurklurk.org/effective-rust/ could be for you; while it starts from the very basics—for a person that knows how to program—it does see
310.
by _flux 2y ago
I believe there is actually a reason why you want to transfer random blobs instead of from the start: it is waste of resources when a node needs to upload the same block multiple times to the network, if it could be uploading different bloc
311.
by _flux 2y ago
EURKEY layout in particular has them easily accessible.
312.
by _flux 2y ago
As it says: I-JSON (short for "Internet JSON") is a restricted profile of JSON designed to maximize interoperability and increase confidence that software can process it successfully with predictable results. So it's not JSON
313.
by _flux 2y ago
90% of Apple users, you mean? Apple doesn't have 90% market share of the mobile market, as far as I know. Or is Apple Watch just that good on Android as well?
314.
by _flux 2y ago
According to https://www.openbsd.org/papers/eurobsdcon2017-pledge.pdf pledge turns off upon execve. Surely it would be quite limiting for runners to use it. As far as I see its purpose is mostly a mitigation/self-
315.
by _flux 2y ago
As I understand it, it was because WebMIDI was accepted by Chrome without prompting the user. To me it seems should be impossible use it for tracking after they added the prompt.
316.
by _flux 2y ago
You could have an elevated service that has separate configuration for which devices the user wants to grant access to, and it could even work as a proxy to disallow "bad" usage patterns. The interface to USB devices doesn't
317.
by _flux 2y ago
Well, there's https://radicle.xyz/ but it doesn't seem too popular—that is, I've never seen a project that is hosted on it.
318.
by _flux 2y ago
Perhaps git-svn works for you?
319.
by _flux 2y ago
> By creating OpenSSH and the fact all fortune 500 companies use it It was a fork of Tatu Ylönen's SSH, so I think it would be more accurate to call it forking, not creating. Of course, they've created a lot of new code as well
320.
by _flux 2y ago
I found https://github.com/zed-industries/zed/blob/2f734cbd5e2452647... which leads me to believe the environment variable ZED_PREDICT_EDITS_URL does control the endpoint.
321.
by _flux 2y ago
They use backend configurable at environment variable ZED_PREDICT_EDITS_URL https://github.com/zed-industries/zed/blob/2f734cbd5e2452647... , but I don't know if the /predict_edits/v2 endpoint
322.
by _flux 2y ago
But even a smaller number of people have individual very long raw audio files. I've converted a bunch of sound packs (for music production) to flac and it really takes next to no time at all. I suppose those are quite short audio files
323.
by _flux 2y ago
Not sure if that's really a proof, as it could be the exact combination of language features that makes up the slowness. For example traits, non-ordered definitions in compilation units and monomorphization probably don't help. G
324.
by _flux 2y ago
Pretty cool. I've had this idea of converting face data into MIDI CC data to use with DAWs or synths, this could be a useful algorithm for it. Is the source code available?
325.
by _flux 2y ago
You could also just emulate what the music would sound like with a stereo system and support head tracking with that. dear reality does something like that with their dearVR digital audio workstation plugins. And then I recall there was thi
326.
by _flux 2y ago
On the other than "less than 5 seconds of downtime" might give the impression that new queries sent within that time period would be rejected, while zero implies this doesn't happen, i.e. that it's undistinguishable from
327.
by _flux 2y ago
I wonder if one solution would be have tighter integration between the layers, so the backend could ask for some IR to be generated? Basically starting from the program entrypoints. This way the frontend wouldn't need to generate all t
328.
by _flux 2y ago
Perhaps the trick used by text-based LLMs could be used: when the context window starts filling up, the LLM is asked to summarize the existing data in the context, thus compressing it (lossily..) into smaller space.
329.
by _flux 2y ago
There are a lot of such moments, but they are just short. When you're playing music, you download a bit of data from the network or the SSD/HDD by first issuing a request and then waiting (i.e. doing nothing) to get the short piec
330.
by _flux 2y ago
This is nice! Completely unrealistic without ads, though. Wouldn't it be cool to create "complete internet" by also adding relevant links from one site to another?

More ›