Hey there! I maintain Hypothesis, and work on HypoFuzz, a coverage-guided fuzzer for Hypothesis tests. I spend a lot of time thinking about property-based testing and fuzzing.
@HypothesisWorks maintainer, working on Hypofuzz
- Boston, MA
- https://tybug.github.io/
Pinned Loading
-
HypothesisWorks/hypothesis
HypothesisWorks/hypothesis PublicThe property-based testing library for Python
-
3,653 contributions in the last year
Skip to contributions year listDay of Week | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | May May | June Jun | July Jul | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Loading
Contribution activity
July 2025
Created 92 commits in 4 repositories
Created 1 repository
-
tybug/pytest-run-parallel
Python
This contribution was made on Jul 15
Created a pull request in Quansight-Labs/pytest-run-parallel that received 7 comments
Change hypothesis check to be version based
Hypothesis is ~basically thread safe as of 6.135.32 (see HypothesisWorks/hypothesis#4451). This changes the check for hypothesis to be version-base…
+46
−54
lines changed
•
7
comments
Opened 23 other pull requests in 2 repositories
HypothesisWorks/hypothesis
12
merged
1
open
-
Speculative fix for
strategy.label
thread safetyThis contribution was made on Jul 18 -
Fix strategy validation thread-safety
This contribution was made on Jul 15
-
Fix a remaining thread safety issue in the random deprecation warning
This contribution was made on Jul 14
-
Fix
ensure_free_stackframes
thread-safetyThis contribution was made on Jul 14 -
Re-raise
DeadlineExceeded
from backendsThis contribution was made on Jul 13 -
IntList optimizations
This contribution was made on Jul 12
-
Optimize
sampled_from
and stateful performanceThis contribution was made on Jul 12 -
Fix a race in
@initialize
This contribution was made on Jul 11 -
Fix a dict size iteration error in
register_random
This contribution was made on Jul 3 -
Improve
sys.monitoring
andcalc_label
thread safetyThis contribution was made on Jul 3 -
Make the
ensure_free_stackframes
warning thread-safeThis contribution was made on Jul 2 -
Fix thread safety of
@rule
definitionsThis contribution was made on Jul 2 -
Improve threading compatibility of core strategy definitions
This contribution was made on Jul 2
Zac-HD/hypofuzz
1
open
9
merged
-
Add support for unittest and class-based pytest
This contribution was made on Jul 18
-
Styling and slight wording change
This contribution was made on Jul 17
-
React profiling + linting, and stop fuzzing target when a failure is found
This contribution was made on Jul 17
-
Fix and test
target
bucketing codeThis contribution was made on Jul 17 -
Skip tests without
Phase.generate
This contribution was made on Jul 16 -
Add
hypofuzz.detection.in_hypofuzz_run
, bucket target valuesThis contribution was made on Jul 16 -
Preserve worker stats based on all events, not visible ones
This contribution was made on Jul 16
-
Track and show fatal failures
This contribution was made on Jul 16
-
Refactor to use a single queue
This contribution was made on Jul 4
-
Bump required hypothesis version for a bugfix
This contribution was made on Jul 4
Reviewed 10 pull requests in 3 repositories
HypothesisWorks/hypothesis
7 pull requests
-
Re-raise
DeadlineExceeded
from backendsThis contribution was made on Jul 19 -
Speculative fix for
strategy.label
thread safetyThis contribution was made on Jul 18 -
Fix strategy validation thread-safety
This contribution was made on Jul 15
-
Optimize
sampled_from
and stateful performanceThis contribution was made on Jul 12 -
IntList optimizations
This contribution was made on Jul 12
-
Support for numpy.ndarray and pandas.Series with any python object as entry
This contribution was made on Jul 11
-
Improve threading compatibility of core strategy definitions
This contribution was made on Jul 2
Zac-HD/hypofuzz
2 pull requests
-
Re-execute inputs for coverage stability
This contribution was made on Jul 4
-
Use a
distribute_nodes
functionThis contribution was made on Jul 4
tybug/ossapi
1 pull request
-
Add
Search Beatmaps Passed
endpointThis contribution was made on Jul 12
Opened 3 issues in 2 repositories
Zac-HD/hypofuzz
2
open
-
Calculate
p_mutate
using multi-armed banditThis contribution was made on Jul 4 -
Display predicted coverage curves for different generation strategies
This contribution was made on Jul 4
HypothesisWorks/hypothesis
1
open
-
Race condition error in
recursive_property
This contribution was made on Jul 16
2
contributions
in private repositories
Jul 18