Hosseinkhan Rémy comments

Repositories
Issues
Comments

Results 34 comments of


                                            Hosseinkhan Rémy

False negative for `isinstance-second-argument-not-valid-type` (parameterized generic)

@nickdrozd Hi, could you provide some references about the fact `generics` cannot be used with `isinstance`?

False negative for `isinstance-second-argument-not-valid-type` (parameterized generic)

@nickdrozd thanks!:)

Typo in paper (?)

@p0p4k , I think you are right, the formula is given for $t \mapsto p \circ (z(t), t)$.

Mid-Sized Rewrite of APIs + Devcontainer + Docs Fixes

hi @ludgerpaehler , do you need help on this PR? Since the publication of your paper at L4DC 2025, it would indeed be nice to have the intermediate PRs (each...