_flux

4 ms·

31.
by _flux 2mo ago
I guess it's a bit popular right now * Error 17 at Welcome.fst(24,0-28,30): - Could not start SMT solver process. - Command: ‘/home/site/wwwroot/fstar/bin/z3’ - Exception:
32.
by _flux 2mo ago
My view is that Java's checked exceptions failed in big part because Java didn't have type variables back then; after all, polymorphic Result types are not that much different from checked exceptions. I haven't written any
33.
by _flux 2mo ago
..for the very little number of people who use them? Arguably it would be highly preferable compared to the option of not being able to use them at all.
34.
by _flux 2mo ago
I thought though the idea is that you cannot learn anything from the ciphertext, how it is processed, or what the final result is? Unless you are a participant of the computation and you have the key, that is.
35.
by _flux 3mo ago
I can see that it would be difficult to make changes to db schema types, if there are multiple separate applications with their own release schedule. But this affects schema structure as well, not just its types. I can't even describe
36.
by _flux 3mo ago
The conversions seem to use (sometimes?) unsafe blocks.
37.
by _flux 3mo ago
Definitely mypy keeps my sanity in a relatively large Python project I'm working on :). But I don't believe Python actually assigns any meaning to them, and at times mypy and e.g. pyright may disagree on what the types actually ar
38.
by _flux 3mo ago
There's a school of thought that consider the term "types" reflect to the properties that exist in programs even before they are run, as in they are a property of the programs themselves, not their state at runtime. This thin
39.
by _flux 3mo ago
Could have used bigger font.
40.
by _flux 3mo ago
You might not be able to express the ownership in the way that can be checked statically, so quite possibly this would then be downgraded to a runtime error (that could be handled with a panic)—but not undefined behavior.
41.
by _flux 3mo ago
I wonder how many of the Linux the LPEs are related to drivers, which I understand there are more of..
42.
by _flux 3mo ago
On one hand it's nice how it's clean and commented, but on the other hand some golfing could have made the encoded block a lot more reasonable to actually manually enter.
43.
by _flux 3mo ago
It could use array microphone to detect that the sound originates from the driver's seat (in addition to using it for filtering out not-from-driver's-seat sounds).
44.
by _flux 3mo ago
Paraphrasing: if I don't write the codebase [but someone else does], I don't write the tests, and other team members are modifying it, what even is considered a messy codebase? I actually don't see a connection between the me
45.
by _flux 3mo ago
Does Alibaba only have developers in the China?
46.
by _flux 3mo ago
Wouldn't it then be reasonable to focus on those many features, instead of storage? I would enjoy using with S3, as expanding S3 storage is easier than expanding the storage of a virtual machine: usually it happens automatically. Of co
47.
by _flux 3mo ago
You can't assign the copyright to Emacs either, yet it can be used to produce software.
48.
by _flux 3mo ago
Works for me (TM). Maybe you lost CDN-lottery?
49.
by _flux 3mo ago
Yes, but one only needs to write it once, and then everyone could use it. It could probably even be packaged as an official Debian package.
50.
by _flux 3mo ago
Hmm, I perhaps didn't quite catch this. I thought having a generator would let you be less committed to it, as you wouldn't need to manually write all the init scripts you need.. ?
51.
by _flux 3mo ago
My /usr/lib/systemd takes 6.4 megabytes, so I think I could live with that overhead. Or I suppose just delete them manually. What would actually be useful would be a generic OpenRC wrapper that would ingest those service file
52.
by _flux 3mo ago
Devuan us a separate Debian with its own repositories (and presumably many packages patched to improve systemd-less life), while this is just replacing Systemd with OpenRC on a Debian system, while keeping Debian repos etc.
53.
by _flux 3mo ago
So I let ChatGPT do the legwork for me, but it does seem the price difference between inference for GPT-5.5 and open-weight frontier models like DeepSeek V4 Pro and Kimi K2.6, which both are smaller models and thus cheaper to run inference
54.
by _flux 3mo ago
So they do not train models, and in addition their models are expected to be smaller than SOTA models, although we cannot know for sure by how much. So what's the price difference, 3000x?
55.
by _flux 3mo ago
I think this comes from the idea that serving these tokens without paying for training is already expensive, e.g. https://news.ycombinator.com/item?id=46613887 self-hosted solution might give you only 10-100x more affordabl
56.
by _flux 3mo ago
You too could have it easily accessible on your keyboard by using EurKEY: https://eurkey.steffen.bruentjen.eu/
57.
by _flux 3mo ago
Surely the most likely explanation is familiary from C? But e.g. ml-family languages (like OCaml, F#, Haskell) and Rust just have the *if* expression that has a non-void value. If your language accepts expressions as statements (most do?),
58.
by _flux 3mo ago
There is the Accept-Query header https://www.rfc-editor.org/info/rfc10008/#appendix-A.3 that tells you can use QUERY. That's a bit different.
59.
by _flux 3mo ago
I believe that's exactly what the Steam Machine reservation does: limits to one per household, so I take that to mean the address without the name. Although I think the language in the response dialog will be nicer than accusing of fra
60.
by _flux 3mo ago
I've also used 3d printer to straight up print on top of a greeting card (the print was 1 layer). The print might not fare that well though the post system, though, so maybe it wouldn't be suitable for postcards. But it can be a n

More ›