Barak A. Pearlmutter

github forks

6

I often have repos with multiple remotes corresponding to forks on github. It would be nice if `gh` had a sensible way to deal with that. I can think of...

We are maintaining a table of AD examples in a variety of languages. There are five example programs, with varying levels of dynamic behaviour and amounts of nesting of AD...

nesting

2

```` *AutoDiff> let shouldBeOne = d (\x -> d (x*) 1) 1 *AutoDiff> shouldBeOne 0 ````

make -j unsafe

6

The `Makefile` is not parallel-build safe when using the default target. In other words, `make -j8` results in multiple processes stepping on each others' toes.

Qt6::Multimedia unavailable on some architectures

3

There's a problem with the Debian package, because `qt6-multimedia-dev` is not available on all architectures. This issue is causing a build failure due to unavailable dependencies on everything except `amd64`,...

`tools/videostudy/videostudy` is a generated binary executable

/usr/games/pacman vs /usr/bin/apt

5

I run Debian and am a fun-loving bloke so `/usr/games` is on my path and `pacman` (the game) is installed. When `use-package` loads and searches for an appropriate value for...

Use remote control on monitor via HDMI and libcec

2

This is just an idea. The libcec library senses remote control button pushes on a TV connected to the computer via HDMI, using the CEC protocol. Perhaps PDFPC could use...

Re-authentication in 1.5, and it needs a GUI

8

Using v1.4, `gmi pull` gets all my new gmail. Great! Using v1.5, `gmi pull` tries to pop up a web page for me to authenticate. (Which doesn't work because I'm...