Jason Gross

> While we're talking about this, I think the way we handle the VM in the checker is completely nonsensical. Basically we trust whatever code found in the vo, which...

**To Reproduce** ```python from dataclasses import dataclass from typing import Literal, Union import simple_parsing @dataclass class Foo: bar: Union[Literal["a"], dict] = "a" parser = simple_parsing.ArgumentParser() parser.add_arguments( Foo, dest="foo", default=Foo(), )...

With code ```python # %% from schwab_api import Schwab import pprint # Initialize our schwab instance api = Schwab() # %% # Login using playwright print("Logging into Schwab") logged_in =...

Comparison with schwab-py?

1

I'm trying to decide whether to use this package or [schwab-api](https://pypi.org/project/schwab-api/). Would it be possible to document a comparison in the README or similar?

Now that #63 and #64 have been merged, could a new release be prepared and uploaded to opam? I'd rather avoid pinning master in https://github.com/mit-plv/fiat-crypto/pull/1939#issuecomment-2338880355

Checks tab should list duration of the "Preparing the "custom" executor" or "Executing "step_script" stage of the job script" step when the job times out

1

"Preparing the "custom" executor" took 26:32 [here](https://gitlab.inria.fr/coq/coq/-/jobs/3743217) and 55:40 [here](https://gitlab.inria.fr/coq/coq/-/jobs/3743281). I'd like the corresponding checks tab (e.g., [this](https://github.com/coq/coq/pull/18094/checks?check_run_id=20146520829)) to say something like > # Test has reached timeout on GitLab...

[Feature Request] Integration for desktop

3

I would like a way to bind Ctrl+Shift+F (or Option-Shift-F or w/e) to pop up predictions on desktop & desktop apps. (I'm on Mac OS)

[Feature Request] [Chrome/Firefox extension] Prefill and select any highlighted text when keyboard shortcut is pressed

3

I'd like to be able to first type my event/prediction, then highlight it, then press the keyboard shortcut, and get the box prefilled with the highlighted text (which should also...

If I paste the auto-copied prediction and paste it into the Notion desktop app, I see ``` ⚖ [...] ``` This is in the Firefox extension on Mac. (If I...

Keyboard shortcut in firefox extension on Mac almost never works twice

4

On many pages (including google docs), it is almost always (but not strictly always) the case that keyboard shortcut => make a prediction => paste the prediction => keyboard shortcut...