Re: [racket-dev] racket-money email list?

2018-02-28 Thread 'Paulo Matos' via Racket Developers
Let me just top-post my reply... :) Although I am not sure how I could contribute to the list yet, I like the idea. I am working on a commercial project in racket and would certainly be happy to hear others thoughts on pragmatic business issues like selling racket software, customer apprehension,

[racket-dev] If condition optimization

2018-03-06 Thread 'Paulo Matos' via Racket Developers
Hi, I tried to disassemble this: (define (f x y) (if (and (zero? x) (= (+ x y) y)) 1 0)) In reality this is the same as: (define (f x y) (if (zero? x) 1 0)) Except racket does not perform the optimization. What's the reason for this? Kind regards, -- Pau

Re: [racket-dev] racket-money email list?

2018-03-15 Thread 'Paulo Matos' via Racket Developers
On 15/03/18 07:23, Neil Van Dyke wrote: > > 1. Host it as a Google Groups non-archived email list, or as a somewhat > more private MailMan email list at my vanity domain hoster?  (In either > case, Google already gives themselves permission to scrape individual > GMail users' emails, there will

[racket-dev] racket snapshot scripts

2018-04-06 Thread 'Paulo Matos' via Racket Developers
Hi, Where can I find the scripts that generate the racket nightly builds? I am having trouble generating something like the racket snapshots when I build racket on my own. For example, if I build in-place, the links.rkt file refers to files in pkgs which was not inside the racket directory. This

Re: [racket-dev] racket snapshot scripts

2018-04-06 Thread 'Paulo Matos' via Racket Developers
On 06/04/18 16:28, Matthew Flatt wrote: > See "INSTALL.txt" at the top of the git repo and skip down to "The > Whole Enchilada: Building Installers". > Thanks. I was just going through the docs Robby referenced as well. The whole point was an attempt to build racket versions, which I use for te

Re: [racket-dev] Coverity Scan during CI

2018-09-14 Thread 'Paulo Matos' via Racket Developers
Awesome. I can create a PR for this. I will try to create the project myself and add you as a member of the coverity project. Hopefully Synopsys will accept it. I will keep you up-to-date. On 14/09/2018 15:44, Sam Tobin-Hochstadt wrote: > Hi Paulo, > > This sounds like an excellent project. I'm

Re: [racket-dev] Coverity Scan during CI

2018-09-17 Thread 'Paulo Matos' via Racket Developers
On 14/09/2018 16:47, 'Paulo Matos' via Racket Developers wrote: > Awesome. I can create a PR for this. > I will try to create the project myself and add you as a member of the > coverity project. Hopefully Synopsys will accept it. > > I will keep you up-to-date.

Re: [racket-dev] libgccjit and Racket

2018-11-04 Thread 'Paulo Matos' via Racket Developers
Hi, I really like libgccjit. A lot of work has gone into it and it does a really good job interfacing with gcc. That said, integrating it into Racket is a _huge_ amount of work. It is nonetheless very interesting and I would certainly like to see it done. However, note Racket is moving to running

Re: [racket-dev] libgccjit and Racket

2019-02-06 Thread 'Paulo Matos' via Racket Developers
On 03/11/2018 20:15, Vibhav Pant wrote: > Hi, > > Has there been any interest in using libgccjit as a JIT compilation > library for Racket? Vibhav, have you pursued any work in this direction? -- Paulo Matos -- You received this message because you are subscribed to the Google Groups "Ra

Re: [racket-dev] libgccjit and Racket

2019-02-06 Thread 'Paulo Matos' via Racket Developers
On 05/11/2018 02:46, Gustavo Massaccesi wrote: > In both cases, I think there will be a license problem. IIUC the license > of libgccjit is GPLv3. I am not a lawyer but Racket is LGPL. LGPL is GPL3 compatible. Am I missing something? -- Paulo Matos -- You received this message because you a

Re: [racket-dev] libgccjit and Racket

2019-02-06 Thread 'Paulo Matos' via Racket Developers
On 06/02/2019 13:51, 'Paulo Matos' via Racket Developers wrote: > > > On 05/11/2018 02:46, Gustavo Massaccesi wrote: >> In both cases, I think there will be a license problem. IIUC the license >> of libgccjit is GPLv3. > > I am not a lawyer but Racket i

Re: [racket-dev] libgccjit and Racket

2019-02-21 Thread 'Paulo Matos' via Racket Developers
FYI, I started some do some work on this: https://github.com/LinkiTools/racket-gccjit Not ready to be a proper pkg yet though. But it does already JIT an hello world function (from libgccjit tutorial 1). On 06/02/2019 13:37, 'Paulo Matos' via Racket Developers wrote: > > >

Re: [racket-dev] Help improve Racket on ChezScheme

2019-03-28 Thread 'Paulo Matos' via Racket Developers
Jay, this is great information, thanks. I will make sure I will feature this in the next issue of RN. On 28/03/2019 11:59, Jay McCarthy wrote: > If you have been wanting to help improve Racket on ChezScheme, but > didn't know where to start. I have a great resource for you... > > DrDr is now run

[racket-dev] CI improved for Racket

2019-04-02 Thread 'Paulo Matos' via Racket Developers
Hello, Short Summary: I have added in 35d269c29 [1] cross architectural testing using virtualized qemu machines. There are problems - we need to fix those. Long Story: For months now, I have been wishing I could get cross-arch testing done on a regular basis on Racket. Initially I had something

Re: [racket-dev] CI improved for Racket

2019-04-10 Thread 'Paulo Matos' via Racket Developers
stions and the poke. Now I am off to make racket green again. > [1]: https://github.com/racket/racket/commits/master > >> On Apr 2, 2019, at 02:59, 'Paulo Matos' via Racket Developers >> wrote: >> >> Hello, >> >> Short Summary: I have added in 35d

Re: [racket-dev] CI improved for Racket

2019-04-10 Thread 'Paulo Matos' via Racket Developers
I have finished pushing the changes I have mentioned below. Hopefully things will improve. Again, I am sorry for leaving Racket in such a red state for the past couple of weeks. :) On 10/04/2019 09:14, 'Paulo Matos' via Racket Developers wrote: > > > On 09/04/2019 19:44

