Viewing profile — reycharles

Would you mind sharing the name of that plugin? Thanks!

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

It's a type of rock

Not directly, but it sets a course where this might change.

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.

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

to be fair they said "test for everything "

I would say they would worry if they were even remotely in touch with nature.

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…

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

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…

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

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

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…

A big difference in my opinion is that projects like Mirage does not try to reimplement the same hardware drivers as the host system and instead implements much simpler drivers for…

Indeed, and I believe it predates all the other ones by quite a bit.

> Woke Finns add American Pronouns to their twitter pages. Could it be these Finns interact with English speaking tweeps?

Why did you make this comment?

> Facebook is not a monopoly. Are we not living on the same planet?

No, Reason's actual name is Reason. The Reason ML name is similar to Go's "golang" name -- to work around the SEO nightmare the choice of the name really is. Your comment is otherw…

They mentioned that in the article and link to another article about this.

> Also I think the name 'sum type' is bad. The intuition is that for each types A and B with number of elemnts |A| and |B| the sum type A+B has number of elements |A|+|B|.

> If I'm going somewhere for a coffee, it's good to be able to charge my phone too. Here it's more common you leave the phone at the bar to be recharged if charging your phone is w…

Their headquarters were in Sweden less than a year ago. Nordea is a merger of a lot of Scandinavian and Finnish banks. I don't think it's fair to call it a Finn bank.