Alexander Bandukwala

str: Downloaded data hash mismatchte

1

I keep getting the following error when downloading a file. ``` str: Downloaded data hash mismatchte 3.43 MB/s, average 716.77 KB/s, ETA 00:18:05 ```

Co-authored-by: Skyler Lutz

I'll split this up into multiple PRs. Mostly creating this draft as a springboard for discussion. Topics addressed: - Override `checkedApply` on SemigroupFactory to help resolve `checkedApply`/`apply` incoherence - Introduced...

As far as I can tell [Retry5xxSessionProxy#rescued_exception](https://github.com/sunspot/sunspot/blob/master/sunspot/lib/sunspot/session_proxy/retry_5xx_session_proxy.rb#L56-L58) is unused. It looks like it was copied from [SilentFailSessionProxy](https://github.com/sunspot/sunspot/blob/master/sunspot/lib/sunspot/session_proxy/silent_fail_session_proxy.rb#L18-L20). I could create a PR removing the method or using it in place...

Tactics don't work with promotion

1

[This](https://listudy.org/en/tactics/custom#M24ybnIvNFBxcHAvMms1LzgvOC84LzJCM1BQLzZLMSB3IC0gLSAwIDE7ZXhkOD1OKzs=) is an example of a tactic that would require promotion in order to be solved. As far as I can tell this isn't supported yet. Thanks so much for...

# IN PROGRESS [Screencast from 2023-02-26 20-25-26.webm](https://user-images.githubusercontent.com/995429/221457944-59318675-e56f-46a7-8292-21be76fe1a40.webm)

Command Palette

4

Trying various off the shelf command palettes and seeing what's easiest to integrate from the ocaml side.

I'm only through the abstract, but "Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems" by Frank M. Shipman III and Catherine...