Re: [racket-dev] CI improved for Racket

2019-04-11 Thread 'Paulo Matos' via Racket Developers
On 11/04/2019 11:01, jackhfi...@gmail.com wrote: > On Wednesday, April 10, 2019 at 12:15:02 AM UTC-7, Paulo Matos wrote: > > Currently I don't have enough machines or AWS time to dedicate to > Racket builds > > > How much do you need? > There are really two types of needs here. - D

Re: [racket-dev] CI improved for Racket

2019-04-11 Thread 'Paulo Matos' via Racket Developers
On 11/04/2019 11:56, Jack Firth wrote: > So about 30-40 total cores for that second category? That would be awesome! :) > About how much > total RAM is needed? Someone might correct me here but from what I can see it would be great to have something like 2G/core - but if not it shouldn't be

Re: [racket-dev] CI improved for Racket

2019-04-11 Thread 'Paulo Matos' via Racket Developers
On 11/04/2019 15:32, 'Paulo Matos' via Racket Developers wrote: > > Thanks. I don't know much about kubernetes (still at the docker level... > :)) but I saw the name thrown around in the gitlab docs so it should be > fine integrating such a cluster with CI. >

Re: [racket-dev] CI improved for Racket

2019-04-11 Thread 'Paulo Matos' via Racket Developers
On 12/04/2019 07:45, Jack Rosenthal wrote: > On Thu, 11 Apr 2019 at 15:32 +0200, 'Paulo Matos' via Racket > Developers wrote: >> No, currently I have a central cache for the gitlab machines >> locally. However, I have in place an S3 bucket (Google would also >

Re: [racket-dev] Building Racket CS? Please switch to github:racket/ChezScheme

2019-04-23 Thread 'Paulo Matos' via Racket Developers
On 21/04/2019 17:44, Matthew Flatt wrote: > The makefiles at https://github.com/racket/racket used to pull > ChezScheme from https://github.com/mflatt/ChezScheme, but I've switched > that to https://github.com/racket/ChezScheme (because it appears that > Racket-specific patches will be need for

Re: [racket-dev] time to move off google groups?

2019-05-22 Thread 'Paulo Matos' via Racket Developers
On 21/05/2019 20:40, Neil Van Dyke wrote: > 'Joel Dueck' via Racket Developers wrote on 5/21/19 1:53 PM:] >> The only downside I see is it would no longer be possible to post via >> email. > > To whomever volunteers to do the implementation and the requirements > analysis: please don't break em

