It's great to hear that people are trying to use ocaml for ML :)
To me it seems like owl is the most mature ocaml project in this area. I recall they even had some GPU support. Unfortunately, I didn't have a chance to try it out so I can't comment first hand on how "ready" it is.
+1 for beancount. I started with gnucash only to discover it doesn't play well with multiple currencies. Then, I looked into ledger and it was much better but I realized I would like access it programmatically. Finally, I settled on beancount which has an amazing UI, has sql-like query utility and good python bindings to extend it in any way I want.
For categorizing new transactions I found that regex matching and doing the rest manually works for me (takes me around 20 minutes every month)
> And we know the company has the ability to read messages.
I don’t think we actually know that.
In fact I think they have a system to keep data and keys apart and in different jurisdictions to prevent USA, Russia or anyone from being able to get access to it.
I am no cryptographer or legal expert though.
> How is telegram better from FB messenger?
This is a bit simpler: while Facebook messenger might be E2E encrypted I have good reason to believe that Facebook will datamine my metadata and sell it to however wants to pay.
Algebraic effects are new hotness in FP research. They are easier to compose than monads and they can express things like async/await naturally.
However, I'm not sure this approach works as intended with imperative programs where code will have (side) effects sprinkled everywhere. And there is no GC in rust
I'm a fan of effects, and I think they would work great for Rust. (I/O just probably wouldn't be one of them, or else it would be "on by default" like `Sized`.)
I'm not sure how they'd give you a unified mechanism to implement these kinds of things, though. The Monad typeclass lets you implement new instances in libraries. Is there any work on defining effects like async/await in libraries? If so I imagine they'd still have to use something like continuations.
> In my opinion, the fully autonomous vehicles shouldn't need to handle those situations. Leave that up to the human to navigate.
This will make driving in those conditions even more dangerous. If people start relying on self driving cars, their driving skills will deteriorate. If computer can't drive the car safely, rusty driver won't do better job.
Moreover Bing increases pricing in May for their API and I guess they are trying to factor that in as well