Re: [racket-users] DSL to C code generation with symbolic computations en route

2016-04-19 Thread 'John Clements' via users-redirect
> On Apr 19, 2016, at 3:18 PM, Hendrik Boom wrote: > > On Mon, Apr 18, 2016 at 08:04:32PM +0200, Jerzy Karczmarczuk wrote: >> Dmitry Pavlov wants "adult" numerics in Racket, and he adds: >> >>> - I need to take derivatives of equations that I wrote in my DSL, >>>

Re: [racket-users] Package catalog - can't connect

2016-04-19 Thread Jordan Johnson
> At Mon, 18 Apr 2016 14:32:20 -0700, Jordan Johnson wrote: >> ssl-connect: connect failed (error:14090086:SSL >> routines:ssl3_get_server_certificate:certificate verify failed) >> context…: [stack trace follows] > > I've seen these kinds of problems where the set of trusted certificates > had

[racket-users] Re: Hidden a list

2016-04-19 Thread Héctor Mc
I followed the recommendation with hash tables and used a struct to wrapping the data. I will check this code and will look the efficiency. Thanks for the time. Héctor. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from

Re: [racket-users] DSL to C code generation with symbolic computations en route

2016-04-19 Thread Hendrik Boom
On Mon, Apr 18, 2016 at 08:04:32PM +0200, Jerzy Karczmarczuk wrote: > Dmitry Pavlov wants "adult" numerics in Racket, and he adds: > > >- I need to take derivatives of equations that I wrote in my DSL, > >symbolically, and have them converted to C too. > > And then, people (Robby Findler and

Re: [racket-users] DSL to C code generation with symbolic computations en route

2016-04-19 Thread Dmitry Pavlov
All, Thank you very much for the provided references. Robby, John, Jerzy: thanks for the pointer to Jeff Siskind. His works on automatic differentiation are very interesting. I should look at his Stalingrad software. I did not think about automatic vs symbolic differentiation before; now I am

[racket-users] User/installation scope issues for --skip-installed

2016-04-19 Thread Jonathan Schuster
Currently, "raco pkg install -u --skip-installed foobar" will error if foobar is already installed at the installation scope. I can understand why that might be good, but in my case I'm perfectly happy to use that version of the package. Is there an option that would allow packages from different

Re: [racket-users] DSL to C code generation with symbolic computations en route

2016-04-19 Thread Konrad Hinsen
Jay McCarthy writes: > Another thing in this realm is the Terra language --- > http://terralang.org --- and its associated projects, which are all > quite beautiful. Terra was indeed one of my inspirations. Another one, older but closer to our own universe, is Lush

Re: [racket-users] DSL to C code generation with symbolic computations en route

2016-04-19 Thread Jay McCarthy
This is something that comes up over and over on the list. I believe that there are others at U(U) that are working on this problem presently as a way to help port the runtime system from C. Perhaps it would be good to connect everyone up more efficiently. On the more boring end, I'm working

Re: [racket-users] Re: Accessing Undo/Redo History directly?

2016-04-19 Thread WarGrey Gyoudmon Ju
I think it's impossible to access written texts since what inside the undo/redo history are functions, not the content entities. So you have to manage texts on your own. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this

[racket-users] Re: Accessing Undo/Redo History directly?

2016-04-19 Thread Normal Loone
Any ideas? -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit

[racket-users] Custodian/Will question

2016-04-19 Thread Deren Dohoda
Hi Racketeers, I'm a little unclear on the right way to use custodians and wills. I have a thread that can only be shut down during certain points: it does some writing operations on a port and this write must finish under normal circumstances. I worry that if this thread is managed by a

[racket-users] Functional Art, Music, Modelling and Design 2016: 2nd Call For Papers

2016-04-19 Thread Michael Sperber
4th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Co-located with ICFP Nara, Japan, 24 September, 2016 Call for Papers and Demos The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are

Re: [racket-users] Package catalog - can't connect

2016-04-19 Thread Matthew Flatt
At Mon, 18 Apr 2016 14:32:20 -0700, Jordan Johnson wrote: > So I tried downloading a newer version of OpenSSL > (1.0.2g 1 Mar 2016), and now it fails with: > > ssl-connect: connect failed (error:14090086:SSL > routines:ssl3_get_server_certificate:certificate verify failed) > context…: [stack

Re: [racket-users] DSL to C code generation with symbolic computations en route

2016-04-19 Thread Konrad Hinsen
On 18/04/2016 19:20, Dmitry Pavlov wrote: I, as a programmer in the area of numerics, just evolved to the state where the following task seem reasonable to work on: ... I suspect I am not the only one who wants that. Me too! There must be some work already done. What would you advise to