Re: [racket-dev] time to move off google groups?

2019-05-22 Thread 'Paulo Matos' via Racket Developers
On 20/05/2019 22:02, Matthew Flatt wrote: > Can we please stop having posts about how the mailing list should work, > unless that post contains the phrase "I volunteer"? > Kudos to this. I am very happy about this strong message and wish it would come more often from the senior team. There nee

[racket-dev] Compilation issues of racketcs with GCC7.4.0

2019-06-05 Thread 'Paulo Matos' via Racket Developers
Hi, This is just to let you know of a GCC bug in GCC7.4.0 (default in Ubuntu 18.04 LTS) when compiling racketcs. GCC complains about vfasl.c:358:134: error: array subscript is above array bounds [-Werror=array-bounds] on vfasl.c of Chez sources. However, this is a false positive fixed on more re

Re: [racket-dev] Compilation issues of racketcs with GCC7.4.0

2019-06-05 Thread 'Paulo Matos' via Racket Developers
st out of curiosity. Will let you know. > At Wed, 5 Jun 2019 15:04:10 +0200, "'Paulo Matos' via Racket Developers" > wrote: >> Hi, >> >> This is just to let you know of a GCC bug in GCC7.4.0 (default in Ubuntu >> 18.04 LTS) when compiling racketcs

Re: [racket-dev] Compilation issues of racketcs with GCC7.4.0

2019-06-05 Thread 'Paulo Matos' via Racket Developers
On 05/06/2019 15:35, 'Paulo Matos' via Racket Developers wrote: > Will let you know. > For those interested this party continues here: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90758 -- Paulo Matos -- You received this message because you are subscribed to the Google

[racket-dev] Racket Testing

2019-06-05 Thread 'Paulo Matos' via Racket Developers
Hi, I was looking at exploding the Racket CI configurations to make them more fine-grained. For non x86_64 architectures with default flags / racketcs etc, there are many failures and I would like to make the testing more fine-grained so that I can lock a configuration /to success/ as soon as pos

Re: [racket-dev] Racket Testing

2019-06-05 Thread 'Paulo Matos' via Racket Developers
gt; doing that in other CI systems wasn't possible. > Now it is... :) What do you mean by a single full test run? All the tests below, or running even further tests? > Sam > > On Wed, Jun 5, 2019 at 3:49 PM 'Paulo Matos' via Racket Developers > wrote: >> &g

[racket-dev] Germany Mirror - Univ. Tubingen

2019-06-22 Thread 'Paulo Matos' via Racket Developers
Hi, Just a heads-up that the mirror for Germany hasn't been updated with 7.3 and therefore choosing this mirror to download 7.3 results in a 404 [1]. Should the mirror list include a contact for the mirror? [1] https://download.racket-lang.org/racket-7-3-x86_64-linux-sh.html -- Paulo Matos --

Re: [racket-dev] Germany Mirror - Univ. Tubingen

2019-06-22 Thread 'Paulo Matos' via Racket Developers
And I just noticed that it's the same for Canada and Belgium. Only USA mirrors are working. On 22/06/2019 19:34, 'Paulo Matos' via Racket Developers wrote: > Hi, > > Just a heads-up that the mirror for Germany hasn't been updated with 7.3 > and therefore choo