Jay Bosamiya

Yes, see #13 :smile: I have a pretty ugly set of modifications to make it more insane that I have implemented. However, the code itself was in ugly shape as...

On Debian Stable (i.e. Debian Buster), the tray icon broke when moving from 1.1.2 to 1.1.3 (I tried upgrading to 1.1.4, saw that it broke, so I downgraded to 1.1.3...

Alternative, that involves fewer modifications (i.e. only requires adding the `b` character at 2 places): ``` payload = b"" payload += b"0"*40 # Padding to the return address payload +=...

FWIW, the changes needed to get qemu building on WSL2 as of today (and thus likely on Ubuntu 20.04, and potentially any recent Debian based distro): ```diff diff --git a/linux-user/strace.c...

I had originally considered `shell-command-on-region` but then not used it since F* requires us to have a `module MODULENAME` declaration at the start of any file we send it. That's...

Sounds good and makes sense :) Having essentially a `shell-command-on-region` would be a good idea. I'll look into the F* side for being more tolerant when I get some time...

I haven't had a chance to look at this yet. Sometime soon though. Thanks for pinging :)

This is _very much_ a hack (I just check for whether the path+"i" exists), so I am not sure whether we should merge this in; however, it is a starting...

Some musings: Jujutsu is a neat VCS, and is [quite `git` compatible](https://jj-vcs.github.io/jj/latest/git-compatibility/). It has a lot of positives for it, and the biggest negative for it I've found in the...

I've been hitting this issue semi-regularly. Fairly annoying, but I found something less disruptive than `wsl --shutdown`: ``` wsl --system /bin/bash -c 'pgrep weston | xargs kill -9' ``` This...