Tom Levy

I know @​itamarhaber asked for user feedback before deciding on the algorithm, but I'd like to correct @ncghost1's analysis of BM and Rabin-Karp: When BM is used to find the...

I'm pretty sure this specific stack overflow would be fixed by #438 (the method names and line number match [this](https://github.com/jlfwong/speedscope/pull/438/files#diff-41fddf05904520c6e2990e03a6ce2450458015b82818720caeb6fd446bcf10be)).

The first issue might be fixed by #2631.

For reference, here are the Docker commands I've been using to reproduce the first issue: ```sh # Create the network: docker network create dj # Start MariaDB: docker run -d...

I have a reproducer for the second issue: 1. Run domserver 7.3.4, sign in as user "dummy", submit. 2. Run judgehost 7.3.4 so it will judge the submission. 3. Run...

@vmcj I had a look but it was too complicated for me; I'd need some hints. I think the relevant commit is d04f69c8d (First part of the new judgehost API.,...

Debugging notes: I can reproduce this using the steps (I didn't need to set the device date). It looks like the code is plain wrong -- it uses the default...

@QuestioningEspecialy I can't reproduce the new SecurityException (https://github.com/fossifyorg/messages/issues/6#issuecomment-2105940085). Have you tried stock Android, or only GrapheneOS? And which file picker are you using? (I tested in an emulator running Android...

The file picker is the app that asks you to pick the destination folder. It opens after you tap "OK" in dialog for choosing what to export (SMS/MMS). You should...

@DaGeek247, are you getting a crash? If so, see #6 (APK with patch: https://github.com/FossifyOrg/Messages/issues/6#issuecomment-2004587479). If not, I have some questions: What precisely happens during the failed export after you tap...