Viewing profile — afrisch

There are still subscriptions that give access to both ChatGPT and Codex, but with a much smaller usage quota than before the change (which came at the same time as the end of the …

But -10 is smaller than -2, right?

Giving AI agents permission to do things on your behalf in your computer is obviously dangerous. Installing a compromised MCP server is really the same as installing any compromise…

How is this different from a backdoor in, say, a Thunderbird extension? I've maintained an extension for Thunderbird and, when I was no longer interested in it, a guy pushed hard t…

> Having worked with OCaml at Jane Street is not, I think most of us would agree, going to be, going to be a serious barrier to getting hired to work with another language somewher…

No doubt excessive nesting is bizarre, although the end user might not notice (nested panels that fit in their parent are not visible). That's not a reason to have your entire OS b…

It has been fixed but a similar problem (with the same repro case) reappeared with a recent Windows update, only now when closing the popup.

So at least they should really work hard to not let a BSOD happen in case of excessive nesting of widgets. The repro case is actually the same than the one for a bug which was fixe…

It's crazy a such a simple script, which is actually the same as 6 years ago, can produce a BSOD in a deterministic way with the latest update of Windows. And nobody at MS seems to…

CDuce was the result of my PhD thesis (about 20 years ago); mostly just a research prototype with enough engineering efforts to make it usable for small enough projects. It came af…

The best part is that tree trade is not contradictory with setting standards! > For the first time, the trade agreement includes countries' Paris climate deal commitments. > The te…

Of course. As a matter of fact, UK was never part of the Schengen Area.

> and lose at least 2 points from any speeding (Nitpicking: actually only one point if driving less then 20 km/h above the limit.)

According to Wikipedia[1], SQLightning -- a port of Sqlite using LMDB -- was 20x faster than original sqllight. It could thus be interesting to compare LiteTree with SQLightning. […

Shameless plug: ocaml-vdom[1] is another implementation of TEA in OCaml (with js_of_ocaml) [1]: https://github.com/LexiFi/ocaml-vdom

I could have added reasonml to the list indeed, but reasonml really is (a different syntax for) ocaml.

Yes sorry, Elm is indeed implemented in Haskell.

Well, OCaml is indeed rather popular for implementing compilers for new languages (sometimes later bootstrapped), including ones which became rather popular. I can think of F#, Rus…

Yes, well, I can imagine that under the assumption that people loose "faith" in Bitcoin, it's still possible to assign a "value" to the Bitcoin network, e.g. the hardware that make…

What's the value of the bitcoin network itself (its computing power?), and how does the holding of bitcoins give any right on this value?

Many files are taken from the OCaml compiler and then adapted, but changes seems a bit deeper than just a different syntax. It would indeed seem fair for the authors to at least ma…

Of course it feels less native than with F#, but we have created and used CSML ( https://github.com/LexiFi/csml ) specifically to allow our OCaml code base to interact with .NET.

I don't think so. Both bytecode and native evaluate right-to-left.

Here is an obviously incomplete list: http://ocaml.org/learn/companies.html