jwaldmann

I am seeing this behaviour ``` ./configure --with-spins make ... test -f spins/spins.jar || (cd "./spins/src" && ) /bin/sh: -c: line 0: syntax error near unexpected token `)' ``` I...

cabal haddock-project suggests --haddock-all but then rejects it

3

``` $ cabal haddock-project Warning: haddock-project command is experimental, it might break in the future Up to date No documentation was generated as this package does not contain a library....

status (SAT/UNSAT) should not be set from exit code, but from contents of answer?

3

I am trying to use solver PRS (https://github.com/shaowei-cai-group/PRS-sc24/) . Their exit code is 0 always. ``` $ /opt/PRS/sc24/bin/PRS check.cnf s SATISFIABLE v -1 2 0 $ echo $? 0 $...

(no action required, this is just a note) I built `walksat` from source https://gitlab.com/HenryKautz/Walksat (by one of the original authors, see https://henrykautz.com/walksat/index.html) and applied it to CNFs built by ersatz....

custom setup code needs to be adapted for Cabal-3.14, as they introduced an abstract path type: ``` $ cabal build -w /opt/ghc/ghc-9.12.1/bin/ghc ... Build profile: -w ghc-9.12.1 -O1 In order,...

I sometimes want to convert between `R.Relation a b` and `[[Bit]]`. It's easy to write ``` rows b = let ((u,l),(o,r)) = R.bounds b in flip map (A.range (u,o)) $...

I want this ``` updates :: (A.Ix a, A.Ix b) => R.Relation a b -> [((a,b),Bit)] -> R.Relation a b ``` similar to https://hackage.haskell.org/package/array-0.5.8.0/docs/Data-Array.html#v:-47--47- possible implementation: ``` updates r ixs...

I am trying to build feedforward with recent ghc, libraries, gcc, on Fedora. I am getting stuck at building ncurses but it seems to be a c2hs error https://github.com/haskell/c2hs/issues/300 How...

code example in API comment for spread' is broken

3

https://hackage.haskell.org/package/tidal-1.9.5/docs/Sound-Tidal-UI.html#v:spread-39- ``` GHCi, version 9.10.1: https://www.haskell.org/ghc/ :? for help ghci> import Sound.Tidal.Context ghci> :set -XOverloadedStrings ghci> :t spread' slow "2 4%3" $ sound "ho ho:2 ho:3 hc" :1:14: error: [GHC-39999]...

avoid Unicode in favour of prefix ASCII names

6

(... you asked for this in https://github.com/agda/agda-stdlib/issues/2690#issuecomment-2789497489) I do use Agda, and I do teach it (not a full course though). While teaching, I do avoid stdlib, mainly because I...