Jay Mody
Jay Mody
Runtime type checking via `typeguard` causes `TypeError` due to array's having type `DeviceArray`.
I'm trying to use `jaxtyping` with runtime type checking via `typeguard` as described [`here`](https://github.com/google/jaxtyping/blob/dcd73e343124d1ed9d2bbd356a50fef6a60a45c9/API.md#option-1-jaxtypingjaxtyped). Here's my code: ```python import jax.numpy as jnp from jaxtyping import Array, Float, jaxtyped from typeguard...
Is there a way to make the entire `vcs` segment bold? I tried the following based on https://github.com/romkatv/powerlevel10k/issues/1063#issuecomment-712649752: ```bash typeset -g POWERLEVEL9K_VCS_CONTENT_EXPANSION='%B[$P9K_CONTENT]%b' ``` But that only bolds the `[`: ...
The following: ```ocaml [@@@expand_inline (** i am bar *) let bar = 10 ] (** i am foo *) let foo = 10 [@@@end] ``` Would get corrected to: ```ocaml...
The following: ```ocaml let () = let make_rule name = Context_free.Rule.attr_str_type_decl_expect (Attribute.declare name Type_declaration Ast_pattern.(pstr nil) (fun x -> x)) (fun ~ctxt:_ _ _ _ -> let loc = Location.none...