Viewing profile — _flux

Ocsigen and Eliom were started 2005 and are pretty similar, although I can't find any well-known projects using Eliom :/. Presumably this has learned some lessons from it, so it's …

I've created bug reports to open source projects that have related files in my repo. Then I can just list the reproduction instructions like: 1) arrange xxx, such that yyy.. or git…

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: Unix.Uni…

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…

..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.

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 a…

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 struct…

The conversions seem to use (sometimes?) unsafe blocks.

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. …

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 them…

Could have used bigger font.

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 …

I wonder how many of the Linux the LPEs are related to drivers, which I understand there are more of..

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.

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).

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 a…

Does Alibaba only have developers in the China?

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 v…

You can't assign the copyright to Emacs either, yet it can be used to produce software.

Works for me (TM). Maybe you lost CDN-lottery?

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.

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.. ?…

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…

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 Deb…

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, whic…