Nuño Sempere

In my case, this was caused by nextdns blocking https://www.1secmail.com/, and was easily fixable.

Better examples needed

5

- In the "Using posteriordb" section, mention that posteriordb-r and posteriordb-python have examples - In "posteriordb-r" and "posteriordb-python" should give better examples. In particular, current examples are not particularly motivating,...

Update polymarket graphql endpoint again

1

4 -> 5

In https://auth0.com/blog/complete-guide-to-react-user-authentication/, the instruction ``` $ git clone -b starter [email protected]:auth0-blog/auth0-react-sample.git ``` Happens to not work for me on Ubuntu 20.04. Instead, ``` $ git clone -b starter https://github.com/auth0-blog/auth0-react-sample.git ```...

systemd instructions inadequate for wireplumber.

1

In , the following lines are proposed: ``` systemctl --user --now enable pipewire{,-pulse}.{socket,service} filter-chain.service ``` However, I think this leads to pipewire being launched twice, which leads to annoying errors....

Some usability suggestions

4

Priority, importance: low. These were just things I came across. 1. Allow for empty lines to separate parts of the model 2. Ignore lines beginning with # so that models...

Operations on very small or large numbers, silently round to 0 and 1

3

# Description: When operating very small or very large numbers, these are rounded to exactly 0 or exactly 1 without warning. # Context I am replicating this paper: () ....

Insight prediction API produces an error when ordering markets by is_resolved

1

## What I was expecting From the [documentation](https://insightprediction.com/docs#), I was expecting the following to work ``` INSIGHT_BEARER='abcdxyz123' curl --request GET --get "https://insightprediction.com/api/markets?orderBy=is_resolved&sortedBy=desc" --header "Authorization: Bearer $INSIGHT_BEARER" --header "Content-Type: application/json" --header...