Open carstenbauer opened 9 months ago
I always wanted to have nicer support for threadinfo in Pluto. I'm thinking of native output (not in the terminal look) interactively updating (when one changes the pinning with pinthreads)
I always wanted to have nicer support for threadinfo in Pluto. I'm thinking of
threadinfo
pinthreads
Originally posted by @carstenbauer in https://github.com/carstenbauer/ThreadPinning.jl/issues/81#issuecomment-1807942877
See also https://github.com/carstenbauer/ThreadPinning.jl/issues/81#issuecomment-1809764925
Originally posted by @carstenbauer in https://github.com/carstenbauer/ThreadPinning.jl/issues/81#issuecomment-1807942877
See also https://github.com/carstenbauer/ThreadPinning.jl/issues/81#issuecomment-1809764925