_flux

22 ms·

331.
by _flux 2y ago
Downloading is still much easier to handle than uploading.
332.
by _flux 2y ago
It seems like some kind of review process would need to be included to reduce abuse possibilities. But yes, that would be quite nice, if there are enough people who don't mind uploading the file names of the media they play (or some ot
333.
by _flux 2y ago
What is the alternative? The results could be cached, but it's probably unlikely that they would need to be used again later, as I imagine most videos are watched only once. Another option would be to upload the generated subtitles to
334.
by _flux 2y ago
Personally I found it quite fun to give specification and have ChatGPT find me a Python code that implements it: https://chatgpt.com/share/6777debc-eaa4-8011-81c5-35645ae433... . Or the additional polygon edge smoothin
335.
by _flux 2y ago
> In contrast, the Rust type system has been mathematically proven to be correct. Is this the case? E.g. the issue "Prove the Rust type system sound" https://github.com/rust-lang/rust/issues/9883
336.
by _flux 2y ago
It seems though the person who did this repo already violated the copyright by adding these annotations to the source code, correct? It wouldn't be a reason or validation for others doing the same, of course. However, whatever one woul
337.
by _flux 2y ago
It also says > If you do not have a Xiaomi central hub gateway or other devices having central hub gateway function , all control commands are sent through Xiaomi Cloud. Now I don't actually know what central hub gateway function e
338.
by _flux 2y ago
I don't believe it's completely cloud only, "local control" https://github.com/XiaoMi/ha_xiaomi_home#:~:text=Home%20Inte... sounds quite a bit like non-cloud control? Could still be behind cloud aut
339.
by _flux 2y ago
Hmm, isn't this the definition? 10.3 of https://www.haskell.org/onlinereport/haskell2010/haskellch10... > The effect of layout is specified in this section by describing how to add braces and semicolons to
340.
by _flux 2y ago
I was not disagreeing with that, merely pointing out that the reproduction test shouldn't be passing with the minimal runnable C program, or indeed for many many previous iterations before that. In my mind also runnable programs would
341.
by _flux 2y ago
still people who are touch typists are able to find the characters faster on the keyboard than others. this message is written that way to test that out, in parts where it was possible. however, in my case the blank keycaps did make the tas
342.
by _flux 2y ago
I don't think that should trigger a reasonable interesting condition one has specified, so that should not happen. So I suppose for non-compiler-bugs you need to check (from the output) that the correct thing is being done, in addition
343.
by _flux 2y ago
Well, the conditions were satisfied with pipewire, that introduced some dependency at some point that were not satisfiable in Debian Stable. So, for now, I'm stuck with the version one commit before that dependency :). (I haven't
344.
by _flux 2y ago
Thanks, hadn't heard of that. Seems pretty active per its commit activity: https://github.com/hashicorp/nomad/graphs/commit-activity But the fact that I hadn't heard of it before makes it sound not
345.
by _flux 2y ago
In that case the paid labor loses their livelihood. What do they lose when they weren't being paid in the first place?
346.
by _flux 2y ago
What is the container orchestration tool of choice beyond docker swarm, then?
347.
by _flux 2y ago
I actually rather like the mli-files. It's a nice file to read, with the documentation and externally available symbols only. However, the fact that the syntax is so different is a bit annoying. Sometimes I wrote (haven't written
348.
by _flux 2y ago
I doubt in this case they'd weigh 10 MB, or have you experienced "terminal movies" growing that large? In fact, I wonder if in this case the gifs would be smaller, while lossless.
349.
by _flux 2y ago
Many years ago there used to be a Firefox extension (..or might have even been a Mozilla one..) that would store all the pages I visit. I recall its name was Breadcrumbs but I could be misremembering. Space is cheap, or at least affordable
350.
by _flux 2y ago
..as long as you don't make mistakes. I fixed enough goto bugs in Xorg when I was fixing Coverity-issues in Xorg that I can see the downsides of this easy way of error handling.
351.
by _flux 2y ago
They provide BSD-3-licensed Python files but the interesting bit happens in the shared object library, which is only provided in binary form (but is also BSD-3-licensed it seems, so you can distribute it freely).
352.
by _flux 2y ago
I don't understand this. As far as I know, the satellite basically sends its identifier and precise time, and from this information (combined with the information in GPS calendar that tells the locations of the satellites) the recipien
353.
by _flux 2y ago
You'd need to spoof at least three satellites to get a fix, right? And then you'd need to spoof different signals for different regions of the subway, because your signal sources aren't really in the orbit. Sounds to me this
354.
by _flux 2y ago
For one, chess pieces vary in shape and height.
355.
by _flux 2y ago
> Steppers use the same current whether moving or stationary. You can turn off the power when you're not moving it, assuming it doesn't need to hold anything in its place (like in this application). E.g. https://www.
356.
by _flux 2y ago
Python support would certainly be seem useful for this, in particular as its intentation-based AST should play nicely with this.
357.
by _flux 2y ago
It probably still helps to have a standardised baseline. Then the vendors can just document deviations from it, and the deviations are probably quite small, not necessating new compilers for example (just guessing here ;)).
358.
by _flux 2y ago
Do any of them do actual graph layout, though, or require the user to decide exact coordinates of each node and edge?
359.
by _flux 2y ago
And the customers don't like it, they can stop paying. Seems like a risk to the author. Keeping existing customers is typically easier than getting new ones.
360.
by _flux 2y ago
How about the argument that having recurring income incentivizes further development, whereas single-pay fees incentivize customer acquisition?

More ›