PyCon US 2024 sprints!

[Zac-HD]

I used up all the beginner and intermediate issues at the mentored sprints

Welcome to the mentored sprints!

• Fix the type annotation of GroupedMetadata.__iter__ annotated-types/annotated-types#66 - fix docstring and type annotation
• In st.from_type(), handle typing.Unpack like annotated_types.GroupedMetadata #3993 - treat Unpack as GroupedMetadata
• BUILD: pandas 2.1.0 has no win32 wheels pandas-dev/pandas#54979 - update Pandas changelog + docs
• How to get "trio token" for trio.to_thread.run_sync? python-trio/trio#1439 - small documentation fix in Trio
• Warn on impossible-to-match message pattern in filterwarnings - likely user error pytest-dev/pytest#10478 - warn on unmatchable regex patterns

Experienced (<1 day)

• Fix stack-depth of warning in @st.composite #3985 - stack-depth of warning in @st.composite
• ghostwriter.magic(numpy.matmul) fails with NumPy 1.26.4 and Python 3.12 #3947 - ghostwriter.magic(numpy.matmul) in py312
• hypothesis.extra.django.TestCase vs. Django INSTALLED_APPS #3716 - fixing over-eager import of Django stuff

Experienced (~1 day)

• Support consumes(some_bundle).filter(...) for stateful tests #3944 - consumes(some_bundle).filter(...)
• Add a strategy for new Numpy PRNGs #3131 - strategy for numpy PRNGs (requires numpy familiarity)
• Add type annotations to hypothesis.internal.conjecture #3074 - internal type annotations; could take several people
  • larger+harder extension: mypyc compilation?
• New feature: command-line interface python-jsonschema/hypothesis-jsonschema#106 - CLI for hypothesis-jsonschema (via Hypothesis plugin? cf HypoFuzz)
• Create a live demo using Pyodide Zac-HD/shed#49 - online interactive demo for shed

Experienced (>1 day)

• Use trace_branch monitoring for Scrutineer #3781 - using sys.monitoring for Scrutineer
• Reporting improvements for Scrutineer #3551 - reporting improvements for Scrutineer
• Improving docs across core strategies #2957 - structured docstrings; good technical writing project
• Redesigning canonicalization: the fundamental (internal) overhaul we need python-jsonschema/hypothesis-jsonschema#104 - rebuild schema canonicalization (but better)
• Transition from CompositeError to builtin ExceptionGroup ipython/ipyparallel#814 - transition to ExceptionGroup

Expert

• Stable support for symbolic execution #3914 - stabilizing the z3 backend
• Better heuristic for when to optimize target() metrics #3176 - when to optimize targets?
• Use greenery and regex_transformer to merge pattern and patternProperties keywords python-jsonschema/hypothesis-jsonschema#85 - converting js regex patterns to python, and merging patterns

[Zac-HD]

Closing this as the sprints are winding down - we ended up applying Hypothesis to other projects, since that benefits more from in-personal collaboration than the issues above 🙂