Harald Husum

## 📚 Context _Improve type annotations for streamlit's public API_ - What kind of change does this PR introduce? - [X] Other, please describe: Type annotations ## 🧠 Description of...

Hover text on `selectbox` and `multiselect`

2

### Problem I've had a few instances where I've struggled with seemingly duplicate entries in selectboxes. I'll give a simplified example. Imagine I'm asking a user to select from a...

Faulty type inference for `Enum` attributes

1

**Bug Report** Accessing an instance of an enum _though another instance_ leads to the wrong type being inferred for the instance. **To Reproduce** See: https://mypy-play.net/?mypy=master&python=3.12&flags=disallow-any-unimported&gist=26f57e606e831442885c45110b8d8650 ```python import enum class Color(enum.Enum):...

PX color by timedelta

2

When you domain is time series data, you sooner or later have to plot data of the `Timedelta` type. It would be nice to be able to understand what I...

Undergrad math not in mathlib: Outdated?

1

Just noticed that the undergrad todo page hasn't been touched since last year. That surprises me given the amount of activity in mathlib in 2024. Is it still accurate?

Unwanted display of distance in imperial units

5

### URL https://www.openstreetmap.org/edit ### How to reproduce the issue? 1. Log in on https://www.openstreetmap.org 2. Press the "Edit" button 3. Observe the lower left corner of the iD editor. ###...

ARG003 does not seem to respect Protocols

3

The ruff rule`ARG003: unused-class-method-argument` does not seem to understand that unused arguments sometimes are necessary in order to implement a protocol. See example below: ```py from abc import abstractmethod from...