reycharles
Joined 14 years ago
Karma
279
Submissions
120
Member since
Feb 8
Recent submissions
Comment · 2 months ago
To be fair, the bug report is against a type of software that is famously stochastic and unreproducible.
Comment · 8 months ago
Would you mind sharing the name of that plugin? Thanks!
Comment · 9 months ago
> Why wouldn't these tools be available suddenly?
Take a look at how ridiculously much money is invested in these tools and the companies behind them. Those investments expect a return somehow.
Comment · 1 year ago
It's a type of rock
Comment · 1 year ago
Not directly, but it sets a course where this might change.
Comment · 1 year ago
One reason why they're not the same is because the memory representation is different (sort of). This will break FFIs if you allow reordering the tuple arbitrarily.
Comment · 1 year ago
> 200 years ago the average life expectancy was 30
If you take out infant mortality the life expectancy wasn't all that different from what it is today. https://pmc.ncbi.nlm.nih.gov/articles/PMC2625386/
Comment · 1 year ago
to be fair they said "test for everything"
Comment · 1 year ago
I would say they would worry if they were even remotely in touch with nature.
Comment · 1 year ago
I wrote a small thing for adding a `#doc List.find` directive. However, I don't maintain it anymore since I think it doesn't see much use and it's work to keep up on OCaml compiler internals changes (and it's my impression it never picked up much adoption). https://github.com/reynir/ocp-index-top
dbuenzli's down also has a similar feature.
Comment · 2 years ago
In an electric car? Really? I don't know too much about electric cars, but it's my impression that gears and transmissions are completely unnecessary in an electric car. Please correct me if I am wrong.
Comment · 2 years ago
The README has this text:
> For example, if you are using a recent version of OpenSSH, you may wish to explore using the ServerAliveInterval and ServerAliveCountMax options to have the SSH client exit if it finds itself no longer connected to the server. In many ways this may be a better solution than the monitoring port.
Comment · 2 years ago
Are you the author? I found a few bugs. For example, using domain/ as the path makes it think there is no path.
ETA: example https://url-parts.glitch.me/?url=https://news.ycombinator.co...
Comment · 2 years ago
I helped build a tar-backed filesystem for MirageOS[0]. It is definitely easiest to make it append-only. I did add in-place renaming, updates (of file content), pre-allocating a file and removing the last file.
We also scan the filesystem on boot and keep a mapping in-memory of file names to file metadata and block offsets, and update this memory representation when modifying the on-disk tar filesystem. If you have a lot of small files this is maybe not a great idea as you will be storing most in memory, though.
For the purpose we had in mind it worked fine: A content addressable mirror of package archives. The archives exist somewhere on the web and the package file has a link to the archive and a checksum. We can then download the package and store it by the checksum. This gives integrity that the tar filesystem does not offer. Removing the last file works great if you only have one download job. Otherwise if a download fails and it is not the latest file you can rename it to `failed/<hash>-<random>` and do garbage collection in the filesystem at a later point.
[0]: https://github.com/mirage/ocaml-tar/blob/main/mirage/tar_mir...
Update: interestingly, this was motivated after trying to use a (mostly) LittleFS-compatible filesystem which unfortunately didn't work very well for us at the time (bugs, poor performance).
Comment · 3 years ago
It is possible to run Mirage in ARM under for example KVM or using the seccomp target.
There is as well an experimental bare-metal target for raspberry pi 4 called gilbraltar https://github.com/dinosaure/gilbraltar. A big obstacle there is the device drivers. It is very cool to run bare metal on an rpi4, but it would be cool to be able use the network interface too.