otini @otini@functional.cafe

@khady @Armael Yes, true, abstract types would probably make things very difficult in the absence of ad hoc polymorphism.

@nicosomb Les rapports Exodus à son sujet ne m'inspirent guère confiance. https://reports.exodus-privacy.eu.org/en/reports/search/com.here.app.maps/

@amiloradovsky But having an optional deriver such as Haskell's `deriving Show` would be nice and wouldn't cause the problems you mention.

One of my colleagues just dumbfounded me with this #OCaml question: why do we have to code pretty-printers for our types (either manually or via ppx_deriving) whereas the OCaml toplevel can print them all by itself?

@ben

More deceptive: there is no set whose cardinality is strictly between that of the integers and the real numbers, true or false?

Rectification: it's about data mining for advertising.

https://en.wikipedia.org/wiki/Acxiom

Just discovered this beautiful choir song. https://www.youtube.com/watch?v=F7P2ViCRObs

It's about the NSA, and it's great.

@tedomum Merci !! 😊

@loke It is done using Unix.open_process, which apparently interprets the command using /bin/sh.

@loke Here is a more complete view. The program I want to profile is binsec, it spawns the process unisim-armsec and exchanges messages with it. I don't really understand why bash is involved.

I'm using the perf profiling tool for the first time. Is there a reason why the top line has its “Children” field equal to 24 % and not 100 % ?

@yomimono It's so cool!! 😍