Dima Pasechnik

Results 290 comments of Dima Pasechnik
trafficstars

I don't know much about accessible epubs. But currently if your devices (e.g. they only do Google's Play Books stuff) won't take your epub, you're SOL. If a PDF was...

For the current firmware, 1.33, I also had to add `hdmi_force_hotplug=1` to let the box run in headless mode. I recall setting monitor resolution to 1080 (although it had not...

Could you point me out to docs on changing the default boot order? I read here that it's possible, but how? It's a binary file I have to rebuild somehow,...

🤦🏽‍♂️ - it's not obvious for someone not working with hardware regularly that "building" is actually done by hardware, akin to configuring BIOS... Thanks. I'll try putting modified `RPI_EFI.fd` right...

I called the process of modifying `RPI_EFI.fd` "building", that's probably incorrect word use, sorry. > then just put the firmware on the SD card, and ignore all the other stuff...

ping? @gabrielmoise - should we take over from you?

Does anyone active on this PR see an easy way forward here? It was a part of @gabrielmoise 's project I supervised (and thus I feel like it should not...

> just the stuff about unoriented incidence matrices The main reason for oriented incidence matrices to appear here is that it's the most direct way to get the Laplacian matrix...

> So for 1.3.8, specifically, what are the problems? for instance, it does not work on ECL macOS without our patches. Which were offered here in https://github.com/fricas/fricas/issues/59, considered, and apparently...