jwaldmann

Yeah right then we agree. Keep all `NFData` instances, and perhaps document why they are there. And looking at the code, some (all?) could be done in a generic way....

One extra remark on my patch to the actual issue here: in `Stream.doTick`, I have ``` ( forM_ cxs $ \cx@(Cx target _ oscs) -> do let ... ms =...

@yaxu "do we still need .." let the `!` stand for now. Perhaps re-consider argument forcing (here and elsewhere) later in the course of #667.

> race condition that's possible, I use `make -j8` (or whatever) habitually. I will check again.

my reproducer for 3.10.2.0 : https://git.imn.htwk-leipzig.de/waldmann/cabal-9659/-/jobs/39798

Meanwhile I have seen more instances where `assert` wastes clauses, and the time to print them. > but there's a comment in the code that suggests that it's not working:...

But ... `generateLiteral` is used for sharing, so it must give us the information on the polarity that was used when the literal was created. This seems to require the...

> There is a name for this "half Tseitin" PlaistedGreenbaum’86 https://doi.org/10.1016/S0747-7171(86)80028-1 cited by Armin Biere in http://fmv.jku.at/biere/talks/Biere-SATSMTAR18-talk.pdf (slide 21)

what is the status here? I am unable to use bluetooth output for jack (which I am using because supercollider wants it).

apparently, one solution is to start my application like this: `pw-jack sclang`. That executable (pw-jack) is provided (on Fedora 39) by pipewire-jack-audio-connection-kit-libs (despite the name "-libs")