From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0B1D9823C2 for ; Sun, 11 Feb 2018 02:09:12 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kennethadammiller@gmail.com; spf=Pass smtp.mailfrom=kennethadammiller@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f53.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.215.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.215.53 as permitted sender) identity=mailfrom; client-ip=209.85.215.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lf0-f53.google.com) identity=helo; client-ip=209.85.215.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-lf0-f53.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AKtq0jRQ0YkL2XWtuAyyHG8lUY9psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69YhGN2/xhgRfzUJnB7Loc0qyK6/mmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfa5+IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/2PZisJwgqxVow+vqQJjzIPPeo6ZKOBzc7nBcd8GR2dMWNtaWSxbAoO7?= =?us-ascii?q?aosCF+8PMvher4n7uVQOsRu+DhSwCezy0DBIg2L906o70+QlFQHJwhYgFM8JvX?= =?us-ascii?q?TXstr1MqESXv6pzKnI1zrMculZ2TL46IjJdhAhpe+DXahrfMrezEkgDQLFjlGK?= =?us-ascii?q?pYP5ODOV0/0Avm6G5ORjTeKik3Arpx11rzS1xcohipPFipwIxl3E7yl0wIg4KN?= =?us-ascii?q?ulQ0Bhe9GkCoFftySCOot2XMwiR2ZotT4/yrIcuJ67eDEGyJApxxLDcvCHfYiF?= =?us-ascii?q?7xz5WOaeJjd4g31leLahiBqo7Uegzej8WtG10FZMsCVFjsHBum4R2xHX8MSKSf?= =?us-ascii?q?tw8l2/1TqS1w3f8OFJLE4smareMZEhw7owlpQJsUTEGy/7gEb2g7GQdkUi5Oeo?= =?us-ascii?q?9+Tnba/7qZCGMo90jwD+MqAqmsOhG+Q1KQcOX22B9uS90L3v51H2QLJPjvEuiK?= =?us-ascii?q?nWrIjaJdgHpq6+GwJazpws6xO7Dzu/1NQYnGIHLE5edRKcj4npPknOL+riAfe+?= =?us-ascii?q?hVSsijZryOrcMr3vGJWeZkTExZPmYLdmo3RbwwqyhYRa7pNQIrUGPfPoQEj6tN?= =?us-ascii?q?GeCBIlZV+a2eHiXfZw0IUTRWLHK6OQNev3sFuM6/hnd+qBYokYpDb0J/Eg4v/q?= =?us-ascii?q?iXIjsVAYdKitm5AQbSbrTbxdP0yFbC+00Z86GmAQs19mFb24uBi5STdWIk2Kce?= =?us-ascii?q?c57zA/BpihCN6aFI+oib2Fmiy8G88PPzwUOhW3CX7tMr68dbIUcivLe51ulzUF?= =?us-ascii?q?Uf6qTIpzjUjz5j+/8KJuK6/vwgNdtZ/n04IotejalBV38TIsSsrAiCeCSGZ7mm?= =?us-ascii?q?5OTDgzjvhy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A/BABpln9afzXXVdFdGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYUoKAqDW4E5lw2CAoQBjXyHcwqFOwKCMwcZBwQ0FAECAQEBAQEBAQEBEgE?= =?us-ascii?q?BCQsLCCYxgjgigkkBAQEBAgEjHQEbHQEDAQsGBQQHAwoqAgIhAQERAQUBHAYTC?= =?us-ascii?q?IoUAQMNCKRGQIwXggUFARyDDAWDWAoZJw1ZWIINAQEBAQEBBAEBAQEBARoCBhK?= =?us-ascii?q?EaoIVhjc2gmuCFwEBgzWCZQWLCIhbkBY1CZB6hQqCH4Yqi3uLFIM2iToUBSCBF?= =?us-ascii?q?zaBcjMaI1IyghSCRoJPIzeJeoI8AQEB?= X-IPAS-Result: =?us-ascii?q?A0A/BABpln9afzXXVdFdGwEBAQEDAQEBCQEBAYUoKAqDW4E?= =?us-ascii?q?5lw2CAoQBjXyHcwqFOwKCMwcZBwQ0FAECAQEBAQEBAQEBEgEBCQsLCCYxgjgig?= =?us-ascii?q?kkBAQEBAgEjHQEbHQEDAQsGBQQHAwoqAgIhAQERAQUBHAYTCIoUAQMNCKRGQIw?= =?us-ascii?q?XggUFARyDDAWDWAoZJw1ZWIINAQEBAQEBBAEBAQEBARoCBhKEaoIVhjc2gmuCF?= =?us-ascii?q?wEBgzWCZQWLCIhbkBY1CZB6hQqCH4Yqi3uLFIM2iToUBSCBFzaBcjMaI1IyghS?= =?us-ascii?q?CRoJPIzeJeoI8AQEB?= X-IronPort-AV: E=Sophos;i="5.46,492,1511823600"; d="scan'208,217";a="312983638" Received: from mail-lf0-f53.google.com ([209.85.215.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Feb 2018 02:09:11 +0100 Received: by mail-lf0-f53.google.com with SMTP id f137so16060667lfe.4 for ; Sat, 10 Feb 2018 17:09:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=5ryo0XwIQL6InQmDCAlzwmcZk0UBN1FNEtGAM6tUhPc=; b=YxF8mCXNk1WILM6matgoNq60aL7yOc9n6U+jMiSSQxshAJPZpkTyWKWf0uM859bl99 Tbhmy7Vy1TGonvq6IYdQMVbYWsuadg7HIHJq3YgyY6YUE7M/5QdIPekojzUP+F02t9JZ WpJgZIt0wdMxsioB6JQieyxqLyuTEdHcLuLazLd8jJhsCMLov7ZMOid7fzJ9x5/P8neD wDkWyFVPfWIrsidcFiqxOUYdyUgfhNkxSEghIPbt1rPH6dxIcSI7V23S35XjZFt/dxTC KCAJ0wEgDZ5S5oSNzOoiZ5gFd2b8LbDegOhLBtmRe6BK/hx6enQ/xJ9Ztso/imW1RY4l 5w6w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=5ryo0XwIQL6InQmDCAlzwmcZk0UBN1FNEtGAM6tUhPc=; b=M7oFt8XKVMq+l5yt2Cr1uwzJq19f27kanwVco4z84Ecc7M+oIr9lIncev1RU5CMhe4 7cT2CrmR9NWVSQ2O7cDqiGopYHu4FuoJWds4lVGLGAe2K9fQtZp/FTJ9YqMfIBC3Jdh2 ATNMIoy5r4eNIoL2ziF615K/NLuh+/4lScppBtZSY3OEMmZ2UN4Sw+GIxJzfhIYAObLC cJOkTdmXcenwsleIplhH3mALuqru/bKBJqZCQbdKJxi0Yrzve1InK1/ms0guj48oDxD1 VoIIP70J5FTFYf+dhY7vudvAb1hsf8jhPkp4A9Afkl0QktN36q1YC9HStyFl9LwFlj89 76xw== X-Gm-Message-State: APf1xPAZHIpJSxPB+X29vje6AA8wWufeI/gfXPBg5N2aiRtPV1NwFW54 p7rqxH+6lCYGSDwmoE2F/xY1IhqRlHo3t8dXs9Y= X-Google-Smtp-Source: AH8x226KhUqPBwgkCSt21jXRPxDHQwqpvOajXYdO6H3Bgd1zsfN2ETBYSf8YboOtcKahNCXU1JafdBywheaOma9JA5M= X-Received: by 10.25.119.29 with SMTP id s29mr4380264lfc.123.1518311350072; Sat, 10 Feb 2018 17:09:10 -0800 (PST) MIME-Version: 1.0 Received: by 10.46.114.6 with HTTP; Sat, 10 Feb 2018 17:09:09 -0800 (PST) In-Reply-To: <4236B9F6-0302-4E8E-9DB7-3320A1C28FE8@louisroche.net> References: <4236B9F6-0302-4E8E-9DB7-3320A1C28FE8@louisroche.net> From: Kenneth Adam Miller Date: Sat, 10 Feb 2018 20:09:09 -0500 Message-ID: To: =?UTF-8?B?TG91aXMgUm9jaMOp?= Cc: picflo_2@web.de, caml users Content-Type: multipart/alternative; boundary="089e08342360adfc200564e568c2" Subject: Re: [Caml-list] Protobuf for ocaml --089e08342360adfc200564e568c2 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The space complexity is ridiculous (at least X^2, possibly 2^n), it isn't as convenient as any of the others in allowing you to derive your own specs, it's horribly written code that uses ref and doesn't conform to OCaml conventions, it caused a lot of crashing on our end, only works for a particular compile target until I went to update it, the Makefile is an awful unmaintainable and unreadable mess, the language it defines is unnecessary and it's hard to get anything to change. We (me and some team mates) had this forced on us for the features we required, which was to be able to get data in and out of ocaml to other languages, and wanted to use it for a large project. It ended up causing a lot of unnecessary and unwanted slow down in development, both for our cases and for CMU's BAP. They had the same problems, and everyone that has touched it had to do unwanted work trying to get it to reliably do what it advertises. On Sat, Feb 10, 2018 at 7:43 PM, Louis Roch=C3=A9 wro= te: > Can you give more details please ? > > > On 11 Feb 2018, at 04:56, Kenneth Adam Miller < > kennethadammiller@gmail.com> wrote: > > > > **Dont use piqi!** It's really terrible code. > --089e08342360adfc200564e568c2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The space complexity is ridiculous (at least X^2, possibly= 2^n), it isn't as convenient as any of the others in allowing you to d= erive your own specs, it's horribly written code that uses ref and does= n't conform to OCaml conventions, it caused a lot of crashing on our en= d, only works for a particular compile target until I went to update it, th= e Makefile is an awful unmaintainable and unreadable mess, the language it = defines is unnecessary and it's hard to get anything to change.

= We (me and some team mates) had this forced on us for the features we requi= red, which was to be able to get data in and out of ocaml to other language= s, and wanted to use it for a large project. It ended up causing a lot of u= nnecessary and unwanted slow down in development, both for our cases and fo= r CMU's BAP. They had the same problems, and everyone that has touched = it had to do unwanted work trying to get it to reliably do what it advertis= es.=C2=A0

On= Sat, Feb 10, 2018 at 7:43 PM, Louis Roch=C3=A9 <mail@louisroche.net= > wrote:
Can you give more deta= ils please ?

> On 11 Feb 2018, at 04:56, Kenneth Adam Miller <kennethadammiller@gmail.com> wrote:
>
> **Dont use piqi!** It's really terrible code.

--089e08342360adfc200564e568c2--