Re: [racket-users] Rosette: can it help me

2020-11-26 Thread Bertrand Augereau
re details. Slide 87 shows a > solution to this problem. > > > On Thu, Nov 26, 2020 at 1:12 PM Bertrand Augereau > wrote: >> >> Hello everybody, >> >> not sure if this is the good place to ask about this but I couldn't >> find a good location so I&

[racket-users] Rosette: can it help me

2020-11-26 Thread Bertrand Augereau
Hello everybody, not sure if this is the good place to ask about this but I couldn't find a good location so I'm asking for help here, after all it's strongly connected to Racket :) I'm trying to reverse-engineer some specific piece of hardware with the help of Rosette, to discover if it can help

Re: [racket-users] Linear algebra performance (was: calculations with arrays)

2020-11-24 Thread Bertrand Augereau
> > I believe game libraries in C also implement their own 3x3 matrices rather > than using BLAS/LAPACK. BLAS can handle very large matrices and > makes an effort to give good results even for ill-conditioned matrices. > They sure do. Generally as 4x4 or implicit homogeneous 4x3 matrices to help l

Re: [racket-users] Racket CS release plan

2020-08-01 Thread Bertrand Augereau
I'm just adding noise, but I just wanted to thank you for sharing your plans, it's much appreciated, even when we don't answer in general. Yep, told you so. Noise :) Le jeu. 30 juil. 2020 à 14:46, Matthew Flatt a écrit : > > With the improvements in the upcoming v7.8 release, Racket CS provides

Re: [racket-users] Typed code from untyped code

2020-02-18 Thread Bertrand Augereau
he workaround of a > getter function, but with an identifier macro to hide the function from the > person using the mutable identifier. > > Alex Knauth (mobile) > > > On Feb 17, 2020, at 7:22 PM, Ben Greenman > wrote: > > > > On 2/17/20, Bertrand Augereau w

Re: [racket-users] Typed code from untyped code

2020-02-17 Thread Bertrand Augereau
Hello and thank you Ben for the explanation, I had already implemented the workaround, I'll keep it :) It seems that wrapping every binding access in a function is seen as unnecessary in Scheme and Common Lisp ("Reference needed" :) ) but it's a tool I use a lot in my favorite statically typed lan

[racket-users] Typed code from untyped code

2020-02-17 Thread Bertrand Augereau
Hello everybody, I'm trying to gradually type my script to make it a proper app (yes I'm a static-ish guy) and I have an issue (Racket 7.6 CS). === racket_mod.rkt: #lang racket (provide (struct-out s)) (provide list-of-s) (provide set-list-of-s!) (

Re: [racket-users] subprocess failure (Windows-specific ?)

2020-02-08 Thread Bertrand Augereau
> At Sat, 8 Feb 2020 17:46:06 +0100, Bertrand Augereau wrote: > > You're right, but wouldn't using the posix_spawn family have better > > semantics, better performance, and would allow to unify between POSIX and > > Windows behaviours nicely ? :) > > It's

Re: [racket-users] subprocess failure (Windows-specific ?)

2020-02-08 Thread Bertrand Augereau
Hi Matthew, > Currently, if fork() fails on Unix (e.g., because there are too many > processes), then `subprocess` will raise an exception. But if fork() > succeeds, then there's normally no way to communicate an error from > exec() except through the exit code, since exec() is in the child > pr

Re: [racket-users] subprocess failure (Windows-specific ?)

2020-02-08 Thread Bertrand Augereau
> I'm not sure I completely understand the problem. You're correct that > there's no way to tell whether the value is an exit code from the program > or an error from the operating system ... but there also is no way to tell > that starting the program from the shell IF you rely solely on the ex

Re: [racket-users] subprocess failure (Windows-specific ?)

2020-02-08 Thread Bertrand Augereau
> The 1st value returned by (subprocess) is an opaque reference to the > executing process. If you pass the reference to (subprocess-status) it > will return *'running* if the process currently is executing, or the > exit/error value. > "exit/error value" is the issue there. (subprocess-st

[racket-users] subprocess failure (Windows-specific ?)

2020-02-08 Thread Bertrand Augereau
Hello everybody, I'm trying to drive a WIN32 application from a Racket gui app to provide the QA guys a simple way to interact with it. So far I'm quite successful but I'm having a little issue. I spawn my subprocess with subprocess : https://docs.racket-lang.org/reference/subprocess.html And f