Alex Stefanov

Bug: Launching and closing activities using the Super key causes the mouse to stop working

1

OS: Debian GNU/Linux 10 (buster) x86_64 Resolution: 1366x768 DE: GNOME 3.30.2 WM: GNOME Shell PaperWM version: 38.0 Steps to reproduce: 1. Open 2 windows in a workspace and make them...

Also called "exponentiation by squaring". It uses O(log b) multiplications instead of the O(b) multiplications the previous algorithm needed. With a slight modification you can also make a bignum_binmod() version...

Benchmarks on my own RSA key generation implementation (with a fixed rng seed). May not be a completely true comparison since multiplication isn't the only thing it does but it's...

Screenshot of the issue:  System information: OS: Debian 10 TE: Tilda (supports Unicode but not ligatures) Font: Fira Code Vim: 8.1 Plugin installed using Plug

Is there the option to create/rename markers? There are many markers I'd like to use in my notes (for example, WATCHED/DROPPED/TO-WATCH, TO-RESEARCH, IMPORTANT, etc.) and it would be cool if...

Bug: ghcid forever reloads

4

Steps to reproduce the bug: 1. Create a file called "bug.hs" containing the following: `import Data.List (permutations)` 2. Load the file with `ghcid --command="ghci bug.hs"` 3. Remove the closing parens...

`table` does not sanitize strings

6

### Describe the bug Strings with special characters in them (newline, carriage return, etc.) should be shown differently if they're part of a table or otherwise shown as a string...

Fuzzy autocompletion of files bugs

1

### Describe the bug Sorry for the vague title. This issue is several issues all related to the autocompletion of file names for commands: 1. The way case insensitive matching...

While `mouse(left, 10)` and `mouse(up, 10)` both work, it's currently impossible to have a keyboard key that sends the mouse up and to the left. `mouse(left, 10).mouse(up, 10)` only moves...