Re: [TYPES] Optimizing data representation
Richard Eisenberg <rae-icOkP4L6Z86/[email protected]> Thu, 10 Dec 2020 19:41:23 +0000
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <010f01764e2c2117-dabb5eaa-9c06-4cf8-a46b-e61eebb70d9d-000000@us-east-2.amazonses.com> |
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] > On Dec 10, 2020, at 1:49 PM, Stefan Monnier <[email protected]> wrote: > > That sounds much more impressive than turning Nats into machine > integers, indeed, I'm interested to hear what you find. > > I've been pointed to https://cozy.uwplse.org/, which I think is the project I was looking for. Thanks, TYPES! Richard -=-=-=-=-=-=-=-=-=-=- Richard A. Eisenberg, PhD Principal Researcher at https://tweag.io https://richarde.dev/