Mathnerd314
Mathnerd314
These are the patches I've been using. - a[rel] is needed on http://www.supernormalstep.com/archives/8 - a[class] is needed on some ComicPress sites. It does pick up some odd classes on pages,...
I modified the addon to be a WebExtension, in my branch/fork: https://github.com/Mathnerd314/repagination/ It works alright for my use cases (main limited / load all functionality), but I haven't tested the...
Example [here](http://www.boxerhockey.com/?id=21). http://www.boxerhockey.com/* redirects to http://boxerhockey.fireball20xl.com/*, but all links in the page are to the original http://www.boxerhockey.com/*. Repagination then refuses to load since the links are not from the same...
I get this error when running `python3 ./extract-partitions.py --max-size 0 --debug -d dump`: ``` 2016-04-05 19:15:06,314 LGLAF.py: DEBUG: Using endpoints 83 (IN), 02 (OUT) 2016-04-05 19:15:06,376 extract-partitions: DEBUG: Opened fd...
The comment says ```Haskell -- I don't believe any valid of MonadCatch exists for ContT. ``` Well, what about this? ```Haskell instance MonadCatch m => MonadCatch (ContT r m) where...
It would be like waitForProcess, except returning a statistics list. On Linux/BSD, this is the wait4 system call. On Windows, these can be extracted with GetProcessMemoryInfo/GetProcessTimes similarly to the exit...
Based on a discussion on Discord between me and @borzunov in the webui discussion, I didn't want it to get lost. So consider a simple program using sessions: ```Python with...
I just wanted somewhere to note this. The system on page 40-41 of Asperti's book is not implemented anywhere AFAICT. If you read chapter 12 on the BOHM machine, BOHM...
Hi, I saw from the thread [on LtU](http://lambda-the-ultimate.org/node/5487) that the proposed impure/fast algorithm was not working on a big example counter.mlc. Is that still the case? I was thinking about...
Not sure if it is possible to access, but being able to set the app volume slider (0-100%) that shows up on my phone (moto g8 power) would be great....